Languages
Subject
Format
Availabity
Authors

Search result

Renat A Schmidt, Renate A Schmidt, Nalon, Nalon, Cláudia Nalon, Renate A. Schmidt - Automated Reasoning with Analytic Tableaux and Related Methods
Renat A Schmidt, Renate A Schmidt, Nalon, Nalon, Cláudia Nalon, Renate A. Schmidt Automated Reasoning with Analytic Tableaux and Related Methods English 01.01.2017 Paperback / Softback Fr. 90.00 6-7 weeks
Leoni Sokolinsky, Leonid Sokolinsky, Zymbler, Zymbler, Mikhail Zymbler - Parallel Computational Technologies
Leoni Sokolinsky, Leonid Sokolinsky, Zymbler, Zymbler, Mikhail Zymbler Parallel Computational Technologies English 01.01.2017 Paperback / Softback Fr. 70.00 6-7 weeks
José C Cabaleiro, José C. Cabaleiro, Tomá F Pena, Tomás F Pena, Tomás F. Pena, Francisco F. Rivera - Euro-Par 2017: Parallel Processing
José C Cabaleiro, José C. Cabaleiro, Tomá F Pena, Tomás F Pena, Tomás F. Pena, Francisco F. Rivera Euro-Par 2017: Parallel Processing English 01.01.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Jonathan P. Bowen, Zhimin Liu, Zhiming Liu, Zili Zhang - Engineering Trustworthy Software Systems
Jonathan P. Bowen, Zhimin Liu, Zhiming Liu, Zili Zhang Engineering Trustworthy Software Systems English 31.05.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Kuncak, Kuncak, Viktor Kuncak, Viktor Kunčak, Rupa Majumdar, Rupak Majumdar - Computer Aided Verification
Kuncak, Kuncak, Viktor Kuncak, Viktor Kunčak, Rupa Majumdar, Rupak Majumdar Computer Aided Verification English 01.01.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Nathan Baddoo, Rory V. Baddoo, Richard Messnarz, Rory O'Connor, Kari Smolander - Software Process Improvement
Nathan Baddoo, Rory V. Baddoo, Richard Messnarz, Rory O'Connor, Kari Smolander Software Process Improvement English 29.01.2013 Paperback / Softback Fr. 124.00 6-7 weeks
Dharin Balasubramaniam, Dharini Balasubramaniam, Katrina Falkner, Ron Morrison, Ronald Morrison - Software Architecture
Dharin Balasubramaniam, Dharini Balasubramaniam, Katrina Falkner, Ron Morrison, Ronald Morrison Software Architecture English 01.01.2008 Paperback / Softback Fr. 104.00 6-7 weeks
Rocc De Nicola, Rocco De Nicola, Kühn, Kühn, Eva Kühn, Rocco de Nicola - Software Engineering and Formal Methods
Rocc De Nicola, Rocco De Nicola, Kühn, Kühn, Eva Kühn, Rocco de Nicola Software Engineering and Formal Methods English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Lönn, Lönn, Henrik Lönn, Andrzej W¿sowski, Andrze Wasowski, Andrzej Wasowski... - Modelling Foundations and Applications
Lönn, Lönn, Henrik Lönn, Andrzej W¿sowski, Andrze Wasowski, Andrzej Wasowski... Modelling Foundations and Applications English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Fabio Casati, Silvana Castano, Umeshwar Dayal, Umeshwar Dayal et al, José Palazzo M. de Oliverira, Alberto H. F. Laender... - Conceptual Modeling - ER 2009
Fabio Casati, Silvana Castano, Umeshwar Dayal, Umeshwar Dayal et al, José Palazzo M. de Oliverira, Alberto H. F. Laender... Conceptual Modeling - ER 2009 English 01.01.2009 Paperback / Softback Fr. 135.00 6-7 weeks
H.-G. Gross, Hans-Gerhard Gross - Component-Based Software Testing with UML
H.-G. Gross, Hans-Gerhard Gross Component-Based Software Testing with UML English 17.09.2004 Hardback Fr. 70.00 6-7 weeks
A Furia, A Furia, Bernhard K. Aichernig, Carlo A. Furia, Bernhar K Aichernig, Bernhard K Aichernig - Tests and Proofs
A Furia, A Furia, Bernhard K. Aichernig, Carlo A. Furia, Bernhar K Aichernig, Bernhard K Aichernig Tests and Proofs English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Shuichi Yukita - Category Theory Using Haskell
Shuichi Yukita Category Theory Using Haskell English 14.11.2024 Hardback Fr. 239.00 6-7 weeks
Bernhar Steffen, Bernhard Steffen - Transactions on Foundations for Mastering Change I
Bernhar Steffen, Bernhard Steffen Transactions on Foundations for Mastering Change I English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Giancarl Guizzardi, Giancarlo Guizzardi, Hui Ma, Hui Ma et al, Heinrich C. Mayr, Oscar Pastor - Conceptual Modeling
Giancarl Guizzardi, Giancarlo Guizzardi, Hui Ma, Hui Ma et al, Heinrich C. Mayr, Oscar Pastor Conceptual Modeling English 31.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Elen Bellodi, Elena Bellodi, Fabrizio Riguzzi, Riccardo Zese - Inductive Logic Programming
Elen Bellodi, Elena Bellodi, Fabrizio Riguzzi, Riccardo Zese Inductive Logic Programming English 30.11.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Geylani Kardas, Ivan Lukovic, Ivan Luković, Boris Milasinovic, Boris Milašinović, Boris Milasinovic et al... - Software, System, and Service Engineering
Geylani Kardas, Ivan Lukovic, Ivan Luković, Boris Milasinovic, Boris Milašinović, Boris Milasinovic et al... Software, System, and Service Engineering English 04.05.2025 Paperback / Softback Fr. 82.00 6-7 weeks
Tejinder Randhawa, Tejinder S Randhawa, Tejinder S. Randhawa - Mobile Applications
Tejinder Randhawa, Tejinder S Randhawa, Tejinder S. Randhawa Mobile Applications English 01.01.2022 Hardback Fr. 124.00 6-7 weeks
Mingming Liu, Dag Westerståhl, Dag Westerståhl et al, Jialiang Yan, Xiaolu Yang - The Connectives in Logic and Language
Mingming Liu, Dag Westerståhl, Dag Westerståhl et al, Jialiang Yan, Xiaolu Yang The Connectives in Logic and Language English 16.05.2025 Paperback / Softback Fr. 70.00 6-7 weeks
Tibor Bosse, Joos Broekens, Joost Broekens, João Dias, João Dias et al, Broekens Joost... - Emotion Modeling
Tibor Bosse, Joos Broekens, Joost Broekens, João Dias, João Dias et al, Broekens Joost... Emotion Modeling English 01.01.2014 Paperback / Softback Fr. 70.00 6-7 weeks