Languages
Subject
Format
Availabity
Authors

Search result

Francesco Calimeri, Kevin Hamlen, Nicola Leone - Practical Aspects of Declarative Languages
Francesco Calimeri, Kevin Hamlen, Nicola Leone Practical Aspects of Declarative Languages English 22.12.2017 Paperback / Softback Fr. 59.50 6-7 weeks
Manjunath Gorentla Venkata, Neena Imam, Swaroop Pophale - OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence
Manjunath Gorentla Venkata, Neena Imam, Swaroop Pophale OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence English 10.01.2018 Paperback / Softback Fr. 59.50 6-7 weeks
Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang - Dependable Software Engineering. Theories, Tools, and Applications
Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang Dependable Software Engineering. Theories, Tools, and Applications English 17.10.2017 Paperback / Softback Fr. 70.00 6-7 weeks
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