Campusbibliothek

Präzisieren Sie die Suche

Ihre Suche erzielte 152 Treffer.

Sortieren
Ergebnisse
1.
Computational complexity
Materialtyp: Fortlaufende Ressource Fortlaufende Ressource; Format: Druck ; Art der fortlaufenden Ressource: Periodika
Sprache: Englisch Verlag: Cham (ZG) Springer International Publishing AG 1991-
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (9)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Z 161 1995-97, ...
2.
The computational complexity of algebraic and numeric problems A. Borodin; I. Munro von Reihen: Elsevier computer science library | ; 1 | Theory of computation series ; 1
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: New York [u.a.] American Elsevier Publ. 1975
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (3)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) BOR a 1975:1 2.Ex, ... Nicht verfügbar: Gebäude E1 4 (MPI-INF): restricted use (1). Gebäude E2 4 (UdS FR MATHE ): restricted use (1).
3.
Computational complexity by K. Wagner and G. Wechsung von Reihen: ; 2100 | Mathematics and its applications / East European series ; 21
Auflage: [Lizenzausg.]
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Dordrecht [u.a.] Reidel 1986
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) WAG k 1986:1 1.Ex. Nicht verfügbar: Gebäude E1 4 (MPI-INF): restricted use (1).
4.
Modified branching programs and their computational power Christoph Meinel von Reihen: ; 37000 | Lecture notes in computer science ; 370
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1989
Hochschulschriftenvermerk: Teilw. zugl.: @Habil.-Schr.
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 370.
5.
Bounded arithmetic Samuel R. Buss von Reihen: ; 3 | Studies in proof theory / Lecture notes ; 3
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Napoli Bibliopolis 1986
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) BUS s 1986:1 1.Ex.
6.
Information, randomness & incompleteness papers on algorithmic information theory G. J. Chaitin von Reihen: ; 8,2 | Series in computer science ; 8,2
Auflage: 2. ed.
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Singapore [u.a.] World Scientific Publ. 1990
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) ChAI g2 1990:1 1.Ex.
7.
Feasible mathematics a Mathematical Sciences Institute Workshop, Ithaca, New York, June 1989 ; [papers presented at the Workshop on Feasible Mathematics, held at Cornell University ...] Samuel R. Buss; Philip J. Scott ed. von Reihen: ; 900 | Progress in computer science and applied logic ; 9
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Boston [u.a.] Birkhäuser 1990
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) BUS s 1990:1 1.Ex.
8.
Algorithms and complexity ed. by Jan van Leeuwen von Reihen: ; A | Handbook of theoretical computer science ; A
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Amsterdam [u.a.] Elsevier 1990
Online-Ressourcen:
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) LEE j2 1990:3 1.Ex, ... Nicht verfügbar: Gebäude 26 (MPI-SWS Kaiserslautern ): restricted use (1). Gebäude E1 4 (MPI-INF): restricted use (2). Gebäude E1 5 (MPI-SWS SB): restricted use (1).
9.
Computational algebraic complexity ed. by Erich Kaltofen von Reihen: ; 9,3 | Journal of symbolic computation ; 9,3
Auflage: Repr.
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: London [u.a.] Academic Press 1990
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) KAL e 1990:1 1.Ex.
10.
Complexity theory of real functions Ker-I Ko von Reihen: ; 300 | Progress in theoretical computer science ; 3
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Boston, Mass. [u.a.] Birkhäuser 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) KO k 1991:1 1.Ex.
11.
Algorithms and complexity ed. by Jan van Leeuwen von Reihen: ; a,2 | Handbook of theoretical computer science ; a,2
Auflage: 2. impr.
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Amsterdam [u.a.] Elsevier [u.a.] 1992
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (3)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LEE j2 1992:1 3.Ex, ...
12.
13.
Complexity knots, colourings and counting D. J. A. Welsh von Reihen: ; 18600 | London Mathematical Society Lecture note series / London Mathematical Society ; 186 |
Auflage: 1. publ.
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cambridge [u.a.] Cambridge Univ. Press 1993
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) LMS 186.
14.
Advances in computational complexity theory Jin-Yi Cai ed. von Reihen: ; 13 | Center for Discrete Mathematics and Theoretical Computer Science DIMACS series in discrete mathematics and theoretical computer science ; 13 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Providence, RI American Mathematical Soc. [u.a.] 1993
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) DIMACS 13.
15.
Computation and automata Arto Salomaa von Reihen: ; 25,89 | Encyclopedia of mathematics and its applications ; 25,89
Auflage: Reprinted
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cambridge [u.a.] Cambridge Univ. Press 1989
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) EMA 25 2.Ex.
16.
Complexity, logic, and recursion theory ed. by Andrea Sorbi von Reihen: ; 187 | Lecture notes in pure and applied mathematics ; 187
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: New York, NY [u.a.] Dekker 1997
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) LNPAM 187 2.Ex, ...
17.
Descriptive complexity and finite models proceedings of a DIMACS workshop, January 14 - 17, 1996, Princeton University [DIMACS Workshop on Descriptive Complexity and Finite Models]. Neil Immerman ... ed von Reihen: ; 31 | Center for Discrete Mathematics and Theoretical Computer Science DIMACS series in discrete mathematics and theoretical computer science ; 31 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Providence, R.I. American Mathematical Society 1997
Online-Ressourcen:
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) DIMACS 31 2.Ex, ...
18.
Computational complexity and feasibility of data processing and interval computations by Vladik Kreinovich .. von Reihen: ; 1000 | Applied optimization ; 10
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Dordrecht [u.a.] Kluwer Acad. Publ. 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) KRE v 1998:1 1.Ex.
19.
Algorithm theory - SWAT'98 6th Scandinavian Workshop on Algorithm Theory, Stockholm, Sweden, July 8 - 10, 1998; proceedings Stefan Arnborg ... (ed.) von Reihen: ; 143200 | Lecture notes in computer science ; 1432
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1998
Weitere Titel:
  • SWAT '98
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 1432.
20.
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.
Seiten

Impressum

Datenschutzhinweise

Powered by Koha