Books & CD ROMs
Show all 150 results-
Verification, Model Checking, and Abstract Interpretation
21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, ProceedingsSeries: Lecture Notes in Computer Science, Vol. 11990
Subseries: Theoretical Computer Science and General Issues
Beyer, Dirk, Zufferey, Damien (Eds.) 2020
Price from 76,95 €Selected FormatsInformation76,95 € (gross)
ISBN 978-3-030-39321-2Due: March 20, 2020SoftcoverSoftcover (also known as softback) version -
Static Analysis
26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, ProceedingsSeries: Lecture Notes in Computer Science, Vol. 11822
Subseries: Programming and Software Engineering
Chang, Bor-Yuh Evan (Ed.) 2019
Price from 76,95 €Selected FormatsInformation76,95 € (gross)
ISBN 978-3-030-32303-5Usually dispatched within 3 to 5 business days.SoftcoverSoftcover (also known as softback) version -
Graph-Theoretic Concepts in Computer Science
45th International Workshop, WG 2019, Vall de Núria, Spain, June 19–21, 2019, Revised PapersSeries: Lecture Notes in Computer Science, Vol. 11789
Subseries: Theoretical Computer Science and General Issues
Sau, Ignasi, Thilikos, Dimitrios M. (Eds.) 2019
Price from 68,63 €Selected FormatsInformation68,63 € (gross)
ISBN 978-3-030-30785-1Usually dispatched within 3 to 5 business days.SoftcoverSoftcover (also known as softback) version -
Algorithmic Game Theory
12th International Symposium, SAGT 2019, Athens, Greece, September 30 – October 3, 2019, ProceedingsSeries: Lecture Notes in Computer Science, Vol. 11801
Subseries: Information Systems and Applications, incl. Internet/Web, and HCI
Fotakis, Dimitris, Markakis, Evangelos (Eds.) 2019
Price from 68,63 €Selected FormatsInformation68,63 € (gross)
ISBN 978-3-030-30472-0Usually dispatched within 3 to 5 business days.SoftcoverSoftcover (also known as softback) version -
Euro-Par 2019: Parallel Processing
25th International Conference on Parallel and Distributed Computing, Göttingen, Germany, August 26–30, 2019, ProceedingsSeries: Lecture Notes in Computer Science, Vol. 11725
Subseries: Theoretical Computer Science and General Issues
Yahyapour, Ramin (Ed.) 2019
Price from 76,95 €Selected FormatsInformation76,95 € (gross)
ISBN 978-3-030-29399-4Usually dispatched within 3 to 5 business days.SoftcoverSoftcover (also known as softback) version -
Fundamentals of Computation Theory
22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14, 2019, ProceedingsSeries: Lecture Notes in Computer Science, Vol. 11651
Subseries: Theoretical Computer Science and General Issues
Gąsieniec, Leszek Antoni, Jansson, Jesper, Levcopoulos, Christos (Eds.) 2019
Price from 68,63 €Selected FormatsInformation68,63 € (gross)
ISBN 978-3-030-25026-3Usually dispatched within 3 to 5 business days.SoftcoverSoftcover (also known as softback) version -
Programming Languages and Systems
28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, ProceedingsSeries: Lecture Notes in Computer Science, Vol. 11423
Subseries: Theoretical Computer Science and General Issues
Caires, Luís (Ed.) 2019
Price from 51,99 €Selected FormatsInformation51,99 € (gross)
ISBN 978-3-030-17183-4Usually dispatched within 3 to 5 business days.SoftcoverSoftcover (also known as softback) version -
Foundations of Software Science and Computation Structures
22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, ProceedingsSeries: Lecture Notes in Computer Science, Vol. 11425
Subseries: Theoretical Computer Science and General Issues
Bojanczyk, Mikolaj, Simpson, Alex (Eds.) 2019
Price from 51,99 €Selected FormatsInformation51,99 € (gross)
ISBN 978-3-030-17126-1Usually dispatched within 3 to 5 business days.SoftcoverSoftcover (also known as softback) version -
Fundamental Approaches to Software Engineering
22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, ProceedingsSeries: Lecture Notes in Computer Science, Vol. 11424
Subseries: Theoretical Computer Science and General Issues
Haehnle, Reiner, van der Aalst, Wil (Eds.) 2019
Price from 51,99 €Selected FormatsInformation51,99 € (gross)
ISBN 978-3-030-16721-9Usually dispatched within 3 to 5 business days.SoftcoverSoftcover (also known as softback) version -
Tools and Algorithms for the Construction and Analysis of Systems
25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part IIISeries: Lecture Notes in Computer Science, Vol. 11429
Subseries: Theoretical Computer Science and General Issues
Beyer, D., Huisman, M., Kordon, F., Steffen, B. (Eds.) 2019
Price from 51,99 €Selected FormatsInformation51,99 € (gross)
ISBN 978-3-030-17501-6Usually dispatched within 3 to 5 business days.SoftcoverSoftcover (also known as softback) version
For authors and editors
