Languages
Subject
Format
Availabity
Authors

Search result

Volodymy Kindratenko, Volodymyr Kindratenko - Numerical Computations with GPUs
Volodymy Kindratenko, Volodymyr Kindratenko Numerical Computations with GPUs English 27.03.2014 Hardback Fr. 179.00 6-7 weeks
Emilio Corchado, Francisco Javier Martínez de Pisón, Héctor Quintián, Héctor Quintián et al, Rubé Urraca, Rubén Urraca - Hybrid Artificial Intelligent Systems
Emilio Corchado, Francisco Javier Martínez de Pisón, Héctor Quintián, Héctor Quintián et al, Rubé Urraca, Rubén Urraca Hybrid Artificial Intelligent Systems English 31.07.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Alistai Barros, Alistair Barros, Oberle, Oberle, Daniel Oberle - Handbook of Service Description
Alistai Barros, Alistair Barros, Oberle, Oberle, Daniel Oberle Handbook of Service Description English 01.04.2012 Hardback Fr. 169.00 6-7 weeks
K C Wang, K. C. Wang, K.C. Wang - Design and Implementation of the MTX Operating System
K C Wang, K. C. Wang, K.C. Wang Design and Implementation of the MTX Operating System English 01.01.2015 Hardback Fr. 158.00 6-7 weeks
Bader, Bader, Markus Bader, Johan Blieberger, Johann Blieberger - Reliable Software Technologies - Ada-Europe 2017
Bader, Bader, Markus Bader, Johan Blieberger, Johann Blieberger Reliable Software Technologies - Ada-Europe 2017 English 31.07.2017 Paperback / Softback Fr. 77.00 6-7 weeks
Javier Farreres - The DSSSL Book
Javier Farreres The DSSSL Book English 12.03.2013 Paperback / Softback Fr. 169.00 6-7 weeks
David Bausum - TeX Reference Manual
David Bausum TeX Reference Manual English 12.03.2013 Paperback / Softback Fr. 169.00 6-7 weeks
Joh Hunt, John Hunt, Chris Loftus - Guide to J2EE: Enterprise Java
Joh Hunt, John Hunt, Chris Loftus Guide to J2EE: Enterprise Java English 13.03.2013 Paperback / Softback Fr. 189.00 6-7 weeks
Kang Zhang, Kang Zhang, Kan Zhang, Kang Zhang - Software Visualization
Kang Zhang, Kang Zhang, Kan Zhang, Kang Zhang Software Visualization English 13.03.2013 Paperback / Softback Fr. 207.00 6-7 weeks
Juli Cesar Sampaio do Prado Leite, Julio Cesar Sampaio do Prado Leite, Jorge Horacio Doorn, Horacio Doorn, Julio Cesar Sampaio Do Prado Leite - Perspectives on Software Requirements
Juli Cesar Sampaio do Prado Leite, Julio Cesar Sampaio do Prado Leite, Jorge Horacio Doorn, Horacio Doorn, Julio Cesar Sampaio Do Prado Leite Perspectives on Software Requirements English 13.03.2013 Paperback / Softback Fr. 110.00 6-7 weeks
Franc Barbier, Franck Barbier - Business Component-Based Software Engineering
Franc Barbier, Franck Barbier Business Component-Based Software Engineering English 13.03.2013 Paperback / Softback Fr. 179.00 6-7 weeks
Liz Kurian John, Lizy Kurian John, Marie Grizzaffi Maynard, Marie Grizzaffi Maynard, Ann Marie Grizzaffi Maynard, Ann Marie Grizzaffi Maynard - Workload Characterization of Emerging Computer Applications
Liz Kurian John, Lizy Kurian John, Marie Grizzaffi Maynard, Marie Grizzaffi Maynard, Ann Marie Grizzaffi Maynard, Ann Marie Grizzaffi Maynard Workload Characterization of Emerging Computer Applications English 13.03.2013 Paperback / Softback Fr. 207.00 6-7 weeks
Iman Saleh - Formalizing Data-Centric Web Services
Iman Saleh Formalizing Data-Centric Web Services English 31.10.2015 Hardback Fr. 70.00 6-7 weeks
de Lemos, de Lemos, Rogério de Lemos, Antóni Lopes, Antónia Lopes - Software Architecture
de Lemos, de Lemos, Rogério de Lemos, Antóni Lopes, Antónia Lopes Software Architecture English 30.09.2017 Paperback / Softback Fr. 70.00 6-7 weeks
A Muñoz, A Muñoz, Maurici Ayala-Rincón, Mauricio Ayala-Rincón, César A. Muñoz - Interactive Theorem Proving
A Muñoz, A Muñoz, Maurici Ayala-Rincón, Mauricio Ayala-Rincón, César A. Muñoz Interactive Theorem Proving English 30.09.2017 Paperback / Softback Fr. 70.00 6-7 weeks
S. S. Agrawal, Poonam Bansal, Amita Dev, Amit Devi, Amita Devi, Ritika Wason... - Speech and Language Processing for Human-Machine Communications
S. S. Agrawal, Poonam Bansal, Amita Dev, Amit Devi, Amita Devi, Ritika Wason... Speech and Language Processing for Human-Machine Communications English 31.10.2017 Paperback / Softback Fr. 135.00 6-7 weeks
Martin Davis, Ansga Fehnker, Ansgar Fehnker, Annabelle McIver, Annabelle McIver et al, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning
Martin Davis, Ansga Fehnker, Ansgar Fehnker, Annabelle McIver, Annabelle McIver et al, Andrei Voronkov Logic for Programming, Artificial Intelligence, and Reasoning English 01.01.2015 Paperback / Softback Fr. 70.00 6-7 weeks
Lecomte, Lecomte, Thierry Lecomte, Leil Ribeiro, Leila Ribeiro - Formal Methods: Foundations and Applications
Lecomte, Lecomte, Thierry Lecomte, Leil Ribeiro, Leila Ribeiro Formal Methods: Foundations and Applications English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Deepa D'Souza, Deepak D'Souza, Narayan Kumar, Narayan Kumar, K. Narayan Kumar - Automated Technology for Verification and Analysis
Deepa D'Souza, Deepak D'Souza, Narayan Kumar, Narayan Kumar, K. Narayan Kumar Automated Technology for Verification and Analysis English 31.10.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Axe Legay, Axel Legay, Margaria, Margaria, Tiziana Margaria - Tools and Algorithms for the Construction and Analysis of Systems
Axe Legay, Axel Legay, Margaria, Margaria, Tiziana Margaria Tools and Algorithms for the Construction and Analysis of Systems English 30.04.2017 Paperback / Softback Fr. 70.00 6-7 weeks