Campusbibliothek

Präzisieren Sie die Suche

Ihre Suche erzielte 14 Treffer.

Sortieren
Ergebnisse
1.
Optimal interprocedural program optimization a new framework and its application Jens Knoop von Reihen: ; 142800 | Lecture notes in computer science ; 1428
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1998
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 1428.
2.
Interacting code motion transformations their impact and their complexity Oliver Rüthing von Reihen: ; 153900 | Lecture notes in computer science ; 1539
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1998
Hochschulschriftenvermerk: Zugl.: Kiel, Univ., Diss., 1997
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 1539.
3.
Automatic termination analysis for functional imperative programs Jürgen Brauburger von Reihen: ; 207 | Dissertationen zur künstlichen Intelligenz ; 207
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Sankt Augustin Infix c 1999
Hochschulschriftenvermerk: Zugl.: Darmstadt, Techn. Univ., Diss., 1999
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) DISKI 207.
4.
Software visualization international seminar, Dagstuhl Castle, Germany, May 2001 ; revised papers Stephan Diehl (ed.) von Reihen: State-of-the-art survey | ; 226900 | Lecture notes in computer science ; 2269
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin [u.a.] Springer 2002
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 2269.
5.
Experimental algorithmics from algorithm design to robust and efficient software [In September 2000, ... the first Schloss Dagstuhl Seminar on Experimental Algorithms]. Rudolf Fleischer; Bernard Moret; Erik Meineche Schmidt (ed.) von Reihen: State-of-the-art-survey | ; 254700 | Lecture notes in computer science ; 2547
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2002
Weitere Titel:
  • 1. first Schloss Dagstuhl Seminar on Experimental Algorithmics
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 2547.
6.
Experimental and efficient algorithms 4th international workshop, WEA 2005, Santorini Island, Greece, May 10 - 13, 2005 ; proceedings Sotiris E. Nikoletseas (ed.) von Reihen: ; 350300 | Lecture notes in computer science ; 3503
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 11427186
Verlag: Berlin Heidelberg [u.a.] Springer 2005
Weitere Titel:
  • Fourth 4
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 3503.
7.
Index set splitting Martin Griebl; Paul Feautrier; Christian Lengauer von Reihen: ; 199908 | Universität Passau MIP / Universität Passau Fakultät für Mathematik und Informatik ; 1999,8 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Passau Univ., Fak. für Mathematik und Informatik 1999
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Passau UNI MATH-INF MIP-9908.
8.
Methoden der imperativen Programmierung mit Beispielen in MODULA-2 und EIFFEL von Hans-Georg Stork von Reihen: Leitfäden der angewandten Informatik
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Stuttgart Teubner 1993
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) StOR h2 1993:1 1.Ex.
9.
Struktur und Interpretation von Computerprogrammen eine Informatik-Einführung Harold Abelson und Gerald Jay Sussman mit Julie Sussman. Übers. von Susanne Daniels-Herold von Reihen: Springer-Lehrbuch
Auflage: 3., überarb. Aufl.
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Originalsprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1998
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) ABE h 1998:1 1.Ex.
10.
Algorithmics the spirit of computing David Harel von
Auflage: Reprinted
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Wokingham, England [u.a.] Addison-Wesley 1991
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) HAR d 1991:1 1.Ex.
11.
Introduction to algorithms Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, Clifford Stein von
Auflage: Third edition
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cambridge, Massachusetts London, England MIT Press [2009]Copyright-Datum: © 2009
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (2)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) COR th 2009:1 1.Ex, ... Nicht verfügbar: Gebäude E1 4 (MPI-INF): restricted use (2). Gebäude E1 5 (MPI-SWS SB): restricted use (1). Gebäude E1 7 (UdS MMCI): restricted use (1). Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik): Ausgeliehen (1).
12.
Lehr- und Übungsbuch numerische Mathematik mit 163 Beispielen sowie 68 Aufgaben mit Lösungen, Zusatzsoftware und ausführlichen Lösungen im Internet ; [mit Softwareunterstützung] [Hrsg. Wolfgang Preuß ... Autoren Fritz Bierbaum ...] von
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: München Wien Fachbuchverl. Leipzig im Carl-Hanser-Verl. 2001
Weitere Titel:
  • Numerische Mathematik
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) PRE w3 2001:1 1.Ex.
13.
Optimization of structural topology, shape, and material Martin P. Bendsøe von
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1995
Hochschulschriftenvermerk: Zugl.: Lyngby, Techn. Univ., Diss., 1995
Verfügbarkeit: Ausleihbare Exemplare: HOMEBRANCH: Universität des Saarlandes Fachrichtung Mathematik (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) BEN m5 1995:1 1.Ex.
14.
Introduction to algorithms Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, Clifford Stein von
Auflage: Fourth edition
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cambridge, Massachusetts London, England The MIT Press [2022]Copyright-Datum: © 2022
Online-Ressourcen:
Verfügbarkeit: Verfügbarer Präsenzbestand: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik): Nicht ausleihbar (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) COR th 2022:1 1.Ex. Nicht verfügbar: Gebäude E1 4 (MPI-INF): restricted use (2). Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik): Ausgeliehen (2).
Seiten

Impressum

Datenschutzhinweise

Powered by Koha