Languages
Subject
Format
Availabity
Authors

Search result

Rafael H. Bordini, Mehd Dastani, Mehdi Dastani, Jurgen Dix, Jürgen Dix, Jürgen Dix et al... - Multi-Agent Programming:
Rafael H. Bordini, Mehd Dastani, Mehdi Dastani, Jurgen Dix, Jürgen Dix, Jürgen Dix et al... Multi-Agent Programming: English 13.07.2009 Hardback Fr. 193.00 6-7 weeks
YiXiang Chen, Guo-Qiang Zhang, Guo-Qiang Zhang, Klaus Keimel, Ying Ming Liu et al, Ying Ming Liu... - Domains and Processes
YiXiang Chen, Guo-Qiang Zhang, Guo-Qiang Zhang, Klaus Keimel, Ying Ming Liu et al, Ying Ming Liu... Domains and Processes English 17.10.2013 Paperback / Softback Fr. 169.00 6-7 weeks
Helmut Seidl, Reinhar Wilhelm, Reinhard Wilhelm - Compiler Design
Helmut Seidl, Reinhar Wilhelm, Reinhard Wilhelm Compiler Design English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Luca Paolini, Simona Ronchi Della Rocca, Simon Ronchi Della Rocca, Simona Ronchi Della Rocca - The Parametric Lambda Calculus
Luca Paolini, Simona Ronchi Della Rocca, Simon Ronchi Della Rocca, Simona Ronchi Della Rocca The Parametric Lambda Calculus English 11.10.2010 Paperback / Softback Fr. 70.00 6-7 weeks
Michael Hansen, Michael R Hansen, Michael R. Hansen, Chaoche Zhou, Chaochen Zhou - Duration Calculus
Michael Hansen, Michael R Hansen, Michael R. Hansen, Chaoche Zhou, Chaochen Zhou Duration Calculus English 13.10.2010 Paperback / Softback Fr. 135.00 6-7 weeks
Claudio Agostin Ardagna, Claudio Agostino Ardagna, Ernest Damiani, Ernesto Damiani, El Ioin, Nabil El Ioini... - Open Source Systems Security Certification
Claudio Agostin Ardagna, Claudio Agostino Ardagna, Ernest Damiani, Ernesto Damiani, El Ioin, Nabil El Ioini... Open Source Systems Security Certification English 20.12.2010 Paperback / Softback Fr. 158.00 6-7 weeks
Masselos, Masselos, Konstantinos Masselos, Nikolao Voros, Nikolaos Voros - System Level Design of Reconfigurable Systems-on-Chip
Masselos, Masselos, Konstantinos Masselos, Nikolao Voros, Nikolaos Voros System Level Design of Reconfigurable Systems-on-Chip English 21.10.2010 Paperback / Softback Fr. 189.00 6-7 weeks
Mar Boulé, Marc Boulé, Zeljko Zilic - Generating Hardware Assertion Checkers
Mar Boulé, Marc Boulé, Zeljko Zilic Generating Hardware Assertion Checkers English 20.10.2010 Paperback / Softback Fr. 169.00 6-7 weeks
Werner Kluge - Abstract Computing Machines
Werner Kluge Abstract Computing Machines English 11.10.2010 Paperback / Softback Fr. 135.00 6-7 weeks
Joaquim Filipe, Markus Helfert, Bori Shishkov, Boris Shishkov - Software and Data Technologies
Joaquim Filipe, Markus Helfert, Bori Shishkov, Boris Shishkov Software and Data Technologies English 29.01.2013 Paperback / Softback Fr. 135.00 6-7 weeks
Dines Bjørner - Software Engineering 3
Dines Bjørner Software Engineering 3 English 11.10.2010 Paperback / Softback Fr. 147.00 6-7 weeks
Dines Bjørner - Software Engineering 2
Dines Bjørner Software Engineering 2 English 11.10.2010 Paperback / Softback Fr. 70.00 6-7 weeks
Per Brinch Hansen, Pe Brinch Hansen, Per Brinch Hansen - Classic Operating Systems
Per Brinch Hansen, Pe Brinch Hansen, Per Brinch Hansen Classic Operating Systems English 27.10.2010 Paperback / Softback Fr. 147.00 6-7 weeks
Silvia T. Acuna, Juristo, Juristo, Natalia Juristo, Silvi T Acuna, Silvia T Acuna - Software Process Modeling
Silvia T. Acuna, Juristo, Juristo, Natalia Juristo, Silvi T Acuna, Silvia T Acuna Software Process Modeling English 22.10.2010 Paperback / Softback Fr. 179.00 6-7 weeks
Eric Wong, W Eric Wong, W. Eric Wong - Mutation Testing for the New Century
Eric Wong, W Eric Wong, W. Eric Wong Mutation Testing for the New Century English 21.10.2010 Paperback / Softback Fr. 207.00 6-7 weeks
Gyungho Lee, Gyungho Lee, Gyungh Lee, Gyungho Lee, Pen-Chung Yew, Pen-Chung Yew... - Interaction Between Compilers and Computer Architectures
Gyungho Lee, Gyungho Lee, Gyungh Lee, Gyungho Lee, Pen-Chung Yew, Pen-Chung Yew... Interaction Between Compilers and Computer Architectures English 21.10.2010 Paperback / Softback Fr. 169.00 6-7 weeks
Lynn Horobin, Anne Mignotte, Eugeni Villar, Eugenio Villar - System on Chip Design Languages
Lynn Horobin, Anne Mignotte, Eugeni Villar, Eugenio Villar System on Chip Design Languages English 21.10.2010 Paperback / Softback Fr. 206.00 6-7 weeks
Christop Grimm, Christoph Grimm - Languages for System Specification
Christop Grimm, Christoph Grimm Languages for System Specification English 21.10.2010 Paperback / Softback Fr. 210.00 6-7 weeks
Alan F. Blackwell, Ala F Blackwell, Alan F Blackwell - Thinking with Diagrams
Alan F. Blackwell, Ala F Blackwell, Alan F Blackwell Thinking with Diagrams English 07.10.2010 Paperback / Softback Fr. 153.00 6-7 weeks
Hieke, Hieke, A. Hieke, Alexander Hieke, Morscher, E Morscher... - New Essays in Free Logic
Hieke, Hieke, A. Hieke, Alexander Hieke, Morscher, E Morscher... New Essays in Free Logic English 07.10.2010 Paperback / Softback Fr. 169.00 6-7 weeks