Zum Inhalt springen

  1. Pnueli, Amir [HerausgeberIn]; Virbitskaite, Irina [Sonstige Person, Familie und Körperschaft]; Voronkov, Andrei [Sonstige Person, Familie und Körperschaft] ; International Andrei Ershov Memorial Conference 7 2009 Nowosibirsk

    Perspectives of systems informatics : 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009 ; revised 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 ; 5947

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

  3. Virbitskaite, Irina [Sonstige Person, Familie und Körperschaft]; Voronkov, Andrei [Sonstige Person, Familie und Körperschaft]; Virbitskaite, Irina B. [HerausgeberIn] ; International Andrei Ershov Memorial Conference 6 2006 Nowosibirsk

    Perspectives of systems informatics : 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27 - 30, 2006 ; revised 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, 2007

    Erschienen in: Lecture notes in computer science ; 4378

  4. Bernardo, Marco [HerausgeberIn]; Inverardi, Paolo [HerausgeberIn] ; International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures 3 2003 Bertinoro

    Formal methods for software architectures : third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22 - 27, 2003 ; 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, 2003

    Erschienen in: Lecture notes in computer science ; 2804

  7. Ralyté, Jolita [Sonstige Person, Familie und Körperschaft]; Brinkkemper, Sjaak [Sonstige Person, Familie und Körperschaft]; Henderson-Sellers, Brian [Sonstige Person, Familie und Körperschaft] ; International Federation for Information Processing Working Group Design and Evaluation of Information Systems, Working Conference on Situational Method Engineering 2007 Genf

    Situational method engineering: fundamentals and experiences : proceedings of the IFIP WG 8.1 working conference, 12-14 September 2007, Geneva, Switzerland

    Bücher
    Schließen

    Merkliste

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

    New York, NY: Springer, 2007

    Erschienen in: International Federation for Information Processing: IFIP International Federation for Information Processing ; 244

  11. Bjørner, Dines [Sonstige Person, Familie und Körperschaft]; Bjoerner, Dines [HerausgeberIn] ; International Andrei Ershov Memorial Conference 4 2001 Nowosibirsk-Akademgorodok

    Perspectives of system informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2 - 6, 2001 ; revised 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, 2001

    Erschienen in: Lecture notes in computer science ; 2244

  12. Moreno Díaz, Roberto [Sonstige Person, Familie und Körperschaft]; Moreno-Díaz, Roberto [HerausgeberIn] ; EUROCAST 10 2005 Las Palmas

    Computer aided systems theory - EUROCAST 2005 : 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7 - 11, 2005 ; 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, 2005

    Erschienen in: Lecture notes in computer science ; 3643

  13. Moreno-Díaz, Roberto [HerausgeberIn]; Pichler, Franz [Sonstige Person, Familie und Körperschaft] ; EUROCAST 9 2003 Las Palmas

    Computer aided systems theory - EUROCAST 2003 : 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24 - 28, 2003 ; 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, 2003

    Erschienen in: Lecture notes in computer science ; 2809

  14. Gómez-Pérez, Asunción [HerausgeberIn]; Benjamins, V. Richard [Sonstige Person, Familie und Körperschaft] ; EKAW 13. 2002 Sigüenza

    Knowledge engineering and knowledge management : ontologies and the semantic web ; 13th International Conference, EKAW 2002, Sigüenza, Spain, October 1 - 4, 2002 ; 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, 2002

    Erschienen in: Lecture notes in computer science ; 2473

  15. Zalzala, Ali M. S. [HerausgeberIn]; Fleming, Peter J. [Sonstige Person, Familie und Körperschaft] ; Institution of Electrical Engineers, Institute of Electrical and Electronics Engineers, GALESIA 1 1995 Sheffield

    Genetic algorithms in engineering systems : [this book arises from the ... 1st IEE/IEEE International Conference on Genetic Algorithms in Engineering Systems: Innovations and Applications (GALESIA '95), held at the University of Sheffield, UK]

    Bücher
    Schließen

    Merkliste

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

    London: Institution of Electrical Engineers, c 1997

    Erschienen in: Institution of Electrical Engineers: IEE control engineering series ; 5500

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

  19. Reschke, Hasso [HerausgeberIn] ; Symposium Projektstrukturierung 1989 Würzburg, Gesellschaft für Projektmanagement INTERNET Deutschland, Deutsche Gesellschaft für Projektmanagement

    Symposium Projektstrukturierung

    Bücher
    Schließen

    Merkliste

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

    Köln: Verl. TÜV Rheinland, 1989

    Erschienen in: Arbeitstexte der Gesellschaft für Projektmanagement

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