UB FFM: Suchergebnisse - Lectures on Embedded Systems

1
2
3
4
5
weiter
[5]

Lectures on Embedded Systems : European Educational Forum School on Embedded Systems Veldhoven, The Netherlands November 25–29, 1996

Rozenberg, Grzegorz (Verfasser)

Berlin, Heidelberg : Springer-Verlag, 1998

E-Book

A Journey of Embedded and Cyber-Physical Systems

Chen, Jian-Jia (Verfasser)

[Erscheinungsort nicht ermittelbar] : Springer Nature, 2021

E-Book

A Journey of Embedded and Cyber-Physical Systems : Essays Dedicated to Peter Marwedel on the Occasion of His 70th Birthday

Chen, Jian-Jia (Herausgeber)

1st ed. 2021

Cham : Springer International Publishing, 2021

E-Book

A Journey of Embedded and Cyber-Physical Systems : Essays Dedicated to Peter Marwedel on the Occasion of His 70th Birthday

Chen, Jian-Jia (Verfasser)

[Erscheinungsort nicht ermittelbar] : Springer Nature ; Springer [Imprint], 2020

E-Book

Engineering Trustworthy Software Systems : 6th International School, SETSS 2024, Chongqing, China, April 14–21, 2024, Tutorial Lectures

Bowen, Jonathan P (Herausgeber)

1st ed. 2025

Singapore : Springer Nature Singapore, 2025

E-Book

Cryptographic Hardware and Embedded Systems - CHES 2006 : 8th International Workshop, Yokohama, Japan, October 10-13, 2006, Proceedings

Goubin, Louis (Herausgeber)

1st ed. 2006

Berlin, Heidelberg : Springer Berlin Heidelberg, 2006

E-Book

Biomedical signals and systems

Tranquillo, Joseph Vincent (Verfasser)

San Rafael, Calif. : Morgan & Claypool, 2013

E-Book

Formal techniques in real time and fault tolerant systems : 6th international symposium ; proceedings

Joseph, Mathai (Herausgeber)

Berlin : Springer, 2000

Buch

Formal Methods for Quantitative Aspects of Programming Languages : 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21, 2010, Advanced Lectures

Aldini, Alessandro (Herausgeber)

1st edition 2010

Berlin, Heidelberg : Springer Berlin Heidelberg, 2010

E-Book

Engineering Theories of Software Intensive Systems : Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, Marktoberdorf, Germany, from 3 to 15 August 2004

Broy, Manfred (Herausgeber)

1st ed. 2005

Dordrecht : Springer Netherlands, 2005

E-Book

SPDE in hydrodynamic : recent progress and prospects ; lectures given at the C.I.M.E. Summer School held in Cetraro, Italy, August 29 - September 3, 2005

Da Prato, Giuseppe (Herausgeber)

Berlin : Springer, 2008

Buch

Formal Methods for Components and Objects : 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Bonsangue, Marcello M (Herausgeber)

1st ed. 2008

Berlin, Heidelberg : Springer Berlin Heidelberg, 2008

E-Book

Formal Methods for Industrial Critical Systems : 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers

Leue, Stefan (Herausgeber)

1st ed. 2008

Berlin, Heidelberg : Springer Berlin Heidelberg, 2008

E-Book

Web Information Systems - WISE 2006 : 7th International Conference in Web Information Systems Engineering, Wuhan, China, October 23-26, 2006, Proceedings

Aberer, Karl (Herausgeber)

1st ed. 2006

Berlin, Heidelberg : Springer Berlin Heidelberg, 2006

E-Book

Environments for Multi-Agent Systems II : Second International Workshop, E4MAS 2005, Utrecht, The Netherlands, July 25, 2005, Selected Revised and Invited Papers

Weyns, Danny (Herausgeber)

1st ed. 2006

Berlin, Heidelberg : Springer Berlin Heidelberg, 2006

E-Book

Advances in web-based learning : third international conference ; proceedings

Liu, Wenyin (Herausgeber)

Berlin : Springer, 2004

Buch

Perspectives of Systems Informatics : 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers

Voronkov, Andrei (Herausgeber)

1st ed. 2007

Berlin, Heidelberg : Springer Berlin Heidelberg, 2007

E-Book

Stabilization, Safety, and Security of Distributed Systems : 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006, Proceedings

Datta, Ajoy K (Herausgeber)

1st ed. 2006

Berlin, Heidelberg : Springer Berlin Heidelberg, 2006

E-Book

Advances in Computer Systems Architecture : 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007, Proceedings

Choi, Lynn (Herausgeber)

1st ed. 2007

Berlin, Heidelberg : Springer Berlin Heidelberg, 2007

E-Book

Artificial Intelligence: Methodology, Systems, and Applications : 12th International Conference, AIMSA 2006, Varna, Bulgaria, September 12-15, 2006, Proceedings

Euzenat, Jérôme (Herausgeber)

1st ed. 2006

Berlin, Heidelberg : Springer Berlin Heidelberg, 2006

E-Book

1
2
3
4
5
weiter
[5]

Treffer 1 - 20 von 82

Seite in der Trefferliste auswählen

Seite in der Trefferliste auswählen

Suche einschränken