Suggested Topics within your search.
Showing 1 - 20 results of 17,959 for search '"Lecture notes in computer science,"', query time: 0.15s Refine Results
  1. 1
    Probabilistic and statistical methods in cryptology : an introduction by selected topics /

    Probabilistic and statistical methods in cryptology : an introduction by selected topics / by Neuenschwander, Daniel, 1963-

    Published 2004
    Access full-text online
    Book
    Save to List
    Saved in:
  2. 2
    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 /

    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 2005
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
    Save to List
    Saved in:
  3. 3
    Theory is forever : essays dedicated to Arto Salomaa on the occasion of his 70th birthday /

    Theory is forever : essays dedicated to Arto Salomaa on the occasion of his 70th birthday /

    Published 2004
    “…Lecture notes in computer science ;…”
    Access full-text online
    Book
    Save to List
    Saved in:
  4. 4
    Theoretical computer science essays in memory of Shimon Even /

    Theoretical computer science essays in memory of Shimon Even /

    Published 2006
    “…Lecture notes in computer science ;…”
    Electronic eBook
    Save to List
    Saved in:
  5. 5
    Reasoning web : first international summer school 2005, Msida, Malta, July 25-29, 2005 : tutorial lectures /

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

    Published 2005
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
    Save to List
    Saved in:
  6. 6
    Advanced studies in biometrics : Summer School on Biometrics, Alghero, Italy, June 2-6, 2003 : revised selected lectures and papers /

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

    Published 2005
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
    Save to List
    Saved in:
  7. 7
    Formal methods for components and objects : third international symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004 : revised lectures /

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

    Published 2005
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
    Save to List
    Saved in:
  8. 8
    Foundations of security analysis and design III : FOSAD 2004/2005 tutorial lectures /

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

    Published 2005
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
    Save to List
    Saved in:
  9. 9
    Processes, terms and cycles : steps on the road to infinity : essays dedicated to Jan Willem Klop on the occasion of his 60th birthday /

    Processes, terms and cycles : steps on the road to infinity : essays dedicated to Jan Willem Klop on the occasion of his 60th birthday /

    Published 2005
    “…Lecture notes in computer science ;…”
    Book
    Save to List
    Saved in:
  10. 10
    Data management in a connected world : essays dedicated to Hartmut Wedekind on the occasion of his 70th birthday /

    Data management in a connected world : essays dedicated to Hartmut Wedekind on the occasion of his 70th birthday /

    Published 2005
    “…Lecture notes in computer science ;…”
    Book
    Save to List
    Saved in:
  11. 11
    Formal methods for the design of real-time systems : International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004 : revised lectures /

    Formal methods for the design of real-time systems : International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro,...

    Published 2004
    “…Lecture notes in computer science ;…”
    Access full-text online
    Conference Proceeding Book
    Save to List
    Saved in:
  12. 12
    Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday /

    Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday /

    Published 2005
    Book
    Save to List
    Saved in:
  13. 13
    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 /

    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 2005
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
    Save to List
    Saved in:
  14. 14
    Formal methods for components and objects : second international symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 : revised lectures /

    Formal methods for components and objects : second international symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 : revised lectures /

    Published 2004
    “…Lecture notes in computer science ;…”
    Access full-text online
    Conference Proceeding Book
    Save to List
    Saved in:
  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 /

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

    Published 2006
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
    Save to List
    Saved in:
  16. 16
    Generative and transformational techniques in software engineering : international summer school, GTTSE 2005, Braga, Portugal, July 4-8, 2005 : revised papers /

    Generative and transformational techniques in software engineering : international summer school, GTTSE 2005, Braga, Portugal, July 4-8, 2005 : revised papers /

    Published 2006
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
    Save to List
    Saved in:
  17. 17
    Algebra, meaning, and computation : essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday /

    Algebra, meaning, and computation : essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday /

    Published 2006
    “…Lecture notes in computer science ;…”
    Book
    Save to List
    Saved in:
  18. 18
    Lectures on runtime verification : introductory and advanced topics /

    Lectures on runtime verification : introductory and advanced topics /

    Published 2018
    “…Lecture notes in computer science ;…”
    Full Text (via Springer)
    eBook
    Save to List
    Saved in:
  19. 19
    Formal methods for components and objects : third international symposium, FMCO 2004, Leiden, the Netherlands, November 2-5, 2004 : revised lectures /

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

    Published 2005
    “…Lecture notes in computer science ;…”
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
  20. 20
    Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday /

    Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday /

    Published 2005
    “…Lecture notes in computer science ;…”
    Full Text (via Springer)
    eBook
    Save to List
    Saved in:
Search Tools: RSS Feed – Save Search