Languages
Subject
Format
Availabity
Authors

Search result

Mike Barnett, Jim Davies, Wolfram Schulte - Formal Methods and Software Engineering
Mike Barnett, Jim Davies, Wolfram Schulte Formal Methods and Software Engineering English 06.06.2005 Paperback / Softback Fr. 135.00 6-7 weeks
Frank S. de Boer, Marcello M. Bonsangue, Willem-Paul de Roever, Susanne Graf, Susanne Graf et al, Marcell M Bonsangue... - Formal Methods for Components and Objects
Frank S. de Boer, Marcello M. Bonsangue, Willem-Paul de Roever, Susanne Graf, Susanne Graf et al, Marcell M Bonsangue... Formal Methods for Components and Objects English 20.12.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Marti Steffen, Martin Steffen, Zavattaro, Zavattaro, Gianluigi Zavattaro - Formal Methods for Open Object-Based Distributed Systems
Marti Steffen, Martin Steffen, Zavattaro, Zavattaro, Gianluigi Zavattaro Formal Methods for Open Object-Based Distributed Systems English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
M. Bernardo, Marc Bernardo, Marco Bernardo, Corradini, Corradini, F. Corradini... - Formal Methods for the Design of Real-Time Systems
M. Bernardo, Marc Bernardo, Marco Bernardo, Corradini, Corradini, F. Corradini... Formal Methods for the Design of Real-Time Systems English 20.12.2004 Paperback / Softback Fr. 70.00 6-7 weeks
H. Kreowski, Hans-Jörg Kreowski, Ug Montanari, Ugo Montanari, Fernando Orejas, Fernando Orejas et al... - Formal Methods in Software and Systems Modeling
H. Kreowski, Hans-Jörg Kreowski, Ug Montanari, Ugo Montanari, Fernando Orejas, Fernando Orejas et al... Formal Methods in Software and Systems Modeling English 26.04.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Jan Bosch, Morve Gentleman, Morven Gentleman, Christine Hofmeister, Christine Hofmeister et al, Juha Kuusela - Software Architecture
Jan Bosch, Morve Gentleman, Morven Gentleman, Christine Hofmeister, Christine Hofmeister et al, Juha Kuusela Software Architecture English 14.04.2009 Hardback Fr. 193.00 6-7 weeks
Guillaum Bonfante, Guillaume Bonfante, Mourad Debbabi, Mourad Debbabi et al, Joaquin Garcia-Alfaro, Nur Zincir-Heywood - Foundations and Practice of Security
Guillaum Bonfante, Guillaume Bonfante, Mourad Debbabi, Mourad Debbabi et al, Joaquin Garcia-Alfaro, Nur Zincir-Heywood Foundations and Practice of Security English 01.01.2019 Paperback / Softback Fr. 92.00 6-7 weeks
Louis-Marti Rousseau, Louis-Martin Rousseau, Stergiou, Stergiou, Kostas Stergiou - Integration of Constraint Programming, Artificial Intelligence, and Operations Research
Louis-Marti Rousseau, Louis-Martin Rousseau, Stergiou, Stergiou, Kostas Stergiou Integration of Constraint Programming, Artificial Intelligence, and Operations Research English 01.01.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Francesco Calimeri, Nicol Leone, Nicola Leone, Marco Manna - Logics in Artificial Intelligence
Francesco Calimeri, Nicol Leone, Nicola Leone, Marco Manna Logics in Artificial Intelligence English 01.01.2019 Paperback / Softback Fr. 133.00 6-7 weeks
Gay, Gay, Gregory Gay, Shiv Nejati, Shiva Nejati - Search-Based Software Engineering
Gay, Gay, Gregory Gay, Shiv Nejati, Shiva Nejati Search-Based Software Engineering English 01.01.2019 Paperback / Softback Fr. 70.00 6-7 weeks
García Rodríguez de Guzmán, Ignacio García Rodríguez de Guzmán, Ricardo Pérez-Castillo, Mario Piattini, Paul Rupino da Cunha, Paulo Rupino Da Cunha - Quality of Information and Communications Technology
García Rodríguez de Guzmán, Ignacio García Rodríguez de Guzmán, Ricardo Pérez-Castillo, Mario Piattini, Paul Rupino da Cunha, Paulo Rupino Da Cunha Quality of Information and Communications Technology English 31.10.2019 Paperback / Softback Fr. 105.00 6-7 weeks
Maur Cerioli, Maura Cerioli - Fundamental Approaches to Software Engineering
Maur Cerioli, Maura Cerioli Fundamental Approaches to Software Engineering English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Eduardo Alonso, Dimita Kazakov, Dimitar Kazakov, Daniel Kudenko - Adaptive Agents and Multi-Agent Systems II. Vol.2
Eduardo Alonso, Dimita Kazakov, Dimitar Kazakov, Daniel Kudenko Adaptive Agents and Multi-Agent Systems II. Vol.2 English 22.06.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Ivica Crnkovic, George Heineman, Heinz W. Schmidt, Judith A. Stafford, Clemens Szyperski, Kurt Wallnau - Component-Based Software Engineering
Ivica Crnkovic, George Heineman, Heinz W. Schmidt, Judith A. Stafford, Clemens Szyperski, Kurt Wallnau Component-Based Software Engineering English 19.02.2009 Paperback / Softback Fr. 70.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 01.07.2009 Hardback Fr. 169.00 6-7 weeks
Victor R Basili, Victor R. Basili, Natali Juristo, Natalia Juristo, Sir Vegas, Sira Vegas - Identifying Relevant Information for Testing Technique Selection
Victor R Basili, Victor R. Basili, Natali Juristo, Natalia Juristo, Sir Vegas, Sira Vegas Identifying Relevant Information for Testing Technique Selection English 11.02.2011 Hardback Fr. 184.00 6-7 weeks
Jürgen Giesl - Term Rewriting and Applications
Jürgen Giesl Term Rewriting and Applications English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
P. B. Levy, P.B. Levy, Paul Blain Levy - Call-By-Push-Value
P. B. Levy, P.B. Levy, Paul Blain Levy Call-By-Push-Value English 14.04.2009 Hardback Fr. 199.00 6-7 weeks
Domenic Cantone, Domenico Cantone, Eugeni Omodeo, Eugenio Omodeo, Alber Policriti, Alberto Policriti - Set Theory for Computing
Domenic Cantone, Domenico Cantone, Eugeni Omodeo, Eugenio Omodeo, Alber Policriti, Alberto Policriti Set Theory for Computing English 31.07.2001 Hardback Fr. 193.00 6-7 weeks
Franc Barbier, Franck Barbier - Business Component-Based Software Engineering
Franc Barbier, Franck Barbier Business Component-Based Software Engineering English 11.02.2011 Hardback Fr. 179.00 6-7 weeks