Languages
Subject
Format
Availabity
Authors

Search result

Pete Thiemann, Peter Thiemann - Programming Languages and Systems
Pete Thiemann, Peter Thiemann Programming Languages and Systems English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Javie Esparza, Javier Esparza, Andrzej S. Murawski, S Murawski, S Murawski - Foundations of Software Science and Computation Structures
Javie Esparza, Javier Esparza, Andrzej S. Murawski, S Murawski, S Murawski Foundations of Software Science and Computation Structures English 31.12.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Ahme Bouajjani, Ahmed Bouajjani, Monniaux, Monniaux, David Monniaux - Verification, Model Checking, and Abstract Interpretation
Ahme Bouajjani, Ahmed Bouajjani, Monniaux, Monniaux, David Monniaux Verification, Model Checking, and Abstract Interpretation English 31.03.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Jerem Avigad, Jeremy Avigad, Mahboubi, Mahboubi, Assia Mahboubi - Interactive Theorem Proving
Jerem Avigad, Jeremy Avigad, Mahboubi, Mahboubi, Assia Mahboubi Interactive Theorem Proving English 01.01.2018 Paperback / Softback Fr. 124.00 6-7 weeks
Tiag Massoni, Tiago Massoni, Mohammad Reza Mousavi, Reza Mousavi, Reza Mousavi - Formal Methods: Foundations and Applications
Tiag Massoni, Tiago Massoni, Mohammad Reza Mousavi, Reza Mousavi, Reza Mousavi Formal Methods: Foundations and Applications English 31.12.2018 Paperback / Softback Fr. 82.00 6-7 weeks
Pete Müller, Peter Müller, SCHAEFER, Schaefer, Ina Schaefer - Principled Software Development
Pete Müller, Peter Müller, SCHAEFER, Schaefer, Ina Schaefer Principled Software Development English 01.01.2018 Hardback Fr. 135.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
Sunita Chandrasekaran, Guid Juckeland, Guido Juckeland, Sandra Wienke - Accelerator Programming Using Directives
Sunita Chandrasekaran, Guid Juckeland, Guido Juckeland, Sandra Wienke Accelerator Programming Using Directives English 01.01.2019 Paperback / Softback Fr. 70.00 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
Vinay Trivedi - How to Speak Tech
Vinay Trivedi How to Speak Tech English 12.05.2019 Paperback / Softback Fr. 37.50 6-7 weeks
David Van Horn, Hughes, Hughes, John Hughes, Davi Van Horn, David Van Horn - Trends in Functional Programming
David Van Horn, Hughes, Hughes, John Hughes, Davi Van Horn, David Van Horn Trends in Functional Programming English 01.01.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Lee Ammeraal, Leen Ammeraal, Kang Zhang - Computer Graphics for Java Programmers
Lee Ammeraal, Leen Ammeraal, Kang Zhang Computer Graphics for Java Programmers English 01.01.2018 Paperback / Softback Fr. 93.00 6-7 weeks
Chi N Thai, Chi N. Thai - Exploring Robotics with ROBOTIS Systems
Chi N Thai, Chi N. Thai Exploring Robotics with ROBOTIS Systems English 01.01.2018 Paperback / Softback Fr. 84.00 6-7 weeks
Manue Mazzara, Manuel Mazzara, Meyer, Meyer, Bertrand Meyer - Present and Ulterior Software Engineering
Manue Mazzara, Manuel Mazzara, Meyer, Meyer, Bertrand Meyer Present and Ulterior Software Engineering English 01.01.2018 Paperback / Softback Fr. 135.00 6-7 weeks
Sergei V Chekanov, Sergei V. Chekanov - Numeric Computation and Statistical Data Analysis on the Java Platform
Sergei V Chekanov, Sergei V. Chekanov Numeric Computation and Statistical Data Analysis on the Java Platform English 01.01.2018 Paperback / Softback Fr. 147.00 6-7 weeks
Felix Winterstein - Separation Logic for High-level Synthesis
Felix Winterstein Separation Logic for High-level Synthesis English 01.01.2018 Paperback / Softback Fr. 135.00 6-7 weeks
Laura Tateosian - Python For ArcGIS
Laura Tateosian Python For ArcGIS English 01.01.2018 Paperback / Softback Fr. 110.00 6-7 weeks
Sumit Raj - Building Chatbots with Python
Sumit Raj Building Chatbots with Python English 01.01.2018 Paperback / Softback Fr. 43.90 6-7 weeks
Shuvend K Lahiri, Shuvendu K Lahiri, Shuvendu Lahiri, Shuvendu K. Lahiri, Wang, Wang... - Automated Technology for Verification and Analysis
Shuvend K Lahiri, Shuvendu K Lahiri, Shuvendu Lahiri, Shuvendu K. Lahiri, Wang, Wang... Automated Technology for Verification and Analysis English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Oskar Bartenstein, Ulrich Geske, Michael Hanus, Dietmar Seipel - Applications of Declarative Programming and Knowledge Management
Oskar Bartenstein, Ulrich Geske, Michael Hanus, Dietmar Seipel Applications of Declarative Programming and Knowledge Management English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks