Skip to main content
Edoweb
Sie sind hier
Startseite
Volltexte
Filter (Auswahl)
Universität Koblenz-Landau. Institut für Informatik
[x]
Informatik, Datenverarbeitung
[x]
Sacherschließung
Informatik
(24)
Information und Dokumentation
(21)
Pflichtexemplar Region Koblenz
(12)
Belegexemplare Rheinland-Pfalz
(1)
Objektart
Monografie
(24)
Publikationstyp
Buch
(24)
Medium
Online-Ressource
(20)
Datenträger
(20)
Print
(4)
Erscheinungsjahr
Person/Institution
Furbach, Ulrich
(7)
Maron, Markus
(6)
Read, Kevin
(3)
Lautenbach, Kurt
(3)
Wernhard, Christoph
(2)
Susewind, Kerstin
(2)
Staab, Steffen
(2)
Schon, Claudia
(2)
Scherp, Ansgar
(2)
24 Treffer
Seiten
1
2
3
nächste Seite ›
letzte Seite »
Titel
ID
E-Jahr
Zugriff
Objektart
Operations
Hybrid multiagent systems with timed synchronization-specification and model checking
HT015954359
Monografie
Avoidance of routing loops
Bohdanowicz, Frank
HT015836941
Monografie
Tableaux between proving, projection and compilation
HT015230644
Monografie
Hyper Tableaux with equality
Baumgartner, Peter
|
Furbach, Ulrich
|
Pelzer, Björn
|
Universität Koblenz-Landau. Institut für Informatik
HT015288509
Monografie
Semantically guided evolution of SHI ABoxes
Furbach, Ulrich
|
Schon, Claudia
|
Universität Koblenz-Landau. Institut für Informatik
HT018711179
Monografie
Does a Semantic Desktop facilitate your daily tasks?
Franz, Thomas
|
Scherp, Ansgar
HT015709621
Monografie
Konzept einer Public Key Infrastruktur in iCity
HT016079504
Monografie
Linkless normal form for ALC concepts
Schon, Claudia
|
Universität Koblenz-Landau. Institut für Informatik
HT016592726
Monografie
Tests and proofs
HT015500379
Monografie
CAMPUS NEWS – an Information Network for Pervasive Universities
HT015232382
Monografie
Seiten
1
2
3
nächste Seite ›
letzte Seite »