Zum Inhalt springen

  3. Fleischer, Rudolf [HerausgeberIn]; Moret, Bernard M. E. [Sonstige Person, Familie und Körperschaft]; Schmidt, Erik Meineche [Sonstige Person, Familie und Körperschaft] ; Seminar on Experimental Algorithmics 2000 Dagstuhl, Dagstuhl Seminar on Experimental Algorithmics 1 2000 Dagstuhl

    Experimental algorithmics : from algorithm design to robust and efficient software

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

  4. Zannier, Carmen [HerausgeberIn]; Erdogmus, Hakan [Sonstige Person, Familie und Körperschaft]; Lindstrom, Lowell [Sonstige Person, Familie und Körperschaft] ; Conference on Extreme Programming and Agile Methods 4 2004 Calgary, Alberta

    Extreme programming and agile methods - XP/Agile Universe 2004 : 4th Conference on Extreme Programming and Agile Methods, Calgary, Canada, August 15 - 18, 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 ; 3134

  6. Abrahamsson, Pekka [HerausgeberIn]; Marchesi, Michele [Sonstige Person, Familie und Körperschaft]; Succi, Giancarlo [Sonstige Person, Familie und Körperschaft] ; XP 7 2006 Oulu

    Extreme programming and agile processes in software engineering : 7th international conference, XP 2006, Oulu, Finland, June 17 - 22, 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 ; 4044

  8. Bakker, Jacobus W. de [HerausgeberIn]; Wijngaarden, Adriaan van [GefeierteR]; Vliet, J. C. van [HerausgeberIn] ; Mathematisch Centrum Amsterdam, International Federation for Information Processing Technical Committee Programming, International Symposium on Algorithmic Languages 1981 Amsterdam

    Algorithmic languages : proceedings of the International Symposium on Algorithmic Languages, Amsterdam, the Netherlands, 26.-29. October 1981; a tribute to Prof. Dr. Ir. A. van Wijngaarden, on the occasion of his retirement from the Mathematical Centre

    Bücher
    Schließen

    Merkliste

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

    Amsterdam [u.a.]: North-Holland Publ. Co., 1981

  9. Bauer, Friedrich L. [VerfasserIn]; Wössner, Hans [VerfasserIn]

    Algorithmische Sprache und Programmentwicklung

    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, 1981

  11. Kröger, Fred [VerfasserIn]; Merz, Stephan [VerfasserIn]

    Temporal logic and state systems

    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: Springer, 2008

    Erschienen in: Texts in theoretical computer science

  14. Freiling, Felix C. [Sonstige Person, Familie und Körperschaft]; Lambertz, Christian [Sonstige Person, Familie und Körperschaft]; Majster-Cederbaum, Mila [Sonstige Person, Familie und Körperschaft]

    Easy consensus algorithms for the crash-recovery model

    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.

    Mannheim: Universität Mannheim / Institut für Informatik, 2008

    Erschienen in: Manuskripte / Reihe Informatik ; 2008-002

  15. Pfeifer, Holger [Sonstige Person, Familie und Körperschaft]; Dold, Axel [Sonstige Person, Familie und Körperschaft]; Henke, Friedrich Wilhelm von [Sonstige Person, Familie und Körperschaft]; Rueß, Harald [Sonstige Person, Familie und Körperschaft]

    Mechanized semantics of simple imperative programming constructs

    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.

    Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2009

    Erschienen in: Ulmer Informatik-Berichte ; 96,11

  16. Golumbic, Martin Charles [VerfasserIn] ; ScienceDirect (Online service)

    Algorithmic graph theory and perfect graphs

    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.

    Amsterdam; Boston: Elsevier, 2004 ; Online-Ausg.]

    Erschienen in: Annals of discrete mathematics ; 57

  19. Pfeifer, Holger [VerfasserIn]; Dold, Axel [VerfasserIn]; Henke, Friedrich Wilhelm von [VerfasserIn]; Rueß, Harald [VerfasserIn]

    Mechanized semantics of simple imperative programming constructs

    Elektronische Ressourcen
    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.

    Universität Ulm, 2016-03-15T06:22:50Z

  20. Hubwieser, Peter [VerfasserIn] ; Aiglstorfer, Gerd [Sonstige Person, Familie und Körperschaft]; Mühling, Andreas [Sonstige Person, Familie und Körperschaft]

    Fundamente der Informatik : Funktionale, imperative und objektorientierte Sicht, Algorithmen und Datenstrukturen. - [2., vollst. überarb. Aufl.]

    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/Boston: De Gruyter Oldenbourg, 2013 ; 2013