Zum Inhalt springen

  1. Cerone, Antonio [HerausgeberIn]; Pihlajasaari, Pekka [Sonstige Person, Familie und Körperschaft] ; ICTAC 8 2011 Johannesburg

    Theoretical aspects of computing - ICTAC 2011 : 8th international colloquium, Johannesburg, South Africa, August 31-September 2, 2011 ; proceedings

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

    Erschienen in: Lecture notes in computer science ; 6916

  2. Fitzgerald, John S. [HerausgeberIn]; Haxthausen, Anne E. [Sonstige Person, Familie und Körperschaft]; Yenigun, Husnu [Sonstige Person, Familie und Körperschaft] ; ICTAC 5 2008 Istanbul

    Theoretical aspects of computing - ICTAC 2008 : 5th international colloquium, Istanbul, Turkey, September 1-3, 2008 ; proceedings

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

    Erschienen in: Lecture notes in computer science ; 5160

  3. Jones, Cliff B. [HerausgeberIn]; Bjoerner, Dines [GefeierteR]; Zhou, Chaochen [GefeierteR]; Bjørner, Dines [GefeierteR]; Liu, Zhiming [Sonstige Person, Familie und Körperschaft]; Woodcock, Jim [Sonstige Person, Familie und Körperschaft] ; 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]

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

    Erschienen in: Lecture notes in computer science ; 4700

  4. Barkaoui, Kamel [HerausgeberIn]; Cavalcanti, Ana [Sonstige Person, Familie und Körperschaft]; Cerone, Antonio [Sonstige Person, Familie und Körperschaft] ; ICTAC 3 2006 Tūnis

    Theoretical aspects of computing - ICTAC 2006 : third international colloquium, Tunis, Tunisia, November 20-24, 2006 ; proceedings

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

    Erschienen in: Lecture notes in computer science ; 4281

  5. Jones, Cliff B. [HerausgeberIn]; Liu, Zhiming [Sonstige Person, Familie und Körperschaft]; Woodcock, Jones [Sonstige Person, Familie und Körperschaft] ; ICTAC 4 2007 Macau

    Theoretical aspects of computing - ICTAC 2007 : 4th international colloquium, Macao, China, September 26-28, 2007 ; proceedings

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

    Erschienen in: Lecture notes in computer science ; 4711

  9. George, Chris W. [HerausgeberIn]; Liu, Zhiming [Sonstige Person, Familie und Körperschaft]; Woodcock, Jim [Sonstige Person, Familie und Körperschaft] ; Training School on Domain Modelling and Duration Calculus 2007 Schanghai

    Domain modeling and the duration calculus : International Training School, Shanghai, China, September 17-21, 2007 ; advanced lectures

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

    Erschienen in: Lecture notes in computer science ; 4710

  10. Cavalcanti, Ana [HerausgeberIn]; Deharbe, David [Sonstige Person, Familie und Körperschaft]; Gaudel, Marie-Claude [Sonstige Person, Familie und Körperschaft]; Woodcock, Jim [Sonstige Person, Familie und Körperschaft] ; ICTAC 7 2010 Natal, Rio Grande do Norte

    Theoretical aspects of computing - ICTAC 2010 : 7th international colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010 ; proceedings

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

    Erschienen in: Lecture notes in computer science ; 6255