Languages
Subject
Format
Availabity
Authors

Search result

R. Nieuwenhuis, Robert Nieuwenhuis - Rewriting Techniques and Applications
R. Nieuwenhuis, Robert Nieuwenhuis Rewriting Techniques and Applications English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Andrei Voronkov - Automated Deduction - CADE-18
Andrei Voronkov Automated Deduction - CADE-18 English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
B. Falsafi, T. N. Vijaykumar, T.N. Vijaykumar - Power-Aware Computer Systems
B. Falsafi, T. N. Vijaykumar, T.N. Vijaykumar Power-Aware Computer Systems English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Am L Murphy, Amy L Murphy, Amy L. Murphy, Vitek, Vitek, Jan Vitek - Coordination Models and Languages
Am L Murphy, Amy L Murphy, Amy L. Murphy, Vitek, Vitek, Jan Vitek Coordination Models and Languages English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Wolfgang Grieskamp, Alexandre Petrenko, Jan Tretmans, Margus Veanes - Testing of Software and Communicating Systems
Wolfgang Grieskamp, Alexandre Petrenko, Jan Tretmans, Margus Veanes Testing of Software and Communicating Systems English 29.01.2013 Paperback / Softback Fr. 70.00 6-7 weeks
J. Mermet, Jea Mermet, Jean Mermet - Electronic Chips & Systems Design Languages
J. Mermet, Jea Mermet, Jean Mermet Electronic Chips & Systems Design Languages English 01.07.2009 Hardback Fr. 260.00 6-7 weeks
Peter J. Ashenden, J. Mermet, Jea Mermet, Jean Mermet, Ralf Seepold - System-on-Chip Methodologies & Design Languages
Peter J. Ashenden, J. Mermet, Jea Mermet, Jean Mermet, Ralf Seepold System-on-Chip Methodologies & Design Languages English 14.04.2009 Hardback Fr. 226.00 6-7 weeks
Luí Caires, Luis Caires, Luís Caires, T Vasconcelos, T Vasconcelos, Vasco T. Vasconcelos - CONCUR 2007 - Concurrency Theory
Luí Caires, Luis Caires, Luís Caires, T Vasconcelos, T Vasconcelos, Vasco T. Vasconcelos CONCUR 2007 - Concurrency Theory English 14.04.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Karel Driesen - Efficient Polymorphic Calls
Karel Driesen Efficient Polymorphic Calls English 11.02.2011 Hardback Fr. 199.00 6-7 weeks
YiXiang Chen, Guo-Qiang Zhang, Guo-Qiang Zhang, Klaus Keimel, Ying Ming Liu, Ying Ming Liu et al... - Domains and Processes
YiXiang Chen, Guo-Qiang Zhang, Guo-Qiang Zhang, Klaus Keimel, Ying Ming Liu, Ying Ming Liu et al... Domains and Processes English 14.04.2009 Hardback Fr. 169.00 6-7 weeks
Jose Kallrath, Josef Kallrath - Modeling Languages in Mathematical Optimization
Jose Kallrath, Josef Kallrath Modeling Languages in Mathematical Optimization English 18.04.2005 Hardback Fr. 297.00 6-7 weeks
Paol Ciancarini, Paolo Ciancarini, Wiklicky, Wiklicky, Herbert Wiklicky - Coordination Models and Languages
Paol Ciancarini, Paolo Ciancarini, Wiklicky, Wiklicky, Herbert Wiklicky Coordination Models and Languages English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Frank S. de Boer, Marcello M. Bonsangue, Frank S. De Boer, Willem-Paul de Roever, Susanne Graf, Susanne Graf et al... - Formal Methods for Components and Objects
Frank S. de Boer, Marcello M. Bonsangue, Frank S. De Boer, Willem-Paul de Roever, Susanne Graf, Susanne Graf et al... Formal Methods for Components and Objects English 20.10.2006 Paperback / Softback Fr. 70.00 6-7 weeks
Frank Pfenning - Term Rewriting and Applications
Frank Pfenning Term Rewriting and Applications English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Oliver Alt - Car Multimedia Systeme Modell-basiert testen mit SysML
Oliver Alt Car Multimedia Systeme Modell-basiert testen mit SysML German 27.03.2009 Paperback / Softback Fr. 91.00 6-7 weeks
Martin Pollakowski - Grundkurs Socketprogrammierung mit C unter Linux
Martin Pollakowski Grundkurs Socketprogrammierung mit C unter Linux German 01.01.2009 Paperback / Softback Fr. 50.90 6-7 weeks
Joaquim Filipe, Markus Helfert, Markus Helfert et al, Leszek Maciaszek, Leszek A. Maciaszek, Bori Shishkov... - Software and Data Technologies
Joaquim Filipe, Markus Helfert, Markus Helfert et al, Leszek Maciaszek, Leszek A. Maciaszek, Bori Shishkov... Software and Data Technologies English 29.01.2013 Paperback / Softback Fr. 135.00 6-7 weeks
Egon Börger, Antonio Cisternino - Advances in Software Engineering
Egon Börger, Antonio Cisternino Advances in Software Engineering English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Martell, Martell, Craig Martell, Barbar Paech, Barbara Paech - Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs
Martell, Martell, Craig Martell, Barbar Paech, Barbara Paech Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs English 28.04.2011 Paperback / Softback Fr. 70.00 6-7 weeks
Mauric Bruynooghe, Maurice Bruynooghe, Lau, Lau, Kung-Kiu Lau, Lau Kung-Kiu - Program Development in Computational Logic
Mauric Bruynooghe, Maurice Bruynooghe, Lau, Lau, Kung-Kiu Lau, Lau Kung-Kiu Program Development in Computational Logic English 17.08.2004 Paperback / Softback Fr. 70.00 6-7 weeks