Languages
Subject
Format
Availabity
Authors

Search result

Jacques Malenfant, Bjarte M. Østvold - Object-Oriented Technology. ECOOP 2004 Workshop Reader
Jacques Malenfant, Bjarte M. Østvold Object-Oriented Technology. ECOOP 2004 Workshop Reader English 24.01.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Peter Van Roy, Peter Van Roy - Multiparadigm Programming in Mozart/Oz
Peter Van Roy, Peter Van Roy Multiparadigm Programming in Mozart/Oz English 01.03.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Patrick Godefroid - Model Checking Software
Patrick Godefroid Model Checking Software English 09.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Chitta Baral, Gerhard Brewka, John Schlipf - Logic Programming and Nonmonotonic Reasoning
Chitta Baral, Gerhard Brewka, John Schlipf Logic Programming and Nonmonotonic Reasoning English 27.04.2007 Paperback / Softback Fr. 70.00 6-7 weeks
Wolfgang Grieskamp, Carsten Weise - Formal Approaches to Software Testing
Wolfgang Grieskamp, Carsten Weise Formal Approaches to Software Testing English 30.05.2006 Paperback / Softback Fr. 70.00 6-7 weeks
Roberto Gorrieri, Heike Wehrheim - Formal Methods for Open Object-Based Distributed Systems
Roberto Gorrieri, Heike Wehrheim Formal Methods for Open Object-Based Distributed Systems English 09.06.2006 Paperback / Softback Fr. 70.00 6-7 weeks
Diana Gordon, Michael G. Hinchey, James L. Rash, Christopher A. Rouff, Walter Truszkowski - Formal Approaches to Agent-Based Systems
Diana Gordon, Michael G. Hinchey, James L. Rash, Christopher A. Rouff, Walter Truszkowski Formal Approaches to Agent-Based Systems English 10.10.2001 Paperback / Softback Fr. 70.00 6-7 weeks
Hermann de Meer, Hermann de Meer, James P. G. Sterbenz, James P.G. Sterbenz - Self-Organizing Systems
Hermann de Meer, Hermann de Meer, James P. G. Sterbenz, James P.G. Sterbenz Self-Organizing Systems English 15.09.2006 Paperback / Softback Fr. 70.00 6-7 weeks
Mathias Bauer, Piotr J. Gmytrasiewicz, Julita Vassileva - User Modeling 2001
Mathias Bauer, Piotr J. Gmytrasiewicz, Julita Vassileva User Modeling 2001 English 27.06.2001 Paperback / Softback Fr. 70.00 6-7 weeks
Sven Brueckner, Salima Hassas, Mark Jelasity, Daniel Yamins - Engineering Self-Organising Systems
Sven Brueckner, Salima Hassas, Mark Jelasity, Daniel Yamins Engineering Self-Organising Systems English 18.01.2007 Paperback / Softback Fr. 70.00 6-7 weeks
Corrado Priami, Paola Quaglia - Global Computing
Corrado Priami, Paola Quaglia Global Computing English 22.02.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Volker Gruhn, Flavio Oquendo - Software Architecture
Volker Gruhn, Flavio Oquendo Software Architecture English 21.12.2006 Paperback / Softback Fr. 70.00 6-7 weeks
Marola Beltrán-Mora, Miguel Botto-Tobar, Narcisa Crespo-Torres, Nelly Esparza-Cruz, Joffre León-Acurio - Technology Trends
Marola Beltrán-Mora, Miguel Botto-Tobar, Narcisa Crespo-Torres, Nelly Esparza-Cruz, Joffre León-Acurio Technology Trends English 31.12.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Simon Hammond, Stephen Jarvis, Steven Wright - High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation
Simon Hammond, Stephen Jarvis, Steven Wright High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation English 10.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Dirk Beyer, Marieke Huisman - Tools and Algorithms for the Construction and Analysis of Systems
Dirk Beyer, Marieke Huisman Tools and Algorithms for the Construction and Analysis of Systems English 14.04.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Frank Mueller, Xipeng Shen, James Tuck - Languages and Compilers for Parallel Computing
Frank Mueller, Xipeng Shen, James Tuck Languages and Compilers for Parallel Computing English 20.02.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Hong An, Hai Jin, Mahmut Kandemir, Xuanhua Shi, Chao Wang - Network and Parallel Computing
Hong An, Hai Jin, Mahmut Kandemir, Xuanhua Shi, Chao Wang Network and Parallel Computing English 19.09.2017 Paperback / Softback Fr. 70.00 6-7 weeks
John Criswell, Chen Ding, Peng Wu - Languages and Compilers for Parallel Computing
John Criswell, Chen Ding, Peng Wu Languages and Compilers for Parallel Computing English 20.01.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Petr Machá¿ek, Petr Machácek, Petr Macháček, Jiri Soukup - Serialization and Persistent Objects
Petr Machá¿ek, Petr Machácek, Petr Macháček, Jiri Soukup Serialization and Persistent Objects English 23.08.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Barbara Chapman, Wenguang Chen, Guang R. Gao, Xinbo Gao, Depei Qian - Network and Parallel Computing
Barbara Chapman, Wenguang Chen, Guang R. Gao, Xinbo Gao, Depei Qian Network and Parallel Computing English 30.09.2016 Paperback / Softback Fr. 70.00 6-7 weeks