Skip to contents

  2. Jones, Cliff B. [Editor]; Bjoerner, Dines [Honoree]; Zhou, Chaochen [Honoree]; Bjørner, Dines [Honoree]; Liu, Zhiming [Other]; Woodcock, Jim [Other] ; ICTAC 4 2007 Macau

    Formal methods and hybrid real-time systems : essays in honor of Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays ; [papers presented at a symposium held in Macao, China, September 24 - 25, 2007 ; Festschrift Symposium]

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin; Heidelberg [u.a.]: Springer, 2007

    Published in: Lecture notes in computer science ; 4700

  3. Jones, Cliff B. [Other]; Liu, Zhiming [Other]; Woodcock, Jim [Other]

    Formal Methods and Hybrid Real-Time Systems : Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2007

    Published in: Lecture notes in computer science ; 4700

  4. Jones, Cliff B. [Other]; Liu, Zhiming [Other]; Woodcock, Jim [Other]

    Theoretical Aspects of Computing – ICTAC 2007 : 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2007

    Published in: Lecture notes in computer science ; 4711

  6. Bassano, Augustine Komponist; Byrd, William Komponist; Ferrabosco II, Alfonso Komponist; Jones, Robert Komponist; Mundy, John Komponist; Parsons, Robert Komponist; Tallis, Thomas Komponist; Weelkes, Thomas Komponist; Woodcock, Clement Komponist ; Piffaro

    Chamber Music (Renaissance) - WEELKES, T. / JONES, R. / BATESON, T. / BYRD, W. / BASSANO, A. / FERRABOSCO II, A. (Waytes) (Piffaro)

    Sound Recordings
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Navona, 100111

    Published in: Navona

  8. Woodcock, Jim; Jones, Cliff

    Editorial

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Association for Computing Machinery (ACM), 2015

    Published in: Formal Aspects of Computing

  9. Jones, Cliff; Woodcock, Jim

    Editorial

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Association for Computing Machinery (ACM), 2008

    Published in: Formal Aspects of Computing

  10. Jones, Cliff; Woodcock, Jim

    Editorial

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Association for Computing Machinery (ACM), 2007

    Published in: Formal Aspects of Computing