Books & CD ROMs
Show all 144 results-
Tools and Algorithms for the Construction and Analysis of Systems
25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part IISeries: Lecture Notes in Computer Science, Vol. 11428
Subseries: Theoretical Computer Science and General Issues
Vojnar, Tomáš, Zhang, Lijun (Eds.) 2019
Price from 51,99 €Selected FormatsInformation51,99 € (gross)
ISBN 978-3-030-17464-4Due: June 8, 2019SoftcoverSoftcover (also known as softback) version -
Tools and Algorithms for the Construction and Analysis of Systems
25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part ISeries: Lecture Notes in Computer Science, Vol. 11427
Subseries: Theoretical Computer Science and General Issues
Vojnar, Tomáš, Zhang, Lijun (Eds.) 2019
Price from 51,99 €Selected FormatsInformation51,99 € (gross)
ISBN 978-3-030-17461-3Due: June 6, 2019SoftcoverSoftcover (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-6Due: June 5, 2019SoftcoverSoftcover (also known as softback) version -
Principles of Security and Trust
8th International Conference, POST 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. 11426
Subseries: Security and Cryptology
Nielson, Flemming, Sands, David (Eds.) 2019
Price from 51,99 €Selected FormatsInformation51,99 € (gross)
ISBN 978-3-030-17137-7Due: June 3, 2019SoftcoverSoftcover (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-1Due: June 3, 2019SoftcoverSoftcover (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-4Due: June 3, 2019SoftcoverSoftcover (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-9Due: June 2019SoftcoverSoftcover (also known as softback) version -
Verification, Model Checking, and Abstract Interpretation
20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, ProceedingsSeries: Lecture Notes in Computer Science, Vol. 11388
Subseries: Theoretical Computer Science and General Issues
Enea, Constantin, Piskac, Ruzica (Eds.) 2019
Price from 85,27 €Selected FormatsInformation85,27 € (gross)
ISBN 978-3-030-11244-8Usually dispatched within 3 to 5 business days.SoftcoverSoftcover (also known as softback) version -
SOFSEM 2019: Theory and Practice of Computer Science
45th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 27-30, 2019, ProceedingsSeries: Lecture Notes in Computer Science, Vol. 11376
Subseries: Theoretical Computer Science and General Issues
Catania, B., Královič, R., Nawrocki, J., Pighizzini, G. (Eds.) 2019
Price from 85,27 €Selected FormatsInformation85,27 € (gross)
ISBN 978-3-030-10800-7Usually dispatched within 3 to 5 business days.SoftcoverSoftcover (also known as softback) version -
Web and Internet Economics
14th International Conference, WINE 2018, Oxford, UK, December 15–17, 2018, ProceedingsSeries: Lecture Notes in Computer Science, Vol. 11316
Subseries: Information Systems and Applications, incl. Internet/Web, and HCI
Christodoulou, Giorgos, Harks, Tobias (Eds.) 2018
Price from 76,95 €Selected FormatsInformation76,95 € (gross)
ISBN 978-3-030-04611-8Usually dispatched within 3 to 5 business days.SoftcoverSoftcover (also known as softback) version
For authors and editors
