search result

Cover von Formal Methods for Quantitative Aspects of Programming Languages

Formal Methods for Quantitative Aspects of Programming Languages
10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, Bertinoro, Italy, June 21 - 26, 2010, Advanced Lectures
Search for this author
Year: 2010
Publisher: Berlin, Springer
Series: Lecture notes in computer science : Tutorial; 6154
Media group: MONOGRAPHIE
Cover von Next-Generation Applied Intelligence

Next-Generation Applied Intelligence
22nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, Tainan, Taiwan, June 24 - 27, 2009, Proceedings
Search for this author
Year: 2009
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 5579
Media group: MONOGRAPHIE
Cover von Formal Methods for Web Services

Formal Methods for Web Services
9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, Bertinoro, Italy, June 1 - 6, 2009, Advanced Lectures
Search for this author
Year: 2009
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 5569
Media group: MONOGRAPHIE
Cover von Making grids work

Making grids work
proceedings of the Core GRID workshop on programming models grid an P2P system architecture Grid systems, tools and environments, 12 - 13 June 2007, Heraklion, Crete, Greece
Search for this author
Year: 2008
Publisher: Berlin, Springer
Media group: MONOGRAPHIE
Cover von SIGSAND-EUROPE 2008

SIGSAND-EUROPE 2008
proceedings of the third AIS SIGSAND European symposium on analysis, design, use and societal impact of information systems : June 12 - 13, 2008, Marburg, Germany
Search for this author
Year: 2008
Publisher: Bonn, Gesellschaft für Informatik e.V.
Series: Lecture notes in informatics / P; 129
Media group: MONOGRAPHIE
Cover von New Frontiers in Applied Artificial Intelligence

New Frontiers in Applied Artificial Intelligence
21st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2008 Wrocław, Poland, June 18-20, 2008 Proceedings
Search for this author
Year: 2008
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 5027
Media group: MONOGRAPHIE
Cover von New trends in applied artificial intelligence

New trends in applied artificial intelligence
20th international conference on industrial, engineering, and other applications of applied intelligent systems : Kyoto, Japan, June 26 - 29, 2007 : proceedings
Search for this author
Year: 2007
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 4570
Media group: MONOGRAPHIE
Cover von Formal methods for performance evaluation

Formal methods for performance evaluation
7th international school on formal methods for the design of computer, communication, and software systems : Bertinoro, Italy, May 8 - June 2, 2007 : advanced lectures
Search for this author
Year: 2007
Publisher: Berlin, Springer
Series: Lecture notes in computer science : tutorial; 4486
Media group: MONOGRAPHIE
Cover von Advances in applied artificial intelligence

Advances in applied artificial intelligence
19th international conference on industrial, engineering and other applications of applied intelligent systems, Annecy, France, June 27 - 30, 2006 : proceedings
Search for this author
Year: 2006
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 4031
Media group: MONOGRAPHIE
Cover von Formal methods for hardware verification

Formal methods for hardware verification
6th international school on formal methods for the design of computer, communication, and software systems, Bertinoro, Italy, May 22 - 27, 2006 : advances lectures
Search for this author
Year: 2006
Publisher: Berlin, Springer
Series: Lecture notes in computer science : tutorial; 3965
Media group: MONOGRAPHIE
OPEN V 11.1.0.0