Languages
Subject
Format
Availabity
Authors

Search result

Nicola Brunie, Nicolas Brunie, F de Dinechin, Florent de Dinechin, Claude-Pierre Jeannerod, Mioara Joldes... - Handbook of Floating-Point Arithmetic
Nicola Brunie, Nicolas Brunie, F de Dinechin, Florent de Dinechin, Claude-Pierre Jeannerod, Mioara Joldes... Handbook of Floating-Point Arithmetic English 01.01.2019 Paperback / Softback Fr. 189.00 6-7 weeks
Jorg A Pérez, Jorge A Pérez, Jorge A. Pérez, Yoshida, Yoshida, Nobuko Yoshida - Formal Techniques for Distributed Objects, Components, and Systems
Jorg A Pérez, Jorge A Pérez, Jorge A. Pérez, Yoshida, Yoshida, Nobuko Yoshida Formal Techniques for Distributed Objects, Components, and Systems English 01.01.2019 Paperback / Softback Fr. 89.00 6-7 weeks
Leszek A Maciaszek, Ernesto Damiani, Leszek A. Maciaszek, Georg Spanoudakis, George Spanoudakis - Evaluation of Novel Approaches to Software Engineering
Leszek A Maciaszek, Ernesto Damiani, Leszek A. Maciaszek, Georg Spanoudakis, George Spanoudakis Evaluation of Novel Approaches to Software Engineering English 01.01.2019 Paperback / Softback Fr. 106.00 6-7 weeks
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
Ben Stephenson - The Python Workbook
Ben Stephenson The Python Workbook English 01.01.2019 Hardback Fr. 70.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
M. Aleksy, Marku Aleksy, Markus Aleksy, Axe Korthaus, Axel Korthaus, Martin Schader - Implementing Distributed Systems with Java and CORBA
M. Aleksy, Marku Aleksy, Markus Aleksy, Axe Korthaus, Axel Korthaus, Martin Schader Implementing Distributed Systems with Java and CORBA English 01.01.2005 Hardback Fr. 70.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
Miko¿aj Boja¿czyk, Mikola Bojanczyk, Mikolaj Bojanczyk, Mikołaj Bojańczyk, SIMPSON, Simpson... - Foundations of Software Science and Computation Structures
Miko¿aj Boja¿czyk, Mikola Bojanczyk, Mikolaj Bojanczyk, Mikołaj Bojańczyk, SIMPSON, Simpson... Foundations of Software Science and Computation Structures English 01.01.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Luí Caires, Luís Caires - Programming Languages and Systems
Luí Caires, Luís Caires Programming Languages and Systems 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. 106.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