Zum Inhalt springen

  1. Silver, Gerald A. [VerfasserIn]; Silver, Myrna L. [VerfasserIn]

    Systems analysis and design

    Bücher
    Schließen

    Merkliste

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

    Reading, Mass. [u.a.]: Addison-Wesley, 1989

  2. Coleman, Derek [HerausgeberIn]

    Object-oriented development : the fusion method

    Bücher
    Schließen

    Merkliste

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

    Englewood Cliffs [u.a.]: Prentice Hall, 1994

    Erschienen in: Prentice Hall object-oriented series

  5. Kowalewski, Stefan [HerausgeberIn]; Philippou, Anna [Sonstige Person, Familie und Körperschaft] ; TACAS 15 2009 York, ETAPS 12 2009 York

    Tools and algorithms for the construction and analysis of systems : 15th international conference, TACAS 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009 ; 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, 2009

    Erschienen in: Lecture notes in computer science ; 5505

  6. Esparza, Javier [HerausgeberIn]; Majumdar, Rupak [Sonstige Person, Familie und Körperschaft] ; TACAS 16 2010 Paphos, ETAPS 13 2010 Paphos

    Tools and algorithms for the construction and analysis of systems : 16th international conference, TACAS 2010, held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 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 ; 6015

  8. Cleaveland, W. Rance [Sonstige Person, Familie und Körperschaft]; Cleaveland, Walter R. [HerausgeberIn] ; TACAS 5 1999 Amsterdam, ETAPS 2 1999 Amsterdam

    Tools and algorithms for the construction and analysis of systems : 5th International Conference, TACAS'99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22 - 28, 1999 ; 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, 1999

    Erschienen in: Lecture notes in computer science ; 1579

  9. Grumberg, Orna [HerausgeberIn]; Huth, Michael [Sonstige Person, Familie und Körperschaft] ; TACAS 13 2007 Braga, ETAPS 10 2007 Braga

    Tools and algorithms for the construction and analysis of systems : 13th international conference, TACAS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 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 ; 4424

  10. Ramakrishnan, C. R. [HerausgeberIn]; Rehof, Jakob [Sonstige Person, Familie und Körperschaft] ; TACAS 14 2008 Budapest, ETAPS 11 2008 Budapest

    Tools and algorithms for the construction and analysis of systems : 14th International Conference, TACAS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 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 ; 4963

  13. Giese, Holger [HerausgeberIn]; Karsai, Gabor [Sonstige Person, Familie und Körperschaft]; Lee, Edward A. [Sonstige Person, Familie und Körperschaft]; Rumpe, Bernhard [Sonstige Person, Familie und Körperschaft]; Schätz, Bernhard [Sonstige Person, Familie und Körperschaft] ; International Workshop on Model Based Enginneering of Embedded Real Time Systems 2007 Dagstuhl

    Model-based engineering of embedded real-time systems : international Dagstuhl workshop, Dagstuhl Castle, Germany, November 4-9, 2007 ; revised selected papers

    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 ; 6100

  14. Jensen, Kurt [HerausgeberIn]; Podelski, Andreas [Sonstige Person, Familie und Körperschaft] ; TACAS 10 2004 Barcelona, ETAPS 7 2004 Barcelona

    Tools and algorithms for the construction and analysis of systems : 10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004 ; 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, 2004

    Erschienen in: Lecture notes in computer science ; 2988

  15. Halbwachs, Nicolas [HerausgeberIn]; Zuck, Lenore D. [HerausgeberIn] ; TACAS 11 2005 Edinburgh, ETAPS 8 2005 Edinburgh

    Tools and algorithms for the construction and analysis of systems : 11th International Conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4 - 8, 2005 ; 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, 2005

    Erschienen in: Lecture notes in computer science ; 3440

  16. Hermanns, Holger [HerausgeberIn]; Palsberg, Jens [Sonstige Person, Familie und Körperschaft] ; TACAS 12 2006 Wien, ETAPS 9 2006 Wien

    Tools and algorithms for the construction and analysis of systems : 12th international conference, TACAS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 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; New York: Springer, 2006

    Erschienen in: Lecture notes in computer science ; 3920

  17. Bernardo, Marco [HerausgeberIn]; Hillston, Jane [Sonstige Person, Familie und Körperschaft] ; International School on Formal Methods for the Design of Computer, Communication, and Software Systems 7 2007 Bertinoro

    Formal methods for performance evaluation : 7th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, Bertinoro, Italy, May 28 - June 2, 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 ; 4486

  19. Graf, Susanne [VerfasserIn] ; Schwartzbach, Michael [Sonstige Person, Familie und Körperschaft]

    Tools and Algorithms for the Construction and Analysis of Systems : 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2000

    Erschienen in: Lecture notes in computer science ; 1785

  20. Katoen, Joost-Pieter [VerfasserIn] ; Stevens, Perdita [Sonstige Person, Familie und Körperschaft]

    Tools and Algorithms for the Construction and Analysis of Systems : 8th International Conference, TACAS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

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

    Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2002

    Erschienen in: Lecture notes in computer science ; 2280