Languages
Subject
Format
Availabity
Authors

Search result

Hans W. Gellersen, Albrecht Schmidt, Roy Want - Pervasive Computing
Hans W. Gellersen, Albrecht Schmidt, Roy Want Pervasive Computing English 30.01.2013 Paperback / Softback Fr. 70.00 6-7 weeks
Chae Hoon Lim, Moti Young, Moti Yung - Information Security Applications
Chae Hoon Lim, Moti Young, Moti Yung Information Security Applications English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Doro A Peled, Doron A Peled, Doron Peled, Doron A. Peled, Tsay, Tsay... - Automated Technology for Verification and Analysis
Doro A Peled, Doron A Peled, Doron Peled, Doron A. Peled, Tsay, Tsay... Automated Technology for Verification and Analysis English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Gustav Dahll, Bjoern Axel Gran, Rune Winther - Computer Safety, Reliability, and Security
Gustav Dahll, Bjoern Axel Gran, Rune Winther Computer Safety, Reliability, and Security English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Alber Y Zomaya, Albert Y Zomaya, Albert Y. Zomaya - Handbook of Nature-Inspired and Innovative Computing
Alber Y Zomaya, Albert Y Zomaya, Albert Y. Zomaya Handbook of Nature-Inspired and Innovative Computing English 02.03.2006 Hardback Fr. 203.00 6-7 weeks
Makoto Amamiya, Minyi Guo, Zhen Liu, Franz J. Rammig, Laurence T. Yang, Laurence Tianruo Yang - Embedded and Ubiquitous Computing - EUC 2005
Makoto Amamiya, Minyi Guo, Zhen Liu, Franz J. Rammig, Laurence T. Yang, Laurence Tianruo Yang Embedded and Ubiquitous Computing - EUC 2005 English 08.04.2011 Paperback / Softback Fr. 189.00 6-7 weeks
Man Lin, Zhaohui Wu, Laurence T. Yang, Wei Zhao, Wei Zhao et al, Xingsh Zhou... - Embedded Software and Systems
Man Lin, Zhaohui Wu, Laurence T. Yang, Wei Zhao, Wei Zhao et al, Xingsh Zhou... Embedded Software and Systems English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Pau Pettersson, Paul Pettersson, Yi, Yi, Wang Yi - Formal Modeling and Analysis of Timed Systems
Pau Pettersson, Paul Pettersson, Yi, Yi, Wang Yi Formal Modeling and Analysis of Timed Systems English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Pejas, Pejas, J. Pejas, Jerzy Pejas, K. Saeed, Khali Saeed... - Information Processing and Security Systems
Pejas, Pejas, J. Pejas, Jerzy Pejas, K. Saeed, Khali Saeed... Information Processing and Security Systems English 12.08.2005 Hardback Fr. 248.00 6-7 weeks
Barbar Pernici, Barbara Pernici - Mobile Information Systems
Barbar Pernici, Barbara Pernici Mobile Information Systems English 11.04.2006 Hardback Fr. 135.00 6-7 weeks
Herman, Herman, Ted Herman, Sébastie Tixeuil, Sébastien Tixeuil - Self-Stabilizing Systems
Herman, Herman, Ted Herman, Sébastie Tixeuil, Sébastien Tixeuil Self-Stabilizing Systems English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Jiajun Bu, Chun Chen, Minyi Guo, Zhaohui Wu - Embedded Software and Systems
Jiajun Bu, Chun Chen, Minyi Guo, Zhaohui Wu Embedded Software and Systems English 14.04.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Brun Buchberger, Bruno Buchberger, Jose-Luis Freire, Roberto Moreno-Diaz - Computer Aided Systems Theory - EUROCAST 2001
Brun Buchberger, Bruno Buchberger, Jose-Luis Freire, Roberto Moreno-Diaz Computer Aided Systems Theory - EUROCAST 2001 English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Toshimitsu Masuzawa, Sébastien Tixeuil - Stabilization, Safety, and Security of Distributed Systems
Toshimitsu Masuzawa, Sébastien Tixeuil Stabilization, Safety, and Security of Distributed Systems English 14.04.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Gaetano Borriello, Lars E. Holmquist - UbiComp 2002: Ubiquitous Computing
Gaetano Borriello, Lars E. Holmquist UbiComp 2002: Ubiquitous Computing English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
E Brinksma, Ed Brinksma, G Larsen, G Larsen, Kim G. Larsen - Computer Aided Verification
E Brinksma, Ed Brinksma, G Larsen, G Larsen, Kim G. Larsen Computer Aided Verification English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
M. Beetz, Michael Beetz - Plan-Based Control of Robotic Agents
M. Beetz, Michael Beetz Plan-Based Control of Robotic Agents English 01.01.2003 Paperback / Softback Fr. 70.00 6-7 weeks
J. Reed, Jeanne Reed, R. Reed, Rick Reed - SDL 2003: System Design
J. Reed, Jeanne Reed, R. Reed, Rick Reed SDL 2003: System Design English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Alberto Sangiovanni-Vincentelli, Joseph Sifakis - Embedded Software
Alberto Sangiovanni-Vincentelli, Joseph Sifakis Embedded Software English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Stuart Anderson, Sandro Bologna, Massimo Felici - Computer Safety, Reliability and Security
Stuart Anderson, Sandro Bologna, Massimo Felici Computer Safety, Reliability and Security English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks