Languages
Subject
Format
Availabity
Authors

Search result

Catherine Dubois, Burkhart Wolff - Tests and Proofs
Catherine Dubois, Burkhart Wolff Tests and Proofs English 03.06.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Christian de Sainte Marie, Massimo Marchiori, Christian de Sainte Marie, Jeff Z. Pan - Web Reasoning and Rule Systems
Christian de Sainte Marie, Massimo Marchiori, Christian de Sainte Marie, Jeff Z. Pan Web Reasoning and Rule Systems English 30.01.2013 Paperback / Softback Fr. 70.00 6-7 weeks
Julie A. Jacko - Human-Computer Interaction. Interaction Design and Usability, 2 Volumes
Julie A. Jacko Human-Computer Interaction. Interaction Design and Usability, 2 Volumes English 14.04.2009 Paperback / Softback Fr. 189.00 6-7 weeks
Julie A. Jacko - Human-Computer Interaction. HCI Applications and Services, 2 Vols.
Julie A. Jacko Human-Computer Interaction. HCI Applications and Services, 2 Vols. English 14.04.2009 Paperback / Softback Fr. 189.00 6-7 weeks
Julie A. Jacko - Human-Computer Interaction. Interaction Platforms and Techniques, 2 Volumes
Julie A. Jacko Human-Computer Interaction. Interaction Platforms and Techniques, 2 Volumes English 29.01.2013 Paperback / Softback Fr. 135.00 6-7 weeks
Aren Rensink, Arend Rensink, Sánchez Cuadrado, Sánchez Cuadrado, Jesús Sánchez Cuadrado - Theory and Practice of Model Transformation
Aren Rensink, Arend Rensink, Sánchez Cuadrado, Sánchez Cuadrado, Jesús Sánchez Cuadrado Theory and Practice of Model Transformation English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Leszek A Maciaszek et al, Enrique Cabello, Jorg Cardoso, Jorge Cardoso, Leszek A. Maciaszek, Marten van Sinderen... - Software Technologies
Leszek A Maciaszek et al, Enrique Cabello, Jorg Cardoso, Jorge Cardoso, Leszek A. Maciaszek, Marten van Sinderen... Software Technologies English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Marí del Mar Gallardo, María del Mar Gallardo, Maria del Mar Gallardo, María del Mar Gallardo, Merino, Merino... - Model Checking Software
Marí del Mar Gallardo, María del Mar Gallardo, Maria del Mar Gallardo, María del Mar Gallardo, Merino, Merino... Model Checking Software English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Ernesto Damiani, Leszek Maciaszek, Georg Spanoudakis, George Spanoudakis - Evaluation of Novel Approaches to Software Engineering
Ernesto Damiani, Leszek Maciaszek, Georg Spanoudakis, George Spanoudakis Evaluation of Novel Approaches to Software Engineering English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Davide Ciucci, Gabriell Pasi, Gabriella Pasi, Barbara Vantaggi - Scalable Uncertainty Management
Davide Ciucci, Gabriell Pasi, Gabriella Pasi, Barbara Vantaggi Scalable Uncertainty Management English 30.11.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Peter A Buhr, Peter A. Buhr - Understanding Control Flow
Peter A Buhr, Peter A. Buhr Understanding Control Flow English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Hans Petter Langtangen - A Primer on Scientific Programming with Python
Hans Petter Langtangen A Primer on Scientific Programming with Python English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Vasan Subramanian - Pro MERN Stack
Vasan Subramanian Pro MERN Stack English 11.06.2019 Paperback / Softback Fr. 50.50 6-7 weeks
Muath Alkhalaf, Muath et al Alkhalaf, Abdulbaki Aydin, Tevfi Bultan, Tevfik Bultan, Fan Yu... - String Analysis for Software Verification and Security
Muath Alkhalaf, Muath et al Alkhalaf, Abdulbaki Aydin, Tevfi Bultan, Tevfik Bultan, Fan Yu... String Analysis for Software Verification and Security English 01.01.2019 Paperback / Softback Fr. 91.00 6-7 weeks
Serge Odintsov, Sergei Odintsov - Larisa Maksimova on Implication, Interpolation, and Definability
Serge Odintsov, Sergei Odintsov Larisa Maksimova on Implication, Interpolation, and Definability English 01.01.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Alexande Lancaster, Alexander Lancaster, Gordon Webster - Python for the Life Sciences
Alexande Lancaster, Alexander Lancaster, Gordon Webster Python for the Life Sciences English 29.11.2019 Paperback / Softback Fr. 53.90 6-7 weeks
Salvador Abreu, Michael Hanus, Dietmar Seipel - Declarative Programming and Knowledge Management
Salvador Abreu, Michael Hanus, Dietmar Seipel Declarative Programming and Knowledge Management English 27.09.2018 Paperback / Softback Fr. 70.00 6-7 weeks
El Hassan Abdelwahed, Ladjel Bellatreche, Mattéo Golfarelli, Dominique Méry, Carlos Ordonez - Model and Data Engineering
El Hassan Abdelwahed, Ladjel Bellatreche, Mattéo Golfarelli, Dominique Méry, Carlos Ordonez Model and Data Engineering English 13.09.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Ruy de Queiroz, Maricarmen Martinez, Lawrence S. Moss - Logic, Language, Information, and Computation
Ruy de Queiroz, Maricarmen Martinez, Lawrence S. Moss Logic, Language, Information, and Computation English 27.06.2018 Paperback / Softback Fr. 92.00 6-7 weeks
Olaf Beyersdorff, Christoph M. Wintersteiger - Theory and Applications of Satisfiability Testing - SAT 2018
Olaf Beyersdorff, Christoph M. Wintersteiger Theory and Applications of Satisfiability Testing - SAT 2018 English 26.06.2018 Paperback / Softback Fr. 70.00 6-7 weeks