Buchportal für Bücher die eine ISBN tragen.

nach "Person" filtern

Michał Skrzypczak (2)
Mohan Ganesalingam (2)
Mumtaz Siddiqui (2)
Oded Goldreich (2)
Richard Moot (2)
Ronald de Haan (2)
Thomas Zeume (2)
Zoltán Horváth (2)
Slawomir Stanczak (1)

nach "Medientyp" filtern

eBooks (1361)
Bücher (1331)

Reihe Theoretical Computer Science and General Issues

Springer Berlin ×
Buchcover Tools and Algorithms for the Construction and Analysis of Systems
 
Tools and Algorithms for the Construction and Analysis of Systems
20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Soft
Springer Berlin
eBook
2014
53,49 €
Buchcover Theory of Quantum Computation, Communication, and Cryptography
 
Theory of Quantum Computation, Communication, and Cryptography
6th Conference, TQC 2011, Madrid, Spain, May 24-26, 2011, Revised Selected Papers
Springer Berlin
Softcover
2014
51,36 €
Buchcover Foundations of Software Science and Computation Structures
 
Foundations of Software Science and Computation Structures
17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proc
Springer Berlin
Softcover
2014
53,49 €
Buchcover Categories and Types in Logic, Language, and Physics
 
Categories and Types in Logic, Language, and Physics
Essays dedicated to Jim Lambek on the Occasion of this 90th Birthday
Springer Berlin
Softcover
2014
53,49 €
Buchcover Fundamental Approaches to Software Engineering
 
Fundamental Approaches to Software Engineering
17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceed
Springer Berlin
Softcover
2014
53,49 €
Buchcover Programming Languages and Systems
 
Programming Languages and Systems
23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014
Springer Berlin
Softcover
2014
53,49 €
Buchcover Compiler Construction
 
Compiler Construction
23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedin
Springer Berlin
Softcover
2014
51,36 €
Buchcover From Programs to Systems - The Systems Perspective in Computing
 
From Programs to Systems - The Systems Perspective in Computing
ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings
Springer Berlin
Softcover
2014
51,36 €
Buchcover Tools and Algorithms for the Construction and Analysis of Systems
 
Tools and Algorithms for the Construction and Analysis of Systems
20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Procee
Springer Berlin
Softcover
2014
53,49 €
Buchcover Algebraic and Algorithmic Aspects of Differential and Integral Operators
 
Algebraic and Algorithmic Aspects of Differential and Integral Operators
5th International Meeting, AADIOS 2012, Held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012, Selected and Invited Papers
Springer Berlin
Softcover
2014
51,36 €

2.721 Treffer 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 ...