Search: MATH/INF/NAT

Results 101 - 125 of 572

Results

Authors Year Title Type Fulltext
Weede, André 1997 Möglichkeiten der Software-Wiederverwendung durch komponentenbasierte Anwendungsentwicklung in einem Versicherungsunternehmen Dipl pdf
Weise, Thomas 2003 Erweiterung eines Dokumentenservers um multimediale und zusammengesetzte Dokumente Dipl pdf
Wende, Andreas 2005 Klassifikation und Bewertung von Frameworks für die Entwicklung von Web-Anwendungen Dipl pdf
Witschel, Hans Friedrich 2004 Text, Wörter, Morpheme - Möglichkeiten einer automatischen Terminologie-Extraktion Dipl pdf
Weber, S. 1998 Investigations in Belnap's Logic of Inconsistent and Unknown Information Diss pdf
Welk, Martin 1999 Kovariante Differentialrechnung auf Quantensphären ungerader Dimension. Ein Beitrag zur nichtkommutativen Geometrie homogener Qu Diss pdf
Wolters, Carsten H. 2003 Influence of Tissue Conductivity Inhomogeneity and Anisotropy on EEG/MEG based Source Localization in the Human Brain Diss pdf
Wolter, Frank 1998 The algebraic face of minimality Paper pdf
Wolter, Frank 1998 On Logics with Coimplication Paper pdf
Wolter, Frank 1997 Fusions of Modal Logics revisited Paper pdf
Wolter, Frank 1997 All finitely axiomatizable subframe logics containing the provability logic CSM are decidable Paper pdf
Wolter, Frank
Zakharyaschev, Michael...
1998 On the decidability of description logics with modal operators Paper pdf
Wolter, Frank
Zakharyaschev, Michael...
1997 On the relation between intuitionistic and classical modal logics Paper pdf
Wolter, Frank 1998 Fragments of Common knowledge Logics Report pdf
Wolter, Frank 1998 The product of converse PDL and polymodal K Report pdf
Wolter, Frank
Zakharyaschev, Michael...
1999 Modal description logics: modalizing roles Report pdf
Wolter, Frank
Zakharyaschev, Michael...
1998 Dynamic description logics Report pdf
Wolter, Frank
Zakharyaschev, Michael...
1998 Temporalizing description logics Report pdf
Wolter, Frank
Zakharyaschev, Michael...
1998 Intuitionistic Modal Logics Report pdf
Wolter, Frank
Zakharyaschev, Michael...
1998 Multi-dimensional description logics Report pdf
Wolter, Frank
Zakharyaschev, Michael...
1998 Intuitionistic Modal Logics as fragments of Classical Bimodal Logics Report pdf
Trautmann, Sven 1999 Konzeption und Entwicklung eines plattformunabhängigen Tools zum netzwerkweiten Daten-Management und anwendungsspezifische Erpro Dipl pdf
Tröger, Gerd 2001 Porting the Linux Kernel to the TriCore Architecture Dipl
Türpe, Sven 1998 Entwicklung eines Systems zur dezentralen Online-Ticketerstellung und -kontrolle Dipl pdf
Voigt, Uwe 2000 Entwurf, Implementierung und Bewertung eines Dienstes für die verteilte Bearbeitung von Dokumenten unter Verwendung von CORBA un Dipl pdf
Wagner, Christoph 2001 Entwurf und Implementierung einer Java-basierten Middleware zur Abstraktion von Backendsystemen Dipl pdf
Wagner, Ralf 1995 Simulative Bewertung von zielorientierten Lastkontrollverfahren Dipl pdf
Walter, Michael 2002 Beschreibung von Verfahren zur Anbindung von E-Commerce-Anwendungen an betriebswirtschaftliche Standardsoftware und Evaluation d Dipl pdf
Wagner, Gerd 1997 Conceptual Foundations of Artificial Agents Habil pdf
Toelke, Jürgen
Saupe, Dietmar
2000 Speicher- und Zeitbedarf von Methoden der Isoflächen-Extraktion. Die Conditioned-Tree-Methode zur speicherabhängig optimalen Bes Paper pdf
Villmann, Thomas
Haupt, Reiner
...
1999 Parallel Evolutionary Algorithms with SOM-like Migration and their Application to Real World Data Sets Paper pdf
Wagner, Gerd 1997 Artificial Agents and Logic Programming Paper pdf
Wagner, Gerd 1997 A Logical Reconstruction of Fuzzy Inference in Databases and Logic Programs Paper pdf
Wagner, Gerd 1997 Multi-Level Security in Multiagent Systems Paper pdf
Wagner, Gerd 1996 Belnap's Epistemic States and Negation-as-Failure Paper pdf
Wagner, Gerd 1996 From Partial to Possibilistic Logic Report pdf
Wagner, Gerd 1996 VIVA Multi-Agent Logic Programming Report pdf
Wagner, Gerd 1996 Conceptual Foundations of Artificial Agents (Zusammenfassung der wissenschaftlichen Ergebnisse zur Habilitationsschrift) Report pdf
Wagner, Gerd 1996 Conceptual Foundations of Artificial Agents (overview of the Habilitation thesis) Report pdf
Wagner, Gerd 1996 Vivid Agents - How they Deliberate, How They React, How They Are Verified Report pdf
Rektor der Universität Leipzig 1998 Habilitationsordnung der Fakultät für Mathematik und Informatik Universitary pdf
Sosnicki, Stefan 2007 Unterstützung des E-Procurement Prozesses im Bauwesen. Standards und Elektronische Marktplätze Dipl pdf, pdf
Stach, Michael 2003 Dokumentenmanagement in kooperativen Arbeitsumgebungen Dipl pdf
Staehler, André 2001 Der Asynchrone Transfer Mode im LAN. Performanceuntersuchungen und Vergleich mit Ethernet, Fast Ethernet und Token Ring Dipl pdf
Stallbaum,Bert 2002 Sicherheitsmanagement für Dateisysteme in Windows NT-Netzwerken per Tivoli TME 10 - Entwicklung eines Modellierungstools für die Dipl pdf
Stamer, Heiko 2003 Dining Cryptographers Networks - Praktikable Werkzeuge zur Wahrung der Anonymität? Dipl pdf
Stäubert, Sebastian 2006 Referenzmodell für die Kommunikation eines Universitätsklinikums mit dem niedergelassenen Bereich Dipl pdf
Thanh Hai, Nguyen 1999 Erkenntnistheoretische und begriffliche Grundlagen der objektorientierten Datenmodellierung Dipl pdf
Stöhr, Thomas 2001 Analytische Bestimmung einer Datenallokation für Parallele Data Warehouses Paper pdf
Stöhr, Thomas 1999 Indexallokation in Parallelen Datenbanksystemen Paper pdf