UB FFM: Search Results - Lectures on Embedded Systems

Advances in Computer Systems Architecture : 11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006, Proceedings

Jesshope, Chris (Herausgeber)

1st ed. 2006

Berlin, Heidelberg : Springer Berlin Heidelberg, 2006

eBook

The war on learning : gaining ground in the digital university

Losh, Elizabeth

Cambridge, Mass. [u.a.] : MIT Press, 2014

Book

Measurement, Modelling, and Evaluation of Computing Systems and Dependability in Fault Tolerance : 15th International GI/ITG Conference, MMB & DFT 2010, Essen, Germany, March 15-17, 2010, Proceedings

Rathgeb, Erwin (Herausgeber)

1st ed. 2010

Berlin, Heidelberg : Springer Berlin Heidelberg, 2010

eBook

Software engineering - ESEC/FSE '99 : 7th European Software Engineering Conference held jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Toulouse, France, September 6 - 10, 1999 ; proceedings

Nierstrasz, Oscar (Hrsg)

[New York] : ACM, 1999

Book

Theory and practice of computer science : proceedings

Emde Boas, P. van (Herausgeber)

Berlin : Springer, 2004

Book

Foundations of software science and computation structures : second international conference ; proceedings

Thomas, Wolfgang (Herausgeber)

Berlin : Springer, 1999

Book

Proceedings of the XII International Conference on Defects in Insulating Materials : Schloß Nordkirchen, Germany, August 16 - 22, 1992
1.

Kanert, Otmar (Hrsg.)

Singapore [u.a.] : World Scientific Publ., 1993

Book

Automated Technology for Verification and Analysis : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings

Peled, Doron A (Herausgeber)

1st ed. 2005

Berlin, Heidelberg : Springer Berlin Heidelberg, 2005

eBook

Compiler construction : 9th international conference ; proceedings

Watt, David A. (Herausgeber)

Berlin : Springer, 2000

Book

Algebra, arithmetic and geometry with applications : papers from Shreeram S. Abhyankar's 70th Birthday Conference

Christensen, Chris (Herausgeber)

Berlin : Springer, 2004

Book

AI 2008: Advances in Artificial Intelligence : 21st Australasian Joint Conference on Artificial Intelligence, Auckland, New Zealand, December 3-5, 2008, Proceedings

Wobcke, Wayne (Herausgeber)

1st ed. 2008

Berlin, Heidelberg : Springer Berlin Heidelberg, 2008

eBook

Computational and Ambient Intelligence : 9th International Work-Conference on Artificial Neural Networks, IWANN 2007, San Sebastián, Spain, June 20-22, 2007, Proceedings

Sandoval, Francisco (Herausgeber)

1st ed. 2007

Berlin, Heidelberg : Springer Berlin Heidelberg, 2007

eBook

Public Key Cryptography - PKC 2007 : 10th International Conference on Practice and Theory in Public-Key Cryptography, Beijing, China, April 16-20, 2007, Proceedings

Okamoto, Tatsuaki (Herausgeber)

1st ed. 2007

Berlin, Heidelberg : Springer Berlin Heidelberg, 2007

eBook

Advances in Database Technology - EDBT 2006 : 10 International Conference on Extending Database Technology, Munich, Germany, 26-31 March 2006, Proceedings

Ioannidis, Yannis (Herausgeber)

1st ed. 2006

Berlin, Heidelberg : Springer Berlin Heidelberg, 2006

eBook

Advances in Biometric Person Authentication : 5th Chinese Conference on Biometric Recognition, SINOBIOMETRICS 2004, Guangzhou, China, December 13-14, 2004, Proceedings

Li, Stan Z (Herausgeber)

1st ed. 2005

Berlin, Heidelberg : Springer Berlin Heidelberg, 2005

eBook

Hardware and Software, Verification and Testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers

Bin, Eyal (Herausgeber)

1st ed. 2007

Berlin, Heidelberg : Springer Berlin Heidelberg, 2007

eBook

Hardware and Software, Verification and Testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers

Ur, Shmuel (Herausgeber)

1st ed. 2006

Berlin, Heidelberg : Springer Berlin Heidelberg, 2006

eBook

Verification, Model Checking, and Abstract Interpretation : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings

Logozzo, Francesco (Herausgeber)

1st ed. 2008

Berlin, Heidelberg : Springer Berlin Heidelberg, 2008

eBook

Hardware and Software: Verification and Testing : Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings

Yorav, Karen (Herausgeber)

1st ed. 2008

Berlin, Heidelberg : Springer Berlin Heidelberg, 2008

eBook

FM 2005: Formal Methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings

Fitzgerald, John (Herausgeber)

1st ed. 2005

Berlin, Heidelberg : Springer Berlin Heidelberg, 2005

eBook

Showing 21 - 40 of 82

Pagination

Pagination

Narrow Search