Languages
Subject
Format
Availabity
Authors

Search result

Nuray Aykin, Vincent G. Duffy, Ivy V. Estabrooke, Marc Grootjen, Don Harris, Don Harris et al... - HCI International 2009, 17 Vols.
Nuray Aykin, Vincent G. Duffy, Ivy V. Estabrooke, Marc Grootjen, Don Harris, Don Harris et al... HCI International 2009, 17 Vols. English 01.01.2009 Book Fr. 592.00 6-7 weeks
Nuray Aykin, Marvin J. Dainoff, Vincent G. Duffy, Don Harris, Julie Jacko, Dylan D. Schmorrow... - HCI International 2007
Nuray Aykin, Marvin J. Dainoff, Vincent G. Duffy, Don Harris, Julie Jacko, Dylan D. Schmorrow... HCI International 2007 English 05.07.2007 Mixed media product Fr. 592.00 6-7 weeks
Anita Wasilewska - Logics for Computer Science
Anita Wasilewska Logics for Computer Science English 01.01.2018 Hardback Fr. 158.00 6-7 weeks
Raymond Turner - Computational Artifacts
Raymond Turner Computational Artifacts English 01.01.2019 Paperback / Softback Fr. 207.00 6-7 weeks
Mike Hinchey, Steffen, Bernhard Steffen - The Combined Power of Research, Education, and Dissemination
Mike Hinchey, Steffen, Bernhard Steffen The Combined Power of Research, Education, and Dissemination English 01.02.2025 Paperback / Softback Fr. 92.00 6-7 weeks
Fabian Muff - Metamodeling for Extended Reality
Fabian Muff Metamodeling for Extended Reality English 28.03.2025 Hardback Fr. 199.00 6-7 weeks
Belgacem Ben Hedia, Mohamed Ghazel, Bruno Monsuez - Verification and Evaluation of Computer and Communication Systems
Belgacem Ben Hedia, Mohamed Ghazel, Bruno Monsuez Verification and Evaluation of Computer and Communication Systems English 25.05.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
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
S Akshay, S. Akshay, Aina Niemetz, Sriram Sankaranarayanan - Automated Technology for Verification and Analysis
S Akshay, S. Akshay, Aina Niemetz, Sriram Sankaranarayanan Automated Technology for Verification and Analysis English 13.02.2025 Paperback / Softback Fr. 189.00 6-7 weeks
Caltais, Georgiana Caltais, Hossein Hojjat - Fundamentals of Software Engineering
Caltais, Georgiana Caltais, Hossein Hojjat Fundamentals of Software Engineering English 29.04.2025 Paperback / Softback Fr. 169.00 6-7 weeks
S Akshay, S. Akshay, Aina Niemetz, Sriram Sankaranarayanan - Automated Technology for Verification and Analysis
S Akshay, S. Akshay, Aina Niemetz, Sriram Sankaranarayanan Automated Technology for Verification and Analysis English 13.02.2025 Paperback / Softback Fr. 169.00 6-7 weeks
Fabio Martinelli, Rios, Ruben Rios - Security and Trust Management
Fabio Martinelli, Rios, Ruben Rios Security and Trust Management English 01.12.2024 Paperback / Softback Fr. 70.00 6-7 weeks
Samir Ouchani, Simon Collart-Dutilleul, Frédéric Cuppens, Nora Cuppens, Nora Cuppens et al, Samir Ouchani - Risks and Security of Internet and Systems
Samir Ouchani, Simon Collart-Dutilleul, Frédéric Cuppens, Nora Cuppens, Nora Cuppens et al, Samir Ouchani Risks and Security of Internet and Systems English 09.05.2025 Paperback / Softback Fr. 158.00 6-7 weeks
Jose Aguilar, Luz Ángela Aristizábal-Quintero, Luz Ángela Aristizábal-Quintero, Néstor Darío Duque-Méndez, Mauricio Orozco-Alzate, Orozco-Alzate et - Advances in Computing
Jose Aguilar, Luz Ángela Aristizábal-Quintero, Luz Ángela Aristizábal-Quintero, Néstor Darío Duque-Méndez, Mauricio Orozco-Alzate, Orozco-Alzate et Advances in Computing English 16.11.2024 Paperback / Softback Fr. 104.00 6-7 weeks
Jose Aguilar, Luz Ángela Aristizábal-Quintero, Luz Ángela Aristizábal-Quintero, Néstor Darío Duque-Méndez, Mauricio Orozco-Alzate, Orozco-Alzate et - Advances in Computing
Jose Aguilar, Luz Ángela Aristizábal-Quintero, Luz Ángela Aristizábal-Quintero, Néstor Darío Duque-Méndez, Mauricio Orozco-Alzate, Orozco-Alzate et Advances in Computing English 16.11.2024 Paperback / Softback Fr. 117.00 6-7 weeks
Pepita Barnard, Pepita Barnard et al, John Robert Bautista, Gema Bello-Orgaz, Santanu Dash, Arya Farahi... - Testing Software and Systems
Pepita Barnard, Pepita Barnard et al, John Robert Bautista, Gema Bello-Orgaz, Santanu Dash, Arya Farahi... Testing Software and Systems English 19.01.2025 Paperback / Softback Fr. 92.00 6-7 weeks
Knapp, Alexander Knapp, Alexandre Madeira - Software Engineering and Formal Methods
Knapp, Alexander Knapp, Alexandre Madeira Software Engineering and Formal Methods English 01.12.2024 Paperback / Softback Fr. 97.00 6-7 weeks
Susanne Graf, Paul Pettersson, Bernhard Steffen - Real Time and Such
Susanne Graf, Paul Pettersson, Bernhard Steffen Real Time and Such English 05.10.2024 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 Hardback Fr. 188.00 Will be released 16.08.2025