Editors:
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9587)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Conference series link(s): SOFSEM: International Conference on Current Trends in Theory and Practice of Computer Science
Conference proceedings info: SOFSEM 2016.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (50 papers)
-
Front Matter
-
Foundations of Computer Science (Invited Talks)
-
Front Matter
-
-
Software Engineering: Methods, Tools, Applications (Invited Talks)
-
Front Matter
-
-
Data, Information, and Knowledge Engineering (Invited Talks)
-
Front Matter
-
-
Foundations of Computer Science (Regular Papers)
-
Front Matter
-
About this book
This book
constitutes the proceedings of the 42nd International Conference on Current
Trends in Theory and Practice of Computer Science, SOFSEM 2016, held in
Harrachov, Czech Republic, in January 2016.
The 43 full
papers presented in this volume were carefully reviewed and selected from 116
submissions. They are organized in topical sections named: foundations of
computer science; software engineering: methods, tools, applications; and data,
information, and knowledge engineering. The volume also contains 7 invited
talks in full paper length.
Keywords
- computational complexity
- formal languages
- graph coloring
- model transformations
- quantum computation
- aspect-oriented programming
- association rules
- cryptography
- data mining
- digital libraries
- domain modeling
- functional programming
- natural language processing
- online computation
- parallel computation
- integer linear programming
- post-quantum cryptography
- software architecture
- Web services
- workflows
Editors and Affiliations
-
University of Latvia, Riga, Latvia
Rūsiņš Mārtiņš Freivalds
-
University of Paderborn, Paderborn, Germany
Gregor Engels
-
University of Genoa, Genoa, Italy
Barbara Catania
Bibliographic Information
Book Title: SOFSEM 2016: Theory and Practice of Computer Science
Book Subtitle: 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings
Editors: Rūsiņš Mārtiņš Freivalds, Gregor Engels, Barbara Catania
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-662-49192-8
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2016
Softcover ISBN: 978-3-662-49191-1Published: 03 February 2016
eBook ISBN: 978-3-662-49192-8Published: 14 January 2016
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XV, 630
Number of Illustrations: 150 illustrations in colour
Topics: Discrete Mathematics in Computer Science, Algorithm Analysis and Problem Complexity, Information Storage and Retrieval, Software Engineering, Artificial Intelligence, Cryptology