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 Stochastic Model Checking
 
Stochastic Model Checking
International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures
Springer Berlin
eBook
2014
50,28 €
Buchcover Stochastic Model Checking
 
Stochastic Model Checking
International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures
Springer Berlin
Softcover
2014
51,36 €
Buchcover Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
 
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II
Springer Berlin
Softcover
2014
53,49 €
Buchcover Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
 
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I
Springer Berlin
Softcover
2014
53,49 €
Buchcover Distributed Computing
 
Distributed Computing
28th International Symposium DISC 2014, Austin, TX, USA, October 12-15, 2014, Proceedings
Springer Berlin
Softcover
2014
53,49 €
Buchcover Distributed Computing
 
Distributed Computing
28th International Symposium DISC 2014, Austin, TX, USA, October 12-15, 2014, Proceedings
Springer Berlin
eBook
2014
53,49 €
Buchcover Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
 
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II
Springer Berlin
eBook
2014
53,49 €
Buchcover Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
 
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I
Springer Berlin
eBook
2014
53,49 €
Buchcover Network and Parallel Computing
 
Network and Parallel Computing
11th IFIP WG 10.3 International Conference, NPC 2014, Ilan, Taiwan, September 18-20, 2014, Proceedings
Springer Berlin
Softcover
2014
53,49 €
Buchcover Algorithms - ESA 2014
 
Algorithms - ESA 2014
22th Annual European Symposium, Wrocław, Poland, September 8-10, 2014. Proceedings
Springer Berlin
Softcover
2014
53,49 €

2.721 Treffer 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 ...