search result

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
Cover von Formal methods for mobile computing

Formal methods for mobile computing
5th international school on formal methods for the design of computer, communication, and software sytems, Bertinoro, Italy, April 26 - 30, 2005 : advanced lecures
Search for this author
Year: 2005
Publisher: Berlin, Springer
Series: Lecture notes in computer science : tutorial; 3465
Media group: MONOGRAPHIE
Cover von Formal methods for software architectures

Formal methods for software architectures
third international school on formal methods for the design of computer, communication and software systems : software architectures, Bertinoro, Italy, September 22 - 27, 2003 : advanced lectures
Search for this author
Year: 2003
Publisher: Berlin, Springer
Series: Lecture notes in computer science : Tutorial; 2804
Media group: MONOGRAPHIE
Cover von Lectures on formal methods and performance analysis

Lectures on formal methods and performance analysis
first EEF / Euro summer school on trends in computer science, Berg en Dal, the Netherlands, July 3 - 7, 2000, revised lectures
Search for this author
Year: 2001
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 2090
Media group: MONOGRAPHIE
Cover von Generalized quantifiers and computation

Generalized quantifiers and computation
9th European summer school in logic, language, and information workshop : Aix-en-Provence, France, August 11 - 22, 1997 : revised lectures
Search for this author
Year: 1999
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 1754
Media group: MONOGRAPHIE
Cover von Programming and mathematical method

Programming and mathematical method
international summer school : proceedings of the NATO Advanced Study Institute on programming and mathematical method, held at Marktoberdorf, FRG, July 24 - August 5, 1990
Search for this author
Year: 1992
Publisher: Berlin, Springer
Series: NATO ASI Series / F; 88
Media group: MONOGRAPHIE
Cover von Reasoning Web

Reasoning Web
Causality, Explanations and Declarative Knowledge : 18th International Summer School 2022, Berlin, Germany, September 27 - 30, 2022, Tutorial Lectures
Search for this author
Year: 2023
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : Tutorial; 13759
Media group: MONOGRAPHIE
Cover von Tropical geometry and integrable systems

Tropical geometry and integrable systems
a conference on tropical geometry and integrable systems, Juli 3 - 8, 2011, School of Mathematics and Statistics, University of Glasgow, Glasgow
Search for this author
Year: 2012
Publisher: Providence, American Mathematical Society
Series: Contemporary mathematics; 580
Media group: MONOGRAPHIE
Cover von Introductory Lectures on Knot Theory

Introductory Lectures on Knot Theory
Selected Lectures Presented at the Advanced School and Conference on Knot Theory and Its Applications to Physics and Biology, ICTP, Trieste, Italy, 11 - 29 May 2009
Search for this author
Year: 2011
Publisher: Singapore, World Scientific
Series: Series on knots and everything; 46
Media group: MONOGRAPHIE
Cover von Accountability and Security in the Cloud

Accountability and Security in the Cloud
First Summer School, Cloud Accountability Project, A4Cloud, Malaga, Spain, June 2-6, 2014, Revised Selected Papers and Lectures
Search for this author
Year: 2015
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 8937
Media group: MONOGRAPHIE
OPEN V 11.1.0.0