Campusbibliothek

Präzisieren Sie die Suche

Ihre Suche erzielte 476 Treffer.

Sortieren
Alle auswählen Auswahl aufheben
Titel auswählen:
Ergebnisse
1.
The art of computer programming Vol. 4 A Combinatorial algorithms P. 1 Donald E. Knuth von
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Upper Saddle River, NJ [u.a.] Addison-Wesley 2011
Online-Ressourcen:
Verfügbarkeit: Nicht verfügbar: Gebäude 26 (MPI-SWS Kaiserslautern ): restricted use (1). Gebäude E1 4 (MPI-INF): restricted use (1). Gebäude E1 5 (MPI-SWS SB): restricted use (1).
Zum Korb hinzufügen
2.
Handbook of satisfiability part 2 edited by Armin Biere (Johannes Kepler University, Linz, Austria), Marijan Heule (Carnegie Mellon University, Pittsburgh, USA), Hans van Maaren (TU Delft, the Netherlands, Delft) and Toby Walsh (University of New South Wales, Kensington, Austria) von Reihen: ; 336,2.2021 | Frontiers in artificial intelligence and applications ; 336,2.2021
Auflage: Second edition
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Amsterdam Berlin Washington, DC IOS Press [2021]Copyright-Datum: © 2021
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) BIE a2 2021:2 1.Ex. Nicht verfügbar: Gebäude E1 5 (MPI-SWS SB): restricted use (1).
Zum Korb hinzufügen
3.
Handbook of satisfiability part 1 edited by Armin Biere (Johannes Kepler University, Linz, Austria), Marijan Heule (Carnegie Mellon University, Pittsburgh, USA), Hans van Maaren (TU Delft, the Netherlands, Delft) and Toby Walsh (University of New South Wales, Kensington, Austria) von Reihen: ; 336,1.2021 | Frontiers in artificial intelligence and applications ; 336,1.2021
Auflage: second edition
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Amsterdam Berlin Washington, DC IOS Press [2021]Copyright-Datum: © 2021
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) BIE a2 2021:1 1.Ex. Nicht verfügbar: Gebäude E1 5 (MPI-SWS SB): restricted use (1).
Zum Korb hinzufügen
4.
Graphen, Algorithmen, Datenstrukturen Ergebnisse des Workshops WG 76 ; 2. Fachtagung über Graphentheoretische Konzepte der Informatik (Graphtheoretic Concepts in Computer Science) 16. - 18. Juni 1976, Göttingen hrsg. von Hartmut Noltemeier von Reihen: ; 4 | WG Fachtagung über Graphentheoretische Konzepte der Informatik ; 1976,0000,20 | Applied computer-science ; 4
Auflage: 1. Aufl.
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch, Englisch Verlag: München [u.a.] Hanser 1976
Weitere Titel:
  • WG '76
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) WG 1976 2.
Vormerken Zum Korb hinzufügen
5.
Graphs, data structures, algorithms proceedings of the Workshop WG 78 on Graphtheoretic Concepts in Computer Science (4. Fachtagung über Graphentheoretische Konzepte in der Informatik), June 15-17, near Erlangen, Germany ed. by Manfred Nagl ... von Reihen: ; 13 | Applied computer-science ; 13
Materialtyp: Text Text; Format: Druck
Sprache: Englisch, Deutsch Verlag: München [u.a.] Hanser 1979
Weitere Titel:
  • WG '78
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) WG 1978 4 2.Ex, ...
Vormerken Zum Korb hinzufügen
6.
Algorithms in modern mathematics and computer science proceedings, Urgench, Uzbek SSR, September 16 - 22, 1979 ed. by A. P. Ershov ... von Reihen: ; 12200 | Lecture notes in computer science ; 122
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg New York [u.a.] Springer 1981
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 122.
Vormerken Zum Korb hinzufügen
7.
Parallele Algorithmen Friedel Hoßfeld von Reihen: ; 64 | Informatik-Fachberichte ; 64
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Berlin [u.a.] Springer 1983
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) IFB 64 1.Ex.
Vormerken Zum Korb hinzufügen
8.
P-functions and Boolean matrix factorization a unified approach for wired, programmed and microprogrammed implementations of discrete algorithms André Thayse von Reihen: ; 17500 | Lecture notes in computer science ; 175
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1984
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 175.
Vormerken Zum Korb hinzufügen
9.
Combinatorial algorithms on words [proceed. of the NATO Advanced Research Workshop on Combinatorial Algorithms on Words held at Maratea, Italy, June 18 - 22, 1984] ed. by Alberto Apostolico ... von Reihen: ; 1200 | NATO NATO ASI series / F ; 12 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1985
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) APO a2 1985:1 1.Ex.
Vormerken Zum Korb hinzufügen
10.
Symposium on Semantics of Algorithmic Languages ed. by E. Engeler von Reihen: ; 18800 | Lecture notes in mathematics ; 188
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin [u.a.] Springer 1971
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) LNM 188.
Vormerken Zum Korb hinzufügen
11.
Algorithms in combinatorial design theory ed. by C. J. Colbourn ... von Reihen: ; 114 | North Holland mathematics studies ; 114 | Annals of discrete mathematics ; 26
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Amsterdam [u.a.] North-Holland 1985
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) AODM 26.
Vormerken Zum Korb hinzufügen
12.
Effiziente Algorithmen von Kurt Mehlhorn von Reihen: Teubner Studienbücher Informatik | ; 4100 | Leitfäden der angewandten Mathematik und Mechanik ; 4100
Auflage: 1. Aufl.
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Stuttgart Teubner 1977
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (6)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) MEH k 1977:1 4.Ex, ... HOMEBRANCH: Max-Planck-Institut für Informatik (1)Sammlung, Signatur: MPI-INF (E1 4) Mehlhorn.
Vormerken Zum Korb hinzufügen
13.
Datenstrukturen, Graphen, Algorithmen Ergebnisse des Workshops WG 77, 3. Fachtagung über Graphentheoretische Konzepte der Informatik (Graphtheoretic Concepts in Computer Science), 17- bis 19. Juni 1977, Linz/Österreich Hrsg. von Jörg Mühlbacher von Reihen: ; 8 | Applied computer-science ; 8
Auflage: 1. Aufl
Materialtyp: Text Text; Format: Druck
Sprache: Englisch, Deutsch Verlag: München [u.a.] Hanser 1978
Weitere Titel:
  • WG '77
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) WG 1977 3.
Vormerken Zum Korb hinzufügen
14.
Fundamental algorithms for computer graphics [proceed. of the NATO Advanced Study Inst. on Fundamental Algorithms for Computer Graphics held at Ilkley, Yorkshire, England, March 30 - April 12, 1985] ed. by Rae A. Earnshaw von Reihen: ; 1700 | NATO NATO ASI series / F ; 17 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg New York Tokyo Springer 1985
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) EAR r 1985:1 1.Ex, ...
Vormerken Zum Korb hinzufügen
15.
Mathematics for the analysis of algorithms Daniel H. Greene; Donald E. Knuth von Reihen: ; 100 | Progress in computer science ; 100
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Boston [u.a.] Birkhäuser 1981
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) GRE d 1981:1 1.Ex, ...
Vormerken Zum Korb hinzufügen
16.
Mathematics for the analysis of algorithms Daniel H. Greene; Donald E. Knuth von Reihen: ; 100 | Progress in computer science ; 100
Auflage: 2. ed.
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Boston [u.a.] Birkhäuser 1982
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) GRE d 1982:1 1.Ex.
Vormerken Zum Korb hinzufügen
17.
Applied algebra, algorithmics and error-correcting codes 2nd international conference, AAECC-2, Toulouse, France, October 1 - 5, 1984 ; proceedings ed. by Alain Poli von Reihen: ; 22800 | Lecture notes in computer science ; 228 | Applied algebra, algorithmics and error-correcting codes ; 1984,2
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 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) LNCS 228.
Vormerken Zum Korb hinzufügen
18.
Algebraic algorithms and error-correcting codes 3rd International Conference, AAECC-3, Grenoble, France, July 15 - 19, 1985 ; proceedings ed. by Jacques Calmet von Reihen: ; 22900 | Lecture notes in computer science ; 229
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 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) LNCS 229.
Vormerken Zum Korb hinzufügen
19.
From logic design to logic programming theorem proving techniques and P-functions Dominique Snyers; André Thayse von Reihen: ; 27100 | Lecture notes in computer science ; 271
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin [u.a.] Springer 1987
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 271.
Vormerken Zum Korb hinzufügen
20.
Systems of reductions B. Benninghofen; S. Kemmerich; M. M. Richter von Reihen: ; 27700 | Lecture notes in computer science ; 277
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1987
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 277.
Vormerken Zum Korb hinzufügen
Seiten

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha