Shortcuts
 
PageMenu- Hauptmenü-
Page content

Suchergebnisse

Die Titel, die in Fettdruck angezeigt werden, haben verfügbare Medien, Titel ohne Fettdruck haben derzeit keine verfügbaren Medien.
Suchergebnisse in Tabellenform anzeigen.

- -


- Stochastic automata: stability, nondeterminism, and prediction Doberkat, Ernst-Erich Stochastic automata: stability, nondeterminism, and prediction17 925/1 1 -
Titel: Stochastic automata: stability, nondeterminism, and prediction
Verfasser: Doberkat, Ernst-Erich
Jahr: 1981
Lit.abteilungen: Magazin.
Verfügbar in: Hauptbibliothek.
- Information extraction in the web era: natural language communication for knowledge acquisition and intelligent information agents ; [SCIE 2002, Frascati, Italy, July 2002] Information extraction in the web era: natural language communication for knowledge acquisition and intelligent information agents ; [SCIE 2002, Frascati, Italy, July 2002]SS 4800 F841 2 -
Titel: Information extraction in the web era: natural language communication for knowledge acquisition and intelligent information agents ; [SCIE 2002, Frascati, Italy, July 2002]
Verfasser:
Jahr: 2003
Lit.abteilungen: Freihand.
Verfügbar in: ZB Scheffelstraße.
- Generic programming: advanced lectures ; [lectures presented at a Summer School on Generic Programming held at the University of Oxford in August 2002] Generic programming: advanced lectures ; [lectures presented at a Summer School on Generic Programming held at the University of Oxford in August 2002]SS 4800 O98 3 -
Titel: Generic programming: advanced lectures ; [lectures presented at a Summer School on Generic Programming held at the University of Oxford in August 2002]
Verfasser:
Jahr: 2003
Lit.abteilungen: Freihand.
Verfügbar in: ZB Scheffelstraße.
- Ubiquitous computing and ambient intelligence: personalisation and user adapted services; 8th international conference, UCAmI 2014, Belfast, UK, December 2 - 5, 2014 ; proceedings Ubiquitous computing and ambient intelligence: personalisation and user adapted services; 8th international conference, UCAmI 2014, Belfast, UK, December 2 - 5, 2014 ; proceedingsSS 4800-8867 4 -
Titel: Ubiquitous computing and ambient intelligence: personalisation and user adapted services; 8th international conference, UCAmI 2014, Belfast, UK, December 2 - 5, 2014 ; proceedings
Verfasser:
Jahr: 2014
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
- Ambient assisted living and daily activities: 6th International Work-Conference, IWAAL 2014, Belfast, UK, December 2-5, 2014; proceedings Ambient assisted living and daily activities: 6th International Work-Conference, IWAAL 2014, Belfast, UK, December 2-5, 2014; proceedingsSS 4800-8868  5 -
Titel: Ambient assisted living and daily activities: 6th International Work-Conference, IWAAL 2014, Belfast, UK, December 2-5, 2014; proceedings
Verfasser:
Jahr: 2014
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
- MMIXware: a RISC computer for the third millennium Knuth, Donald Ervin MMIXware: a RISC computer for the third millenniumST 170 K74 6 -
Titel: MMIXware: a RISC computer for the third millennium
Verfasser: Knuth, Donald Ervin
Jahr: 1999
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
- Verification of object-oriented software: The KeY approach Verification of object-oriented software: The KeY approachST 231 B396 7 -
Titel: Verification of object-oriented software: The KeY approach
Verfasser:
Jahr: 2007
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
- Deductive and object oriented databases: proceedings, Phoenix, Arizona, USA, December 6 - 8, 1993 Deductive and object oriented databases: proceedings, Phoenix, Arizona, USA, December 6 - 8, 1993ST 270 C415 8 -
Titel: Deductive and object oriented databases: proceedings, Phoenix, Arizona, USA, December 6 - 8, 1993
Verfasser:
Jahr: 1993
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
- Trust, privacy, and security in digital business: second international conference, TrustBus 2005, Copenhagen, Denmark, August 22 - 26, 2005 ; proceedings Trust, privacy, and security in digital business: second international conference, TrustBus 2005, Copenhagen, Denmark, August 22 - 26, 2005 ; proceedingsST 277 K11 9 -
Titel: Trust, privacy, and security in digital business: second international conference, TrustBus 2005, Copenhagen, Denmark, August 22 - 26, 2005 ; proceedings
Verfasser:
Jahr: 2005
Lit.abteilungen: Freihand.
Verfügbar in: ZB Scheffelstraße.
- Entertainment computing - ICEC 2013: 12th international conference, ICEC 2013, São Paulo, Brazil, October 16 - 18, 2013 ; proceedings Entertainment computing - ICEC 2013: 12th international conference, ICEC 2013, São Paulo, Brazil, October 16 - 18, 2013 ; proceedingsST 278 A532 10 -
Titel: Entertainment computing - ICEC 2013: 12th international conference, ICEC 2013, São Paulo, Brazil, October 16 - 18, 2013 ; proceedings
Verfasser:
Jahr: 2013
Lit.abteilungen: Freihand.
Verfügbar in: ZB Scheffelstraße.


- -


Schnellsuche