search result

Cover von Foundations of security analysis and design IV
FOSAD 2006 / 2007 tutorial lectures
Search for this author
Year: 2007
Publisher: Berlin, Springer
Series: Lecture notes in computer science : tutorial; 4677
Media group: MONOGRAPHIE
Cover von Domain modeling and the duration calculus
international training school : Shanghai, China, September 17 - 21, 2007 : advanced lectures
Search for this author
Year: 2007
Publisher: Berlin, Springer
Series: Lecture notes in computer science : tutorial; 4710
Media group: MONOGRAPHIE
Cover von Human-centered visualization environments
GI-Dagstuhl research seminar, Dagstuhl Castle, Germany, March 5 - 8, 2006, revised papers
Search for this author
Year: 2007
Publisher: Berlin, Springer
Series: Lecture notes in computer science : tutorial; 4417
Media group: MONOGRAPHIE
Cover von All about Maude
a high-performance logical framework : how to specify, program, and verify systems in rewriting logic
Search for this author
Year: 2007
Publisher: Berlin, Springer
Series: Lecture notes in computer science : tutorial; 4350
Media group: MONOGRAPHIE
Cover von 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 Software engineering education in the modern age
software education and training sessions at the international conference on software engineering, St. Louis, MO, USA, May 15 - 21, 2005, revised lectures
Search for this author
Year: 2006
Publisher: Berlin, Springer
Series: Lecture notes in computer science : tutorial; 4309
Media group: MONOGRAPHIE
Cover von Resource allocation in wireless networks
theory and algorithms
Author: Stanczak, Slawomir; Wiczanowski, Marcin; Boche, Holger Search for this author
Year: 2006
Publisher: Berlin, Springer
Series: Lecture notes in computer science : tutorial; 4000
Media group: MONOGRAPHIE
Cover von Refinement techniques in software engineering
first Pernambuco summer school on software engineering, Recife, Brazil, November 23 - December 5, 2004, revised lectures
Search for this author
Year: 2006
Publisher: Berlin, Springer
Series: Lecture notes in computer science : tutorial; 3167
Media group: MONOGRAPHIE
Cover von Generative and transformational techniques in software engineering
international summer school, Braga, Portugal, July 4 - 8, 2005, revised papers
Search for this author
Year: 2006
Publisher: Berlin, Springer
Series: Lecture notes in computer science : tutorial; 4143
Media group: MONOGRAPHIE
Cover von Reasoning web
second international summer school 2006, Lisbon, Portugal, September 4 - 8, 2006 : tutorial lectures
Search for this author
Year: 2006
Publisher: Berlin, Springer
Series: Lecture notes in computer science : tutorial; 4126
Media group: MONOGRAPHIE
OPEN V 11.1.0.0