Search Results - "Lecture notes in computer science ;"

Refine Results
  1. 1

    25 years of model checking : history, achievements, perspectives by SpringerLink (Online service)

    Published: Springer, 2008
    Description: 1 online resource (vi, 230 pages) : illustrations.
    “…Lecture notes in computer science ;…”
    SpringerLink - Click here for access
    eBook
    Save to List
    Saved in:
    25 years of model checking : history, achievements, perspectives
  2. 2

    Algebra, meaning, and computation : essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday by SpringerLink (Online service)

    Published: Springer, 2006
    Description: 1 online resource (xxxviii, 642 pages) : illustrations.
    “…Lecture notes in computer science ;…”
    SpringerLink - Click here for access
    eBook
    Save to List
    Saved in:
    Algebra, meaning, and computation : essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday
  3. 3

    Data management in a connected world : essays dedicated to Hartmut Wedekind on the occasion of his 70th birthday by SpringerLink (Online service)

    Published: Springer, 2005
    Description: 1 online resource (xix, 371 pages) : illustrations.
    “…Lecture notes in computer science ;…”
    SpringerLink - Click here for access
    eBook
    Save to List
    Saved in:
    Data management in a connected world : essays dedicated to Hartmut Wedekind on the occasion of his 70th birthday
  4. 4

    Embedded systems design : the ARTIST roadmap for research and development by SpringerLink (Online service)

    Published: Springer, 2005
    Description: 1 online resource (xv, 492 pages) : illustrations.
    “…Lecture notes in computer science ;…”
    SpringerLink - Click here for access
    eBook
    Save to List
    Saved in:
    Embedded systems design : the ARTIST roadmap for research and development
  5. 5

    Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday by SpringerLink (Online service)

    Published: Springer, 2005
    Description: 1 online resource (xxvii, 411 pages) : illustrations.
    “…Lecture notes in computer science ;…”
    SpringerLink - Click here for access
    eBook
    Save to List
    Saved in:
    Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday
  6. 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 by SpringerLink (Online service)

    Published: Springer, 2005
    Description: 1 online resource (xxiv, 319 pages) : illustrations.
    “…Lecture notes in computer science ;…”
    SpringerLink - Click here for access
    eBook
    Save to List
    Saved in:
    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
  7. 7

    Network analysis : methodological foundations by Gesellschaft für Informatik

    Published: Springer, 2005
    Description: 1 online resource (xii, 471 pages) : illustrations.
    “…Lecture notes in computer science ;…”
    SpringerLink - Click here for access
    eBook
    Save to List
    Saved in:
    Network analysis : methodological foundations
  8. 8

    Processes, terms and cycles : steps on the road to infinity : essays dedicated to Jan Willem Klop on the occasion of his 60th birthday by SpringerLink (Online service)

    Published: Springer, 2005
    Description: 1 online resource (xviii, 638 pages) : illustrations.
    “…Lecture notes in computer science ;…”
    SpringerLink - Click here for access
    eBook
    Save to List
    Saved in:
    Processes, terms and cycles : steps on the road to infinity : essays dedicated to Jan Willem Klop on the occasion of his 60th birthday
  9. 9

    Theoretical computer science : essays in memory of Shimon Even by SpringerLink (Online service)

    Published: Springer, 2006
    Description: 1 online resource (xii, 398 pages) : illustrations.
    “…Lecture notes in computer science ;…”
    SpringerLink - Click here for access
    eBook
    Save to List
    Saved in:
    Theoretical computer science : essays in memory of Shimon Even
  10. 10

    Advanced functional programming : 5th international school, AFP 2004, Tartu, Estonia, August 14-21, 2004 : revised lectures by AFP 2004 Tartu, Estonia, SpringerLink (Online service)

    Published: Springer, 2005
    Description: 1 online resource (viii, 357 pages) : illustrations.
    “…Lecture notes in computer science ;…”
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Advanced functional programming : 5th international school, AFP 2004, Tartu, Estonia, August 14-21, 2004 : revised lectures
  11. 11

    Formal methods for components and objects : third international symposium, FMCO 2004, Leiden, the Netherlands, November 2-5, 2004 : revised lectures by FMCO (Symposium) Leiden, Netherlands), SpringerLink (Online service)

    Published: Springer, 2005
    Description: 1 online resource (viii, 323 pages) : illustrations.
    “…Lecture notes in computer science ;…”
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Formal methods for components and objects : third international symposium, FMCO 2004, Leiden, the Netherlands, November 2-5, 2004 : revised lectures
  12. 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... by International School on Formal Methods for the Design of Computer, Communication, and Software Systems Bertinoro, Italy, SpringerLink (Online service)

    Published: Springer, 2005
    Description: 1 online resource (vi, 270 pages) : illustrations.
    “…Lecture notes in computer science ;…”
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    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 : advanced lectures
  13. 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... by International School on Formal Methods for the Design of Computer, Communication, and Software Systems Bertinoro, Italy, SpringerLink (Online service)

    Published: Springer, 2007
    Description: 1 online resource (vi, 467 pages) : illustrations.
    “…Lecture notes in computer science ;…”
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    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 ; advanced lectures
  14. 14

    Foundations of security analysis and design III : FOSAD 2004/2005 tutorial lectures by International School on Foundations of Security Analysis and Design Bertinoro, Italy, SpringerLink (Online service), International School on Foundations of Security Analysis and Design

    Published: Springer, 2005
    Description: 1 online resource (vi, 272 pages) : illustrations.
    “…Lecture notes in computer science ;…”
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Foundations of security analysis and design III : FOSAD 2004/2005 tutorial lectures
  15. 15

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

    Published: Springer, 2006
    Description: 1 online resource (x, 391 pages) : illustrations.
    “…Lecture notes in computer science ;…”
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Refinement techniques in software engineering : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 : revised lectures
  16. 16

    Advanced studies in biometrics : Summer School on Biometrics, Alghero, Italy, June 2-6, 2003 : revised selected lectures and papers by Summer School on Biometrics Alghero, Italy, SpringerLink (Online service)

    Published: Springer, 2005
    Description: 1 online resource (vi, 158 pages) : illustrations.
    “…Lecture notes in computer science ;…”
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Advanced studies in biometrics : Summer School on Biometrics, Alghero, Italy, June 2-6, 2003 : revised selected lectures and papers
  17. 17

    Reasoning web : first international summer school 2005, Msida, Malta, July 25-29, 2005 : tutorial lectures by Summer School on Reasoning Web Msida, Malta, SpringerLink (Online service)

    Published: Springer, 2005
    Description: 1 online resource (vii, 317 pages) : illustrations.
    “…Lecture notes in computer science ;…”
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Reasoning web : first international summer school 2005, Msida, Malta, July 25-29, 2005 : tutorial lectures
  18. 18

    Reasoning web : second international summer school 2006, Lisbon, Portugal, September 4-8, 2006 : tutorial lectures by Summer School on Reasoning Web Lisbon, Portugal, SpringerLink (Online service)

    Published: Springer, 2006
    Description: 1 online resource (268 pages) : illustrations.
    “…Lecture notes in computer science ;…”
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Reasoning web : second international summer school 2006, Lisbon, Portugal, September 4-8, 2006 : tutorial lectures
  19. 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 by Symposium on the Occasion of 25 years of CSP London, England, SpringerLink (Online service)

    Published: Springer, 2005
    Description: 1 online resource (xiv, 320 pages) : illustrations.
    “…Lecture notes in computer science ;…”
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    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
  20. 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... by International School on Formal Methods for the Design of Computer, Communication, and Software Systems Bertinoro, Italy, SpringerLink (Online service)

    Published: Springer, 2010
    Description: 1 online resource (167 pages) : illustrations.
    “…Lecture notes in computer science ;…”
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    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, Italy, June 21-26, 2010 ; advanced lectures

Search Tools: