search result

Cover von Ambient Intelligence
European Conference, Salzburg, Austria, November 18 - 21, 2009, Proceedings
Search for this author
Year: 2009
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 5859
Media group: MONOGRAPHIE
Cover von Developments in Global Optimization
Search for this author
Year: 1997
Publisher: Boston, Kluwer
Series: Nonconvex optimization and its applications; 18
Media group: MONOGRAPHIE
Cover von Ambient intelligence
European conference, Nuremberg, Germany, November 19 - 22, 2008, proceedings
Author: Wichert, Reiner Search for this author
Year: 2008
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 5355
Media group: MONOGRAPHIE
Cover von Handbook of tableau methods
Search for this author
Year: 1999
Publisher: Boston, Kluwer
Media group: MONOGRAPHIE
Cover von Fundamental Approaches to Software Engineering
22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6 - 11, 2019, Proceedings
Search for this author
Year: 2019
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : ARCoSS; 11424
Media group: MONOGRAPHIE
Cover von Formal Methods for Executable Software Models
14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16 - 20, 2014, Advanced Lectures
Search for this author
Year: 2014
Publisher: Berlin, Springer
Series: Lecture notes in computer science : Tutorial; 8483
Media group: MONOGRAPHIE
Cover von Formal Methods for Components and Objects
11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24 - 28, 2012, Revised Lectures
Search for this author
Year: 2013
Publisher: Berlin, Springer
Series: Lecture notes in computer science : State-of-the-Art Survey; 7866
Media group: MONOGRAPHIE
Cover von Active Object Languages: Current Research Trends
Current Research Trends
Search for this author
Year: 2024
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 14360
Media group: MONOGRAPHIE
OPEN V 11.1.0.0