Campusbibliothek

Ihre Suche erzielte 5 Treffer.

Sortieren
Alle auswählen Auswahl aufheben
Titel auswählen:
Ergebnisse
1.
Summaries for while programs with recursion Andreas Podelski; Ina Schaefer; Silke Wagner von Reihen: ; 2004,2,7 | Max-Planck-Institut für Informatik Research report / MPII, Max-Planck-Institut Informatik ; 2004,2,7 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken MPI Informatik, Bibliothek & Dokumentation 2005
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) MPI-I-2004-2-007.
Vormerken Zum Korb hinzufügen
2.
Secure mobile multiagent systems in virtual marketplaces a case study on comparison shopping Ina Schaefer von Reihen: ; 2002,2 | Deutsches Forschungszentrum für Künstliche Intelligenz Research report / German Research Center for Artificial Intelligence (DFKI) GmbH ; 2002,2 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Kaiserslautern Saarbrücken DFKI 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) Saarbrücken DFKI RR-02-02.
Vormerken Zum Korb hinzufügen
3.
Modellierung 2018 21.02.2018 -23.03.2018, Braunschweig, Deutschland Ina Schaefer, Dimitris Karagiannis, Andreas Vogelang, Daniel Méndez, Christoph Seidl (Hrsg.) ; Gesellschaft für Informatik e.V. von Reihen: ; 280 | Gesellschaft für Informatik GI-Edition / Proceedings ; 280 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch, Deutsch Verlag: Bonn Gesellschaft für Informatik e.V. [2018]Hersteller: Bonn Köllen Druck+Verlag GmbH 2018Copyright-Datum: © 2018
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) LNI P-280.
Vormerken Zum Korb hinzufügen
4.
Software engineering and formal methods 16th International Conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018 : proceedings Einar Broch Johnsen, Ina Schaefer (eds.) von Reihen: ; 1088600 | Lecture notes in computer science ; 10886
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cham Springer [2018]
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 10886.
Vormerken Zum Korb hinzufügen
5.
Seiten

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha