search result

Cover von Generative and transformational techniques in software engineering II
international summer school, Braga, Portugal, July 2 - 7, 2007, revised papers
Search for this author
Year: 2008
Publisher: Berlin, Springer
Series: Lecture notes in computer science : tutorial; 5235
Media group: MONOGRAPHIE
Cover von Central European functional programming school
second summer school, Cluj-Napoca, Romania, June 23 - 30, 2007, revised selected lectures
Search for this author
Year: 2008
Publisher: Berlin, Springer
Series: Lecture notes in computer science : tutorial; 5161
Media group: MONOGRAPHIE
Cover von Reasoning web
4th international summer school 2008, Venice, Italy, September 7 - 11, 2008, tutorial lectures
Search for this author
Year: 2008
Publisher: Berlin, Springer
Series: Lecture notes in computer science : tutorial; 5224
Media group: MONOGRAPHIE
Cover von The common component modeling example
comparing software component models
Search for this author
Year: 2008
Publisher: Berlin, Springer
Series: Lecture notes in computer science : tutorial; 5153
Media group: MONOGRAPHIE
Cover von Dependability metrics
advanced lectures
Search for this author
Year: 2008
Publisher: Berlin, Springer
Series: Lecture notes in computer science : tutorial; 4909
Media group: MONOGRAPHIE
Cover von Formal methods for computational systems biology
8th international school on formal methods for the design of computer, communication, and software systems : Bertinoro, Italy, June 2 - 7, 2008 : advanced lectures
Search for this author
Year: 2008
Publisher: Berlin, Springer
Series: Lecture notes in computer science : tutorial; 5016
Media group: MONOGRAPHIE
Cover von Case study
the steam-boiler control system : article S. 155-190
Author: Bidoit, Michel; Mosses, Peter D. Search for this author
Year: 2003
Publisher: Berlin, Springer
Series: Lecture notes in computer science : tutorial; 2900
Media group: ARTICLE
Cover von Datatype-generic programming
international spring school : Nottingham, UK, April 24 - 27, 2006 : revised lectures
Search for this author
Year: 2007
Publisher: Berlin, Springer
Series: Lecture notes in computer science : tutorial; 4719
Media group: MONOGRAPHIE
Cover von Algorithms for sensor and ad hoc networks
advanced lectures
Search for this author
Year: 2007
Publisher: Berlin, Springer
Series: Lecture notes in computer science : tutorial; 4621
Media group: MONOGRAPHIE
Cover von Reasoning web
third international summer school 2007 : Dresden, Germany, September 3 - 7, 2007 : tutorial lectures
Search for this author
Year: 2007
Publisher: Berlin, Springer
Series: Lecture notes in computer science : tutorial; 4636
Media group: MONOGRAPHIE
OPEN V 11.1.0.0