Search Results - "Lecture notes in computer science ;"
-
1
25 years of model checking : history, achievements, perspectives
Published: Springer, 2008“…Lecture notes in computer science ;…”Description: 1 online resource (vi, 230 pages) : illustrations.
SpringerLink - Click here for access
eBook -
2
Algebra, meaning, and computation : essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday
Published: Springer, 2006“…Lecture notes in computer science ;…”Description: 1 online resource (xxxviii, 642 pages) : illustrations.
SpringerLink - Click here for access
eBook -
3
Data management in a connected world : essays dedicated to Hartmut Wedekind on the occasion of his 70th birthday
Published: Springer, 2005“…Lecture notes in computer science ;…”Description: 1 online resource (xix, 371 pages) : illustrations.
SpringerLink - Click here for access
eBook -
4
Embedded systems design : the ARTIST roadmap for research and development
Published: Springer, 2005“…Lecture notes in computer science ;…”Description: 1 online resource (xv, 492 pages) : illustrations.
SpringerLink - Click here for access
eBook -
5
Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday
Published: Springer, 2005“…Lecture notes in computer science ;…”Description: 1 online resource (xxvii, 411 pages) : illustrations.
SpringerLink - Click here for access
eBook -
6
From integrated publication and information systems to virtual information and knowledge environments : essays dedicated to Erich J. Neuhold on the occasion of his 65th birthday
Published: Springer, 2005“…Lecture notes in computer science ;…”Description: 1 online resource (xxiv, 319 pages) : illustrations.
SpringerLink - Click here for access
eBook -
7
Network analysis : methodological foundations
Published: Springer, 2005“…Lecture notes in computer science ;…”Description: 1 online resource (xii, 471 pages) : illustrations.
SpringerLink - Click here for access
eBook -
8
Processes, terms and cycles : steps on the road to infinity : essays dedicated to Jan Willem Klop on the occasion of his 60th birthday
Published: Springer, 2005“…Lecture notes in computer science ;…”Description: 1 online resource (xviii, 638 pages) : illustrations.
SpringerLink - Click here for access
eBook -
9
Theoretical computer science : essays in memory of Shimon Even
Published: Springer, 2006“…Lecture notes in computer science ;…”Description: 1 online resource (xii, 398 pages) : illustrations.
SpringerLink - Click here for access
eBook -
10
Advanced functional programming : 5th international school, AFP 2004, Tartu, Estonia, August 14-21, 2004 : revised lectures
Published: Springer, 2005“…Lecture notes in computer science ;…”Description: 1 online resource (viii, 357 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook -
11
Formal methods for components and objects : third international symposium, FMCO 2004, Leiden, the Netherlands, November 2-5, 2004 : revised lectures
Published: Springer, 2005“…Lecture notes in computer science ;…”Description: 1 online resource (viii, 323 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook -
12
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, A...
Published: Springer, 2005“…Lecture notes in computer science ;…”Description: 1 online resource (vi, 270 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook -
13
Formal methods for performance evaluation : 7th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, Bertinoro, Italy, M...
Published: Springer, 2007“…Lecture notes in computer science ;…”Description: 1 online resource (vi, 467 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook -
14
Foundations of security analysis and design III : FOSAD 2004/2005 tutorial lectures
Published: Springer, 2005“…Lecture notes in computer science ;…”Description: 1 online resource (vi, 272 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook -
15
Refinement techniques in software engineering : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 : revised lectures
Published: Springer, 2006“…Lecture notes in computer science ;…”Description: 1 online resource (x, 391 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook -
16
Advanced studies in biometrics : Summer School on Biometrics, Alghero, Italy, June 2-6, 2003 : revised selected lectures and papers
Published: Springer, 2005“…Lecture notes in computer science ;…”Description: 1 online resource (vi, 158 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook -
17
Reasoning web : first international summer school 2005, Msida, Malta, July 25-29, 2005 : tutorial lectures
Published: Springer, 2005“…Lecture notes in computer science ;…”Description: 1 online resource (vii, 317 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook -
18
Reasoning web : second international summer school 2006, Lisbon, Portugal, September 4-8, 2006 : tutorial lectures
Published: Springer, 2006“…Lecture notes in computer science ;…”Description: 1 online resource (268 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook -
19
Communicating sequential processes : the first 25 years : Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004 : revised invited papers
Published: Springer, 2005“…Lecture notes in computer science ;…”Description: 1 online resource (xiv, 320 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook -
20
Formal methods for quantitative aspects of programming languages : 10th international school on formal methods for the design of computer, communication and software systems, SFM 2...
Published: Springer, 2010“…Lecture notes in computer science ;…”Description: 1 online resource (167 pages) : illustrations.
SpringerLink - Click here for access
Conference Proceeding eBook