Languages
Subject
Format
Availabity
Authors

Search result

Allen Emerson, E Allen Emerson, E. Allen Emerson, Kedar S. Namjoshi, S Namjoshi, S Namjoshi - Verification, Model Checking, and Abstract Interpretation
Allen Emerson, E Allen Emerson, E. Allen Emerson, Kedar S. Namjoshi, S Namjoshi, S Namjoshi Verification, Model Checking, and Abstract Interpretation English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Gustav Alonso, Gustavo Alonso - Middleware 2005
Gustav Alonso, Gustavo Alonso Middleware 2005 English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Uustalu, Uustalu, Tarmo Uustalu, Varm Vene, Varmo Vene - Advanced Functional Programming
Uustalu, Uustalu, Tarmo Uustalu, Varm Vene, Varmo Vene Advanced Functional Programming English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Bil Pugh, Bill Pugh, Tseng, Tseng, Chau-Wen Tseng - Languages and Compilers for Parallel Computing
Bil Pugh, Bill Pugh, Tseng, Tseng, Chau-Wen Tseng Languages and Compilers for Parallel Computing English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Pascal Hentenryck, Pascal Van Hentenryck, Pascal Van Hentenryck - Practical Aspects of Declarative Languages
Pascal Hentenryck, Pascal Van Hentenryck, Pascal Van Hentenryck Practical Aspects of Declarative Languages English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Pau Pettersson, Paul Pettersson, Yi, Yi, Wang Yi - Formal Modeling and Analysis of Timed Systems
Pau Pettersson, Paul Pettersson, Yi, Yi, Wang Yi Formal Modeling and Analysis of Timed Systems English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Beniamino Di Martino, Jack Dongarra, Diete Kranzlmüller, Dieter Kranzlmüller, Beniamino di Martino - Recent Advances in Parallel Virtual Machine and Message Passing Interface
Beniamino Di Martino, Jack Dongarra, Diete Kranzlmüller, Dieter Kranzlmüller, Beniamino di Martino Recent Advances in Parallel Virtual Machine and Message Passing Interface English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Chri Hankin, Chris Hankin, Siveroni, Siveroni, Igor Siveroni - Static Analysis
Chri Hankin, Chris Hankin, Siveroni, Siveroni, Igor Siveroni Static Analysis English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Uw Assmann, Uwe Assmann, Thomas Gschwind, Oscar Nierstrasz - Software Composition
Uw Assmann, Uwe Assmann, Thomas Gschwind, Oscar Nierstrasz Software Composition English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Theo Pavlidis, Theodosios Pavlidis - Fundamentals of X Programming
Theo Pavlidis, Theodosios Pavlidis Fundamentals of X Programming English 29.01.2013 Hardback Fr. 110.00 6-7 weeks
Bar Jacobs, Bart Jacobs, Rensink, Rensink, Arend Rensink - Formal Methods for Open Object-Based Distributed Systems V
Bar Jacobs, Bart Jacobs, Rensink, Rensink, Arend Rensink Formal Methods for Open Object-Based Distributed Systems V English 03.03.2011 Hardback Fr. 189.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 14.04.2009 Hardback Fr. 206.00 6-7 weeks
Giulio Concas, Ernest Damiani, Ernesto Damiani, Marco Scotto, Marco Scotto et al, Giancarlo Succi - Agile Processes in Software Engineering and Extreme Programming
Giulio Concas, Ernest Damiani, Ernesto Damiani, Marco Scotto, Marco Scotto et al, Giancarlo Succi Agile Processes in Software Engineering and Extreme Programming English 29.01.2013 Paperback / Softback Fr. 70.00 6-7 weeks
S. D. Gilmore, M. D. Ryan, Stephe Gilmore, Stephen Gilmore, Ryan, Ryan... - Language Constructs for Describing Features
S. D. Gilmore, M. D. Ryan, Stephe Gilmore, Stephen Gilmore, Ryan, Ryan... Language Constructs for Describing Features English 02.12.2013 Paperback / Softback Fr. 120.00 6-7 weeks
Fabric Kordon, Fabrice Kordon, Vardanega, Vardanega, Tullio Vardanega - Reliable Software Technologies - Ada-Europe 2008
Fabric Kordon, Fabrice Kordon, Vardanega, Vardanega, Tullio Vardanega Reliable Software Technologies - Ada-Europe 2008 English 29.01.2013 Paperback / Softback Fr. 70.00 6-7 weeks
Marcel Arenas, Marcelo Arenas, I Schwartzbach, I Schwartzbach, Michael I. Schwartzbach - Database Programming Languages
Marcel Arenas, Marcelo Arenas, I Schwartzbach, I Schwartzbach, Michael I. Schwartzbach Database Programming Languages English 13.09.2012 Paperback / Softback Fr. 70.00 6-7 weeks
Stefa Leue, Stefan Leue, Merino, Merino, Pedro Merino - Formal Methods for Industrial Critical Systems
Stefa Leue, Stefan Leue, Merino, Merino, Pedro Merino Formal Methods for Industrial Critical Systems English 27.09.2012 Paperback / Softback Fr. 70.00 6-7 weeks
Michae Cebulla, Michael Cebulla - Object-Oriented Technology. ECOOP 2007 Workshop Reader
Michae Cebulla, Michael Cebulla Object-Oriented Technology. ECOOP 2007 Workshop Reader English 29.01.2013 Paperback / Softback Fr. 70.00 6-7 weeks
Steffen Becker, Ralf H Reussner, Frantise Plasil, Frantisek Plasil, Ralf H. Reussner - Quality of Software Architectures Models and Architectures
Steffen Becker, Ralf H Reussner, Frantise Plasil, Frantisek Plasil, Ralf H. Reussner Quality of Software Architectures Models and Architectures English 27.09.2012 Paperback / Softback Fr. 70.00 6-7 weeks
Tarlecki Andrzej, Joh Fitzgerald, John Fitzgerald, Ian J. Hayes, J Hayes, J Hayes... - FM 2005: Formal Methods
Tarlecki Andrzej, Joh Fitzgerald, John Fitzgerald, Ian J. Hayes, J Hayes, J Hayes... FM 2005: Formal Methods English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks