Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9235)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Included in the following conference series:
Conference proceedings info: MFCS 2015.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (50 papers)
Other volumes
-
Mathematical Foundations of Computer Science 2015
-
Mathematical Foundations of Computer Science 2015
Keywords
- approximation algorithms
- databases and knowledge-based systems
- foundations of computing
- quantum computing
- semantics and verification of programs
- algebra and categories in computer science
- algorithmic game theory
- algorithmic learning theory
- algorithms and data structures
- automata-computational complexity
- concurrency theory
- cryptography and security
- distributed computing
- formal specifications
- grammars and formal languages
- lambda-calculus
- linear programming
- logic-networks
- parallel computing
- program development
- algorithm analysis and problem complexity
About this book
Editors and Affiliations
Bibliographic Information
Book Title: Mathematical Foundations of Computer Science 2015
Book Subtitle: 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II
Editors: Giuseppe F. Italiano, Giovanni Pighizzini, Donald T. Sannella
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-662-48054-0
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2015
Softcover ISBN: 978-3-662-48053-3Published: 18 August 2015
eBook ISBN: 978-3-662-48054-0Published: 10 August 2015
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XVII, 615
Number of Illustrations: 58 b/w illustrations
Topics: Algorithm Analysis and Problem Complexity, Discrete Mathematics in Computer Science, Numeric Computing, Data Structures, Mathematical Logic and Formal Languages, Math Applications in Computer Science