Search Results - "Lecture notes in computer science ;"

Refine Results
  1. 1

    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
  2. 2

    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
  3. 3

    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
  4. 4
  5. 5

    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
  6. 6

    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
  7. 7

    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 ;…”
    Book
  8. 8

    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
  9. 9

    Active, real-time, and temporal database systems.

    “…Lecture notes in computer science ;…”
    Request a PDF (UCB only)
    Conference Proceeding
  10. 10

    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
  11. 11

    Validation of stochastic systems : a guide to current research /

    Published 2004
    “…Lecture notes in computer science ;…”
    Access full-text online
    Book
  12. 12
  13. 13

    Primality testing in polynomial time : from randomized algorithms to "primes is in P" / by Dietzfelbinger, Martin

    Published 2004
    “…Lecture notes in computer science ;…”
    Access full-text online
    Book
  14. 14

    Uncertain projective geometry : statistical reasoning for polyhedral object reconstruction / by Heuel, Stephan

    Published 2004
    “…Lecture notes in computer science ;…”
    Book
  15. 15

    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
  16. 16
  17. 17

    Graph transformation, specifications, and nets : in memory of Hartmut Ehrig /

    Published 2018
    “…Lecture notes in computer science ;…”
    Full Text (via Springer)
    eBook
  18. 18

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

    Published 2006
    “…Lecture notes in computer science ;…”
    Electronic Conference Proceeding eBook
  19. 19

    Network analysis : methodological foundations /

    Published 2005
    “…Lecture notes in computer science ;…”
    Book
  20. 20

    Program analysis and compilation, theory and practice essays dedicated to Reinhard Wilhelm on the occasion of his 60th birthday /

    Published 2007
    “…Lecture notes in computer science ;…”
    Electronic eBook
Search Tools: RSS Feed Save Search