Languages
Subject
Format
Availabity
Authors

Search result

Martina Seidl, Steffen Zschaler - Software Technologies: Applications and Foundations
Martina Seidl, Steffen Zschaler Software Technologies: Applications and Foundations English 23.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Sunita Chandrasekaran, Guido Juckeland - Accelerator Programming Using Directives
Sunita Chandrasekaran, Guido Juckeland Accelerator Programming Using Directives English 31.01.2018 Paperback / Softback Fr. 59.50 6-7 weeks
John P. Gallagher, Martin Sulzmann - Functional and Logic Programming
John P. Gallagher, Martin Sulzmann Functional and Logic Programming English 24.04.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Daniel Cabeza, Manuel Hermenegildo - Practical Aspects of Declarative Languages
Daniel Cabeza, Manuel Hermenegildo Practical Aspects of Declarative Languages English 14.01.2005 Paperback / Softback Fr. 70.00 6-7 weeks
José Luiz Fiadeiro, Peter Mosses, Fernando Orejas - Recent Trends in Algebraic Development Techniques
José Luiz Fiadeiro, Peter Mosses, Fernando Orejas Recent Trends in Algebraic Development Techniques English 23.03.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Mehdi Dastani, Amal El Fallah Seghrouchni, Alessandro Ricci, Michael Winikoff - Programming Multi-Agent Systems
Mehdi Dastani, Amal El Fallah Seghrouchni, Alessandro Ricci, Michael Winikoff Programming Multi-Agent Systems English 29.04.2008 Paperback / Softback Fr. 70.00 6-7 weeks
Bernhard Gramlich - Frontiers of Combining Systems
Bernhard Gramlich Frontiers of Combining Systems English 12.09.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Furio Honsell, Marino Miculan, Ivan Scagnetto - Types for Proofs and Programs
Furio Honsell, Marino Miculan, Ivan Scagnetto Types for Proofs and Programs English 26.05.2008 Paperback / Softback Fr. 70.00 6-7 weeks
Dimitra Giannakopoulou, Dominique Mery - FM 2012: Formal Methods
Dimitra Giannakopoulou, Dominique Mery FM 2012: Formal Methods English 21.07.2012 Paperback / Softback Fr. 70.00 6-7 weeks
Jeanne Reed, Rick Reed - SDL 2001: Meeting UML
Jeanne Reed, Rick Reed SDL 2001: Meeting UML English 18.06.2001 Paperback / Softback Fr. 70.00 6-7 weeks
Tamas Horváth, Akihiro Yamamoto - Inductive Logic Programming
Tamas Horváth, Akihiro Yamamoto Inductive Logic Programming English 24.09.2003 Paperback / Softback Fr. 70.00 6-7 weeks
Andreas Krall - Software and Compilers for Embedded Systems
Andreas Krall Software and Compilers for Embedded Systems English 16.09.2003 Paperback / Softback Fr. 70.00 6-7 weeks
Eduard Ayguadé, Barbara Chapman, Guang R. Gao, Mitsuhisa Sato, Dongsheng Wang, Weimin Zheng - A Practical Programming Model for the Multi-Core Era
Eduard Ayguadé, Barbara Chapman, Guang R. Gao, Mitsuhisa Sato, Dongsheng Wang, Weimin Zheng A Practical Programming Model for the Multi-Core Era English 11.06.2008 Paperback / Softback Fr. 70.00 6-7 weeks
Sokratis Katsikas, Sjouke Mauw, Stig F. Mjølsnes - Public Key Infrastructure
Sokratis Katsikas, Sjouke Mauw, Stig F. Mjølsnes Public Key Infrastructure English 03.06.2008 Paperback / Softback Fr. 70.00 6-7 weeks
Dror Feitelson, Eitan Frachtenberg, Larry Rudolph, Uwe Schwiegelshohn - Job Scheduling Strategies for Parallel Processing
Dror Feitelson, Eitan Frachtenberg, Larry Rudolph, Uwe Schwiegelshohn Job Scheduling Strategies for Parallel Processing English 14.12.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Supratik Chakraborty, Madhavan Mukund - Automated Technology for Verification and Analysis
Supratik Chakraborty, Madhavan Mukund Automated Technology for Verification and Analysis English 16.08.2012 Paperback / Softback Fr. 70.00 6-7 weeks
Kamel Barkaoui, Hanifa Boucheneb, Ali Mili, Sofiène Tahar - Verification and Evaluation of Computer and Communication Systems
Kamel Barkaoui, Hanifa Boucheneb, Ali Mili, Sofiène Tahar Verification and Evaluation of Computer and Communication Systems English 15.08.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Andréa W. Richa, Christian Scheideler - Stabilization, Safety, and Security of Distributed Systems
Andréa W. Richa, Christian Scheideler Stabilization, Safety, and Security of Distributed Systems English 22.08.2012 Paperback / Softback Fr. 70.00 6-7 weeks
Kazuhiro Kuwabara, Jaeho Lee - Intelligent Agents and Multi-Agent Systems
Kazuhiro Kuwabara, Jaeho Lee Intelligent Agents and Multi-Agent Systems English 05.08.2002 Paperback / Softback Fr. 70.00 6-7 weeks
Matthias Klusch, Jörg Müller, Michael Schillo, Huaglory Tianfield - Multiagent System Technologies
Matthias Klusch, Jörg Müller, Michael Schillo, Huaglory Tianfield Multiagent System Technologies English 16.09.2003 Paperback / Softback Fr. 70.00 6-7 weeks