2005

Advanced functional programming : 5th international school, AFP 2004, Tartu, Estonia, August 14-21, 2004 : revised lectures

AFP 2004 (2004 : Tartu, Estonia)



 

2010

Advanced lectures on software engineering : LASER summer school 2007/2008

 

2005

Advanced studies in biometrics : Summer School on Biometrics, Alghero, Italy, June 2-6, 2003 : revised selected lectures and papers

Summer School on Biometrics (1st : 2003 : Alghero, Italy)



 

2007

Algorithms for sensor and ad hoc networks : advanced lectures

 

2012

Central European Functional Programming School : 4th summer school, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised selected papers

Central European Functional Programming School (4th : 2011 : Budapest, Hungary)



 

2008

Central European functional programming school : second summer school, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007 : revised selected lectures

Central European Functional Programming School (2nd : 2007 : Cluj-Napoca, Romania)



 

2010

Central European Functional Programming School : third summer school, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009 : revised selected lectures

Central European Functional Programming School (3rd : 2009 : Budapest, Hungary, and Komárno, Slovakia)



 

2008

The common component modeling example : comparing software component models

 

2007

Datatype-generic programming : international spring school, SSDGP 2006, Nottingham, UK, April 24-27, 2006 : revised lectures

SSDGP 2006 (2006 : Nottingham, England)



 

2008

Dependability metrics : advanced lectures

 

2007

Domain modeling and the duration calculus : international training school, Shanghai, China, September 17-21, 2007 : advanced lectures

International Training School on Domain Modeling and the Duration Calculus (2007 : Shanghai, China)



 

2005

Embedded systems design : the ARTIST roadmap for research and development

 

2005

Formal methods for components and objects : third international symposium, FMCO 2004, Leiden, The Netherlands, November 2 - 5, 2004, revised lectures

FMCO (Symposium) (3rd : 2004 : Leiden, Netherlands)
First edition
New York, NY ; [Great Britain] : Springer, 2005

Request It 

2005

Formal methods for components and objects : third international symposium, FMCO 2004, Leiden, the Netherlands, November 2-5, 2004 : revised lectures

FMCO (Symposium) (3rd : 2004 : Leiden, Netherlands)



 

2008

Formal methods for computational systems biology : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2-7, 200

International School on Formal Methods for the Design of Computer, Communication, and Software Systems (8th : 2008 : Bertinoro, Italy)



 

2011

Formal methods for eternal networked software systems : 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-

International School on Formal Methods for the Design of Computer, Communication, and Software Systems (11th : 2011 : Bertinoro, Italy)



 

2006

Formal methods for hardware verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006 : adv

International School on Formal Methods for the Design of Computer, Communication, and Software Systems (6th : 2006 : Bertinoro, Italy)

Berlin ; New York : Springer, ©2006

 

2005

Formal methods for mobile computing : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005 : a

International School on Formal Methods for the Design of Computer, Communication, and Software Systems (5th : 2005 : Bertinoro, Italy)



 

2012

Formal methods for model-driven engineering : 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012.

International School on Formal Methods for the Design of Computer, Communication, and Software Systems (12th : 2012 : Bertinoro, Italy)



 

2007

Formal methods for performance evaluation : 7th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, Bertinoro, Italy, May 28 - June 2, 2007

International School on Formal Methods for the Design of Computer, Communication, and Software Systems (7th : 2007 : Bertinoro, Italy)



 

2010

Formal methods for quantitative aspects of programming languages : 10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Ital

International School on Formal Methods for the Design of Computer, Communication, and Software Systems (10th : 2010 : Bertinoro, Italy)



 

2005

Foundations of security analysis and design III : FOSAD 2004/2005 tutorial lectures

International School on Foundations of Security Analysis and Design (2004 : Bertinoro, Italy)



 

2007

Foundations of security analysis and design IV : FOSAD 2006/2007 tutorial lectures

International School on Foundations of Security Analysis and Design (2006 : Bertinoro, Italy)



 

2011

Foundations of security analysis and design VI : FOSAD tutorial lectures

International School on Foundations of Security Analysis and Design (2010 : Bertinoro, Italy)



 

2008

Generative and transformational techniques in software engineering II : international summer school, GTTSE 2007, Braga, Portugal, July 2-7, 2007 : revised papers

GTTSE (Summer School) (2nd : 2007 : Braga, Portugal)



 

2011

Generative and transformational techniques in software engineering III : international summer school, GTTSE 2009, Braga, Portugal, July 6-11, 2009 : revised papers

GTTSE (Summer School) (3rd : 2009 : Braga, Portugal)



 

2012

Generic and indexed programming : International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised lectures

SSGIP 2010 (2010 : Oxford, England)



 

2007

Human-centered visualization environments : GI-Dagstuhl Research Seminar, Dagstuhl Castle, Germany, March 5-8, 2006 : revised lectures

GI-Dagstuhl Research Seminar (2006 : Dagstuhl, Wadern, Germany)



 

2009

Language engineering and rigorous software development : International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24-March 1, 2008 : revised tutorial lectures

LerNet ALFA Summer School (2008 : Piriapolis, Uruguay)



 

2012

Lectures on logic and computation : ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected lecture notes

European Summer School in Logic, Language, and Information (22nd : 2010 : Copenhagen, Denmark)



 

2018

Lectures on runtime verification : introductory and advanced topics

Cham : Springer, 2018

 

2012

The logic of categorial grammars : a deductive account of natural language syntax and semantics

Moot, Richard



 

2018

Medical imaging systems : an introductory guide

Cham, Switzerland : Springer Open, [2018]

 

2005

Network analysis : methodological foundations

 

2005

Nonlinear speech modeling and applications : advanced lectures and revised selected papers

International Summer School "Neural Nets E.R. Caianiello" on Nonlinear Speech Processing: Algorithms and Analysis (9th : 2004 : Vietri sul Mare, Italy)



 

2008

Reasoning web : 4th international summer school 2008, Venice, Italy, September 7-11, 2008 : tutorial lectures

Summer School on Reasoning Web (4th : 2008 : Venice, Italy)



 

2005

Reasoning web : first international summer school 2005, Msida, Malta, July 25-29, 2005 : tutorial lectures

Summer School on Reasoning Web (1st : 2005 : Msida, Malta)



 

2006

Reasoning web : second international summer school 2006, Lisbon, Portugal, September 4-8, 2006 : tutorial lectures

Summer School on Reasoning Web (2nd : 2006 : Lisbon, Portugal)

Berlin ; New York : Springer, ©2006

 

2009

Reasoning web : semantic technologies for information systems : 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30-September 4, 2009 : tutorial lectures

Summer School on Reasoning Web (5th : 2009 : Bressanone, Italy)



 

2011

Reasoning web : semantic technologies for the web of data : 7th International Summer School 2011, Galway, Ireland, August 23-27, 2011 : tutorial lectures

Summer School on Reasoning Web (7th : 2011 : Galway, Ireland)



 

2007

Reasoning web : third international summer school 2007, Dresden, Germany, September 3-7, 2007 : tutorial lectures

Summer School on Reasoning Web (3rd : 2007 : Dresden, Germany)



 

2006

Refinement techniques in software engineering : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 : revised lectures

Pernambuco Summer School on Software Engineering (1st : 2004 : Recife, Brazil)



 

2006

Resource allocation in wireless networks : theory and algorithms

Stańczak, Sławomir.



 

2011

RoboCup 2010 : Robot Soccer World Cup XIV

RoboCup (Conference) (14th : 2010 : Singapore)