Alle 4 Christel Baier releases op Bog med blødt omsl...t ryg
Categorieën
Andere
Klantenservice
EUR
Op voorraad bij iMusic
Toon niet beschikbare artikelen
![Cover for Christel Baier · Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings - Lectu (Paperback Book) [2015 edition] (2015)](https://imusic.b-cdn.net/images/item/original/803/9783662466803.jpg?christel-baier-2015-tools-and-algorithms-for-the-construction-and-analysis-of-systems-21st-international-conference-tacas-2015-held-as-part-of-the-european-joint-conferences-on-theory-and-practice-of-software-etaps-2015-london-uk-april-11-18-2015-proceedin&class=scaled&v=1450314149)
![Cover for Christel Baier · CONCUR 2006 - Concurrency Theory: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006 - Theoretical Computer Science and General Issues (Paperback Book) [2006 edition] (2006)](https://imusic.b-cdn.net/images/item/original/766/9783540373766.jpg?christel-baier-2006-concur-2006-concurrency-theory-17th-international-conference-concur-2006-bonn-germany-august-27-30-2006-theoretical-computer-science-and-general-issues-paperback-book&class=scaled&v=1450314149)
![Cover for Christel Baier · Validation of Stochastic Systems: A Guide to Current Research - Lecture Notes in Computer Science (Paperback Book) [2004 edition] (2004)](https://imusic.b-cdn.net/images/item/original/651/9783540222651.jpg?christel-baier-2004-validation-of-stochastic-systems-a-guide-to-current-research-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1450314149)