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 Theory and Applications of Satisfiability Testing - SAT 2013
 
Theory and Applications of Satisfiability Testing - SAT 2013
16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings
Springer Berlin
Softcover
2013
53,49 €
Buchcover Model Checking Software
 
Model Checking Software
20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings
Springer Berlin
Softcover
2013
53,49 €
Buchcover Implementation and Application of Automata
 
Implementation and Application of Automata
18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings
Springer Berlin
Softcover
2013
53,49 €
Buchcover Descriptional Complexity of Formal Systems
 
Descriptional Complexity of Formal Systems
15th International Workshop, DCFS 2013, London, Canada, July 22-25, 2013, Proceedings
Springer Berlin
Softcover
2013
53,49 €
Buchcover Interactive Theorem Proving
 
Interactive Theorem Proving
4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings
Springer Berlin
Softcover
2013
53,49 €
Buchcover Unifying Theories of Programming and Formal Engineering Methods
 
Unifying Theories of Programming and Formal Engineering Methods
International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
Springer Berlin
Softcover
2013
53,49 €
Buchcover Computational Science and Its Applications -- ICCSA 2013
 
Computational Science and Its Applications -- ICCSA 2013
13th International Conference, ICCSA 2013, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part III
Springer Berlin
Softcover
2013
53,49 €
Buchcover Automata, Languages, and Programming
 
Automata, Languages, and Programming
40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II
Springer Berlin
Softcover
2013
53,49 €
Buchcover Theoretical Aspects of Computing -- ICTAC 2013
 
Theoretical Aspects of Computing -- ICTAC 2013
10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings
Springer Berlin
Softcover
2013
53,49 €
Buchcover Advances in Neural Networks- ISNN 2013
 
Advances in Neural Networks- ISNN 2013
10th International Symposium on Neural Networks, ISNN 2013, Dalian, China, July 4-6, 2013, Proceedings, Part I
Springer Berlin
Softcover
2013
53,49 €

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 25 26 27 28 29 30 31 32 33 34 35 36 ...