Skip to contents

  1. Esparza, Javier [Other]; Lakos, Charles [Other]

    Application and Theory of Petri Nets 2002 : 23rd International Conference, ICATPN 2002 Adelaide, Australia, June 24–30, 2002 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-Verlag Berlin Heidelberg, 2006

    Published in: Lecture notes in computer science ; 2360

  2. Nielsen, Mogens [Author] ; Simpson, Dan [Other]

    Application and Theory of Petri Nets 2000 : 21st International Conference, ICATPN 2000 Aarhus, Denmark, June 26–30, 2000 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-Verlag Berlin Heidelberg, 2000

    Published in: Lecture notes in computer science ; 1825

  3. Schneider, Hans Jürgen [Other]

    Graph transformations in computer science : international workshop, Dagstuhl Castle, Germany, January 4 - 8, 1993 ; proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Berlin [u.a.]: Springer, 1994 ; Online-Ausg., Berlin [u.a.]: Springer, 2006

    Published in: Lecture notes in computer science ; 77600

  4. Bensoussan, Alain [Other] ; Institut National de Recherche en Informatique et en Automatique, International Conference on the Occasion of the 25th Anniversary of INRIA 1992 Paris

    Future tendencies in computer science, control and applied mathematics : International Conference on the Occasion of the 25th Anniversary of INRIA, Paris, France, December 8 - 11, 1992 ; proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Berlin [u.a.]: Springer, 1992 ; Online-Ausg., Berlin [u.a.]: Springer, 2006

    Published in: Lecture notes in computer science ; 65300

  5. Eriksson, Lars-Henrik [Author] ; Lindsay, Peter Alexander [Other]

    FME 2002:Formal Methods—Getting IT Right : International Symposium of Formal Methods Europe Copenhagen, Denmark, July 22–24, 2002 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-Verlag Berlin Heidelberg, 2002

    Published in: Lecture notes in computer science ; 2391

  8. Kågström, Bo [Author] ; Dongarra, Jack [Other]; Elmroth, Erik [Other]; Waśniewski, Jerzy [Other]

    Applied Parallel Computing Large Scale Scientific and Industrial Problems : 4th International Workshop, PARA’98 Umeå, Sweden, June 14-17, 1998 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, 1998

    Published in: Lecture notes in computer science ; 154100

  9. Goos, Gerhard [Author] ; Hartmanis, Juris [Other]; Koç, Çetin K. [Other]; Leeuwen, Jan [Other]; Paar, Christof [Other]

    Cryptographic Hardware and Embedded Systems — CHES 2000 : Second International Workshop Worcester, MA, USA, August 17–18, 2000 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, 2000

    Published in: Lecture notes in computer science ; 1965

  10. Monien, Burkhard [Author] ; Feldmann, Rainer [Other]

    Euro-Par 2002 Parallel Processing : 8th International Euro-Par Conference Paderborn, Germany, August 27–30, 2002 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-Verlag Berlin Heidelberg, 2002

    Published in: Lecture notes in computer science ; 2400

  11. Sakellariou, Rizos [Author] ; Freeman, Len [Other]; Gurd, John [Other]; Keane, John [Other]

    Euro-Par 2001 Parallel Processing : 7th International Euro-Par Conference Manchester, UK, August 28–31, 2001 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-Verlag Berlin Heidelberg, 2001

    Published in: Lecture notes in computer science ; 2150

  12. Ehrig, Hartmut [Other]

    Graph grammars and their application to computer science : 4th international workshop, Bremen, Germany, March 5 - 9, 1990 ; proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Berlin [u.a.]: Springer, 1991 ; Online-Ausg., Berlin [u.a.]: Springer, 2006

    Published in: Lecture notes in computer science ; 53200

  14. Wyrzykowski, Roman [Other]; Dongarra, Jack [Other]; Paprzycki, Marcin [Other]; Waśniewski, Jerzy [Other]

    Parallel Processing and Applied Mathematics : 4th International Conference, PPAM 2001 Na lęczów, Poland, September 9–12, 2001 Revised Papers

    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-Verlag Berlin Heidelberg, 2006

    Published in: Lecture notes in computer science ; 2328

  16. Montanari, Ugo [Author] ; Rolim, José D. P. [Other]; Welzl, Emo [Other]

    Automata, Languages and Programming : 27th International Colloquium, ICALP 2000 Geneva, Switzerland, July 9-15, 2000 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, 2000

    Published in: Lecture notes in computer science ; 185300

  17. Anderson, Michael [Author] ; Cheng, Peter [Other]; Haarslev, Volker [Other]

    Theory and Application of Diagrams : First International Conference, Diagrams 2000 Edinburgh, Scotland, UK, September 1–3, 2000 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-Verlag Berlin Heidelberg, 2000

    Published in: Lecture notes in computer science ; 1889

  18. Margenov, Svetozar [Author] ; Waśniewski, Jerzy [Other]; Yalamov, Plamen [Other]

    Large-Scale Scientific Computing : Third International Conference, LSSC 2001 Sozopol, Bulgaria, June 6–10, 2001 Revised Papers

    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-Verlag Berlin Heidelberg, 2001

    Published in: Lecture notes in computer science ; 2179

  19. Link, Sebastian [Author] ; Prade, Henri [Other]

    Foundations of Information and Knowledge Systems : 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009. 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, 2010

    Published in: Lecture notes in computer science ; 5956

  20. Zitzler, Eckart [Author] ; Coello Coello, Carlos A. [Other]; Corne, David [Other]; Deb, Kalyanmoy [Other]; Thiele, Lothar [Other]

    Evolutionary Multi-Criterion Optimization : First International Conference, EMO 2001 Zurich, Switzerland, March 7–9, 2001 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-Verlag Berlin Heidelberg, 2001

    Published in: Lecture notes in computer science ; 1993