SOFSEM 2006: Theory and Practice of Computer Science
SOFSEM 2006: Theory and Practice of Computer Science

Author: Jirí Wiedermann

Publisher: Springer

Published: 2005-12-18

Total Pages: 591

ISBN-13: 3540322175

DOWNLOAD EBOOK

This book presents the proceedings of the 32nd Conference on Current Trends in Theory and Practice of Computer Science, held in Merin, Czech Republic. The 45 revised full papers, presented together with 10 invited contributions were carefully reviewed and selected from 157 submissions. The papers were organized in four topical tracks on computer science foundations, wireless, mobile, ad hoc and sensor networks, database technologies, and semantic Web technologies.

SOFSEM 2009: Theory and Practice of Computer Science
SOFSEM 2009: Theory and Practice of Computer Science

Author: Mogens Nielsen

Publisher: Springer Science & Business Media

Published: 2009-01-12

Total Pages: 685

ISBN-13: 3540958908

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2009, held in Špindleruv Mlýn, Czech Republic, in January 2009. The 49 revised full papers, presented together with 9 invited contributions, were carefully reviewed and selected from 132 submissions. SOFSEM 2009 was organized around the following four tracks: Foundations of Computer Science; Theory and Practice of Software Services; Game Theoretic Aspects of E-commerce; and Techniques and Tools for Formal Verification.

SOFSEM 2014: Theory and Practice of Computer Science
SOFSEM 2014: Theory and Practice of Computer Science

Author: Viliam Geffert

Publisher: Springer

Published: 2014-01-20

Total Pages: 548

ISBN-13: 331904298X

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 40th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2014, held in Nový Smokovec, Slovakia, in January 2014. The 40 revised full papers presented in this volume were carefully reviewed and selected from 104 submissions. The book also contains 6 invited talks. The contributions covers topics as: Foundations of Computer Science, Software and Web Engineering, as well as Data, Information and Knowledge Engineering and Cryptography, Security and Verification.

Experimental and Efficient Algorithms
Experimental and Efficient Algorithms

Author: Sotiris E. Nikoletseas

Publisher: Springer

Published: 2005-05-03

Total Pages: 637

ISBN-13: 3540320784

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 4th International Workshop on Experimental and Efficient Algorithms, WEA 2005, held in Santorini Island, Greece in May 2005. The 47 revised full papers and 7 revised short papers presented together with extended abstracts of 3 invited talks were carefully reviewed and selected from 176 submissions. The book is devoted to the design, analysis, implementation, experimental evaluation, and engineering of efficient algorithms. Among the application areas addressed are most fields applying advanced algorithmic techniques, such as combinatorial optimization, approximation, graph theory, discrete mathematics, scheduling, searching, sorting, string matching, coding, networking, data mining, data analysis, etc.

Computational Science - ICCS 2006
Computational Science - ICCS 2006

Author: Vassil N. Alexandrov

Publisher: Springer

Published: 2006-05-10

Total Pages: 1169

ISBN-13: 3540343849

DOWNLOAD EBOOK

This is Volume III of the four-volume set LNCS 3991-3994 constituting the refereed proceedings of the 6th International Conference on Computational Science, ICCS 2006. The 98 revised full papers and 29 revised poster papers of the main track presented together with 500 accepted workshop papers were carefully reviewed and selected for inclusion in the four volumes. The coverage spans the whole range of computational science.

Automata, Languages and Programming
Automata, Languages and Programming

Author: Josep Díaz

Publisher: Springer Science & Business Media

Published: 2004-08-17

Total Pages: 1272

ISBN-13: 3540228497

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 31st International Colloquium on Automata, Languages and Programming, ICALP 2004, held in Turku, Finland, in July 2004. The 97 revised full papers presented together with abstracts of 6 invited talks were carefully reviewed and selected from 379 submissions. The papers address all current issues in theoretical computer science including algorithms, automata, complexity, cryptography, database logics, program semantics, and programming theory.

Advances in Databases and Information Systems
Advances in Databases and Information Systems

Author: Georg Gottlob

Publisher: Springer Science & Business Media

Published: 2004-09-20

Total Pages: 430

ISBN-13: 3540232435

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 8th East European Conference on Advances in Databases and Information Systems, ADBIS 2004, held in Budapest, Hungary, in September 2004. The 27 revised full papers presented together with an invited paper were carefully reviewed and selected from 130 submissions. The papers are organized in topical sections on constraint databases, deductive databases, heterogenous and Web information systems, cross enterprise information systems, knowledge discovery, database modeling, XML and semistructured databases, physical database design and query evaluation, transaction management and workflow systems, query processing and data streams, spatial databases, and agents and mobile systems.

Agent-Directed Simulation and Systems Engineering
Agent-Directed Simulation and Systems Engineering

Author: Levent Yilmaz

Publisher: John Wiley & Sons

Published: 2009-10-26

Total Pages: 550

ISBN-13: 3527407812

DOWNLOAD EBOOK

The only book to present the synergy between modeling and simulation, systems engineering, and agent technologies expands the notion of agent-based simulation to also deal with agent simulation and agent-supported simulation. Accessible to both practitioners and managers, it systematically addresses designing and building agent systems from a systems engineering perspective.