Campusbibliothek

Ihre Suche erzielte 22 Treffer.

Sortieren
Alle auswählen Auswahl aufheben
Titel auswählen:
Ergebnisse
1.
Finite domain constraints declarativity meets efficiency - theory meets application Manfred Meyer von Reihen: ; 79 | Dissertationen zur künstlichen Intelligenz ; 79
Materialtyp: Text Text; Format: Druck
Sprache: Englisch, Deutsch Verlag: Sankt Augustin Infix 1995
Hochschulschriftenvermerk: Zugl.: Kaiserslautern, Univ., Diss., 1994 (Nicht für den Austausch)
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 79. Verfügbarer Präsenzbestand: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik): only use on site (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) DISKI 79 2.Ex.
Vormerken Zum Korb hinzufügen
2.
Logic-based 0-1 constraint programming Peter Barth von Reihen: ; 5 | Operations research, computer science interface series ; 5
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Boston, Mass. [u.a.] Kluwer Acad. Publ. 1996
Hochschulschriftenvermerk: Teilw. zugl.: Saarbrücken, Univ., Diss., 1995
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) BAR p2 1996:1 1.Ex, ...
Vormerken Zum Korb hinzufügen
3.
Over-constrained systems Michael Jampel ... (ed.) von Reihen: ; 110600 | Lecture notes in computer science ; 1106
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg New York Barcelona Budapest Hong Kong London Milan Paris Santa Clara Singapore Tokyo Springer 1996
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 1106.
Vormerken Zum Korb hinzufügen
4.
Feature-Logik und Semiunifikation Jochen Dörre von Reihen: ; 128 | Dissertationen zur künstlichen Intelligenz ; 128
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Sankt Augustin Infix 1996
Hochschulschriftenvermerk: Zugl.: Stuttgart, Univ., Diss., 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) DISKI 128.
Vormerken Zum Korb hinzufügen
5.
Wissensbasierte genetische Algorithmen Integration von genetischen Algorithmen und Constraint-Programmierung zur Lösung kombinatorischer Optimierungsprobleme Ralf Bruns von Reihen: ; 134 | Dissertationen zur künstlichen Intelligenz ; 134
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Sankt Augustin Infix 1996
Hochschulschriftenvermerk: Zugl.: Oldenburg, Univ., Diss., 1996
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 134.
Vormerken Zum Korb hinzufügen
6.
Projection in constraint logic programming Andreas Fordan von Reihen: ; 199 | Dissertationen zur künstlichen Intelligenz ; 199
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Sankt Augustin Infix 1999
Hochschulschriftenvermerk: Zugl.: Berlin, Techn. Univ., Diss., 1999
Online-Ressourcen:
Verfügbarkeit: Verfügbarer Präsenzbestand: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik): only use on site (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) DISKI 199.
Zum Korb hinzufügen
7.
Static analysis 8th international symposium, Paris, France, July 16 - 18, 2001 ; proceedings SAS 2001. Patrick Cousot (ed.) von Reihen: ; 212600 | Lecture notes in computer science ; 2126
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2001
Weitere Titel:
  • SAS 2001
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 2126.
Vormerken Zum Korb hinzufügen
8.
Static analysis 9th international symposium ; proceedings SAS 2002, Madrid, Spain, September 17 - 20, 2002. Manuel V. Hermenegildo ... (eds.) von Reihen: ; 247700 | Lecture notes in computer science ; 2477
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2002
Weitere Titel:
  • SAS 2002
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 2477.
Vormerken Zum Korb hinzufügen
9.
10.
Progress in artificial intelligence 11th Portuguese Conference on Artificial Intelligence, EPIA 2011, Beja, Portugal, December 4-7, 2003 ; proceedings Fernando Moura Pires ... (eds.) von Reihen: ; 2902 | Lecture notes in computer science ; 2902
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2003
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 LNAI 2902.
Vormerken Zum Korb hinzufügen
11.
Progress in artificial intelligence 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilhã, Portugal, December 5-8, 2005 ; proceedings Carlos Bento ... (ed.) von Reihen: ; 3808 | Lecture notes in computer science ; 3808
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 11595014
Verlag: Berlin Heidelberg [u.a.] Springer 2005
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 LNAI 3808.
Vormerken Zum Korb hinzufügen
12.
13.
Logic-based program synthesis and transformation 18th international symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008 ; revised selected papers Michael Hanus (ed.) von Reihen: ; 543800 | Lecture notes in computer science ; 5438
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2009
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 5438.
Vormerken Zum Korb hinzufügen
14.
Deklarative prosodische Morphologie constraint-basierte Analysen und Computermodelle zum Finnischen und Tigrinya Markus Walther von Reihen: ; 399 | Linguistische Arbeiten ; 399
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Tübingen Niemeyer 1999
Hochschulschriftenvermerk: Zugl.: Düsseldorf, 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) LA 399.
Vormerken Zum Korb hinzufügen
15.
Constraint-based acoustic modelling Moritz Neugebauer von Reihen: ; 1000 | Sprache, Sprechen und Computer ; 10
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Frankfurt am Main Berlin Bern Bruxelles New York Oxford Wien Lang 2007
Hochschulschriftenvermerk: Zugl.: Dublin, Univ. College, Diss., 2005
Weitere Titel:
  • Constraint based acoustic modelling
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) NEU m4 2007:1 1.Ex.
Vormerken Zum Korb hinzufügen
16.
Constraints, language and computation ed. by C. J. Rupp ... von Reihen: Computation in cognitive science
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: London [u.a.] Academic Press 1994
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) RUP c 1994:1 1.Ex, ...
Vormerken Zum Korb hinzufügen
17.
Temporal-logisches Programmieren von Christoph Brzoska von
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: 1993
Hochschulschriftenvermerk: Karlsruhe, Univ., Diss., 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) BRZ ch 1993:1 1.Ex.
Vormerken Zum Korb hinzufügen
18.
Proceedings of the Second International Conference on the Practical Application of Constraint Technology 24th - 26th April 1996, Westminster Central Hall, London, UK PACT 96. Conference organisation: The Practical Application Company. Programme and tutorial chairman: Mark Wallace von
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Blackpool Practical Application Comp. 1996
Weitere Titel:
  • PACT 96
  • Practical application of constraint technology
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) PractACT 1996 2.
Vormerken Zum Korb hinzufügen
19.
Constraint-Programmierung Grundlagen und Anwendungen Thom Frühwirth; Slim Abdennadher von Reihen: Springer-Lehrbuch
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Berlin Heidelberg [u.a.] Springer 1997
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) FRÜ th 1997:1 1.Ex.
Vormerken Zum Korb hinzufügen
20.
Logic programming proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, [held in Manchester, UK from 15 - 19 June, 1998] ed. by Joxan Jaffar von
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cambridge, Mass. [u.a.] MIT Press 1998
Weitere Titel:
  • JICSLP ’98
  • JICSLP
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) ICLP/ILPS 1998 4 1.Ex.
Vormerken Zum Korb hinzufügen
Seiten

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha