Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9234)
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 (35 papers)
-
Logic, Semantics, Automata and Theory of Programming
Other volumes
-
Mathematical Foundations of Computer Science 2015
-
Mathematical Foundations of Computer Science 2015
Keywords
- algebra and categories in computer science
- algorithmic game theory
- algorithmic learning theory
- algorithms and data structures
- approximation algorithms
- automata-computational complexity
- concurrency theory
- cryptography and security
- databases and knowledge-based systems
- distributed computing
- formal specifications
- foundations of computing
- grammars and formal languages
- lambda-calculus
- linear programming
- logic-networks
- parallel computing
- program development
- quantum computing
- semantics and verification of programs
- 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 I
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-48057-1
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2015
Softcover ISBN: 978-3-662-48056-4Published: 20 August 2015
eBook ISBN: 978-3-662-48057-1Published: 10 August 2015
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XXVI, 459
Number of Illustrations: 51 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