My Library

University LibraryCatalogue

For faster,
simpler
access.
Use Lean
Library.
Get it now
Don't show me again
     
Limit search to items available for borrowing or consultation
Save Marked Record Save All Records Save Marked to My Lists
TITLES (1-3 of 3)
LNCS sublibrary. SL1, Theoretical computer science and general issues.
1
Cover Art
    E-RESOURCE 2007

"LNCS sublibrary. SL1, Theoretical computer science and general issues." » Formal methods and hybrid real-time systems : essays in honour of Dines Bjøerner and Zhou Chaochen on the occasion of their 70th birthdays / Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.).

   
Berlin ; New York : Springer,        xvi, 538 pages : illustrations ; 24 cm. 2007
2
Cover Art
    E-RESOURCE 2006

"LNCS Sublibrary: SL1 - Theoretical Computer Science and General Issues." » Petri nets and other models of concurrency [electronic resource] : ICATPN 2006 : 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006 : proceedings / Susanna Donatell

    International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (27th : 2006 : Turku, Finland)
Berlin ; New York : Springer,        1 online resource (xi, 440 p.) : ill. 2006
3
Cover Art
    E-RESOURCE 2010

"LNCS sublibrary. SL1, Theoretical computer science and general issues." » Verification, model checking, and abstract interpretation : 11th international conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 : proceedings / Gilles Barthe, Manuel Hermenegildo, eds.

    VMCAI 2010 (2010 : Madrid, Spain)
Berlin ; New York : Springer,        1 online resource (x, 395 pages) : illustrations. 2010
Save Marked Record Save All Records
Locate in results
 
Can't find that book? Try BONUS+

Search Discovery

Search CARM Centre Catalogue

Search Trove