Campusbibliothek

Ihre Suche erzielte 72 Treffer.

Sortieren
Alle auswählen Auswahl aufheben
Titel auswählen:
Ergebnisse
1.
AIFB-Jahresbericht ... Institut für Angewandte Informatik und Formale Beschreibungsverfahren von
Materialtyp: Fortlaufende Ressource Fortlaufende Ressource; Format: Druck ; Art der fortlaufenden Ressource: Periodika
Sprache: Deutsch Verlag: Karlsruhe AIFB 1984-2012
Weitere Titel:
  • Hauptsacht. 1987/88: Jahresberichte. - Hauptsacht. früher: Jahresbericht / Institut für Angewandte Informatik und Formale Beschreibungsverfahren
Verfügbarkeit: Keine Exemplare verfügbar.
Zum Korb hinzufügen
2.
Jahresbericht 1994 Reihen: ; 313 | Universität Karlsruhe Bericht / Institut für Angewandte Informatik und Formale Beschreibungsverfahren, Universität Karlsruhe ; 313 |
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: 1995
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) Karlsruhe AIFB 313.
Vormerken Zum Korb hinzufügen
3.
Jahresbericht 1993 Reihen: ; 295 | Universität Karlsruhe Bericht / Institut für Angewandte Informatik und Formale Beschreibungsverfahren, Universität Karlsruhe ; 295 |
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: 1994
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) Karlsruhe AIFB 295.
Vormerken Zum Korb hinzufügen
4.
Jahresbericht 1997 Reihen: ; 377 | Universität Karlsruhe Bericht / Institut für Angewandte Informatik und Formale Beschreibungsverfahren, Universität Karlsruhe ; 377 |
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: 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) Karlsruhe AIFB 377.
Vormerken Zum Korb hinzufügen
5.
Proving correctness of distributed algorithms a petri net approach von Jörg Desel; Ekkart Kindler von Reihen: Forschungsberichte / Universität Karlsruhe (TH), Institut für Angewandte Informatik und Formale Beschreibungsverfahren | ; 348 | Universität Karlsruhe Bericht / Institut für Angewandte Informatik und Formale Beschreibungsverfahren, Universität Karlsruhe ; 348 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Karlsruhe AIFB, Univ. 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) Karlsruhe AIFB 348.
Vormerken Zum Korb hinzufügen
6.
3. Workshop Algorithmen und Werkzeuge für Petrinetze Karlsruhe, 4. - 5. Oktober 1996 veranst. von der GI-Fachgruppe 0.0.1 Petrinetze und Verwandte Systemmodelle. Hrsg. von J. Desel ... von Reihen: Forschungsberichte / Universität Karlsruhe (TH), Institut für Angewandte Informatik und Formale Beschreibungsverfahren | ; 341 | Universität Karlsruhe Bericht / Institut für Angewandte Informatik und Formale Beschreibungsverfahren, Universität Karlsruhe ; 341 |
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Karlsruhe AIFB 1996
Weitere Titel:
  • Dritter Workshop Algorithmen und Werkzeuge für Petrinetze
  • Algorithmen und Werkzeuge für Petrinetze
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) Karlsruhe AIFB 341.
Vormerken Zum Korb hinzufügen
7.
A distributed genetic algorithm improving the generalization behavior of neural networks J. Branke, U. Kohlmorgen; H. Schmeck von Reihen: Forschungsberichte / Universität Karlsruhe (TH), Institut für Angewandte Informatik und Formale Beschreibungsverfahren | ; 311 | Universität Karlsruhe Bericht / Institut für Angewandte Informatik und Formale Beschreibungsverfahren, Universität Karlsruhe ; 311 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Karlsruhe AIFB, Univ. 1994
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) Karlsruhe AIFB 311.
Vormerken Zum Korb hinzufügen
8.
Sparse matrix multiplication on a reconfigurable mesh M. Middendorf; H. Schmeck; G. Turner von Reihen: Forschungsberichte / Universität Karlsruhe (TH), Institut für Angewandte Informatik und Formale Beschreibungsverfahren | ; 308 | Universität Karlsruhe Bericht / Institut für Angewandte Informatik und Formale Beschreibungsverfahren, Universität Karlsruhe ; 308 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Karlsruhe Univ., Inst. für Angew. Informatik u. Formale Beschreibungsverfahren 1994
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) Karlsruhe AIFB 308.
Vormerken Zum Korb hinzufügen
9.
The specification language KARL and its declarative semantics von Dieter Fensel; Jürgen Angele; Rudi Studer von Reihen: Forschungsberichte / Universität Karlsruhe (TH), Institut für Angewandte Informatik und Formale Beschreibungsverfahren | ; 307 | Universität Karlsruhe Bericht / Institut für Angewandte Informatik und Formale Beschreibungsverfahren, Universität Karlsruhe ; 307 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Karlsruhe Univ., Inst. für Angew. Informatik u. Formale Beschreibungsverfahren 1994
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) Karlsruhe AIFB 307.
Vormerken Zum Korb hinzufügen
10.
A comparison of two approaches to model based knowledge acquisition von Dieter Fensel; Karsten Poeck von Reihen: Forschungsberichte / Universität Karlsruhe (TH), Institut für Angewandte Informatik und Formale Beschreibungsverfahren | ; 306 | Universität Karlsruhe Bericht / Institut für Angewandte Informatik und Formale Beschreibungsverfahren, Universität Karlsruhe ; 306 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Karlsruhe Univ., Inst. für Angew. Informatik u. Formale Beschreibungsverfahren 1994
Weitere Titel:
  • model-based
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) Karlsruhe AIFB 306.
Vormerken Zum Korb hinzufügen
11.
Evolutionäre Vorgehensweise zur Einführung der rechnergestützten Teamarbeit in Organisationen von Andreas Oberweis; Thomas Wendel von Reihen: Forschungsberichte / Universität Karlsruhe (TH), Institut für Angewandte Informatik und Formale Beschreibungsverfahren | ; 305 | Universität Karlsruhe Bericht / Institut für Angewandte Informatik und Formale Beschreibungsverfahren, Universität Karlsruhe ; 305 |
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Karlsruhe Univ., Inst. für Angew. Informatik u. Formale Beschreibungsverfahren 1994
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) Karlsruhe AIFB 305.
Vormerken Zum Korb hinzufügen
12.
Using genetic algorithms for drawing undirected graphs von Jürgen Branke; Frank Bucher; Hartmut Schmeck von Reihen: Forschungsberichte / Universität Karlsruhe (TH), Institut für Angewandte Informatik und Formale Beschreibungsverfahren | ; 347 | Universität Karlsruhe Bericht / Institut für Angewandte Informatik und Formale Beschreibungsverfahren, Universität Karlsruhe ; 347 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Karlsruhe AIFB, Univ. 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) Karlsruhe AIFB 347.
Vormerken Zum Korb hinzufügen
13.
Ontologies and the configuration of problem solving methods von Rudi Studer ... von Reihen: Forschungsberichte / Universität Karlsruhe (TH), Institut für Angewandte Informatik und Formale Beschreibungsverfahren | ; 346 | Universität Karlsruhe Bericht / Institut für Angewandte Informatik und Formale Beschreibungsverfahren, Universität Karlsruhe ; 346 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Karlsruhe 1996
Weitere Titel:
  • problem-solving
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) Karlsruhe AIFB 346.
Vormerken Zum Korb hinzufügen
14.
Modeling problem solving methods in new KARL von Jürgen Angele ... von Reihen: Forschungsberichte / Universität Karlsruhe (TH), Institut für Angewandte Informatik und Formale Beschreibungsverfahren | ; 345 | Universität Karlsruhe Bericht / Institut für Angewandte Informatik und Formale Beschreibungsverfahren, Universität Karlsruhe ; 345 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Karlsruhe 1996
Weitere Titel:
  • problem-solving
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) Karlsruhe AIFB 345.
Vormerken Zum Korb hinzufügen
15.
A unifying view on business process modelling and knowledge engineering von Stefan Decker; Michael Erdmann; Rudi Studer von Reihen: Forschungsberichte / Universität Karlsruhe (TH), Institut für Angewandte Informatik und Formale Beschreibungsverfahren | ; 344 | Universität Karlsruhe Bericht / Institut für Angewandte Informatik und Formale Beschreibungsverfahren, Universität Karlsruhe ; 344 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Karlsruhe AIFB, Univ. 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) Karlsruhe AIFB 344.
Vormerken Zum Korb hinzufügen
16.
A bidirectional ILP algorithm von Markus Wiese von Reihen: Forschungsberichte / Universität Karlsruhe (TH), Institut für Angewandte Informatik und Formale Beschreibungsverfahren | ; 343 | Universität Karlsruhe Bericht / Institut für Angewandte Informatik und Formale Beschreibungsverfahren, Universität Karlsruhe ; 343 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Karlsruhe AIFB, Univ. 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) Karlsruhe AIFB 343.
Vormerken Zum Korb hinzufügen
17.
Planning in knowledge discovery in databases, performing task oriented user guidance von Robert Engels von Reihen: Forschungsberichte / Universität Karlsruhe (TH), Institut für Angewandte Informatik und Formale Beschreibungsverfahren | ; 342 | Universität Karlsruhe Bericht / Institut für Angewandte Informatik und Formale Beschreibungsverfahren, Universität Karlsruhe ; 342 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Karlsruhe AIFB 1996
Weitere Titel:
  • task-oriented user-guidance
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) Karlsruhe AIFB 342.
Vormerken Zum Korb hinzufügen
18.
Experiences with fine grained parallel genetic algorithms von Udo Kohlmorgen; Hartmut Schmeck von Reihen: Forschungsberichte / Universität Karlsruhe (TH), Institut für Angewandte Informatik und Formale Beschreibungsverfahren | ; 340 | Universität Karlsruhe Bericht / Institut für Angewandte Informatik und Formale Beschreibungsverfahren, Universität Karlsruhe ; 340 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Karlsruhe AIFB, Univ. 1996
Weitere Titel:
  • fine-grained
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) Karlsruhe AIFB 340.
Vormerken Zum Korb hinzufügen
19.
Shortest common superstrings and scheduling with coordinated starting times von Martin Middendorf von Reihen: Forschungsberichte / Universität Karlsruhe (TH), Institut für Angewandte Informatik und Formale Beschreibungsverfahren | ; 339 | Universität Karlsruhe Bericht / Institut für Angewandte Informatik und Formale Beschreibungsverfahren, Universität Karlsruhe ; 339 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Karlsruhe AIFB, Univ. 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) Karlsruhe AIFB 339.
Vormerken Zum Korb hinzufügen
20.
Vicinity respecting homomorphisms for abstracting system requirements von Jörg Desel; Agathe Merceron von Reihen: Forschungsberichte / Universität Karlsruhe (TH), Institut für Angewandte Informatik und Formale Beschreibungsverfahren | ; 337 | Universität Karlsruhe Bericht / Institut für Angewandte Informatik und Formale Beschreibungsverfahren, Universität Karlsruhe ; 337 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Karlsruhe 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) Karlsruhe AIFB 337.
Vormerken Zum Korb hinzufügen
Seiten

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha