Limit search to available items
Add Marked to Bag Add All On Page Add Marked to My Lists
Titles (1-44 of 44)
Lecture notes in computer science. Tutorial.
1
E-book
2005

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


AFP 2004 (2004 : Tartu, Estonia)
Berlin ; New York : Springer, [2005]

Rating:

 
 
3
E-book
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)
Berlin ; New York : Springer, [2005]

Rating:

 
 
4
E-book
2007

Algorithms for sensor and ad hoc networks : advanced lectures



Berlin ; New York : Springer, [2007]

Rating:

 
 
5
E-book
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)
Berlin ; New York : Springer, 2012

Rating:

 
 
6
E-book
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)
Berlin ; New York : Springer, [2008]

Rating:

 
 
7
E-book
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; Komárno, Slovakia)
Berlin : Springer, 2010

Rating:

 
 
9
E-book
2007

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


SSDGP 2006 (2006 : Nottingham, England)
Berlin ; New York : Springer, [2007]

Rating:

 
 
10
E-book
2008

Dependability metrics : advanced lectures



Berlin : Springer, 2008

Rating:

 
 
11
E-book
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)
Berlin ; New York : Springer, [2007]

Rating:

 
 
12
E-book
2005

Embedded systems design : the ARTIST roadmap for research and development



Berlin ; New York : Springer, [2005]

Rating:

 
 
13
Book
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)
New York, NY ; [Great Britain] : Springer, 2005

Rating:

Request It 
 
Location Call no. Vol. Availability
 W'PONDS  005.3 Fmc/Ofm 2004  AVAILABLE
14
E-book
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)
Berlin ; New York : Springer, [2005]

Rating:

 
 
15
E-book
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)
Berlin ; New York : Springer, 2008

Rating:

 
 
16
E-book
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)
Berlin ; Heidelberg ; New York : Springer, [2011]

Rating:

 
 
17
E-book
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

Rating:

 
 
18
E-book
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)
Berlin ; New York : Springer, 2005

Rating:

 
 
19
E-book
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)
Berlin ; New York : Springer, [2012]

Rating:

 
 
20
E-book
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)
Berlin ; New York : Springer, [2007]

Rating:

 
 
21
E-book
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)
Berlin : Springer, 2010

Rating:

 
 
22
E-book
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)
Berlin ; New York : Springer, [2005]

Rating:

 
 
23
E-book
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)
Berlin ; New York : Springer, [2007]

Rating:

 
 
24
E-book
2011

Foundations of security analysis and design VI : FOSAD tutorial lectures


International School on Foundations of Security Analysis and Design (2010 : Bertinoro, Italy)
Berlin : Springer, [2011]

Rating:

 
 
25
E-book
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)
Berlin ; New York : Springer, [2008]

Rating:

 
 
27
E-book
2012

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


SSGIP 2010 (2010 : Oxford, England)
Berlin ; New York : Springer, [2012]

Rating:

 
 
28
E-book
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)
Berlin ; New York : Springer-Verlag, [2007]

Rating:

 
 
30
E-book
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)
Berlin ; New York : Springer, [2012]

Rating:

 
 
31
E-book
2012

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


Moot, Richard.
Berlin ; New York : Springer, [2012]

Rating:

 
 
32
E-book
2005

Network analysis : methodological foundations



Berlin ; New York : Springer, [2005]

Rating:

 
 
33
E-book
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)
Berlin ; New York : Springer, [2005]

Rating:

 
 
34
E-book
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)
Berlin : Springer, 2008

Rating:

 
 
35
E-book
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)
Berlin ; New York : Springer, 2005

Rating:

 
 
36
E-book
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

Rating:

 
 
37
E-book
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)
Berlin ; New York : Springer, [2009]

Rating:

 
 
38
E-book
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)
Heidelberg : Springer, 2011

Rating:

 
 
39
E-book
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)
Berlin ; New York : Springer, [2007]

Rating:

 
 
40
E-book
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)
Berlin ; New York : Springer, [2006]

Rating:

 
 
41
E-book
2006

Resource allocation in wireless networks : theory and algorithms


Stańczak, Sławomir.
Berlin ; New York : Springer, 2006

Rating:

 
 
42
E-book
2011

RoboCup 2010 : Robot Soccer World Cup XIV


RoboCup (Conference) (14th : 2010 : Singapore)
Berlin ; Heidelberg ; New York : Springer, [2011]

Rating:

 
 
44
 
Add Marked to Bag Add All On Page
Locate in results