Languages
Subject
Format
Availabity
Authors

Search result

Fujisawa, Fujisawa, Hiromichi Fujisawa, Simon Marinai, Simone Marinai - Machine Learning in Document Analysis and Recognition
Fujisawa, Fujisawa, Hiromichi Fujisawa, Simon Marinai, Simone Marinai Machine Learning in Document Analysis and Recognition English 06.10.2010 Paperback / Softback Fr. 189.00 6-7 weeks
Luc Claesen, Ricardo Reis, Ricardo Reis et al, Maria-Teres Sanz-Pascual, Maria-Teresa Sanz-Pascual, Arturo Sarmiento-Reyes - VLSI-SoC: Internet of Things Foundations
Luc Claesen, Ricardo Reis, Ricardo Reis et al, Maria-Teres Sanz-Pascual, Maria-Teresa Sanz-Pascual, Arturo Sarmiento-Reyes VLSI-SoC: Internet of Things Foundations English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Antoni Ligeza, Antoni Ligêza - Logical Foundations for Rule-Based Systems
Antoni Ligeza, Antoni Ligêza Logical Foundations for Rule-Based Systems English 06.10.2010 Paperback / Softback Fr. 189.00 6-7 weeks
Costin Badica, Dumitru Dan Burdescu, Vincenza Carchiolo, Vincenza Carchiolo et al, Giusepp Mangioni, Giuseppe Mangioni - Intelligent Distributed Computing, Systems and Applications
Costin Badica, Dumitru Dan Burdescu, Vincenza Carchiolo, Vincenza Carchiolo et al, Giusepp Mangioni, Giuseppe Mangioni Intelligent Distributed Computing, Systems and Applications English 12.10.2010 Paperback / Softback Fr. 189.00 6-7 weeks
Shiguo Lian, Nikolaos Nikolaidis, Nikolaos Nikolaidis et al, Husrev T. Sencar, Sergi Velastin, Sergio Velastin - Intelligent Multimedia Analysis for Security Applications
Shiguo Lian, Nikolaos Nikolaidis, Nikolaos Nikolaidis et al, Husrev T. Sencar, Sergi Velastin, Sergio Velastin Intelligent Multimedia Analysis for Security Applications English 01.06.2012 Paperback / Softback Fr. 189.00 6-7 weeks
Mohammad Abdullah Al Faruque, Marco Aurélio Wehrmeister et al, Marcelo Götz, Achim Rettberg, Guna Schirner, Gunar Schirner... - System Level Design from HW/SW to Memory for Embedded Systems
Mohammad Abdullah Al Faruque, Marco Aurélio Wehrmeister et al, Marcelo Götz, Achim Rettberg, Guna Schirner, Gunar Schirner... System Level Design from HW/SW to Memory for Embedded Systems English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Janiak, Janiak, Adam Janiak, Radosla Katarzyniak, Radoslaw Katarzyniak - New Challenges in Computational Collective Intelligence
Janiak, Janiak, Adam Janiak, Radosla Katarzyniak, Radoslaw Katarzyniak New Challenges in Computational Collective Intelligence English 08.12.2011 Paperback / Softback Fr. 189.00 6-7 weeks
Diete Krause, Dieter Krause, Loch, Loch, Horst Loch - Mathematical Simulation in Glass Technology
Diete Krause, Dieter Krause, Loch, Loch, Horst Loch Mathematical Simulation in Glass Technology English 13.11.2013 Paperback / Softback Fr. 356.00 6-7 weeks
Luc Claesen, Ricardo Reis, Ricardo Reis et al, Maria-Teres Sanz-Pascual, Maria-Teresa Sanz-Pascual, Arturo Sarmiento-Reyes - VLSI-SoC: Internet of Things Foundations
Luc Claesen, Ricardo Reis, Ricardo Reis et al, Maria-Teres Sanz-Pascual, Maria-Teresa Sanz-Pascual, Arturo Sarmiento-Reyes VLSI-SoC: Internet of Things Foundations English 01.01.2015 Hardback Fr. 70.00 6-7 weeks
Jör Desel, Jörg Desel, Jetty Kleijn, Maciej Koutny - Transactions on Petri Nets and Other Models of Concurrency XI
Jör Desel, Jörg Desel, Jetty Kleijn, Maciej Koutny Transactions on Petri Nets and Other Models of Concurrency XI English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Friedemann Bitsch, Jérémi Guiochet, Jérémie Guiochet, Erwin Schoitsch, Erwin Schoitsch et al, Amund Skavhaug - Computer Safety, Reliability, and Security
Friedemann Bitsch, Jérémi Guiochet, Jérémie Guiochet, Erwin Schoitsch, Erwin Schoitsch et al, Amund Skavhaug Computer Safety, Reliability, and Security English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Edward A Lee, Edward A. Lee, Mohammad Reza Mousavi, Mohammad Reza Mousavi, Carolyn Talcott - Rebeca for Actor Analysis in Action
Edward A Lee, Edward A. Lee, Mohammad Reza Mousavi, Mohammad Reza Mousavi, Carolyn Talcott Rebeca for Actor Analysis in Action English 06.04.2025 Paperback / Softback Fr. 92.00 6-7 weeks
Pasca Fontaine, Pascal Fontaine - Automated Deduction - CADE 27
Pasca Fontaine, Pascal Fontaine Automated Deduction - CADE 27 English 31.10.2019 Paperback / Softback Fr. 110.00 6-7 weeks
Shankaranarayanan Krishna, Krishna S., Sriram Sankaranarayanan, Krishna Shankaranarayanan, Ashutosh Trivedi - Verification, Model Checking, and Abstract Interpretation
Shankaranarayanan Krishna, Krishna S., Sriram Sankaranarayanan, Krishna Shankaranarayanan, Ashutosh Trivedi Verification, Model Checking, and Abstract Interpretation English 27.03.2025 Paperback / Softback Fr. 82.00 6-7 weeks
Shankaranarayanan Krishna, Krishna S., Sriram Sankaranarayanan, Krishna Shankaranarayanan, Ashutosh Trivedi - Verification, Model Checking, and Abstract Interpretation
Shankaranarayanan Krishna, Krishna S., Sriram Sankaranarayanan, Krishna Shankaranarayanan, Ashutosh Trivedi Verification, Model Checking, and Abstract Interpretation English 27.03.2025 Paperback / Softback Fr. 82.00 6-7 weeks
Viktor Vafeiadis - Programming Languages and Systems
Viktor Vafeiadis Programming Languages and Systems English 10.07.2025 Paperback / Softback Fr. 56.90 6-7 weeks
Viktor Vafeiadis - Programming Languages and Systems
Viktor Vafeiadis Programming Languages and Systems English 10.07.2025 Paperback / Softback Fr. 56.90 6-7 weeks
Chang, Stephen Chang, Jason Hemann - Trends in Functional Programming
Chang, Stephen Chang, Jason Hemann Trends in Functional Programming English 27.01.2025 Paperback / Softback Fr. 82.00 6-7 weeks
Christian Berger, Mohammad Reza Mousavi, Mohamma Reza Mousavi, Mohammad Reza Mousavi, Rafael Wisniewski - Cyber Physical Systems. Design, Modeling, and Evaluation
Christian Berger, Mohammad Reza Mousavi, Mohamma Reza Mousavi, Mohammad Reza Mousavi, Rafael Wisniewski Cyber Physical Systems. Design, Modeling, and Evaluation English 01.01.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Signe Redfield, Mae Seto, Mae Seto et al, Donald Sofge, John Sustersic - Verification of Autonomous Systems
Signe Redfield, Mae Seto, Mae Seto et al, Donald Sofge, John Sustersic Verification of Autonomous Systems English, German Hardback Fr. 188.00 Will be released 16.08.2025