Books & CD ROMs
Show all 130 results-
Tools and Algorithms for the Construction and Analysis of Systems
24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part IISeries: Lecture Notes in Computer Science, Vol. 10806
Subseries: Theoretical Computer Science and General Issues
Beyer, Dirk, Huisman, Marieke (Eds.) 2018
Price from $59.99Selected FormatsInformation$59.99 (net)
ISBN 978-3-319-89962-6Usually dispatched within 3 to 5 business days.SoftcoverSoftcover (also known as softback) version -
Foundations of Software Science and Computation Structures
21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. ProceedingsSeries: Lecture Notes in Computer Science, Vol. 10803
Subseries: Theoretical Computer Science and General Issues
Baier, Christel, Dal Lago, Ugo (Eds.) 2018
Price from $59.99Selected FormatsInformation$59.99 (net)
ISBN 978-3-319-89365-5Usually dispatched within 3 to 5 business days.SoftcoverSoftcover (also known as softback) version -
Tools and Algorithms for the Construction and Analysis of Systems
24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part ISeries: Lecture Notes in Computer Science, Vol. 10805
Subseries: Theoretical Computer Science and General Issues
Beyer, Dirk, Huisman, Marieke (Eds.) 2018
Price from $59.99Selected FormatsInformation$59.99 (net)
ISBN 978-3-319-89959-6Usually dispatched within 3 to 5 business days.SoftcoverSoftcover (also known as softback) version -
Principles of Security and Trust
7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, ProceedingsSeries: Lecture Notes in Computer Science, Vol. 10804
Subseries: Security and Cryptology
Bauer, Lujo, Küsters, Ralf (Eds.) 2018
Price from $59.99Selected FormatsInformation$59.99 (net)
ISBN 978-3-319-89721-9Usually dispatched within 3 to 5 business days.SoftcoverSoftcover (also known as softback) version -
Programming Languages and Systems
27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, ProceedingsSeries: Lecture Notes in Computer Science, Vol. 10801
Subseries: Theoretical Computer Science and General Issues
Ahmed, Amal (Ed.) 2018
Price from $59.99Selected FormatsInformation$59.99 (net)
ISBN 978-3-319-89883-4Usually dispatched within 3 to 5 business days.SoftcoverSoftcover (also known as softback) version -
Fundamental Approaches to Software Engineering
21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, ProceedingsSeries: Lecture Notes in Computer Science, Vol. 10802
Subseries: Theoretical Computer Science and General Issues
Russo, Alessandra, Schürr, Andy (Eds.) 2018
Price from $59.99Selected FormatsInformation$59.99 (net)
ISBN 978-3-319-89362-4Usually dispatched within 3 to 5 business days.SoftcoverSoftcover (also known as softback) version -
LATIN 2018: Theoretical Informatics
13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018, ProceedingsSeries: Lecture Notes in Computer Science, Vol. 10807
Subseries: Theoretical Computer Science and General Issues
Bender, Michael, Farach-Colton, Martín, Mosteiro, Miguel A. (Eds.) 2018
Price from $143.00Selected FormatsInformation$143.00 (net)
ISBN 978-3-319-77403-9Usually dispatched within 3 to 5 business days.SoftcoverSoftcover (also known as softback) version -
Verification, Model Checking, and Abstract Interpretation
19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, ProceedingsSeries: Lecture Notes in Computer Science, Vol. 10747
Subseries: Theoretical Computer Science and General Issues
Dillig, Isil, Palsberg, Jens (Eds.) 2018
Price from $107.00Selected FormatsInformation$107.00 (net)
ISBN 978-3-319-73720-1Usually dispatched within 3 to 5 business days.SoftcoverSoftcover (also known as softback) version -
SOFSEM 2018: Theory and Practice of Computer Science
44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, ProceedingsSeries: Lecture Notes in Computer Science, Vol. 10706
Subseries: Theoretical Computer Science and General Issues
Tjoa, A.M., Bellatreche, L., Biffl, S., van Leeuwen, J., Wiedermann, J. (Eds.) 2018
Price from $119.00Selected FormatsInformation$119.00 (net)
ISBN 978-3-319-73116-2Usually dispatched within 3 to 5 business days.SoftcoverSoftcover (also known as softback) version -
Algorithms and Computation
26th International Symposium, ISAAC 2015, Nagoya, Japan, December 9-11, 2015, ProceedingsSeries: Lecture Notes in Computer Science, Vol. 9472
Subseries: Theoretical Computer Science and General Issues
Elbassioni, Khaled, Makino, Kazuhisa (Eds.) 2015
Price from $109.99Selected FormatsInformation$109.99 (net)
ISBN 978-3-662-48970-3Usually dispatched within 3 to 5 business days.SoftcoverSoftcover (also known as softback) version
For authors and editors
