phdthesis

# mdate key author title year pages publisher series volume school isbn ee note number month publtype
1 2020-01-31 series/faia/2005-148 Kristian Kersting An Inductive Logic Programming Approach to Statistical Relational Learning 2005 1-228 IOS Press Frontiers in Artificial Intelligence and Applications 148 University of Freiburg, Germany 978-1-58603-674-4 http://www.booksonline.iospress.nl/Content/View.aspx?piid=96,http://d-nb.info/983957975
2 2020-10-27 series/ssw/Vougiouklis20 Pavlos Vougiouklis Neural Generation of Textual Summaries from Knowledge Base Triples 2020 1-152 IOS Press Studies on the Semantic Web 45 University of Southampton, UK 978-1-64368-066-8,978-1-64368-067-5 https://doi.org/10.3233/SSW200006-mono,http://d-nb.info/1210734702
3 2020-02-12 series/lnbip/Weber09 Ingo M. Weber Semantic Methods for Execution-level Business Process Modeling - Modeling Support Through Process Verification and Service Composition 2009 3-231 Springer Lecture Notes in Business Information Processing 40 Karlsruhe Institute of Technology, Germany 978-3-642-05084-8,978-3-642-05085-5 https://doi.org/10.1007/978-3-642-05085-5,https://nbn-resolving.org/urn:nbn:de:1111-20091214234,http://d-nb.info/998030961,http://d-nb.info/999067885,https://www.wikidata.org/entity/Q58196259
4 2017-01-09 books/daglib/0068994 Ulrich Junker Relationships between assumptions. 1992 I-VI, 1-187 Kaiserslautern University of Technology, Germany http://d-nb.info/930724283
5 2016-11-08 books/daglib/0069997 Johannes Reichardt Invarianz der Parsingeigenschaft unter Grammatikmorphismen. 1985 1-120 Darmstadt University of Technology, Germany http://d-nb.info/860953998
6 2020-02-12 books/daglib/0073843 Joachim Steinbach Termination of rewriting - extensions, comparison and automatic generation of simplification orderings. 1994 I-VIII, 1-288 Kaiserslautern University of Technology, Germany http://kbibmp3.ub.uni-kl.de/Preprint_Informatik/PS/dissertation_1.ps,https://nbn-resolving.org/urn:nbn:de:bsz:386-kluedo-712,http://d-nb.info/941908453,http://d-nb.info/956319327
7 2011-03-23 books/daglib/0012771 Robert Cori Un code pour les graphes planaires et ses applications. 1973 Univ. Paris VII
8 2020-01-30 books/daglib/0098648 Christiane Stutz Anwendungsspezifische Fuzzy-Clustermethoden. 1999 I-XII, 1-148 Infix DISKI 210 Technical University Munich, Germany 978-3-89601-210-4 http://d-nb.info/957279612
9 2016-10-05 books/daglib/0091856 Christian Scheideler Universal routing strategies. 1996 I-X, 1-202 University of Paderborn, Germany http://d-nb.info/953115151
10 2011-03-23 books/daglib/0069992 Klaus Gims Messung empirischer Verteilungen der Zwischenankunftszeit bei Seitenwechselvorgängen. 1977 1-56 TH Darmstadt
11 2011-03-23 books/daglib/0018044 Stefan Kral FFT specific compilation in IBM blue gene. 2006 1-166 Technische Universität Wien
12 2019-07-10 books/daglib/0097143 Jakob Rehof The complexity of simple subtyping systems. 1998 Technical report / University of Copenhagen / Datalogisk institut University of Copenhagen, Denmark
13 2017-01-09 books/daglib/0008628 Ralf Hinze Projection-based strictness analysis - theoretical and practical aspects. 1995 I-X, 1-227 University of Bonn, Germany http://d-nb.info/946714290
14 2020-03-04 books/daglib/0080400 Thomas Hoppe 0003 Incremental partial deduction. 1995 I-XI, 1-190 Infix DISKI 97 Technical University of Dortmund, Germany 978-3-89601-097-1 http://d-nb.info/945155980
15 2016-10-04 books/daglib/0087091 Daniel Curatolo Wissensbasierte Methoden zur effizienten Simulation fluidtechnischer Systeme. 1996 1-140 University of Paderborn, Germany http://d-nb.info/950072656
16 2011-03-23 books/daglib/0020508 Esther Kaufmann Talking to the semantic web - natural language query interfaces for casual end-users. 2007 Universität Zurich
17 2017-01-11 books/daglib/0084473 Detlef Plump Evaluation of functional expressions by hypergraph rewriting. 1993 I-VI, 1-119 University of Bremen, Germany http://d-nb.info/940423774
18 2019-07-10 books/daglib/0084322 David W. Opitz An anytime approach to connectionist theory refinement - refining the topologies of knowledge-based neural networks. 1995 I-IX, 1-137 Technical Report / University of Wisconsin, Madison / Computer Sciences Department 1281 University of Wisconsin-Madison, WI, USA
19 2016-12-21 books/daglib/0008591 Christoph Brzoska Temporal-logisches Programmieren. 1993 I-VI, 1-172 Karlsruhe Institute of Technology, Germany http://d-nb.info/943154901
20 2016-10-13 books/daglib/0069932 Hans-Detlef Schulz Zellularautomaten zur Bearbeitung der Lokal-Global-Problematik. 1981 1-130 Darmstadt University of Technology, Germany http://d-nb.info/830115196
21 2020-01-30 books/daglib/0092879 Stefan Schrödl Negation as failure in explanation-based generalization. 1998 I-XI, 1-173 Infix DISKI 181 University of Freiburg, Freiburg im Breisgau, Germany 978-3-89601-181-7 http://d-nb.info/95328350X
22 2017-03-14 books/daglib/0077539 Bernhard Josef Kleinjohann Synthese von zeitinvarianten Hardware-Modulen. 1994 I-V, 1-256 University of Paderborn, Germany http://d-nb.info/943852064
23 2019-07-10 books/daglib/0082671 Jan Depenau Automated design of neural network architecture for classification. 1995 DAIMI PB 500 Aarhus University, Denmark
24 2011-03-23 books/daglib/0091611 John Maraist Comparing reduction strategies in resource-conscious lambda calculi. 1997 I-XII, 1-210 Universität Karlsruhe
25 2019-07-09 books/daglib/0071592 Michael O'Docherty Multimedia information system with automatic content retrieval. 1993 Technical report series 93-2-2 University of Manchester, UK
26 2016-12-15 books/daglib/0081797 Harald Bayer Über die Anwendung selbstorganisierender Karten. 1995 1-269 University of Stuttgart, Germany http://d-nb.info/946510806
27 2020-02-12 books/daglib/0027440 Jochen Schlosser Structure-Based Virtual Screening Using Index Technology. 2010 I-VI, 1-170 University of Hamburg https://nbn-resolving.org/urn:nbn:de:101:1-201601032930,http://d-nb.info/1080764321
28 2019-06-18 books/daglib/0001594 Arne John Glenstrup Terminator II - stopping partial evaluatin of fully recursive programs. 1999 1-258 Technical report / University of Copenhagen / Datalogisk institut 99/8 University of Copenhagen, Denmark
29 2020-02-12 books/daglib/0033455 Sascha Klement The support feature machine - an odyssey in high-dimensional spaces. 2013 I-XI, 1-159 Universität Lübeck http://www.students.informatik.uni-luebeck.de/zhb/ediss1330.pdf,https://nbn-resolving.org/urn:nbn:de:gbv:841-20131202300,http://d-nb.info/1046751751
30 2019-07-10 books/daglib/0097073 Chhandomay Mandal A dynamic framework for subdivision surfaces. 1998 Technical reports / University of Florida / Department of Computer and Information Science and Engineering / CISE 98-022 University of Florida, Gainesville, FL, USA
31 2019-07-10 books/daglib/0091666 Christian Mossin Flow analysis of typed higher-order programs. 1997 Technical report / University of Copenhagen / Datalogisk institut 97/1 University of Copenhagen, Denmark
32 2016-10-18 books/daglib/0008855 Karl Josef Jacquemain Effiziente Datenstrukturen und Algorithmen für ausgewählte mehrdimensionale Suchprobleme. 1982 1-156 RWTH Aachen University, Germany http://d-nb.info/830945636
33 2011-03-23 books/daglib/0084326 Petronella J. van Haaften Distributed optimisation algorithms for network problems. 1994 I-III, 1-241 University Utrecht
34 2011-03-23 books/daglib/0020550 Alexander Schlaefer Computer assisted planning for robotic radiosurgery. 2007 I-X, 1-161 Universität Lübeck
35 2011-11-09 books/daglib/0025493 Silvania Avelar Schematic Maps on Demand - Design, Modeling and Visualization. 2002 I-X, 1-130 ETH Zürich http://e-collection.ethbib.ethz.ch/view/eth:25916
36 2011-03-23 books/daglib/0012759 Michèle Soria Langages quasideterministes. 1978 1-89 Univ. Paris VII
37 2017-01-06 books/daglib/0072847 Thomas Schreiber Analyse und Approximation von unstrukturierten Daten und Freiformflächen. 1994 1-117 Kaiserslautern University of Technology, Germany http://d-nb.info/941050033
38 2020-01-30 books/daglib/0097894 Stefan K. T. Kriebel A combined parametric and nonparametric approach to time series analysis - motivated by coastal upwelling prediction. 1999 I-XII, 1-121 Infix DISKI 222 Technical University Munich, Germany 978-3-89601-222-7 http://d-nb.info/956678459
39 2011-03-23 books/daglib/0010717 Boris Hemkemeier Algorithmische Konstruktionen von Gittern. 2003 I-III, 1-59 Universität Dortmund
40 2011-03-23 books/daglib/0012756 Jacques Sakarovitch Monoides syntactiques et langages algebriques. 1976 I-XV, 1-165 Univ. Paris VII
41 2020-01-30 books/daglib/0007302 Christoph Peylo Wissen und Wissensvermittlung im Kontext von internetbasierten intelligenten Lehr- und Lernumgebungen. 2002 I-XVI, 1-233 Infix Akademische Verlagsgesellschaft DISKI 257 University of Osnabrück, Germany 978-3-89838-257-1 http://d-nb.info/965303632
42 2017-03-23 books/daglib/0071527 Ding-Zhu Du Generalized complexity cores and levelability of intractable sets. 1985 I-X, 1-120 University of California, Santa Barbara, CA, USA
43 2017-01-06 books/daglib/0082689 Emil Sekerinski Verfeinerung in der objektorientierten Programmkonstruktion. 1994 1-149 Karlsruhe Institute of Technology, Germany http://d-nb.info/946128065
44 2016-12-01 books/daglib/0070087 Christina Liebelt Unterstützung des Entwurfs konsistenzerhaltender Datenbankanwendungsprogramme. 1991 1-184 University of Stuttgart, Germany http://d-nb.info/920346626
45 2011-03-23 books/daglib/0070050 Michael Kunze Lineare Parallelrechner. 1982 1-223 TH Darmstadt
46 2016-11-15 books/daglib/0070066 Bernd Schwinn RAPiD - ein Datenflußmodell zur Realisierung von UND-Parallelität und intelligentem Backtracking in Hornklausel-Programmen. 1988 I-IV, 1-191 University of Stuttgart, Germany http://d-nb.info/890248664
47 2011-03-23 books/daglib/0084821 Montserrat Hermo Huguet Nonuniform complexity classes with sub-linear advice functions. 1996 1-156 Universität Barcelona
48 2011-03-23 books/daglib/0074893 Koen Langendoen Graph reduction on shared-memory multiprocessors. 1993 I-VII, 1-160 University Amsterdam
49 2020-01-30 books/daglib/0093536 Brigitte Wirtz Segmentorientierte Analyse und nichtlineare Auswertung für die dynamische Unterschriftsverifikation. 1998 1-102 Infix DISKI 182 Technical University Munich, Germany 978-3-89601-182-4 http://d-nb.info/95355144X,http://d-nb.info/953868656
50 2014-11-05 books/daglib/0034140 Christian Scheffer Approximation algorithms for geometrical distance problems that are not solvable exactly. 2014 I-X, 1-149 Universität Münster
51 2016-11-08 books/daglib/0070161 Detlev Ruland Modifications and acyclic decompositions of relational database schemes. 1985 1-133 Julius Maximilians University Würzburg, Germany http://d-nb.info/850967643
52 2020-02-12 books/daglib/0029119 Torsten Stüber Multioperator Weighted Monadic Datalog. 2011 I-VI, 1-212 Universität Dresden https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa-68116,http://d-nb.info/1020389486,http://d-nb.info/1067188630
53 2019-06-18 books/daglib/0002644 Thomas Dierkes Rekonstruktionsverfahren zur optischen Tomographie. 2000 1-91 Preprints Angewandte Mathematik und Informatik / Universität Münster / Angewandte Mathematik und Informatik 16/00 University of Münster, Germany
54 2016-11-28 books/daglib/0069950 Hinrich Brüning Dynamische objektorientierte Interaktion und ihre Implementierung im Rahmen eines Schnittstellenverwaltungssystems. 1990 1-108 Darmstadt University of Technology, Germany http://d-nb.info/910827796
55 2019-03-13 books/daglib/0086509 Thomas Hübner 0002 Exzeptionelle Vektorbündel und Reflektionen an Kippgarben über projektiven gewichteten Kurven. 1996 1-100 Universität Paderborn
56 2019-03-26 books/daglib/0091922 Thomas Ernst 0004 Das Traveling Salesman Problem unter disjunktiven Zusatzrestriktionen. 1997 1-133 Universität Kaiserslautern http://d-nb.info/952440709
57 2017-01-16 books/daglib/0098639 Gerhard Pews Flexible Unterstützung für Entwurfsprozesse im Kontext von Verwaltungsaufgaben. 1999 I-IV, 1-158 Kaiserslautern University of Technology, Germany http://d-nb.info/957507224
58 2011-03-23 books/daglib/0022848 Jesper Larsson Träff Distributed and parallel graph algorithms - models and experiments. 1995 1-263 University Kopenhagen
59 2020-01-30 books/daglib/0080395 Dieter Landes Die Entwurfsphase in MIKE - Methode und Beschreibungssprache. 1995 1-304 Infix DISKI 84 Karlsruhe Institute of Technology, Germany 978-3-929037-84-5 http://d-nb.info/945157665
60 2017-01-09 books/daglib/0070130 Manfred Kerber On the representation of mathematical concepts and their translation into first-order logic. 1992 1-131 Kaiserslautern University of Technology, Germany http://d-nb.info/920724094
61 2017-01-09 books/daglib/0073950 Wolfgang Glunz Hardware-Entwurf auf abstrakten Ebenen unter Verwendung von Methoden aus dem Software-Entwurf. 1994 I-VII, 1-156 University of Paderborn, Germany http://d-nb.info/942334442
62 2011-03-24 books/daglib/0070053 Markus H. Gross Sichtbarkeit von Freileitungen - erster Einsatz der graphischen Datenverarbeitung und Bildanalyse. 1989 I-V, 1-180 Universität Saarbrücken
63 2020-01-30 books/daglib/0085115 Norman Hendrich Mustererkennung mit neuronalen Assoziativspeichernetzen. 1996 I-XV, 1-166 Infix DISKI 137 University of Hamburg, Germany 978-3-89601-137-4 http://d-nb.info/948838051
64 2020-01-30 books/daglib/0002956 Jens-Steffen Gutmann Robuste Navigation autonomer mobiler Systeme. 2000 1-191 Infix Akademische Verlagsgesellschaft DISKI 241 University of Freiburg, Freiburg im Breisgau, Germany 978-3-89838-241-0 http://d-nb.info/960303715
65 2016-11-18 books/daglib/0070124 Andrea Wodtko On the automatic generation of test patterns from mixed-level hardware descriptions. 1989 1-256 Universität Kaiserslautern http://d-nb.info/891583874
66 2020-01-30 books/daglib/0010382 Holger Wache Semantische Mediation für heterogene Informationsquellen. 2003 I-XVIII, 1-308 Infix Akademische Verlagsgesellschaft DISKI 261 University of Bremen, Germany 978-3-89838-261-8 http://d-nb.info/96790529X
67 2012-06-01 books/daglib/0029113 Nora C. Toussaint New approaches to in silico design of epitope-based vaccines. 2011 I-XII, 1-126 Universität Tübingen
68 2020-01-30 books/daglib/0001379 Karin Sobottka Analysis of low-resolution range image sequences. 2000 1-239 Infix DISKI 226 University of Bern, Switzerland 978-3-89838-226-7 http://d-nb.info/958746710
69 2011-03-24 books/daglib/0093525 Michiel H. M. Smid Dynamic data structures on multiple storage media. 1989 1-197 University Amsterdam
70 2020-01-30 books/daglib/0075541 Markus A. Thies Planbasierte Hilfeverfahren für direkt-manipulative Systeme - Erkennung, Vervollständigung und Visualisierung von Interaktionsplänen. 1994 1-239 Infix DISKI 67 University of Stuttgart, Germany 978-3-929037-67-8 http://d-nb.info/941212033
71 2019-07-09 books/daglib/0072893 Per Österling Symbolic modelling of the dynamic environments of autonomous agents. 1993 I-VI, 1-105 Linköping studies in science and technology thesis 386 Linköping University, Sweden
72 2016-11-03 books/daglib/0070163 Thomas Huckle Analysis dynamischer Datenstrukturen mittels Kettenbrüchen. 1985 1-82 Julius Maximilians University Würzburg, Germany http://d-nb.info/850967597
73 2016-07-12 books/daglib/0070090 Serge Miguet Programmation dynamique et traitement d'images sur machines parallèles à mémoire distribuée. (Dynamic programming and image processing on distributed memory computers). 1990 1-160 Grenoble Institute of Technology, France https://tel.archives-ouvertes.fr/tel-00338396
74 2017-01-06 books/daglib/0076772 Konstadinos Tzeras Interaktive wissensbasierte Indexierung. 1994 I-IV, 1-147 Darmstadt University of Technology, Germany http://d-nb.info/943539102
75 2020-02-12 books/daglib/0024686 Nico Pranke Skalierbares und flexibles Live-Video Streaming mit der Media Internet Streaming Toolbox. 2009 Freiberg University of Mining and Technology, Saxony, Germany 978-3-8325-2732-7 https://nbn-resolving.org/urn:nbn:de:bsz:105-qucosa-26652,http://d-nb.info/99900378X,http://d-nb.info/1008559911,http://d-nb.info/100949757X
76 2020-01-30 books/daglib/0089701 Joachim Denzler Aktives Sehen zur Echtzeitobjektverfolgung. 1997 I-XVI, 1-231 Infix DISKI 163 University of Erlangen-Nuremberg 978-3-89601-163-3 http://d-nb.info/950968455
77 2020-01-30 books/daglib/0083713 Maria-Dolores Soriano-Lopez Vergleichende Bewertung konnektionistischer Modelle mit klassischen statistischen Klassifikationsverfahren. 1996 1-245 Infix DISKI 121 RWTH Aachen University, Germany 978-3-89601-121-3 http://d-nb.info/947381228
78 2021-03-01 books/daglib/0071867 Jörg Walter 0002 Parallele Abarbeitung logischer Programme auf einem Multi-Transputer-System. 1993 1-221 University of Stuttgart, Germany http://d-nb.info/931748550
79 2011-03-23 books/daglib/0080374 Marcos Veloso Peixoto Automates a contraintes arithmetiques et procedures d'evaluation ascendante de programmes logiques. 1994 1-225 Université Paris
80 2011-03-23 books/daglib/0081208 Joachim Glück Mit a-Si:H-Dünnschichttransistoren angesteuerte flache Flüssigkristall-Bildschirme für Direktsicht und Projektion. 1995 1-171 Universität Stuttgart
81 2020-02-12 books/daglib/0022697 Franz Weitl Document verification with temporal description logics. 2007 1-313 University of Passau, Germany http://www.opus-bayern.de/uni-passau/volltexte/2008/1252/,https://nbn-resolving.org/urn:nbn:de:bvb:739-opus-12528,http://d-nb.info/991022327
82 2011-03-23 books/daglib/0017109 Ingo Schellhammer Structure-based molecule indexing for sublinear virtual screening. 2005 I-XII, 1-178 Universität Hamburg
83 2020-01-30 books/daglib/0007887 Gunter Grieser Selbsteinschätzende Lernverfahren - Möglichkeiten und Grenzen. 2002 I-XIII, 1-186 Infix Akademische Verlagsgesellschaft DISKI 259 Darmstadt University of Technology, Germany 978-3-89838-259-5 http://d-nb.info/966226135
84 2016-09-29 books/daglib/0083907 Christian Fahrner Schematransformationen in Datenbanken. 1996 I-VI, 1-301 Universität Münster http://d-nb.info/949147486
85 2020-02-12 books/daglib/0009822 Reinhard Braumandl Quality of Service and Optimization in Data Integration Systems. 2002 I-III, 1-142 University of Passau, Germany http://elib.ub.uni-passau.de/opus/volltexte/2002/27/index.html,https://nbn-resolving.org/urn:nbn:de:bvb:739-opus-279,http://d-nb.info/965210782
86 2011-03-23 books/daglib/0083736 Dirk Reichardt Kontinuierliche Verhaltenssteuerung eines autonomen Fahrzeugs in dynamischer Umgebung. 1996 I-XII Universität Kaiserslautern
87 2011-03-23 books/daglib/0020506 Jürgen Kuster Providing decision support in the operative management of process disruptions. 2007 I-IV, 1-134 Universität Klagenfurt
88 2016-11-29 books/daglib/0069989 Martin Göbel Analyse und Bewertung der Konfigurierung von graphischen Systemen auf Mehrprozessor-Architekturen. 1990 I-V, 1-193 Darmstadt University of Technology, Germany http://d-nb.info/910312192
89 2011-03-23 books/daglib/0098214 Dieter Fox Markov localization - a probabilistic framework for mobile robot localization and navigation. 1998 1-146 Universität Bonn
90 2019-07-10 books/daglib/0094810 Zohar Levy A rate allocation protocol using competitive pricing for improving performance of multicast sessions. 1997 1-104 Technical report 97-13 University of Jerusalem, Israel
91 2019-07-09 books/daglib/0070054 Hans Christoph Zeidler Funktionsorientierte Hardware zur Lösung des Suchproblems - Entwicklung und Möglichkeiten. 1987 I-III, 1-162 87-08 TU Braunschweig, Germany
92 2019-07-10 books/daglib/0091418 Bengt Ahlgren Improving computer communication performance by reducing memory bandwidth consumption. 1997 1-151 SICS dissertation series 24 Uppsala University, Sweden
93 2020-01-30 books/daglib/0005310 Marc Erich Latoschik Multimodale Interaktion in virtueller Realität am Beispiel der virtuellen Konstruktion. 2001 I-XVI, 1-192 Infix Akademische Verlagsgesellschaft DISKI 251 Bielefeld University, Germany 978-3-89838-251-9 http://d-nb.info/962369632
94 2020-01-30 books/daglib/0096920 Peter Neuhaus Nebenläufiges Parsing - ein lexikalisch verteiltes Verfahren zur performanzgrammatischen Analyse beim Textverstehen. 1999 I-XIV, 1-280 Infix DISKI 194 University of Freiburg, Freiburg im Breisgau, Germany 978-3-89601-194-7 http://d-nb.info/95602615X
95 2017-01-09 books/daglib/0008637 Bernd Klauer Assoziative Methoden zur Mustererkennung. 1995 1-171 Goethe University Frankfurt, Frankfurt am Main, Germany http://d-nb.info/945024517
96 2018-08-15 books/daglib/0069115 Wei Zhou 0016 Beiträge zum mobilen Empfang von Satellitensignalen mit adaptiven Antennen spezieller Bauformen. 1992 1-113 Universität Paderborn
97 2019-07-10 books/daglib/0083472 Ivan Bretan Natural language in model world interfaces. 1995 SICS research report 95/03 Swedish Institute of Computer Science, Kista, Sweden
98 2017-01-09 books/daglib/0008856 Antonius Klingler Datenparallele Auswertung rekursiver logischer Programme. 1993 I-II, 1-152 RWTH Aachen University, Germany http://d-nb.info/94177029X
99 2011-02-09 books/daglib/0024689 Caroline Christina Friedel Analysis of high throughput data - protein protein interactions, protein complexes and RNA half life. 2008 I-XII, 1-193 Universität München
100 2016-11-10 books/daglib/0070028 Gerhard Haßlinger Näherungsverfahren nach dem Prinzip der maximalen Entropie für Warteschlangen-Verteilungen in geschlossenen Netzwerken. 1986 1-63 Darmstadt University of Technology, Germany http://d-nb.info/871529017
101 2020-01-30 books/daglib/0097310 Andreas Fordan Projection in constraint logic programming. 1999 I-XIV, 1-145 Infix DISKI 199 Technical University of Berlin, Germany 978-3-89601-199-2 http://d-nb.info/956339387
102 2017-05-15 books/daglib/0082685 Markus Weiler Betriebsmittelbereitstellung für flexible Fertigungssysteme. 1995 I-III, 1-141 Karlsruhe Institute of Technology, Germany http://d-nb.info/945982690
103 2012-06-01 books/daglib/0029115 Thomas Würthinger Dynamic Code Evolution for Java. 2011 I-V, 1-124 Universität Linz
104 2011-03-23 books/daglib/0008589 Georg Bareth Emissionen klimarelevanter Gase aus der Landwirtschaft - regionale Darstellung und Abschätzung unter Nutzung von GIS am Beispiel des württembergischen Allgäus. 1999 I-IX, 1-208 Universität Hohenheim
105 2017-01-16 books/daglib/0001363 Jonathan Karges Abstract resource language ARL - eine Sprache zur Spezifikation und Kontrolle von Biocomputing Experimenten. 1999 I-XI, 1-318 University of Münster, Germany http://d-nb.info/95962953X
106 2017-01-09 books/daglib/0070134 Christoph Hübel Ein Verarbeitungsmodell für datenbankgestützte Ingenieuranwendungen in einer arbeitsplatzrechnerorientierten Ablaufumgebung. 1992 I-VI, 1-233 Kaiserslautern University of Technology, Germany http://d-nb.info/920926878
107 2016-11-11 books/daglib/0069977 Heinz-Dieter Olsowski Verwaltung heterogener Informationen auf optischen Speicherplatten an graphisch-interaktiven Arbeitsplätzen. 1987 I-III, 1-158 Darmstadt University of Technology, Germany http://d-nb.info/890291268
108 2017-01-31 books/daglib/0081363 Sonja Schlegelmilch-Hanneken Ein wissensbasiertes System zur Modellbildung und Analyse industrieller Handhabungssysteme. 1995 1-129 Karlsruhe Institute of Technology, Germany http://d-nb.info/946039984
109 2019-07-10 books/daglib/0084293 Todd M. Austin Hardware and software mechanisms for reducing load latency. 1996 I-VIII, 1-145 Technical Report / University of Wisconsin, Madison / Computer Sciences Department 1311 University of Wisconsin-Madison, WI, USA
110 2020-01-30 books/daglib/0083194 Jürgen Kopp Konstruktion von Wissensrepräsentationssprachen durch Nutzen und Erweitern objektorientierter Sprachmittel. 1996 I-XX, 1-197 Infix DISKI 113 Bielefeld University, Germany 978-3-89601-113-8 http://d-nb.info/946711720
111 2020-01-30 books/daglib/0076469 Jörg R. J. Schirra Bildbeschreibung als Verbindung von visuellem und sprachlichem Raum - eine interdisziplinäre Untersuchung von Bildvorstellungen in einem Hörermodell. 1994 I-XII, 1-446 Infix DISKI 71 Saarland University, Saarbrücken, Germany 978-3-929037-71-5 http://d-nb.info/942643615
112 2012-06-01 books/daglib/0029122 Dominik Karch Quantitative Analyse der Spontanmotorik von Säuglingen für die Prognose der infantilen Cerebralparese. 2011 I-XI, 1-103 Universität Heidelberg
113 2011-03-23 books/daglib/0081585 Birgit Reinert On Gröbner bases in monoid and group rings. 1995 1-228 Universität Kaiserslautern
114 2011-03-24 books/daglib/0070112 Véronique Terrier Decidabilite en arithmetiques faibles temps reel sur automates cellulaires. 1991 1-88 Université Lyon
115 2016-10-07 books/daglib/0069984 Walter F. Klos Software-Werkzeuge für graphisch-interaktive Anwendungen im technischen Bereich. 1981 1-186 Darmstadt University of Technology, Germany http://d-nb.info/830058648
116 2019-07-10 books/daglib/0086896 Matthew J. Morley Safety assurance in interlocking design. 1996 I-VI, 1-217 CST 129 University of Edinburgh, UK
117 2019-07-09 books/daglib/0073924 John Bunda Instruction-processing optimization techniques for VLSI microprocessors. 1993 I-XIX, 1-174 UTCS publications 93-19 University of Austin, TX, USA
118 2016-12-21 books/daglib/0083732 Reinhard Blasig Neuronale Netze und die Induktion symbolischer Klassifikationsregeln. 1995 I-VII, 1-119 Kaiserslautern University of Technology, Germany http://d-nb.info/948184396
119 2016-12-01 books/daglib/0070043 Jürgen Schäfer Antirationale Transduktionen und ihre Sprachfamilien. 1991 1-251 Darmstadt University of Technology, Germany http://d-nb.info/910569517
120 2020-01-30 books/daglib/0078955 Michael Thielscher Automatisiertes Schließen über Kausalbeziehungen mit SLDENDF-Resolution. 1995 I-XIV, 1-218 Infix DISKI 76 Darmstadt University of Technology, Germany 978-3-929037-76-0 http://d-nb.info/94324207X
121 2020-02-12 books/daglib/0035678 Tobias Distler Resource-efficient fault and intrusion tolerance. 2014 I-XII, 1-182 Universität Erlangen-Nürnberg https://opus4.kobv.de/opus4-fau/frontdoor/index/index/docId/4880,https://nbn-resolving.org/urn:nbn:de:bvb:29-opus4-48803,http://d-nb.info/1075744954
122 2020-01-30 books/daglib/0085108 Barbara Messing Darstellung und Integration von Wissen in verbandsbasierten signierten Logikprogrammen. 1996 I-V, 1-146 Infix DISKI 132 Karlsruhe Institute of Technology, Germany 978-3-89601-132-9 http://d-nb.info/948837691
123 2019-06-18 books/daglib/0018739 Julian Seward Towards a strictness analyser for Haskell - putting theory into practice. 1991 1-123 Technical report series : UMCS 92-2-2 University of Manchester, UK
124 2020-02-12 books/daglib/0008662 Stephan Schäfer Efficient object-based hierarchical radiosity methods. 2000 I-VII, 1-121 Braunschweig University of Technology, Germany http://www.biblio.tu-bs.de/ediss/data/20000602a/20000602a.pdf,https://nbn-resolving.org/urn:nbn:de:gbv:084-120077,http://d-nb.info/95923036X,http://d-nb.info/959599010
125 2020-02-12 books/daglib/0033462 Folke Mitzlaff Relatedness in evidence networks. 2013 I-XVII, 1-235 Universität Kassel https://nbn-resolving.org/urn:nbn:de:hebis:34-2014101046111,http://d-nb.info/1060575418
126 2017-01-09 books/daglib/0067266 Detlef Krömker Visualisierungssysteme - Strukturen, Analysen und Verfahren zur Leistungssteigerung durch einen zum Strukturspeicher erweiterten Bildspeicher. 1992 I-X, 1-220 Springer Darmstadt University of Technology, Germany 978-3-540-55052-5 http://d-nb.info/920259480
127 2020-02-12 books/daglib/0037286 Thomas Vierjahn Online Surfface Reconstruction from Unorganized Point Clouds with Integrated Texture Mapping. 2015 I-XX, 1-167 University of Münster, Germany https://nbn-resolving.org/urn:nbn:de:hbz:6-77259613790,http://d-nb.info/1139642898
128 2011-03-23 books/daglib/0072672 Lutz Zacharias Applikation und Implementation neuartiger Algorithmen zur digitalen Lagesteuerung elektrohydraulischer Antriebssysteme. 1992 1-128 TU Chemnitz
129 2016-09-29 books/daglib/0096018 Michaela Huhn On the hierarchical design of distributed systems. 1997 I-XII, 1-277 Universität Hildesheim http://d-nb.info/955628946
130 2017-11-30 books/daglib/0098640 Axel Heß Abschätzungstoleranzen im hierarchischen VLSI-Entwurf. 1999 I-VI, 1-208 Kaiserslautern University of Technology, Germany http://d-nb.info/957694083
131 2016-10-21 books/daglib/0069980 Wolfgang Rülling Informationsübertragung in L-Systemen. 1983 1-142 Darmstadt University of Technology, Germany http://d-nb.info/840328826
132 2016-12-01 books/daglib/0070126 Norbert Kratz Architektur eines wissensbasierten Systems zur Unterstützung der Konzeptionsphase in der Konstruktion. 1991 1-121 Kaiserslautern University of Technology, Germany http://d-nb.info/911413251
133 2017-03-13 books/daglib/0072685 Uwe Hübner Partitionierung und Analyse statischer, digitaler CMOS-Schaltungen auf der Schalterebene einer Mixed-Level Testgenerierung. 1994 1-167 Oldenbourg University of Paderborn, Germany 978-3-486-22926-4 http://d-nb.info/940182629
134 2017-01-17 books/daglib/0001123 Gerik Scheuermann Topological vector field visualization with Clifford algebra. 1999 1-177 Kaiserslautern University of Technology, Germany http://d-nb.info/95840545X
135 2016-10-07 books/daglib/0069985 Werner Kern Untersuchungen über mathematische Maschinen und Simulationen - ein Charakterisierungssatz für die Existenz minimaler Makroauflösungen mathematischer Maschinen. 1981 1-254 Darmstadt University of Technology, Germany http://d-nb.info/820435864
136 2017-01-31 books/daglib/0086142 Rainer Kirchhübel Das Schülerinteresse am Computer und seine Berücksichtigung bei der didaktisch-methodischen Gestaltung des informationstechnischen Unterrichtes. 1995 1-223 Chemnitz University of Technology, Germany http://d-nb.info/947930744
137 2011-03-15 books/daglib/0024644 Stefan Rass On Information-Theoretic Security - Contemporary Problems and Solutions. 2009 1-194 epubli GmbH
138 2016-12-21 books/daglib/0076507 Michael Buro Techniken für die Bewertung von Spielsituationen anhand von Beispielen. 1994 I-VI, 1-87 University of Paderborn, Germany http://d-nb.info/943382904
139 2011-03-23 books/daglib/0072687 Sabine Schmitgen Räumliche Fragestellungen bei der Konfigurierung. 1993 1-206 Universität Paderborn
140 2020-02-12 books/daglib/0080857 Reinhold Heckmann Power domain constructions. 1990 I-VII, 1-285 Universität Saarbrücken http://scidok.sulb.uni-saarland.de/volltexte/2004/188/index.html,https://nbn-resolving.org/urn:nbn:de:bsz:291-scidok-1887,http://d-nb.info/972341765
141 2020-01-30 books/daglib/0079807 Rainer Hoch READLEX - ein wörterbuchbasierter Ansatz für die Erkennung und Analyse von Text in strukturierten Dokumenten. 1995 I-XII, 1-226 Infix DISKI 91 Kaiserslautern University of Technology, Germany 978-3-89601-091-9 http://d-nb.info/944685110
142 2017-03-20 books/daglib/0092294 Andreas Mahling Computergestütztes Komponieren - wissensbasierte Werkzeuge zur Manipulation musikalischer Gestalten. 1993 I-VII, 1-141 University of Stuttgart, Germany http://d-nb.info/940616564
143 2020-02-12 books/daglib/0017111 Arne Wiebalck ClusterRAID - architecture and prototype of a distributed fault-tolerant mass storage system for clusters. 2005 1-173 University of Heidelberg, Germany http://archiv.ub.uni-heidelberg.de/volltextserver/volltexte/2005/5624/index.html,https://nbn-resolving.org/urn:nbn:de:bsz:16-opus-56248,http://d-nb.info/975599631,http://d-nb.info/975757032
144 2017-01-11 books/daglib/0070255 Waldemar Preilowski Parallele Algorithmen für geometrische Probleme im R3. 1993 1-145 University of Paderborn, Germany http://d-nb.info/931682266
145 2019-07-09 books/daglib/0073617 Ethel Jane Comiskey Data-parallel implementations of map analysis and animal movement for landscape ecology models. 1993 CS / Technical report / Knoxville / University of Tennessee / Computer Science Department 93-207 University of Knoxville, TN, USA
146 2011-03-23 books/daglib/0081788 Jürgen Rodenkirchen On optimum convergence rates of the Crank-Nicholson scheme to the stokes initial value problem in higher order function spaces using realistic data. 1995 1-102 Universität Paderborn
147 2011-03-23 books/daglib/0070113 Rolf Neuser Fastkonvergenz, Faktorfolgen und fastkonvergentes Wirkfeld von Matrixverfahren. 1980 1-107 Fernuniversität Hagen
148 2019-07-10 books/daglib/0082666 Henrik Esbensen Placement and global routing of VLSI Macro-cell layouts using genetic algorithms. 1994 DAIMI PB 491 Aarhus University, Denmark
149 2016-12-21 books/daglib/0072840 Mauricio Ayala-Rincón Expressiveness of conditional equational systems with built-in predicates. 1993 1-154 Kaiserslautern University of Technology, Germany http://d-nb.info/940369672
150 2020-02-12 books/daglib/0020555 Olaf Ronneberger 3D invariants for automated pollen recognition. 2007 1-271 University of Freiburg, Freiburg im Breisgau, Germany http://www.freidok.uni-freiburg.de/volltexte/3394/,https://nbn-resolving.org/urn:nbn:de:bsz:25-opus-33942,http://d-nb.info/986425931
151 2017-11-29 books/daglib/0001126 Gerald Christmann Hüllflächen-Diagnose am Beispiel der Radbewegung. 1999 1-157 Kaiserslautern University of Technology, Germany http://d-nb.info/958961808
152 2020-02-12 books/daglib/0012338 Peter Baeumle-Courth Approximation, Reduktion und Regelextraktion - Semantikbeschreibung für Neuronale Netze. 2004 1-201 University of Münster, Germany https://nbn-resolving.org/urn:nbn:de:hbz:6-47639543013,http://d-nb.info/973525479,http://d-nb.info/973616253
153 2011-03-23 books/daglib/0069001 Antoni Lozano i Bojados Computational complexity versus structural simplicity. 1992 I-XII, 1-100 University Barcelona
154 2019-07-10 books/daglib/0079417 Michael Wu The architecture of eNVy, a non-volatile, main memory storage system. 1994 Rice COMP TR 94-229 University of Houston, TX, USA
155 2014-06-02 books/daglib/0033460 Heinz Hofbauer Visual evaluation, scaling and transport of secure videos. 2013 I-VIII, 1-129 Universität Salzburg http://permalink.obvsg.at/AC10775427
156 2017-01-13 books/daglib/0094779 Jochen Nessel Zum Lernen mit guten Beispielen. 1998 1-147 Kaiserslautern University of Technology, Germany http://d-nb.info/954832302
157 2016-12-06 books/daglib/0016495 Stefan Milius Coalgebras, monads and semantics. 2005 Braunschweig University of Technology, Germany http://d-nb.info/979988985
158 2017-03-23 books/daglib/0071661 David A. Russo Structural properties of complexity classes. 1985 I-VIII, 1-143 Research in computer science University of California, Santa Barbara, CA, USA
159 2017-01-11 books/daglib/0072686 Martin Mundhenk Hausdorff-Reduktionen zu Mengen mit geringem Informationsgehalt. 1993 1-87 University of Ulm, Germany http://d-nb.info/930719867
160 2016-09-29 books/daglib/0093030 Abdelaziz Guerrouat Eine wissensbasierte Technik zur Testfallauswahl im Konformitätstest von Protokollen. 1997 1-133 Universität Magdeburg http://d-nb.info/950688606
161 2011-03-23 books/daglib/0097851 Harald Hanke Qualitätsmanagement bei Softwarewettbewerben - empirische Untersuchungen und weiterführende Konzepte. 1998 1-287 Universität Karlsruhe
162 2019-03-29 books/daglib/0068066 Wolfgang Hübner 0002 Entwurf graphischer Benutzerschnittstellen - ein objektorientiertes Interaktionsmodell zur Spezifikation graphischer Dialoge. 1990 1-324 Springer Beiträge zur graphischen Datenverarbeitung Technische Hochschule Darmstadt, Germany 978-3-540-53438-9 http://d-nb.info/901497444
163 2020-03-16 books/daglib/0069976 Rolf Lindner 0002 Rasterdisplay-Prozessoren - ihre Bedeutung, Konzepte und Verfahren. 1979 I-V, 1-229 TH Darmstadt
164 2019-07-10 books/daglib/0088023 Simon Crosby Performance management in ATM networks. 1996 I-XV, 1-215 Technical Report / University of Cambridge / Computer Laboratory 393 University of Cambridge, UK
165 2011-03-23 books/daglib/0020524 Florian Frühauf Binary recovery methods for inverse problems. 2007 I, 1-113 Universität Innsbruck
166 2020-02-12 books/daglib/0035669 Florian Lemmerich Novel Techniques for Efficient and Effective Subgroup Discovery. 2014 I-IX, 1-238 Julius Maximilians University Würzburg, Germany https://opus.bibliothek.uni-wuerzburg.de/frontdoor/index/index/docId/9781,https://nbn-resolving.org/urn:nbn:de:bvb:20-opus-97812,http://d-nb.info/1076285589,http://d-nb.info/110878075X
167 2016-11-17 books/daglib/0008860 Herbert Kuchen Parallele Implementierung einer funktionalen Programmiersprache auf einem OCCAM-Transputer-System unter besonderer Berücksichtigung applikativer Datenstrukturen. 1989 1-252 RWTH Aachen University, Germany http://d-nb.info/901028479
168 2016-09-30 books/daglib/0091918 Panagiotis Tsarchopoulos Global analysis and optimizing compilation of constraint solving algorithms in constraint logic programming. 1997 I-II, 1-105 Universität Kaiserslautern http://d-nb.info/95273298X
169 2020-02-12 books/daglib/0094780 Héctor Muñoz-Avila Integrating twofold case retrieval and complete decision replay in CAPlan/CBC. 1998 1-198 Kaiserslautern University of Technology, Germany http://kbibmp3.ub.uni-kl.de/Preprint_Informatik/PS/dissertation_3.ps,https://nbn-resolving.org/urn:nbn:de:bsz:386-kluedo-731,http://d-nb.info/95484968X,http://d-nb.info/956328873
170 2017-01-10 books/daglib/0081583 Robert Marek Parallele Anfrageausführung in Shared-Nothing Datenbanksystemen - Architektur, Leistungsanalyse und -optimierung. 1995 1-247 Kaiserslautern University of Technology, Germany http://d-nb.info/94521619X
171 2016-11-28 books/daglib/0069949 Frank Bomarius System für die Programmierung verteilter objektorientierter Applikationen. 1990 I-V, 1-155 Kaiserslautern University of Technology, Germany http://d-nb.info/920162444
172 2011-03-23 books/daglib/0091559 Thorsten Schulze Interaktonen und Solitonwechselwirkungen in der komplexen Ebene. 1997 I-IV, 1-136 Universität Paderborn
173 2017-01-19 books/daglib/0003845 Holger Giese Object-oriented design and architecture of distributed systems. 2001 I-VII, 1-451 Shaker University of Münster, Germany 978-3-8265-8634-7 http://d-nb.info/961133570
174 2019-06-18 books/daglib/0001592 Martin Elsman Program modules, separate compilation, and intermodule optimisation. 1999 I-X, 1-215 Technical report / University of Copenhagen / Datalogisk institut 99/3 University of Copenhagen, Denmark
175 2013-10-14 books/daglib/0031228 Wolfgang Dvorák Computational Aspects of Abstract Argumentation. 2012 I-X, 1-143 Technische Universität Wien http://permalink.obvsg.at/AC07812708
176 2011-03-23 books/daglib/0012775 Sylviane R. Schwer Decidabilite de l'algebricite de langages associes aux reseaux de Petri. 1985 Univ. Paris VII
177 2020-01-30 books/daglib/0081791 Daniel Möri Automatische Erkennung und Ausführung von Korrekturanweisungen in Textdokumenten. 1995 1-150 Infix DISKI 107 University of Bern, Switzerland 978-3-89601-107-7 http://d-nb.info/946326231
178 2020-01-30 books/daglib/0099117 Peter Geibel Induktive Konstruktion von merkmalsbasierten und logischen Klassifikatoren für relationale Strukturen. 1999 I-XIII, 1-187 Infix DISKI 212 Technical University of Berlin, Germany 978-3-89601-212-8 http://d-nb.info/957771789
179 2016-12-29 books/daglib/0016500 Birgit Elbl Deklarative Semantik von Logikprogrammen mit Prologs Auswertungsstrategie. 1994 1-102 Bundeswehr University Munich, Neubiberg (Munich), Germany http://d-nb.info/94459252X
180 2020-02-12 books/daglib/0024756 Jörg Mensmann Exploiting Spatial and Temporal Coherence in GPU-based Volume Rendering. 2010 I-VIII, 1-128 University of Münster https://nbn-resolving.org/urn:nbn:de:hbz:6-67429536927,http://d-nb.info/1007721634
181 2019-07-10 books/daglib/0096465 Henri Casanova Stochastic models for performance analyses of iterative algorithms in distributed environments. 1998 CS / Technical report / Knoxville / University of Tennessee / Computer Science Department 98-386 University of Tennessee, Knoxville, TN, USA
182 2011-03-23 books/daglib/0096015 Kai Rannenberg Kriterien und Zertifizierung mehrseitiger IT-Sicherheit - eine Untersuchung der technischen Grundlagen und der organisatorischen Rahmenbedingungen. 1997 I-XVI, 1-192 Universität Freiburg
183 2020-02-12 books/daglib/0019269 Andrés Bruhn Variationelle optische Flussberechnung - präzise Modellierung und effziente Numerik. 2006 I-XVIII, 1-194 Saarland University, Saarbrücken, Germany http://scidok.sulb.uni-saarland.de/volltexte/2007/1199/,https://nbn-resolving.org/urn:nbn:de:bsz:291-scidok-11998,http://d-nb.info/985159766
184 2016-11-10 books/daglib/0069973 Gregor Snelting Inkrementelle semantische Analyse in unvollständigen Programmfragmenten mit Kontextrelationen. 1986 I-II, 1-203 Darmstadt University of Technology, Germany http://d-nb.info/880012013
185 2019-07-10 books/daglib/0088409 Rajeev M. Vokkarne Distributed execution environments for the CODE 2.0 parallel programming system. 1994 1-74 UTCS publications 94-32 University of Austin, TX, USA
186 2011-03-23 books/daglib/0022692 Marcus Dittrich Assembly of the interactome, characterization of functional modules and novel approaches to the analysis of signaling networks in human platelets. 2008 1-169 Universität Würzburg
187 2017-01-09 books/daglib/0069675 Thomas Gauweiler MOSKITO - ein Betriebssystem-Kern für verteilte Echtzeitanwendungen. 1993 I-VIII, 1-158 Kaiserslautern University of Technology, Germany http://d-nb.info/931416248
188 2011-02-09 books/daglib/0018070 Yahav Nussbaum Recognition of circular-arc graphs and some subclasses. 2007 I-IV, 1-88 University of Tel-Aviv
189 2020-01-30 books/daglib/0081594 Gernot A. Fink Integration von Spracherkennung und Sprachverstehen. 1995 1-126 Infix DISKI 103 Bielefeld University, Germany 978-3-89601-103-9 http://d-nb.info/946060967
190 2011-03-23 books/daglib/0070149 Wolfgang Micus Zur formalen Äquivalenz von ebenen algebroiden Kurven in beliebiger Charakteristik. 1987 I-III, 1-131 Universität Paderborn
191 2019-07-09 books/daglib/0073627 Karen S. Minser Parallel map analysis on the CM-5 for landscape ecology models. 1993 CS / Technical report / Knoxville / University of Tennessee / Computer Science Department 93-197 University of Knoxville, TN, USA
192 2017-03-22 books/daglib/0075096 Peter Mysliwietz Konstruktion und Optimierung von Bewertungsfunktionen beim Schach. 1994 University of Paderborn, Germany http://d-nb.info/941507750
193 2011-03-23 books/daglib/0083321 Ulrich Arnold CoMPaS - ein computergestütztes multimediales System zur Erstellung und Verwaltung von Patientenakten. 1996 I-VIII, 1-351 Universität Stuttgart
194 2016-10-18 books/daglib/0069951 Ulrike Brandt Charakterisierung von identifizierbaren Mengen partiell rekursiver Funktionen. 1982 1-102 Darmstadt University of Technology, Germany http://d-nb.info/840317174
195 2017-01-10 books/daglib/0076017 Ursula Schwolle Parallele Bilderkennung mit hierarchischen Formprimitiven auf Transputernetzen. 1994 1-219 University of Paderborn, Germany http://d-nb.info/943029589
196 2016-11-29 books/daglib/0070146 Andreas Henrich Der LSD-Baum - eine mehrdimensionale Zugriffsstruktur und ihre Einsatzmöglichkeiten in Datenbanksystemen. 1990 I-IV, 1-319 University of Hagen, Germany http://d-nb.info/910296634
197 2020-01-30 books/daglib/0083716 Stefan Wess Fallbasiertes Problemlösen in wissensbaiserten Systemen zur Entscheidungsunterstützung und Diagnostik - Grundlagen, Systeme und Anwendungen. 1996 I-X, 1-271 Infix DISKI 126 Kaiserslautern University of Technology, Germany 978-3-89601-126-8 http://d-nb.info/947776605
198 2011-12-15 books/daglib/0069002 Ricard Gavaldà Kolmogorov randomness and its applications to structural complexity theory. 1992 I-V, 1-91 University Barcelona
199 2020-01-30 books/daglib/0092074 Jürgen Rahmel Topology preserving neural networks - connectionist learning of structured knowledge. 1998 I-XVII, 1-191 Infix DISKI 178 Kaiserslautern University of Technology, Germany 978-3-89601-178-7 http://d-nb.info/952597403
200 2016-11-30 books/daglib/0008858 Marita Möller Ein Ebenenmodell wissensbasierter Konsultationen - Unterstützung für Wissensakquisition und Erklärungsfähigkeit. 1989 I-III, 1-112 RWTH Aachen University, Germany http://d-nb.info/900208635,http://d-nb.info/911081887
201 2016-09-29 books/daglib/0096012 Günter Knittel Verfahren und Schaltungseinheiten für Hochleistungsgraphik und Visualisierung. 1997 I-IV, 1-147 Universität Tübingen http://d-nb.info/951669982
202 2017-01-19 books/daglib/0007084 Birgit Geppert The SDL pattern approach - a reuse-driven SDL methodology for designing communication software systems. 2001 1-291 Kaiserslautern University of Technology, Germany http://d-nb.info/965010899
203 2020-01-30 books/daglib/0097893 Volker Klingspor Reaktives Planen mit gelernten Begriffen. 1999 I-XIV, 1-205 Infix DISKI 208 Technical University of Dortmund, Germany 978-3-89601-208-1 http://d-nb.info/956677746
204 2019-06-18 books/daglib/0001589 Michael Florentin Nielsen Modal logic and the Curry-Howard isomorphism. 1999 Technical report / University of Copenhagen / Datalogisk institut 99/10 University of Copenhagen, Denmark
205 2011-03-15 books/daglib/0012770 Luc Boasson Paires iterantes et langages algebriques. 1974 I-VII, 1-164 Univ. Paris VII
206 2019-07-10 books/daglib/0084304 Harish Patil Efficient program monitoring techniques. 1996 I-VIII, 1-66 Technical Report / University of Wisconsin, Madison / Computer Sciences Department 1320 University of Wisconsin-Madison, WI, USA
207 2019-06-18 books/daglib/0018754 Michael Griebel Zur Lösung von Finite-Differenzen-und Finite-Element-Gleichungen mittels der Hierarchischen-Transformations-Mehrgitter-Methode - Sonderforschungsbericht 342: Methoden und Werkzeuge für die Nutzung paralleler Rechnerarchitekturen. 1990 1-123 TUM-I 9007 Technical University Munich, Germany
208 2016-10-04 books/daglib/0083735 Stefan Bergdoll Vergleich der Leistungsfähigkeit von artifiziellen neuronalen Netzen und biologischen neuronalen Netzen am Beispiel bekannter Lernmechanismen. 1996 I-IV, 1-127 Kaiserslautern University of Technology, Germany http://d-nb.info/948204931
209 2020-02-12 books/daglib/0020128 Raphael Volz Web ontology reasoning with logic databases. 2004 I-XVI, 1-471 http://digbib.ubka.uni-karlsruhe.de/volltexte/162004,http://www.lulu.com/content/746147,https://nbn-resolving.org/urn:nbn:de:swb:90-AAA1620040,http://d-nb.info/970387792,http://d-nb.info/1005262691
210 2020-02-12 books/daglib/0035666 Andrej Gisbrecht Advances in dissimilarity-based data visualisation. 2015 I-VIII, 1-153 Universität Bielefeld http://pub.uni-bielefeld.de/publication/2722974,https://nbn-resolving.org/urn:nbn:de:hbz:361-27229742,http://d-nb.info/1068621729
211 2020-01-30 books/daglib/0010385 Jens Woch Integrated natural language generation with Schema-TAGs. 2003 I-XX, 1-159 Infix Akademische Verlagsgesellschaft DISKI 264 University of Koblenz-Landau, Germany 978-3-89838-264-9 http://d-nb.info/967663520
212 2019-07-09 books/daglib/0071574 Barry K. Rosen Subtree replacement systems. 1971 TR 2-71 Harvard University
213 2019-06-19 books/daglib/0010618 Dirk M. Ebert Bildbasierte Erzeugung kollisionsfreier Transferbewegungen für Industrieroboter. 2003 I-VII, 1-131 Schriftenreihe / Fachbereich Informatik, Universität Kaiserslautern 12 University of Kaiserslautern, Germany 978-3-936890-23-5
214 2019-09-18 books/daglib/0002348 Peter Amthor 0002 Structural decomposition of hybrid systems. 2000 I-III, 1-165 BISS monographs 13 University of Bremen, Germany
215 2020-02-12 books/daglib/0033456 Ulrike Fischer Forecasting in database systems. 2014 I-IX, 1-179 Universität Dresden https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa-133281,http://d-nb.info/1048705366,http://d-nb.info/1068445122
216 2016-09-29 books/daglib/0090362 Reinhard Lüling Lastverteilungsverfahren zur effizienten Nutzung paralleler Systeme. 1996 I-IV, 1-208 Universität Paderborn http://d-nb.info/951404180
217 2020-02-21 books/daglib/0072845 Philipp Hanschke A declarative integration of teminological, constraint-based, data-driven, and goal-directed reasoning. 1993 1-82 Karlsruhe Institute of Technology, Germany http://d-nb.info/940154951,http://d-nb.info/941398161
218 2017-01-06 books/daglib/0074266 Kurt Schmid Komplexe interaktive Systeme in der anwendungsorientierten Informatik - interdisziplinäre Analyse-, Entwicklungs- und Gestaltungsmethoden. 1994 1-206 University of Stuttgart, Germany http://d-nb.info/942365208
219 2020-02-12 books/daglib/0008583 Markus Hannebauer Autonomous dynamic reconfiguration in collaborative problem solving. 2001 I-XXIV, 1-279 Technical University of Berlin, Germany http://edocs.tu-berlin.de/diss/2001/hannebauer_markus.pdf,https://nbn-resolving.org/urn:nbn:de:kobv:83-opus-2749,http://d-nb.info/963481711
220 2017-01-12 books/daglib/0096014 Christoph Weidenbach Computational aspects of a first-order logic with sorts. 1996 I-XIII, 1-183 Saarland University, Saarbrücken, Germany http://d-nb.info/950483729
221 2015-06-11 books/daglib/0035616 Farhan Tauheed Scalable exploration of spatial data in large-scale scientific simulations. 2014 I-XIV, 1-139 Ecole Polytechnique Federale de Lausanne
222 2020-06-04 books/daglib/0071590 Michael F. P. O'Boyle Program and data transformations for efficient execution on distributed memory architectures. 1993 Technical report series 93-1-6 University of Manchester, UK
223 2020-01-30 books/daglib/0079811 Alexander Linden SESAME - ein objekt- und datenflußorientierter Simulator für Modelle der Neuroinformatik und angrenzender Gebiete. 1995 I-VI, 1-172 Infix DISKI 93 Bielefeld University, Germany 978-3-89601-093-3 http://d-nb.info/944685269,http://d-nb.info/945209185
224 2017-01-13 books/daglib/0096832 Wolfgang Reissenberger CDL - eine Logik für unendliche nebenläufige Systeme. 1998 1-114 University of Stuttgart, Germany http://d-nb.info/955686571
225 2016-10-05 books/daglib/0008643 Stefan Müller 0002 Simulation von Kunst- und Tageslicht mit dem Radiosity-Verfahren. 1996 I-XI, 1-294 Darmstadt University of Technology, Germany http://d-nb.info/952896974
226 2019-07-10 books/daglib/0084294 Dionisios N. Pnevmatikatos Incorporating guarded execution into existing instruction sets. 1996 I-IX, 1-115 Technical Report / University of Wisconsin, Madison / Computer Sciences Department 1312 University of Wisconsin-Madison, WI, USA
227 2011-02-09 books/daglib/0022217 Mohammad Dawood Respiratory motion correction on 3D positron emission tomography images. 2008 1-142 Universität Münster
228 2017-01-06 books/daglib/0069672 Torsten Schaub Considerations on default logics. 1992 1-159 Darmstadt University of Technology, Germany http://d-nb.info/931142741,http://d-nb.info/931298008
229 2020-02-12 books/daglib/0013897 Ingo Wald Realtime ray tracing and interactive global illumination. 2004 I-XIV, 1-297 http://scidok.sulb.uni-saarland.de/volltexte/2004/319/index.html,https://nbn-resolving.org/urn:nbn:de:bsz:291-scidok-3194,http://d-nb.info/972316752
230 2016-11-03 books/daglib/0008863 Christoph F. Eick Methoden und rechnergestützte Werkzeuge für den logischen Datenbankentwurf. 1984 1-163 Karlsruhe Institute of Technology, Germany http://d-nb.info/860112624
231 2016-12-07 books/daglib/0019253 Andreas Schäfer 0001 Specification and verification of mobile real-time systems. 2006 I-XVI, 1-233 University of Oldenburg, Germany http://d-nb.info/983533695
232 2011-03-23 books/daglib/0013896 Jürgen Reiner Effective / efficient IT transformation decision processes. 2004 1-214 Universität Wien
233 2019-07-10 books/daglib/0079262 Subir K. Biswas Handling realtime traffic in mobile networks. 1994 Technical Report / University of Cambridge / Computer Laboratory 351 Cambridge University, UK
234 2016-12-21 books/daglib/0082150 Bernd Burkert Ein Framework generischer objekt-orientierter Basiskonzepte zur Werkzeug-Integration in unterschiedliche konzeptionelle Datenmodelle. 1995 I-VII, 1-269 University of Paderborn, Germany http://d-nb.info/946949050
235 2016-12-14 books/daglib/0068993 Ralf Agne Globale zyklische Schedulingstrategie - ein Ansatz zur Garantie der harten Zeitbedingungen inverteilten Echtzeitsystemen. 1992 1-337 Kaiserslautern University of Technology, Germany http://d-nb.info/930724291
236 2011-03-23 books/daglib/0098212 Holger H. Hoos Stochastic local search - methods, models, applications. 1998 I-VI, 1-218 TU Darmstadt
237 2017-01-10 books/daglib/0081587 Heike Marquardt Intensionale Updates in deduktiven Datenbanken. 1995 1-216 Kaiserslautern University of Technology, Germany http://d-nb.info/945543336
238 2017-01-20 books/daglib/0008008 Frank Unglauben Architekturen und Modellierung von verteilten Systemen zur Bildverteilung mit Schwerpunkt in der Medizin. 2002 I-V, 1-256 dissertation.de University of Münster, Germany 978-3-89825-535-6 http://d-nb.info/965924084
239 2020-02-12 books/daglib/0080063 Benno Stein 0001 Functional models in configuration systems. 1995 I-XI, 1-145 University of Paderborn, Germany http://ubdata.uni-paderborn.de/ediss/17/1995/stein/disserta.pdf,https://nbn-resolving.org/urn:nbn:de:hbz:466-1995010116,http://d-nb.info/945707142,http://d-nb.info/975239856
240 2011-03-23 books/daglib/0069968 Hans-Georg Stork Zur Seitenwechselkomplexität einfacher Referenzstrukturen. 1975 1-140 TH Darmstadt
241 2016-11-04 books/daglib/0017108 Roland M. Müller Knowledge sharing and trading on electronic marketplaces. 2005 1-234 Free University of Berlin, Germany
242 2016-11-15 books/daglib/0069957 Ayse Erben Ein wissensbasiertes natürlichsprachliches Dialogsystem mit Syntax-Semantik-Interaktion auf der Grundlage der Lexical-Functional-Theorie. 1988 I-III, 1-224 University of Stuttgart, Germany http://d-nb.info/890812195
243 2016-11-10 books/daglib/0008857 Gottfried Vossen Entwurf und Bearbeitung von Datenbanken im Universalrelationen-Datenmodell. 1986 I-VI, 1-186 RWTH Aachen University, Germany http://d-nb.info/870399691
244 2015-06-11 books/daglib/0035681 Michael J. Ziller Dissecting cellular states and cell state transitions through integrative analysis of epigenetic dynamics. 2014 I-XXI, 1-179 Universität Tübingen
245 2020-01-30 books/daglib/0001382 Dirk Fuchs Cooperation in heterogeneous theorem prover networks. 2000 1-262 Infix DISKI 231 Kaiserslautern University of Technology, Germany 978-3-89838-231-1 http://d-nb.info/958744947
246 2020-02-12 books/daglib/0035665 Kai Lawonn Illustrative visualization of medical data sets. 2014 I-XI, 1-216 Universität Magdeburg https://nbn-resolving.org/urn:nbn:de:gbv:ma9:1-5507,http://d-nb.info/1059440547,http://d-nb.info/1063503329
247 2017-10-21 books/daglib/0024111 Michel Alessandrini Intelligent-Service-System - von der Vereinheitlichung von Neuro-Fuzzysystemen für SOA bis zur Realisierung einer intelligenten dynamischen Service-Rekonfiguration. 2009 I-XXII, 1-204 University of Münster, Germany http://d-nb.info/995694419
248 2019-07-09 books/daglib/0078329 Jürgen Hermann Rechnergestützte Wissensakquisition für Werkzeuge zum Entwurf integrierter Schaltungen. 1989 Forschungsberichte 299 University of Dortmund, Germany
249 2017-01-17 books/daglib/0008671 Uta Störl Backup und Recovery in Datenbanksystemen - Verfahren, Klassifikation, Implementierung und Bewertung. 1999 I-V, 1-185 University of Jena, Germany http://d-nb.info/958231001
250 2020-02-12 books/daglib/0010390 Detlef Küpper Benutzermodellierung für benutzerspezifische Plangenerierung und -präsentation. 2003 I-XIX, 1-346 Infix Akademische Verlagsgesellschaft DISKI 269 University of Duisburg-Essen, Germany 978-3-89838-269-4 http://miless.uni-essen.de/servlets/DerivateServlet/Derivate-11790/Diss-DKuepper.pdf,https://nbn-resolving.org/urn:nbn:de:hbz:465-miless-011053-5,http://d-nb.info/968762263,http://d-nb.info/968800165
251 2016-12-22 books/daglib/0069673 Jörg Denzinger Teamwork - eine Methode zum Entwurf verteilter, wissensbasierter Theorembeweiser. 1993 1-214 Kaiserslautern University of Technology, Germany http://d-nb.info/931314674
252 2011-02-09 books/daglib/0022694 Dominik Engel Media encryption for still visual data - an analysis of selected techniques for natural images and fingerprint data in the spatial and wavelet domain. 2008 I-XXII, 1-214 Universität Salzburg
253 2019-03-14 books/daglib/0078509 Stephan Hartmann 0004 Gewinnung effektiver Relevanzbeschreibungen und Indexierungsfunktionen für die automatische Indexierung. 1994 I-II, 1-141 TH Darmstadt
254 2011-03-23 books/daglib/0069987 Ioannis Keklikoglou Verallgemeinerte kommutative Sprachen. 1980 1-50 TH Darmstadt
255 2020-03-12 books/daglib/0035671 David Rohr On development, feasibility, and limits of highly efficient CPU and GPU programs in several fields - fast parallel SIMDized GPU-accelerated reed-solomon encoding, heterogeneous linpack benchmark, and event reconstruction for the ALICE experiment. 2013 1-254 Universität Frankfurt a. M. http://publikationen.ub.uni-frankfurt.de/files/34377/dissertation_david_rohr.pdf,https://nbn-resolving.org/urn:nbn:de:hebis:30:3-343772,http://d-nb.info/105346827X,http://d-nb.info/1053807953
256 2016-07-03 books/daglib/0012794 Jacques Chauché Transduction d'arborescences - application aux manipulations de formules sur ordinateur. 1971 Joseph Fourier University, Grenoble, France https://tel.archives-ouvertes.fr/tel-00282884
257 2011-03-23 books/daglib/0018037 Daniel Keysers Modeling of image variability for recognition. 2006 I, 1-214 Technische Hochschule Aachen
258 2013-05-31 books/daglib/0031220 Teodoro Solis-Escalante The Asynchronous Graz Brain Switch. 2012 I-XIII, 1-90 Universität Graz
259 2016-04-18 books/daglib/0035330 Benjamin Bolte Decoupling Vision from Action - Redirected Walking and Rehabilitaiton in Immersive Virtual Environments. 2014 I-XIV, 1-120 Universität Münster http://d-nb.info/1067674950
260 2021-01-21 books/daglib/0029120 Carola Winzen Toward a complexity theory for randomized search heuristics. 2011 1-171 Universität Saarbrücken http://scidok.sulb.uni-saarland.de/volltexte/2011/4534/,https://nbn-resolving.org/urn:nbn:de:bsz:291-scidok-45345,http://d-nb.info/1051432596
261 2017-01-06 books/daglib/0073768 Rudolf Wilhelm Stand und Perspektiven informatischer Berufsethik. 1994 1-245 Technical University of Berlin, Germany http://d-nb.info/941977145
262 2020-01-30 books/daglib/0001789 Gregor Meyer On types and type consistency in logic programming. 2000 I-VI, 1-176 Infix DISKI 235 University of Hagen, Germany 978-3-89838-235-9 http://d-nb.info/959142762
263 2011-03-24 books/daglib/0070111 Pierre Fraigniaud Communications intensives dans les architectures a memoire distribuee et algorithmes paralleles pour la recherche de racines de polynomes. 1990 I-VIII Ecole Normale Superieure de Lyon
264 2011-03-23 books/daglib/0086140 Hans-Jörg Starkloff Über Zufallselemente in meßbaren Vektorräumen und einige Fragen der Approximation von Zufallselementen und Zufallsprozessen. 1995 1-98 TU Chemnitz
265 2020-02-12 books/daglib/0022224 Andreas Kornstädt Ein Einschubsystem für die musikwissenschaftliche Analyse - basierend auf einem Ansatz zur bruchlosen Modellierung von Anwendungsfamilien mit Rahmenwerken und Komponenten. 2002 University of Hamburg, Germany http://www.sub.uni-hamburg.de/disse/639/dissertation.pdf,https://nbn-resolving.org/urn:nbn:de:gbv:18-6396,http://d-nb.info/964401193,http://d-nb.info/96443332X
266 2016-12-29 books/daglib/0083530 Christian Elm Einsatz flagorientierter assoziativer Konzepte zur Beschleunigung deterministischer Funktionstests in Schreib-/Lesespeichern. 1995 I-XII, 1-165 University of Hagen, Germany http://d-nb.info/947004335
267 2016-11-15 books/daglib/0069982 Marc H. Scholl Modell geschachtelter Relationen - Effiziente Unterstützung einer relationalen Datenbankschnittstelle. 1988 1-264 Darmstadt University of Technology, Germany http://d-nb.info/941807592
268 2011-03-23 books/daglib/0016518 Wolfgang Thomas Das Entscheidungsproblem für einige Erweiterungen der Nachfolger-Arithmetik. 1975 1-103 Universität Freiburg
269 2011-03-23 books/daglib/0018043 Tobias Frank Advanced visualization and modeling of tetrahedral meshes. 2006 I-X, 1-121 Technische Universität Freiberg
270 2017-01-09 books/daglib/0083662 Andreas Kemper Mehrdimensionale Fast Rule Filterautomaten. 1995 1-141 University of Paderborn, Germany http://d-nb.info/948084758
271 2019-07-10 books/daglib/0079309 Richard S. Crouch The temporal properties of english conditionals and modals. 1994 Technical Report / University of Cambridge / Computer Laboratory 325 University Cambridge
272 2020-01-30 books/daglib/0097891 Christoph Goller A connectionist approach for learning search-control heuristics for automated deduction systems. 1999 I-XIII, 1-136 Infix DISKI 206 Technical University Munich, Germany 978-3-89601-206-7 http://d-nb.info/952709236,http://d-nb.info/956677630
273 2016-04-14 books/daglib/0030416 Remigius Lucas Franek Ensemble algorithms with applications to clustering and image segmentation. 2012 I-V, 1-253 Universität Münster http://d-nb.info/1026013615
274 2016-12-01 books/daglib/0069933 Wolfgang Schramm Objektorientiertes Metamodell für die Software-Entwicklung. 1991 1-200 Kaiserslautern University of Technology, Germany http://d-nb.info/920190790
275 2019-07-10 books/daglib/0097841 Mihai Prunescu A structural approach to diophantine definability. 1999 I-IX, 1-69 Konstanzer Schriften in Mathematik und Informatik / Universität Konstanz / Fakultät für Mathematik und Informatik 87 University of Konstanz, Germany
276 2016-12-01 books/daglib/0079493 Dieter Hutter Mustergesteuerte Strategien für das Beweisen von Gleichungen. 1991 1-129 Karlsruhe Institute of Technology, Germany http://d-nb.info/944690459,http://d-nb.info/944757774
277 2020-01-30 books/daglib/0010927 Alke Martens Ein Tutoring Prozess Modell für fallbasierte intelligente Tutoring Systeme. 2004 I-XIX, 1-243 Infix Akademische Verlagsgesellschaft DISKI 281 University of Rostock, Germany 978-3-89838-281-6 http://d-nb.info/970855206
278 2016-09-30 books/daglib/0093026 Thomas Pundt Optimierung funktionaler Programme mittels abstrakter Programm-Interpretation. 1997 I-II, 1-115 Universität Münster http://d-nb.info/954170601
279 2011-03-23 books/daglib/0093580 Nicole Roß H2-Konvergenz der Rothe-Approximationen für das Navier-Stokessche Anfangs-Randwertproblem in Außengebieten. 1998 1-94 Universität Paderborn
280 2016-04-26 books/daglib/0034139 Klaus Broelemann Automatic offline understanding of hand-drawn sketch maps. 2014 1-145 Universität Münster http://d-nb.info/1055024077
281 2016-11-15 books/daglib/0070158 Thomas Spindler Konzeption von bildgenerierenden Systemen in einer integrierten CAD-Arbeitsplatzumgebung und deren Realisierung. 1988 1-94 Julius Maximilians University Würzburg, Germany http://d-nb.info/890986762
282 2016-12-15 books/daglib/0081601 Urs Andelfinger Diskursive Anforderungsanalyse und Validierung - ein Beitrag zum Reduktionsproblem bei Systementwicklungen in der Informatik. 1995 I-V, 1-231 Darmstadt University of Technology, Germany 3-631-30676-8 http://d-nb.info/946867496,http://d-nb.info/948771593
283 2016-10-10 books/daglib/0070034 Joachim Lenzer Formale Beschreibung von Rechnerarchitekturen und Programmsprachen - Implementierung und Anwendung in einem erzeugenden System für Codegeneratoren. 1981 1-121 Darmstadt University of Technology, Germany http://d-nb.info/820450464
284 2017-09-14 books/daglib/0008867 Andreas Heuer 0001 Exakte Charakterisierung eines semantischen Datenmodells und seiner Operationen durch relationale Konzepte. 1988 1-258 Clausthal University of Technology, Clausthal-Zellerfeld, Lower Saxony, Germany http://d-nb.info/890811830
285 2020-01-30 books/daglib/0010386 Stefan Kopp Synthese und Koordination von Sprache und Gestik für virtuelle multimodale Agenten. 2003 I-XIV, 1-260 Infix Akademische Verlagsgesellschaft DISKI 265 Bielefeld University, Germany 978-3-89838-265-6 http://d-nb.info/967882451
286 2020-01-30 books/daglib/0084814 Olaf Munkelt Erkennung von Objekten in Einzelvideobildern mittels Aspektbäumen. 1996 1-133 Infix DISKI 125 Technical University Munich, Germany 978-3-89601-125-1 http://d-nb.info/941726347,http://d-nb.info/948524618
287 2017-03-23 books/daglib/0071482 Jean H. Gallier Semantics and correctness of classes of deterministic and nondeterministic recursive programs. 1978 1-237 University of California, Santa Barbara, CA, USA
288 2020-02-12 books/daglib/0027444 Paula Herber A Framework for Automated HW/SW Co-Verification of SystemC Designs Using Timed Automata. 2010 1-147 Logos Berlin Institute of Technology 978-3-8325-2511-8 http://opus.kobv.de/tuberlin/volltexte/2010/2636/,https://nbn-resolving.org/urn:nbn:de:kobv:83-opus-26364,http://d-nb.info/1003635261,http://d-nb.info/1004208499
289 2019-09-19 books/daglib/0090509 Richard Hayton OASIS - an open architecture for secure interworking services. 1996 I-XVIII, 1-102 Technical Report / University of Cambridge / Computer Laboratory 399 University Cambridge
290 2020-02-12 books/daglib/0083982 Wolfgang Becker Dynamische adaptive Lastbalancierung für große, heterogen konkurrierende Anwendungen. 1995 1-133 University of Stuttgart, Germany http://elib.uni-stuttgart.de/opus/volltexte/1999/5/pdf/5.pdf,https://nbn-resolving.org/urn:nbn:de:bsz:93-opus-59,http://d-nb.info/948327294,http://d-nb.info/95692509X
291 2011-03-23 books/daglib/0012778 Jacques Sakarovitch Syntaxe des langages de Chomsky - essai sur le determinisme. 1979 1-175 Univ. Paris VII
292 2016-09-29 books/daglib/0088049 Walter Heijenga Strukturbasierte Sichtdefinition in objektorientierten Datenbanksystemen. 1997 I-XII, 1-254 Universität Paderborn http://d-nb.info/950942405
293 2011-03-15 books/daglib/0024687 Jana Hertel Structured non-coding RNAs - prediction, comparison, annotation. 2009 Universität Leipzig
294 2016-09-29 books/daglib/0091919 Peter Knauber Ein System für die Konstruktion objektorientierter Übersetzer. 1997 I-VIII, 1-148 Universität Kaiserslautern http://d-nb.info/951970569
295 2011-03-23 books/daglib/0015337 Anthony M. L. Liekens Evolution of finite populations in dynamic environments. 2005 I-VI, 1-176 University Eindhoven
296 2011-03-23 books/daglib/0012776 Serge Dulucq Équations avec opérateurs - un outil combinatoire. 1981 Univ. Talence
297 2016-11-15 books/daglib/0070154 Uwe Willecke-Klemme Klassen von Sprachen fairer endlicher Automaten. 1988 1-65 University of Paderborn, Germany http://d-nb.info/890515840
298 2011-03-23 books/daglib/0071011 Jie-Ming J. Wang Visual logic - a visual source code animation system for teaching computer science at school. 1993 I-XI, 1-169 TH Darmstadt
299 2017-01-12 books/daglib/0086143 Armin Nückel 1996 1-133 Karlsruhe Institute of Technology, Germany http://d-nb.info/949384739
300 2020-01-30 books/daglib/0083203 Joachim Weisbrod Unscharfes Schließen. 1996 1-138 Infix DISKI 117 Karlsruhe Institute of Technology, Germany 978-3-89601-117-6 http://d-nb.info/94670807X
301 2017-01-10 books/daglib/0070151 Jürgen Lehmann Das Bausteinkonzept - Anwendung auf die Programmierung von Logikalgorithmen. 1992 1-138 University of Paderborn, Germany http://d-nb.info/921168101
302 2017-03-20 books/daglib/0070052 Krzysztof T. Malowaniec Dynamische Leitungsvermittlungsnetz für verteilte Systeme. 1990 1-122 Saarland University, Germany http://d-nb.info/901198420
303 2020-03-12 books/daglib/0095991 Peter Fröhlich 0001 DRUM-II - efficient model-based diagnosis of technical systems. 1998 I-XI, 1-151 Infix DISKI 192 University of Hanover, Hannover, Germany 978-3-89601-192-3 http://edok01.tib.uni-hannover.de/edoks/e002/244073643.pdf,https://nbn-resolving.org/urn:nbn:de:gbv:089-2440736435,http://d-nb.info/954458850,http://d-nb.info/954895592,http://d-nb.info/955998174
304 2019-03-28 books/daglib/0069990 Klaus Guntermann 0002 Ansatz zur automatischen Erzeugung von Ausgabetreibern für die Ansteuerung von Zeichendruckern durch Textformatierer. 1984 1-87 Darmstadt University of Technology, Germany http://d-nb.info/850790085
305 2020-01-30 books/daglib/0078960 Henner Kollnig Ermittlung von Verkehrsgeschehen durch Bildfolgenauswertung. 1995 I-VIII, 1-187 Infix DISKI 88 Karlsruhe Institute of Technology, Germany 978-3-929037-88-3 http://d-nb.info/944181074
306 2011-03-23 books/daglib/0008651 Stephanie Springer Virtuelle Wanderarbeit - das internationale Arbeits- und Sozialversicherungsrecht der grenzüberschreitenden Telearbeit. 2001 I-XIX, 1-339 Universität Hannover
307 2016-12-06 books/daglib/0018036 Kilian A. Foth Hybrid methods of natural language analysis. 2006 I-XVI, 1-191 Shaker University of Hamburg, Germany 978-3-8322-5977-8 http://d-nb.info/983537887
308 2017-01-06 books/daglib/0070452 Michael Spenke PERPLEX - ein graphisch-interaktives System zur Unterstützung der logischen Programmierung. 1993 1-123 Oldenbourg Universität Stuttgart 978-3-486-22579-2 http://d-nb.info/930356020,http://d-nb.info/930961870
309 2011-03-23 books/daglib/0008641 Lars Kruse Estimating and optimizing power consumption of integrated macro blocks at the behavioral level. 2001 I-VII, 1-263 Universität Oldenburg
310 2019-06-19 books/daglib/0008829 Ursula Hilgers Dienstgüteunterstützung in Weitverkehrsnetzen. 2002 Arbeitsberichte des Department Informatik / Friedrich-Alexander-Universität Erlangen-Nürnberg 35,6 University of Erlangen, Germany
311 2016-12-06 books/daglib/0020505 Jens Müller-Iden Replication-based scalable parallelisation of virtual environments. 2007 I-V, 1-200 University of Münster, Germany http://d-nb.info/985642548
312 2016-11-16 books/daglib/0069934 Vijay R. Bandekar Integrated problem solving framework as an intelligent aid for analyzing and synthesizing technical systems. 1989 1-113 Kaiserslautern University of Technology, Germany http://d-nb.info/900452463
313 2017-01-13 books/daglib/0097850 Günter Schäfer Effiziente Authentisierung und Schlüsselverwaltung in Hochleistungsnetzen. 1998 I-VI, 1-236 Karlsruhe Institute of Technology, Germany http://d-nb.info/955697638
314 2016-10-21 books/daglib/0070166 Eckhard Lange Graph-Grammatiken zur Formalisierung von Modell- und Methodenbanksystemen und als Grundlage für eine Implementation. 1983 1-117 Julius Maximilians University Würzburg, Germany http://d-nb.info/840779224
315 2011-03-23 books/daglib/0098208 Michael Sobirey Datenschutzorientierte Audit-basierte Erkennung von IT-Sicherheitsverletzungen. 1998 I-XVIII, 1-134 BTU Cottbus
316 2011-03-23 books/daglib/0016503 Erich Grädel The complexity of subclasses of logical theories. 1987 1-67 Univ. Basel
317 2011-03-23 books/daglib/0020527 Verena Broy Benutzerzentrierte, graphische Interaktionsmetaphern für Fahrerinformationssysteme. 2007 I-XIII, 1-302 Universität München
318 2019-06-18 books/daglib/0018390 Sally Floyd On space-bounded learning and the Vapnik-Chervonenkis dimension. 1989 I-II, 1-157 TR ICSI - International Computer Science Institute / Berkeley 89-061 University Berkeley
319 2011-03-23 books/daglib/0069042 Dieter Bothe Multivalued differential equations on graphs and applications. 1992 1-102 Universität Paderborn
320 2019-07-10 books/daglib/0079937 Reinhard von Hanxleden Compiler support for machine-independent parallelization of irregular problems. 1994 Rice COMP TR 94-243 University of Houston, TX, USA
321 2017-03-06 books/daglib/0008859 Ulrich Finke Algorithmen für Verschneidungsoperationen. 1994 I-VIII, 1-148 University of Siegen, Germany http://d-nb.info/94287031X
322 2013-08-30 books/daglib/0031767 Daniel Tenbrinck Variational Methods for Medical Ultrasound Imaging. 2013 I-IX, 1-277 Universität Münster
323 2020-02-12 books/daglib/0031224 Paul Drews Branchenspezifische IT-Innovationssysteme - von der Analyse zur Intervention: am Beispiel des IT-Innovationssystems für Krankenhäuser in Deutschland. 2011 I-XXI, 1-349 Universität Hamburg http://ediss.sub.uni-hamburg.de/volltexte/2012/5539/,https://nbn-resolving.org/urn:nbn:de:gbv:18-55396,http://d-nb.info/1021499684
324 2019-07-10 books/daglib/0079941 Douglas M. Monk An empirical evaluation of dependence analysis in parallel program comprehension. 1995 Rice COMP TR 95-249 University of Houston, TX, USA
325 2020-02-12 books/daglib/0031770 Arno Pasternak Fach- und bildungswissenschaftliche Grundlagen für den Informatikunterricht in der Sekundarstufe I. 2013 1-478 University of Münster, Germany https://nbn-resolving.org/urn:nbn:de:hbz:6-94379439372,http://d-nb.info/1037357973,http://d-nb.info/1138281247
326 2011-03-23 books/daglib/0008631 Guido Ipsen HybridHyperSigns - semiotische Parameter von Skriptstrukturen WWW-gebundener Hypertexte. 2001 I-VII, 1-380 Univ./GHS Kassel
327 2016-11-30 books/daglib/0070110 Michael Möhring MIMOSE - eine funktionale Sprache zur Beschreibung und Simulation individuellen Verhaltens in interagierenden Populationen. 1990 I-V, 1-138 Erziehungswissenschaftliche Hochschule Rheinland-Pfalz, Mainz, Germany http://d-nb.info/941920461
328 2016-10-21 books/daglib/0069999 Jörg-Martin Pflüger Grammatikalische Funktoren und Äquivalenz. 1982 1-152 Darmstadt University of Technology, Germany http://d-nb.info/830124985
329 2017-01-06 books/daglib/0006416 Andrea Schalk Algebras for generalized power constructions. 1993 1-166 Darmstadt University of Technology, Germany http://d-nb.info/932017894
330 2016-11-30 books/daglib/0070152 Walter Unger Färbung von Kreissehnengraphen. 1990 1-175 University of Paderborn, Germany http://d-nb.info/920881181
331 2020-01-30 books/daglib/0081598 Christian B. Suttner Parallelization of search-based systems by static partitioning with slackness. 1995 1-191 Infix DISKI 101 Technical University Munich, Germany 978-3-89601-101-5 http://d-nb.info/944822681,http://d-nb.info/946060592
332 2017-01-06 books/daglib/0008657 J. Joachim Quantz Preferential disambiguation in natural language processing. 1995 I-VI, 1-188 Technical University of Berlin, Germany http://d-nb.info/94718516X
333 2011-03-23 books/daglib/0012761 Khyra Gerardin Quelques proprietes des series formelles en variables non commutatives. 1979 1-97 Univ. Paris VII
334 2020-01-30 books/daglib/0084812 Oksana Arnold Die Therapiesteuerungskomponente einer wissensbasierten Systemarchitektur für Aufgaben der Prozeßführung. 1996 I-XXVIII, 1-346 Infix DISKI 130 Technische Hochschule Leipzig, Germany 978-3-89601-130-5 http://d-nb.info/948524987
335 2019-07-10 books/daglib/0088045 Steven Pope Application support for mobile computing. 1997 I-XIV, 1-145 Technical Report / University of Cambridge / Computer Laboratory 415 University of Cambridge, UK
336 2011-03-24 books/daglib/0070029 Walter Hohberg Zerlegung von Graphen - ein allgemeines, sequentielles und paralleles Lösungsverfahren für Graphenprobleme. 1989 1-66 TH Darmstadt
337 2020-01-30 books/daglib/0077164 Enno Littmann Strukturierung neuronaler Netze zwischen Biologie und Anwendung - biologische Modellierung, Kaskadierung und hybrider Ansatz. 1995 I-XII, 1-252 Infix DISKI 78 Bielefeld University, Germany 978-3-929037-78-4 http://d-nb.info/943241553
338 2016-06-07 books/daglib/0024646 Joachim Keinert Data Flow Based System Level Modeling, Analysis, and Synthesis of High-Performance Streaming Image Processing Applications. 2009 I-XXI, 1-363 University of Erlangen-Nuremberg http://d-nb.info/1004910673
339 2020-02-12 books/daglib/0031223 Bastian Kennel A unified framework for multi-level modeling. 2012 1-267 Universität Mannheim https://ub-madoc.bib.uni-mannheim.de/31906,https://nbn-resolving.org/urn:nbn:de:bsz:180-madoc-319067,http://d-nb.info/1025700902,http://d-nb.info/1034315374
340 2011-03-23 books/daglib/0019601 Elena Popovici An analysis of two-population coevolutionary computation. 2006 I-X, 1-188 Universität Virginia
341 2016-12-06 books/daglib/0020522 Peer Stelldinger Image digitization and its influence on shape properties in finite dimensions. 2007 I-XVII, 1-212 IOS Press University of Hamburg, Germany 978-3-89838-312-7 http://d-nb.info/987640054
342 2020-01-30 books/daglib/0088238 Bernhard Jung 0001 Wissensverarbeitung für Montageaufgaben in virtuellen und realen Umgebungen. 1997 1-197 Infix DISKI 157 Bielefeld University, Germany 978-3-89601-157-2 http://d-nb.info/950752185
343 2011-03-23 books/daglib/0068992 Helga Behmke Grundlagen der Typ-2-berechenbaren Analysis unter besonderer Berücksichtigung der komplexen Zahlen. 1992 1-135 FernUniv. Hagen
344 2016-10-21 books/daglib/0070119 Ralf Hartmut Güting Conquering contours - efficient algorithms for computational geometry. 1983 1-179 Technical University of Dortmund, Germany http://d-nb.info/840124880
345 2020-01-30 books/daglib/0001787 Thomas Linke New foundations for automation of default reasoning. 2000 I-VII, 1-182 Infix DISKI 237 Bielefeld University, Germany 978-3-89838-237-3 http://d-nb.info/959143874
346 2015-06-11 books/daglib/0035664 Günter Klambauer Machine Learning Techniques for the Analysis of High-Throughput DNA and RNA Sequencing Data. 2014 I-XXII, 1-184 Universität Linz
347 2017-05-03 books/daglib/0012769 Eva-Maria Mückstein Wotschke Ordered grammars with equivalence classes - some formal and linguistic aspects. 1975 I-IX, 1-169 University of California, Los Angeles, USA
348 2016-12-06 books/daglib/0018045 Daniel Reidenbach The ambiguity of morphisms in free monoids and its impact on algorithmic properties of pattern languages. 2006 I-VII, 1-165 Logos-Verlag Kaiserslautern University of Technology, Germany 978-3-8325-1449-5 http://d-nb.info/982940645
349 2020-01-30 books/daglib/0092881 Britta Lenzmann Benutzeradaptive und multimodale Interface-Agenten. 1998 I-X, 1-189 Infix DISKI 184 Bielefeld University, Germany 978-3-89601-184-8 http://d-nb.info/95328302X
350 2016-11-15 books/daglib/0069946 Jürgen R. Bergmann Strukturgebundener Software-Entwurf auf relationaler Basis- Ein integrierender Ansatz. 1989 I-V, 1-218 Darmstadt University of Technology, Germany http://d-nb.info/891641599
351 2016-11-08 books/daglib/0069979 Helmut Rohde Analyse geschlossener Warteschlangennetzwerke unter Verwendung von lastabhängigen Knoten. 1985 1-61 Darmstadt University of Technology, Germany http://d-nb.info/860954080
352 2020-01-30 books/daglib/0073656 Christoph Klauck Eine Graphgrammatik zur Repräsentation und Erkennung von Features in CAD/CAM. 1994 1-161 Infix DISKI 66 Kaiserslautern University of Technology, Germany 978-3-929037-66-1 http://d-nb.info/941151182
353 2016-12-21 books/daglib/0070256 Thomas Berlage Using command objects to implement user interfaces. 1993 I-VI, 1-126 Oldenbourg University of Paderborn, Germany 978-3-486-22835-9 http://d-nb.info/931658497,http://d-nb.info/932018254
354 2020-03-12 books/daglib/0083853 Dana Ron Automata learning and its applications. 1995 1-150 Technical report 95-14 University of Jerusalem, Israel http://www.cs.huji.ac.il/labs/learning/Theses/Dana_Ron_PhD.pdf
355 2020-01-30 books/daglib/0093538 Soenke Ziesche Perspektivierungsprozesse bei der Sprachproduktion - Spezifikation und Modellierung der Abbildung von konzeptuellen Strukturen auf semantische Repräsentationen. 1998 I-XIII, 1-240 Infix DISKI 186 University of Hamburg, Germany 978-3-89601-186-2 http://d-nb.info/953868370
356 2016-11-30 books/daglib/0070044 Shin-Ting Wu Topologie von hybriden Objekten. 1991 1-194 Darmstadt University of Technology, Germany http://d-nb.info/911233601
357 2020-02-12 books/daglib/0020554 Ansgar Grüne Geometric dilation and halving distance. 2006 I-VIII, 1-214 University of Bonn, Germany http://hss.ulb.uni-bonn.de/diss_online/math_nat_fak/2008/gruene_ansgar/,http://web.informatik.uni-bonn.de/I/publications/g-gdhd-06.pdf,https://nbn-resolving.org/urn:nbn:de:hbz:5N-13045,http://d-nb.info/987445154,http://d-nb.info/987942980
358 2016-12-06 books/daglib/0022216 Daniel Dahl Integration von Lernobjekten auf Metadatenebene - Ein Web 2.0-geprägter Ansatz. 2008 I-III, 1-173 Aka Akademische Verlagsgesellschaft Aka GmbH, Berlin DISDBIS 98 University of Münster, Germany 978-3-89838-498-8 http://d-nb.info/98994090X,http://d-nb.info/989973239
359 2011-05-06 books/daglib/0003400 Bostjan Likar Registration and restoration of medical images. 2000 I-VIII, 1-136 Universiteit Utrecht 978-961-236-059-7
360 2019-06-18 books/daglib/0012527 Jacco van Ossenbruggen Processing structured hypermedia - a matter of style. 2001 I-VII, 1-270 SIKS dissertation series 2001-5 University of Amsterdam, The Netherlands 978-9-06-196502-2
361 2020-02-12 books/daglib/0018034 Sven Overhage Vereinheitlichte Spezifikation von Komponenten - Grundlagen, UNSCOM Spezifikationsrahmen und Anwendung. 2006 I-XI, 1-314 University of Augsburg, Germany http://www.opus-bayern.de/uni-augsburg/volltexte/2007/545/index.html,https://nbn-resolving.org/urn:nbn:de:bvb:384-opus-5455,http://d-nb.info/983172935,http://d-nb.info/984057137
362 2011-03-23 books/daglib/0020523 Martina Seidl A solver for quantified Boolean formulas in negation normal form. 2007 I-XII, 1-128 Universität Wien
363 2015-03-23 books/daglib/0034593 Fabian Gigengack Mass preserving motion correction and multimodal image segmentation in positron emission tomography. 2013 I-XVI, 1-228 Universität Münster
364 2011-03-24 books/daglib/0069000 Anneke A. Schoone Assertional verification in distributed computing. 1991 I-V, 1-191 University Utrecht
365 2017-01-10 books/daglib/0016516 Stefan Lüttringhaus-Kappel Laziness in logic programming. 1992 I-VII, 1-162 University of Bonn, Germany http://d-nb.info/921559852
366 2020-02-12 books/daglib/0024647 Thorsten Holz Tracking and Mitigation of Malicious Remote Control Networks. 2009 I-XIII, 1-138 University of Mannheim, Germany http://madoc.bib.uni-mannheim.de/madoc/volltexte/2009/2330/pdf/dissertation-holz.pdf,https://nbn-resolving.org/urn:nbn:de:bsz:180-madoc-23306,http://d-nb.info/994515456,http://d-nb.info/994621701
367 2020-01-30 books/daglib/0010393 Ji-Young Lim Discrete scale-space formulation and multiscale edge extraction toward higher dimensions. 2003 I-XIII, 1-202 Infix Akademische Verlagsgesellschaft DISKI 272 University of Hamburg, Germany 978-3-89838-272-4 http://d-nb.info/968877788
368 2017-05-03 books/daglib/0069965 Mark G. J. van den Brand PREGMATIC - a generator for incremental programming environments. 1992 1-187 Radboud University Nijmegen
369 2020-02-12 books/daglib/0033465 Dang Vinh Pham Towards practical and fundamental limits of anonymity protection. 2013 I-XVIII, 1-207 University of Regensburg, Germany http://epub.uni-regensburg.de/28944,https://nbn-resolving.org/urn:nbn:de:bvb:355-epub-289446,http://d-nb.info/1044754125,http://d-nb.info/1046433792
370 2016-11-10 books/daglib/0070057 Jung Sun Lie Analytische Bewertung relationaler Datenbankmaschinen. 1987 1-127 Braunschweig University of Technology, Germany http://d-nb.info/880408332
371 2019-07-10 books/daglib/0094536 Charlotte Kerler Differenzierbarkeit im Bild und Abbildungseigenschaften verallgemeinerter Fouriertransformationen bei variablen Koeffizienten im Außengebiet und Anwendungen auf Gleichungen im Kirchhoff-Typ. 1998 Konstanzer Schriften in Mathematik und Informatik / Universität Konstanz / Fakultät für Mathematik und Informatik 67 University of Konstanz, Germany
372 2020-02-12 books/daglib/0017104 Andrey Rybalchenko Temporal verification with transition invariants. 2005 I-XII, 1-89 Saarland University, Saarbrücken, Germany http://scidok.sulb.uni-saarland.de/volltexte/2007/1280/,https://nbn-resolving.org/urn:nbn:de:bsz:291-scidok-12809,http://d-nb.info/985656085
373 2020-02-12 books/daglib/0027445 Jens Keilwagen Predicting DNA binding sites using generative, discriminative, and hybrid learning principles. 2010 1-131 Martin Luther University of Halle-Wittenberg https://nbn-resolving.org/urn:nbn:de:gbv:3:4-3105,http://d-nb.info/1024976939
374 2011-02-10 books/daglib/0019765 Martin Helmut Alt Using algorithmic skeletons for efficient grid computing with predictable performance. 2007 I-VIII, 1-243 Universität Münster
375 2019-06-18 books/daglib/0008861 Thomas Deil Darstellungen und Berechenbarkeit reeller Zahlen. 1983 1-131 University of Hagen, Germany
376 2020-02-12 books/daglib/0008584 Torsten Grust Comprehending queries. 1999 I-VIII, 1-161 University of Konstanz, Germany http://www.ub.uni-konstanz.de/kops/volltexte/1999/312/312_1.pdf,https://nbn-resolving.org/urn:nbn:de:bsz:352-opus-3120,http://d-nb.info/957714041
377 2020-01-30 books/daglib/0083710 Thomas Wengerek Reinforcement-Lernen in der Robotik. 1996 I-VI, 1-143 Infix DISKI 119 Bielefeld University 978-3-89601-119-0 http://d-nb.info/947638458
378 2020-02-12 books/daglib/0027793 Patrick Meuth Thalamic neurons in silico. 2011 Universität Münster https://nbn-resolving.org/urn:nbn:de:hbz:6-92489445678,http://d-nb.info/1027017827
379 2016-12-06 books/daglib/0020526 Thorsten Grosch Augmentierte Bildsynthese. 2007 1-244 Der Andere Verlag University of Koblenz and Landau, Germany 978-3-89959-710-3 http://d-nb.info/987675710
380 2020-02-12 books/daglib/0019257 Stefan Martin Frenz Zuverlässiger verteilter Speicher mit transaktionaler Konsistenz. 2006 1-120 University of Ulm, Germany http://vts.uni-ulm.de/docs/2006/5615/vts_5615_7391.pdf,https://nbn-resolving.org/urn:nbn:de:bsz:289-vts-56155,http://d-nb.info/980533015,http://d-nb.info/995352380
381 2020-02-12 books/daglib/0003047 Rainer Koschke Atomic architectural component recovery for program understanding and evolution - evaluation of atuomatic re-modelarization techniques and their integration in a semi-automatic method. 2000 1-412 University of Stuttgart, Germany http://elib.uni-stuttgart.de/opus/volltexte/2000/669/pdf/Koschke.Thesis.PDF,https://nbn-resolving.org/urn:nbn:de:bsz:93-opus-6693,http://d-nb.info/959812121,http://d-nb.info/959885048
382 2017-03-09 books/daglib/0083734 Wolfgang Hebgen Netzlängenbasierte Abschätzung des Zeitverhaltens in einem top-down VLSI-Entwurfsystem. 1995 I-IV, 1-270 Kaiserslautern University of Technology, Germany http://d-nb.info/946699895
383 2020-01-30 books/daglib/0079798 Knut Hinkelmann Transformation von Hornklausel-Wissensbasen - Verarbeitung gleichen Wissens durch verschiedene Inferenzen. 1995 1-215 Infix DISKI 81 Kaiserslautern University of Technology, Germany 978-3-929037-81-4 http://d-nb.info/944684246
384 2020-01-30 books/daglib/0002236 Stephan Schmitt Proof reconstruction in classical and non-classical logics. 2000 I-XII, 1-216 Infix Akademische Verlagsgesellschaft DISKI 239 Darmstadt University of Technology, Germany 978-3-89838-239-7 http://d-nb.info/959848444
385 2016-10-04 books/daglib/0096019 Bernhard A. Kerscher Telekommunikation im Bankgeschäft - ein ganzheitliches Gestaltungskonzept für innovative Telekommunikationssysteme im elektronischen Bankgeschäft. 1996 I-XXIV, 1-248 University of Regensburg, Germany http://d-nb.info/95010910X
386 2017-01-10 books/daglib/0072842 Carlos Loría-Sáenz A theoretical framework for reasoning about program construction based on extensions of rewrite systems. 1993 1-213 Kaiserslautern University of Technology, Germany http://d-nb.info/940369524
387 2011-03-23 books/daglib/0098162 Ute Masermann Schema-unabhängige Anfragesprachen für relationale Datenbanken. 1999 I-IV, 1-175 Universität Münster
388 2018-07-11 books/daglib/0071701 Peter Sturm 0001 Entwurfsunterstützung für graphische Bedienungsoberflächen. 1993 1-224 Kaiserslautern University of Technology, Germany http://d-nb.info/931883997
389 2020-02-12 books/daglib/0013700 Ulrich Sprekelmeyer Positiv repräsentierende Klassifikationsnetze - die Entwicklung eines neuartigen Klassifikationsnetzes für ein überwachtes Training während der Klassifikation. 2004 University of Münster, Germany https://nbn-resolving.org/urn:nbn:de:hbz:6-24629544040,http://d-nb.info/976770059,http://d-nb.info/993083137
390 2020-01-30 books/daglib/0085113 Karl Schäfer Unscharfe zeitlogische Modellierung von Situationen und Handlungen in Bildfolgenauswertung und Robotik. 1996 1-363 Infix DISKI 135 Karlsruhe Institute of Technology, Germany 978-3-89601-135-0 http://d-nb.info/948837357
391 2016-12-15 books/daglib/0008864 Stefan Brass Defaults in deduktiven Datenbanken. 1992 I-VI, 1-197 University of Hanover, Hannover, Germany http://d-nb.info/930235665
392 2017-03-07 books/daglib/0070953 Hartmut Gilg Benutzermodellierung für ein adaptives intelligentes Lernsystem. 1993 I-VI, 1-153 University of Stuttgart, Germany http://d-nb.info/931664705
393 2017-05-03 books/daglib/0011842 Hanan Samet Automatically proving the correctness of translations involving optimized code - research sponsored by Advanced Research Projects Agency, ARPA order no. 2494. 1975 I-VI, 1-214 Stanford Artificial Intelligence Laboratory: Memo AIM 259 Stanford University
394 2020-02-12 books/daglib/0022688 Christoph-Matthias Bockisch An efficient and flexible implementation of aspect-oriented languages. 2009 I-XX, 1-181 Darmstadt University of Technology, Germany http://tuprints.ulb.tu-darmstadt.de/1314/,https://nbn-resolving.org/urn:nbn:de:tuda-tuprints-13147,http://d-nb.info/993640249,http://d-nb.info/993975917,https://www.base-search.net/Record/98696ac1868ed37881432e46f81b2ef77002a1aa4d0bae773eb1cb5a4d993a20,https://www.base-search.net/Record/9f542089f3b7ef1c92f16f66b3a3218c5f6a443de11083f0cfe07b6bdfe0c89f
395 2016-12-01 books/daglib/0070125 Ernst Siepmann Entwurfstheorie und Entwurfsdatenmodellierung für CAD-Frameworks. 1991 1-194 Kaiserslautern University of Technology, Germany http://d-nb.info/920231551
396 2011-03-23 books/daglib/0012780 François Rodriguez Contribution a l'etude des operations sur les langages et des operateurs sur les familles de langages. 1979 I-XII, 1-214 Univ. Toulouse
397 2021-03-01 books/daglib/0020511 Christian Fleischer 0001 Controlling exoskeletons with EMG signals and a biomechanical body model. 2007 I-XVI, 1-161 Technical University of Berlin, Germany http://opus.kobv.de/tuberlin/volltexte/2007/1629/,https://nbn-resolving.org/urn:nbn:de:kobv:83-opus-16295,http://d-nb.info/985694149
398 2019-07-10 books/daglib/0088396 Kenneth S. Murray Learning as knowledge integration. 1995 1-300 UTCS publications 95-41 University of Austin, TX, USA
399 2020-01-30 books/daglib/0092072 Sabine Borndorff-Eccarius Rechnergestützte Wissensakquisition für wissensbasierte Diagnosesysteme im Bereich dynamischer technischer Systeme. 1998 1-165 Infix DISKI 176 University of Kassel, Germany 978-3-89601-176-3 http://d-nb.info/952596040
400 2016-11-17 books/daglib/0069532 Annegret Habel Hyperedge replacement - grammars and languages. 1989 1-193 University of Bremen, Germany http://d-nb.info/891552170
401 2020-01-30 books/daglib/0088237 Stefan Klingenbeck Counter examples in semantic tableaux. 1997 1-180 Infix DISKI 156 Karlsruhe Institute of Technology 978-3-89601-156-5 http://d-nb.info/950552445
402 2011-03-23 books/daglib/0009919 Alexandre David Hierarchical modeling and analysis of timed systems. 2003 I-VIII, 1-178 Universitet Uppsala
403 2019-06-19 books/daglib/0009724 Falko Dressler Monitoring of multicast networks for time-synchronous communication. 2003 1-240 Arbeitsberichte des Department Informatik / Friedrich-Alexander-Universität Erlangen-Nürnberg 36,4 University of Erlangen-Nuremberg, Germany
404 2020-01-30 books/daglib/0081789 Volkmar Pflug Graphembasierte On-line-Erkennung fließender Handschrift. 1995 1-117 Infix DISKI 105 Technical University Munich, Germany 978-3-89601-105-3 http://d-nb.info/945915063,http://d-nb.info/946326711
405 2017-01-09 books/daglib/0080305 Jürgen Herczeg Methoden und Werkzeuge zur visuellen objektorientierten Programmierung. 1995 I-VIII, 1-218 University of Stuttgart, Germany http://d-nb.info/945426852
406 2019-06-19 books/daglib/0014528 Jernej Kovse Model-driven development of versioning systems. 2005 I-XVIII, 1-192 Schriftenreihe / Fachbereich Informatik, Universität Kaiserslautern 23 TU Kaiserslautern, Germany 978-3-936890-79-2
407 2017-01-17 books/daglib/0001124 Jörg Rahmer Exploratives Konfigurieren - über die Unterstützung des Benutzers bei computergestützten explorativen Tätigkeiten. 1999 1-190 Kaiserslautern University of Technology, Germany http://d-nb.info/958174288
408 2017-01-09 books/daglib/0069362 Christoph Kröll Digitale symmetrische gedächtnisbehaftete Übertragungskanäle. 1992 I-VI, 1-88 Darmstadt University of Technology, Germany http://d-nb.info/930375440
409 2020-01-30 books/daglib/0097890 Rainer Holve Automatische Musterklassifikation mit hierarchischen Fuzzy-Regelbasen. 1999 1-134 Infix DISKI 205 University of Erlangen-Nuremberg, Germany 978-3-89601-205-0 http://d-nb.info/956677754
410 2019-06-18 books/daglib/0018394 Sveinn Sveinsson A massively parallel numerical ordinary differential equation solver. 1989 I-V, 1-29 BU-CS TR 89-007 University of Boston, MA, USA
411 2020-01-30 books/daglib/0000572 Jens von Berg Kortikale Karten und präattentive Wahrnehmung - über Segmentierungsleistungen und die Geometrie der Reizrepräsentation. 1999 I-XIV, 1-211 Infix DISKI 223 University of Hamburg, Germany 978-3-89601-223-4 http://d-nb.info/958114935
412 2020-02-12 books/daglib/0031251 Sascha Klüppelholz Verification of Branching-Time and Alternating-Time Properties for Exogenous Coordination Models. 2012 I-VIII, 1-164 Dresden University of Technology http://www.qucosa.de/recherche/frontdoor/?tx_slubopus4frontend[id]=8621,https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa-86211,http://d-nb.info/1033871370,http://d-nb.info/1068443006
413 2011-03-23 books/daglib/0083570 Peter Damaschke Berechnungskomplexität der Erkennung der semantischen Unabhängigkeit von Relationen. 1994 1-35 FernUniv. Hagen
414 2011-03-23 books/daglib/0069953 Norbert Cullmann Optimierte Software-Verteilung in graphischen Rechnerverbundsystemen. 1980 1-137 TH Darmstadt
415 2020-02-12 books/daglib/0024108 Marcel Shirvanian Optimierung von Datenbanksystemen zur Verwaltung von Fuzzy-Daten. 2009 I-XXI, 1-367 Universität Münster http://www.dr.hut-verlag.de/978-3-86853-334-7.html,https://nbn-resolving.org/urn:nbn:de:101:1-20100222418,http://d-nb.info/1000373592
416 2016-11-18 books/daglib/0070063 Gerhard Weber 0002 Interaktive Dialogtechniken für blinde Rechnerbenutzer. 1989 1-151 University of Stuttgart, Germany http://d-nb.info/900137975
417 2019-10-10 books/daglib/0001184 Joachim F. Schreiber Ein für Hornklauselmengen lineares, allgemeines aussagenlogisches Beweisverfahren. 1996 1-163 Utz Bundeswehr University Munich, Neubiberg (Munich), Germany 978-3-931327-47-7 http://d-nb.info/947134301
418 2011-03-23 books/daglib/0017103 Mohamed Ibrahim Abouelhoda Algorithms and a software system for comparative genome analysis. 2005 I-IV, 1-191 Universität Ulm
419 2011-08-25 books/daglib/0027449 Stefan Oppl Unterstützung expliziter Articulation Work - Interaktive Externalisierung und Abstimmung mentaler Modelle. 2010 I-XXIX, 1-603 Universität Wien
420 2011-03-23 books/daglib/0070041 H.-Bernhard Paul DAS Datenbank-Kernsystem für Standard- und Nicht-Standard-Anwendungen - Architektur, Implementierung, Anwendungen. 1988 1-245 TH Darmstadt
421 2017-01-09 books/daglib/0081586 Frank Hönes Analyse von binären Dokumentbildern. 1995 1-216 Kaiserslautern University of Technology, Germany http://d-nb.info/945215533
422 2011-03-23 books/daglib/0008706 Michal Koutek Scientific visualization in virtual reality - interaction techniques and application development. 2003 I-IX, 1-251 ASCI dissertation 85 TU Delft
423 2017-01-06 books/daglib/0081207 Irene Stahl Das Einführen neuer Prädikate in der induktiven logischen Programmierung. 1995 1-204 University of Stuttgart, Germany http://d-nb.info/946125414
424 2020-01-30 books/daglib/0081597 Erich Rome Simulierte Gestalt-Erkennung in Präsentationsgrafiken. 1995 I-XXIV, 1-254 Infix DISKI 99 University of Bremen, Germany 978-3-89601-099-5 http://d-nb.info/94606024X
425 2020-01-30 books/daglib/0000573 Christian Drewniok Objektlokalisation durch Adaption parametrischer Grauwertmodelle und ihre Anwendung in der Luftbildauswertung. 1999 I-XX, 1-253 Infix DISKI 224 University of Hamburg, Germany 978-3-89601-224-1 http://d-nb.info/958115222
426 2020-01-30 books/daglib/0079806 Andreas Winzen Automatische Erzeugung dreidimensionaler Modelle für Bildanalysesysteme. 1995 1-225 Infix DISKI 89 University of Erlangen-Nuremberg, Germany 978-3-929037-89-0 http://d-nb.info/944682022
427 2019-07-10 books/daglib/0076783 Carlos Camarao de Figueiredo A proof system for a sequential object-based language. 1995 Technical report series 95-1-1 University of Manchester, UK
428 2017-01-09 books/daglib/0084004 Stefan Fuchs Prozessorzuteilung unter harten Realzeitanforderungen in dedizierten Systemen. 1995 I-X, 1-196 Karlsruhe Institute of Technology, Germany http://d-nb.info/947417869
429 2019-07-10 books/daglib/0072952 Kees G. W. Goossens Embedding hardware description languages in proof systems. 1993 I-VIII, 1-291 CST 100 University of Edinburgh, UK
430 2011-03-23 books/daglib/0072689 Stephan Naundorf Die Multiplikatoralgebra einer Banachalgebra mit approximativer Eins. 1993 1-129 Universität Paderborn
431 2011-03-23 books/daglib/0089722 Andrea Sattler-Klein A systematic study of infinite canonical systems generated by Knuth-Bendix completion and related problems. 1996 1-344 Universität Kaiserslautern
432 2020-02-12 books/daglib/0008642 Daniel Kröning Formal verification of pipelined microprocessors. 2001 I-XIV, 1-348 Saarland University, Saarbrücken, Germany http://scidok.sulb.uni-saarland.de/volltexte/2004/198/index.html,https://nbn-resolving.org/urn:nbn:de:bsz:291-scidok-1985,http://d-nb.info/964287560,http://d-nb.info/972324968
433 2011-03-23 books/daglib/0008664 Bernhard Sick Signalinterpretation mit neuronalen Netzen unter Nutzung von modellbasiertem Nebenwissen am Beispiel der Verschleißüberwachung von Werkzeugen in CNC-Drehmaschinen. 1999 I-X, 1-340 Universität Passau
434 2017-01-09 books/daglib/0079247 Philip Jacob Raytracing mit BSP-Volumen - ein globales, physikalisch-basiertes Beleuchtungsmodell. 1995 1-106 Kaiserslautern University of Technology, Germany http://d-nb.info/944233244
435 2020-01-30 books/daglib/0001786 Ulrich Kühler A tactic-based inductive theorem prover for data types with partial operations. 2000 I-XIV, 1-261 Infix DISKI 238 Kaiserslautern University of Technology, Germany 978-3-89838-238-0 http://d-nb.info/959144013
436 2017-05-03 books/daglib/0012809 J. M. Cadiou Recursive definitions of partial functions and their computations. 1972 I-V, 1-157 Stanford University
437 2020-02-12 books/daglib/0029567 Christine Körner Modeling Visit Potential of Geographic Locations Based on Mobility Data. 2012 I-XVIII, 1-260 Universität Bonn http://hss.ulb.uni-bonn.de/2012/2811/2811.htm,https://nbn-resolving.org/urn:nbn:de:hbz:5n-28110,http://d-nb.info/104391109X
438 2014-03-11 books/daglib/0032972 Jan Roters Incremental multi view 3D reconstruction with application to disaster management. 2013 I-VIII, 1-157 Universität Münster
439 2016-11-10 books/daglib/0070075 Michael Jonas Rechnerunterstützung für die Software-Entwicklung in maschinennahen Programmiersprachen. 1987 1-116 University of Stuttgart, Germany http://d-nb.info/890024588
440 2016-09-29 books/daglib/0093033 Peter Buhrmann Die virtuelle Universität - Konzept und Architektur am Beispiel der FernUniversität Hagen. 1997 I-VII, 1-156 Fernuniversität Hagen http://d-nb.info/953589188
441 2020-02-12 books/daglib/0033454 Stephan Salinger Ein Rahmenwerk für die qualitative Analyse der Paarprogrammierung. 2013 1-534 Universität Berlin http://www.diss.fu-berlin.de/diss/receive/FUDISS_thesis_000000094430,https://nbn-resolving.org/urn:nbn:de:kobv:188-fudissthesis000000094430-7,http://d-nb.info/1036638294,http://d-nb.info/1042381046
442 2020-02-12 books/daglib/0013923 Christian Bachmaier Circle planarity of level graphs. 2004 I-VI, 1-140 University of Passau, Germany http://www.opus-bayern.de/uni-passau/volltexte/2004/38/index.html,https://nbn-resolving.org/urn:nbn:de:bvb:739-opus-385,http://d-nb.info/973953985
443 2011-02-09 books/daglib/0022696 Andreas Henschel A structural classification of protein-protein interactions for detection of convergently evolved motifs and for prediction of protein binding sites on sequence level. 2008 I-XII, 1-219 Universität Dresden
444 2020-02-12 books/daglib/0022689 Ilias Michalarias Multidimensional data management in mobile environments. 2007 I-XVIII, 1-171 Free University of Berlin, Dahlem, Germany http://www.diss.fu-berlin.de/2007/861/index.html,https://nbn-resolving.org/urn:nbn:de:kobv:188-fudissthesis000000003318-7,http://d-nb.info/988131943,http://d-nb.info/988879093
445 2014-10-10 books/daglib/0071530 Osamu Watanabe 0001 On the structure of interactable complexity classes. 1987 I-IV, 1-115 Tokyo Inst. of Techn.
446 2017-01-18 books/daglib/0008240 Jochen Messner On the simulation order of proof systems. 2001 I-II, 1-110 University of Ulm, Germany http://d-nb.info/96535959X,http://d-nb.info/965359646
447 2011-03-23 books/daglib/0016519 Hendrik Pieter Barendregt Some extensional term models for combinatory logics and l - calculi. 1971 I-XXI, 1-140 Univ. Utrecht
448 2019-07-10 books/daglib/0088005 Uwe Michael Nimscheck Rendering for free form deformations. 1995 381 University of Cambridge, UK
449 2019-07-10 books/daglib/0086557 Morten Kyng Users and computers - a contextual approach to design of computer artifacts. 1996 1-48 DAIMI PB 507 Aarhus University, Denmark
450 2011-02-04 books/daglib/0024643 Werner Michael Dietl Universe Types - Topology, Encapsulation, Genericity, and Tools. 2009 I-XII, 1-196 Universität Zürich
451 2020-01-30 books/daglib/0097309 Bettina Berendt Representation and processing of knowledge about distances in environmental spaces - a computational model of inferred route distances investigating their qualitative and quantitative determinants. 1999 I-VII, 1-260 Infix DISKI 197 University of Hamburg, Germany 978-3-89601-197-8 http://d-nb.info/956026222
452 2019-06-18 books/daglib/0016517 Mats Carlsson Design and implementation of an or-parallel Prolog engine. 1990 RIT / KTH / TRITA-CS 9003 Royal Institute of Technology, Stockholm, Sweden
453 2011-03-24 books/daglib/0069935 Stefan Bier Optimierung eines Meßsystems zur Bestimmung der Oberflächendichte. 1991 I-III, 1-116 Universität Kaiserslautern
454 2020-02-12 books/daglib/0017759 Henrik Blunck Modelle und Algorithmen für mobile Datenobjekte und Umgebungen. 2006 I-VII, 1-193 University of Münster, Germany https://nbn-resolving.org/urn:nbn:de:hbz:6-20689454101,http://d-nb.info/982090374,http://d-nb.info/990527875
455 2017-07-18 books/daglib/0074454 Wolfgang Meyer 0002 Hierarchische Mehr-Ebenen-Fehlersimulation mit Modellen der Schalter-Ebene. 1994 1-141 Oldenbourg University of Paderborn, Germany 978-3-486-23214-1 http://d-nb.info/942624378,http://d-nb.info/942850041
456 2017-01-09 books/daglib/0075993 Thomas Kunz Abstract behaviour of distributed executions with applications to visualization. 1994 I-XXII, 1-180 Darmstadt University of Technology, Germany http://d-nb.info/941530167
457 2019-06-25 books/daglib/0019595 Hong Chen 0008 Individual mobile communication services and tariffs. 2008 I-XVI, 1-210 Erasmus research institute of management : ERIM University of Rotterdam, The Netherlands 978-90-5892-158-1
458 2020-01-30 books/daglib/0083714 Rainer Sprengel Entwurf und Analyse nichtlinearer Diffusionsverfahren für die Bildverarbeitung. 1996 I-VII, 1-221 Infix DISKI 123 University of Hamburg, Germany 978-3-89601-123-7 http://d-nb.info/947370684
459 2017-01-06 books/daglib/0076157 Klaus Reinhardt Prioritätszählerautomaten und die Synchronisation von Halbspursprachen. 1994 1-77 University of Stuttgart, Germany http://d-nb.info/942815718
460 2017-03-06 books/daglib/0070688 Andreas Flögel Resolution für quantifizierte Bool'sche Formeln. 1993 1-144 University of Paderborn, Germany http://d-nb.info/932017312
461 2017-01-13 books/daglib/0098213 Harald Hempel Boolean hierarchies - on collapse properties and query order. 1998 I-VIII, 1-114 University of Jena, Germany http://d-nb.info/955357306
462 2017-01-19 books/daglib/0004705 Meng Gan Design of congestion avoidance mechanisms for communication systems using computational-intelligence-based methods. 2001 I-XIII, 1-182 Karlsruhe Institute of Technology, Germany http://d-nb.info/962218022
463 2018-08-09 books/daglib/0091614 Markus Voß 0001 Systemobjektorientierte strukturierte Analyse und dienstorientierter Entwurf als Konstruktionsmethodik im Rahmen einer Informatiksystemtechnik. 1997 1-221 Universität Karlsruhe http://d-nb.info/951545051
464 2011-03-23 books/daglib/0002174 Michael A. Bender A functional framework for efficient web-based scientific visualization systems. 2000 1-119 Universität Kaiserslautern
465 2019-07-10 books/daglib/0094910 N. Asokan Fairness in electronic commerce. 1998 I-XIII, 1-145 Research report / RZ / IBM / IBM Research Division / Zürich Research Laboratory 3027 IBM
466 2017-01-16 books/daglib/0000492 Michael Jaedicke New Concepts for Parallel Object-Relational Query Processing. 1999 1-184 University of Stuttgart, Germany http://d-nb.info/958406758
467 2017-01-17 books/daglib/0098641 Achim Weigel Lexikalische Nachverarbeitung bei der computergestützten Erkennung von Wörtern. 1999 1-167 Kaiserslautern University of Technology, Germany http://d-nb.info/957513429
468 2016-11-11 books/daglib/0070145 Rüdiger Schuster Graphgrammatiken und Grapheinbettungen - Algorithmen und Komplexität. 1987 1-134 University of Passau, Germany http://d-nb.info/871450674
469 2019-07-10 books/daglib/0086894 Pietro Cenciarelli Computational applications of calculi based on monads. 1996 I-VI, 1-275 CST 127 University of Edinburgh, UK
470 2019-06-25 books/daglib/0084437 Dietmar Janetzko Knowledge tracking - a method to analyze cognitive structures. 1996 1-240 IIG-Berichte / Institut für Informatik und Gesellschaft der Albert-Ludwigs-Universität Freiburg i. Br. 2/96 University of Freiburg, Germany
471 2020-01-30 books/daglib/0005004 Alexander Kröner Adaptive layout of dynamic web pages. 2001 I-XXII, 1-238 Infix Akademische Verlagsgesellschaft DISKI 248 Saarland University, Saarbrücken, Germany 978-3-89838-248-9 http://d-nb.info/961007966,http://d-nb.info/962073644
472 2020-02-12 books/daglib/0020528 Sven Apel The role of features and aspects in software development: similarities, differences, and synergetic potential. 2007 I-XVII, 1-147 Otto-von-Guericke University Magdeburg, Germany 978-3-8364-3344-0 http://diglib.uni-magdeburg.de/Dissertationen/2007/sveapel.htm,https://nbn-resolving.org/urn:nbn:de:101:1-201010181543,http://d-nb.info/983822743,http://d-nb.info/984206388,http://d-nb.info/986656755
473 2011-03-23 books/daglib/0087663 Philipp Sünderhauf Discrete approximation of spaces - a uniform approach to topologically structured datatypes and their function spaces. 1994 I-II, 1-89 TH Darmstadt
474 2016-11-30 books/daglib/0068987 Thomas Worsch Komplexitätstheoretische Untersuchungen an myopischen Polyautomaten. 1990 I-V, 1-173 Braunschweig University of Technology, Germany http://d-nb.info/910936293
475 2017-01-06 books/daglib/0077822 Birgit Tausend Beschränkungen der Hypothesensprache und ihre Repräsentation in der induktiven logischen Programmierung. 1994 1-226 University of Stuttgart, Germany http://d-nb.info/943843588
476 2020-01-30 books/daglib/0076468 Ute Schmid Erwerb rekursiver Programmiertechniken als Induktion von Konzepten und Regeln - ein kognitionswissenschaftlicher Zugang zum Erwerb kognitiver Fertigkeiten. 1994 1-165 Infix DISKI 70 Technical University of Berlin, Germany 978-3-929037-70-8 http://d-nb.info/942715241,http://d-nb.info/942941373
477 2016-09-29 books/daglib/0093028 Thomas Kretzberg Spezifikation und Generierung anwendungsspezifischer Programmierschnittstellen in der STEP-Produktdatentechnologie. 1997 1-218 Fernuniversität Hagen http://d-nb.info/951571397
478 2011-03-23 books/daglib/0019252 Görschwin Fey Increasing robustness and usability of circuit design tools by using formal techniques. 2006 I-VIII, 1-164 Universität Bremen
479 2017-01-19 books/daglib/0008636 Alexander Knapp A formal approach to object-oriented software engineering. 2000 I-X, 1-180 Shaker Ludwig Maximilian University of Munich, Germany 978-3-8265-8575-3 http://d-nb.info/960956042
480 2011-03-23 books/daglib/0071525 Annette Markfort Die Konjugationsdarstellung lokalkompakter Gruppen. 1993 1-90 Universität Paderborn
481 2019-07-09 books/daglib/0071604 Clare Dixon A graph-based appproach to resolution in temporal logic. 1993 Technical report series 93-9-2 University of Manchester, UK
482 2016-09-30 books/daglib/0093027 Andreas Voigtmann An object-oriented database Kernel for spatio-temporal geo-applications. 1997 I-IX, 1-260 Universität Münster http://d-nb.info/953213943
483 2019-07-25 books/daglib/0081364 Thomas Müller 0012 Effiziente Verfahren zur Befehlsanordnung. 1995 1-129 Karlsruhe Institute of Technology, Germany http://d-nb.info/944891322
484 2017-01-17 books/daglib/0001362 Jan Vahrenhold External memory algorithms for geographic information systems. 1999 I-IX, 1-165 University of Münster, Germany http://d-nb.info/958408076
485 2016-11-10 books/daglib/0070051 Dieter Maurer Relevanzanalyse - eine Kombination von Striktheits- und Datenflußanalyse zur effizienten Auswertung funktionaler Programme. 1987 I-II, 1-240 Saarland University, Saarbrücken, Germany http://d-nb.info/890106924
486 2016-11-28 books/daglib/0069937 Rolf Bahlke Effiziente Implementierung einer funktionalen Sprache zur Definition ausführbarer denotationaler Semantik. 1990 1-145 Darmstadt University of Technology, Germany http://d-nb.info/901297690
487 2016-11-16 books/daglib/0008872 Jürgen Fuchs Klassische und objektorientierte Speicherungsorganisationen und Zugriffspfade für ein semantisches Datenbankmodell. 1989 1-239 Clausthal University of Technology, Clausthal-Zellerfeld, Lower Saxony, Germany http://d-nb.info/891429123
488 2020-02-12 books/daglib/0020551 Jürgen Krämer Continuous queries over data stream - semantics and implementation. 2007 I-XXII, 1-291 University of Marburg, Germany http://archiv.ub.uni-marburg.de/diss/z2007/0671/,https://nbn-resolving.org/urn:nbn:de:hebis:04-z2007-06717,http://d-nb.info/986091545,http://d-nb.info/986373060
489 2011-03-23 books/daglib/0012766 François Rodriguez Cones d'accepteurs application a l'etude d'une hierarchie infinie de cones rationnels de langages d'accepteurs verificateurs. 1973 I-V, 1-101 Univ. Toulouse
490 2020-01-30 books/daglib/0006120 Matthias Wulf On modeling the spatiotemporal processing characteristics of the retina. 2002 I-XXXVI, 1-316 Infix Akademische Verlagsgesellschaft DISKI 254 University of Hamburg, Germany 978-3-89838-254-0 http://d-nb.info/963734547
491 2016-10-21 books/daglib/0008865 Martin Glinz Eine datengesteuerte Datenbankmaschine auf der Grundlage eines funktionalen Datenbankmodells. 1982 I-V, 1-85 RWTH Aachen University, Germany http://d-nb.info/830929126
492 2020-02-12 books/daglib/0009852 Olaf Spinczyk Aspektorientierung und Programmfamilien im Betriebssystembau. 2002 I-X, 1-196 Otto-von-Guericke University Magdeburg, Germany http://diglib.uni-magdeburg.de/Dissertationen/2003/olaspinczyk.htm,https://nbn-resolving.org/urn:nbn:de:101:1-201010122567,http://d-nb.info/966610970,http://d-nb.info/967095743
493 2020-02-12 books/daglib/0076478 Ralf Treinen Modulare Datentypdefinitionen und ihre Beziehungen zur Logik erster Stufe. 1991 1-161 Saarland University, Saarbrücken, Germany http://scidok.sulb.uni-saarland.de/volltexte/2004/318/index.html,https://nbn-resolving.org/urn:nbn:de:bsz:291-scidok-3188,http://d-nb.info/920654312,http://d-nb.info/972341528
494 2020-01-30 books/daglib/0080396 Gabriele Schmidt Modellbasierte, interaktive Wissensakquisition und Dokumentation von Domänenwissen (MIKADO). 1995 I-XI, 1-241 Infix DISKI 90 Kaiserslautern University of Technology, Germany 978-3-89601-090-2 http://d-nb.info/945157096
495 2016-11-16 books/daglib/0070165 Wolfgang Dolezol Analyse des Äquivalenzbegriffs von CIRCAL im Hinblick auf die Implementierung eines Verifikationssystems. 1989 1-101 Julius Maximilians University Würzburg, Germany http://d-nb.info/891403116
496 2016-04-13 books/daglib/0027443 Sven Lahde Dynamic Network Selection for Optimized Use of Mobile Internet. 2010 I-XVI, 1-292 University of Braunschweig - Institute of Technology 978-3-8325-2767-9 http://d-nb.info/1009698311
497 2016-11-10 books/daglib/0069993 Werner Filip Analyse von Rechensystemen mit zwei Auftragsklassen und beliebigen Bedienungszeiten. 1986 1-66 Darmstadt University of Technology, Germany http://d-nb.info/871528312
498 2016-11-15 books/daglib/0070160 Matthias Reichling Entdeckung eines gemeinsamen Schnitts von k konvexen Objekten. 1988 1-71 Julius Maximilians University Würzburg, Germany http://d-nb.info/881298107
499 2021-03-29 books/daglib/0013922 Marcus Apel A 3d geoscience information system framework. 2004 I-VIII, 1-94 TU Freiberg https://tel.archives-ouvertes.fr/tel-01750010
500 2017-01-06 books/daglib/0076672 Paolo Santarelli Glättungskriterien und Algorithmen zum Modellieren von Kurven und Oberflächen. 1994 1-98 Kaiserslautern University of Technology, Germany http://d-nb.info/942157710
501 2020-02-12 books/daglib/0078957 Dominik Henrich Lastverteilung für feinkörnig parallelisiertes Branch-and-Bound. 1995 1-124 Infix DISKI 83 Karlsruhe Institute of Technology, Germany 978-3-929037-83-8 http://digbib.ubka.uni-karlsruhe.de/volltexte/42395,https://nbn-resolving.org/urn:nbn:de:swb:90-AAA423956,http://d-nb.info/944180833,http://d-nb.info/1007877960
502 2017-01-11 books/daglib/0008653 Werner Nutt-Wahlmann Algorithms for constraints in deduction and knowledge representation. 1994 I-XVI, 1-193 Saarland University, Saarbrücken, Germany http://d-nb.info/942644883
503 2019-06-19 books/daglib/0008291 Thomas Wischgoll Closed streamlines in flow visualization. 2002 Schriftenreihe / Fachbereich Informatik, Universität Kaiserslautern 8 University of Kaiserslautern, Germany
504 2016-11-17 books/daglib/0016515 Rita Loogen Parallele Implementierung funktionaler Programmiersprachen. 1989 I-II, 1-305 RWTH Aachen University, Germany http://d-nb.info/891490809
505 2016-12-21 books/daglib/0073951 Frank Buijs Automating the logic synthesis of arithmetic-logic-units. 1993 I-X, 1-136 University of Paderborn, Germany http://d-nb.info/942339762
506 2011-03-23 books/daglib/0072673 Gerd Kachel Kontextobjektmodell für Entwurfsanwendungen. 1992 1-198 Universität Paderborn
507 2020-01-30 books/daglib/0080401 Ute Gappa Grafische Wissensakquisitionssysteme und ihre Generierung. 1995 1-391 Infix DISKI 100 Karlsruhe Institute of Technology, Germany 978-3-89601-100-8 http://d-nb.info/945245963
508 2019-06-18 books/daglib/0020722 Martin Ziegler 0001 Real computability and hypercomputation. 2007 1-160 Technischer Bericht : Reihe Informatik 07-285 University of Paderborn, Germany
509 2019-07-09 books/daglib/0071702 Emily P. Friedman Deterministic languages and monadic recursion schemes. 1974 TR 24-74 Harvard University
510 2016-11-14 books/daglib/0070073 Klaus Klöpfer Ein multifunktionaler Büroarbeitsplatz für Blinde. 1987 I-VI, 1-205 University of Stuttgart, Germany http://d-nb.info/880916435
511 2017-01-06 books/daglib/0069676 Horst Schürmann Automatische Personenerkennung durch biometrische Merkmale mit Hilfe neuronaler Netze. 1993 I-III, 1-129 Kaiserslautern University of Technology, Germany http://d-nb.info/930906772
512 2017-01-12 books/daglib/0083730 Rodrigo Readi Nasser Ein Beweisverfahren für die Prädikatenlogik. 1996 1-71 Kaiserslautern University of Technology, Germany http://d-nb.info/948026693
513 2017-01-12 books/daglib/0083731 Gerd Gouverneur Korrekter Entwurf und Verifikation verteilter Systeme - the temporal logic of transitions, ein unterstützender Rahmen. 1996 1-134 Kaiserslautern University of Technology, Germany http://d-nb.info/948184582
514 2019-03-19 books/daglib/0079250 Klaus Becker 0002 Rewrite operationalization of clausal specifications with predefined structures. 1994 I-V, 1-247 Kaiserslautern University of Technology, Germany http://d-nb.info/943776643
515 2017-01-17 books/daglib/0008665 Jürgen Schlegelmilch Konzepte für eine persistente Programmiersprache. 1999 I-XII, 1-254 University of Rostock, Germany http://d-nb.info/962099201
516 2017-01-06 books/daglib/0069580 Erik S. Rieger Analytische Lösung von diskreten Einbedienersystemen mit Semi-Markov Ankünften. 1992 I-II, 1-63 Darmstadt University of Technology, Germany http://d-nb.info/931142679
517 2020-01-30 books/daglib/0076472 Friedrich Mädler Problemzerlegung durch Nadelöhrmengen - ein modellbasierter Ansatz zur Akquisition von Kontrollwissen für Planungssysteme. 1994 I-III, 1-280 Infix DISKI 74 University of Osnabrück, Germany 978-3-929037-74-6 http://d-nb.info/942663829
518 2020-01-30 books/daglib/0083193 Xiaorong Huang Human oriented proof presentation - a reconstructive approach. 1996 1-174 Infix DISKI 112 Saarland University, Saarbrücken, Germany 978-3-89601-112-1 http://d-nb.info/945006306,http://d-nb.info/946711208
519 2020-01-30 books/daglib/0094739 Wolfgang Pohl Logic-based representation and reasoning for user modeling shell systems. 1998 I-XIV, 1-251 Infix DISKI 188 University of Duisburg-Essen, Germany 978-3-89601-188-6 http://d-nb.info/954300173
520 2020-02-12 books/daglib/0038703 Waltraut Dietlind Zühlke Vector quantization based learning algorithms for mixed data types and their application in cognitive support systems for biomedical research. 2012 I-XXI, 1-253 Atto Producties Europe University of Groningen, The Netherlands 978-90-9027048-7 http://publica.fraunhofer.de/eprints/urn_nbn_de_0011-n-2173388.pdf,https://nbn-resolving.org/urn:nbn:de:0011-n-2173388
521 2016-10-21 books/daglib/0008854 Manfred Schnitzler Untersuchungen zur Komplexität des Graphenisomorphie-Problems mit Hilfe von Graph-Grammatiken. 1982 1-137 RWTH Aachen University, Germany http://d-nb.info/830929088
522 2017-01-05 books/daglib/0075992 Ali-Said Memar Zahedani Hardware-Unterstützung für Smalltalk-80. 1994 I-IX, 1-197 Darmstadt University of Technology, Germany http://d-nb.info/943086094
523 2020-12-07 books/daglib/0033468 Bernd-Christian Renner Sustained Operation of Sensor Nodes with Energy Harvesters and Supercapacitors. 2013 I-VIII, 1-172 Universität Hamburg-Harburg http://www.bod.de/index.php?id=296&objk_id=992449
524 2020-01-30 books/daglib/0085919 Thomas Rist Wissensbasierte Verfahren für den automatischen Entwurf von Gebrauchsgraphik in der technischen Dokumentation. 1996 I-X, 1-353 Infix DISKI 139 Saarland University, Saarbrücken, Germany 978-3-89601-139-8 http://d-nb.info/94686781X,http://d-nb.info/949563498
525 2016-11-16 books/daglib/0070049 Uwe Deppisch Signaturen in Datenbanksystemen. 1989 1-215 Darmstadt University of Technology, Germany http://d-nb.info/900826177
526 2019-06-18 books/daglib/0003846 Kerstin Buchacker Definition und Auswertung erweiterter Fehlerbäume für die Zuverlässigkeitsanalyse technischer Systeme. 2000 I-IX, 1-169 Arbeitsberichte des Department Informatik / Friedrich-Alexander-Universität Erlangen-Nürnberg 33,3 University of Erlangen, Germany
527 2019-07-10 books/daglib/0092544 Stefan Kindermann 0003 Strukturbasierte Programmgenerierung für massiv parallele Rechensysteme. 1997 Arbeitsberichte des Department Informatik / Friedrich-Alexander-Universität Erlangen-Nürnberg 30,5 University of Erlangen, Germany
528 2016-11-30 books/daglib/0070083 Christoph Welsch Integration von Konzepten der objektorientierten und logischen Programmierung. 1990 I-III, 1-194 University of Stuttgart, Germany http://d-nb.info/910707340
529 2019-07-09 books/daglib/0035682 Markus Lanthaler Third Generation Web APIs - Bridging the Gap between REST and Linked Data. 2014 I-IX, 1-204 University of Graz, Austria
530 2011-03-23 books/daglib/0092070 Martin Reczko Künstliche neuronale Netzwerke in der Molekularbiologie. 1996 1-112 Universität Stuttgart
531 2016-12-01 books/daglib/0070074 Thomas Knopik Methoden des maschinellen Lernens für den interaktiven Wissenserwerb. 1991 1-157 University of Stuttgart, Germany http://d-nb.info/920653839
532 2017-01-09 books/daglib/0073760 Dietrich Kuske Modelle nebenläufiger Prozesse - Monoide, Residuensysteme und Automaten. 1993 1-170 University of Duisburg-Essen, Germany http://d-nb.info/941507181
533 2017-01-06 books/daglib/0087982 Hermann Strack Sicherheitsmodellierung und Zugriffskonstrolle in verteilten Systemen - digitale Mehrparteien-Zertifizierung (MPZ) für mehrparteiengerechte Systemsicherheit. 1995 I-IV, 1-186 Karlsruhe Institute of Technology, Germany http://d-nb.info/950339733
534 2016-11-15 books/daglib/0069963 Rüdiger Buck-Emden Datenverwaltung in vektorraumorientierten Information-Retrieval-Systemen unter spezieller Berücksichtigung laser-optischer Plattenspeicher. 1988 1-140 Braunschweig University of Technology, Germany http://d-nb.info/881434299,http://d-nb.info/94643784X
535 2020-01-30 books/daglib/0079809 Stefan Jockusch Modellierung und Manipulation von Bild- und Grafikdaten mit neuronalen Netzen. 1995 1-159 Infix DISKI 92 Bielefeld University, Germany 978-3-89601-092-6 http://d-nb.info/944685196
536 2019-06-18 books/daglib/0008674 Anne Wiesler Parametergesteuertes Software Radio für Mobilfunksysteme. 2001 I-XIV, 1-204 Forschungsberichte aus dem Institut für Werzeugmaschinen und Betriebstechnik der Universität Karlsruhe 4 University/TH Karlsruhe, Germany
537 2020-02-12 books/daglib/0035679 Franziska Hufsky Novel methods for the analysis of small molecule fragmentation mass spectra. 2014 I-XII, 1-101 Universität Jena http://www.db-thueringen.de/servlets/DocumentServlet?id=24217,https://nbn-resolving.org/urn:nbn:de:gbv:27-20140605-133424-8,http://d-nb.info/1052020453
538 2017-01-06 books/daglib/0083529 Markus Schneider 0001 Spatial data types for database systems. 1995 I-VII, 1-220 University of Hagen, Germany http://d-nb.info/948108908
539 2016-11-03 books/daglib/0070162 Jürgen Kimmel Optimierung relationen-algebraischer Anfragen. 1985 1-127 Julius Maximilians University Würzburg, Germany http://d-nb.info/850967791
540 2017-01-16 books/daglib/0096016 Thomas Kamps A constructive theory for diagram design and its algorithmic implementation. 1999 1-198 Darmstadt University of Technology, Germany http://d-nb.info/957220499
541 2017-01-09 books/daglib/0068995 Wolfgang Käfer Geschichts- und Versionsmodellierung komplexer Objekte - Anforderungen und Realisierungsmöglichkeiten am Beispiel des NDBS PRIMA. 1992 1-267 Kaiserslautern University of Technology, Germany http://d-nb.info/921477406
542 2011-02-09 books/daglib/0020556 Jürg Wullschleger Oblivious-transfer amplification. 2008 I-XII, 1-113 Universität Zürich
543 2020-01-30 books/daglib/0001381 Kristina Schädler Die Ermittlung struktureller Ähnlichkeit und struktureller Merkmale bei komplexen Objekten - ein konnektionistischer Ansatz und seine Anwendungen. 2000 I-XIII, 1-182 Infix DISKI 228 Technical University of Berlin, Germany 978-3-89838-228-1 http://d-nb.info/958746532
544 2017-01-11 books/daglib/0008868 Hermann Puhlmann Die Snack-Potenzkonstruktion - Grundlage einer Semantik genesteter Datenbanken. 1995 1-88 Darmstadt University of Technology, Germany http://d-nb.info/945830076
545 2019-06-18 books/daglib/0003849 Roman Hodeck Synchronisation von Dateibäumen mit Hilfe von Graphtransformationssystemen. 2001 Arbeitsberichte des Department Informatik / Friedrich-Alexander-Universität Erlangen-Nürnberg 34,2 University of Erlangen, Germany
546 2020-02-12 books/daglib/0032973 Dimitar Valkov Multi-touch interaction with stereoscopically rendered 3D objects. 2013 I-XVIII, 1-117 University of Münster, Germany https://nbn-resolving.org/urn:nbn:de:hbz:6-34319469090,http://d-nb.info/113828260X
547 2019-01-09 books/daglib/0017058 André Neubauer 0002 Virtual endoscopy for preoperative planning and training of endonasal transsphenoidal pituitary surgery. 2005 1-152 Universität Wien
548 2019-12-06 books/daglib/0017110 Thomas Gärtner 0001 Kernels for structured data. 2005 I-XII, 1-160 University of Bonn, Germany http://d-nb.info/978965159
549 2020-03-12 books/daglib/0032970 Tim Strazny An algorithmic framework for checking coverability in well-structured transition systems. 2014 I-XXIII, 1-318 Berichte aus dem Department für Informatik / Universität Oldenburg / Fachbereich Informatik 01/14 Universität Oldenburg http://csd.informatik.uni-oldenburg.de/~skript/pub/diss/strazny-phdthesis-roterbericht.pdf,http://d-nb.info/1047618044
550 2017-01-06 books/daglib/0069043 Jürgen Strauß Die Falsifikation von Programmrelationen durch den Vergleich von Simulationsergebnissen. 1992 1-119 University of Paderborn, Germany http://d-nb.info/930936108
551 2012-06-01 books/daglib/0029117 Bernhard Kainz Ray-based Image Generation for Advanced Medical Applications. 2011 I-XXIII, 1-213 Universität Graz
552 2016-12-01 books/daglib/0070135 Alexander G. Hirschbiel Novel processor architecture based on auto data sequencing and low level parallelism. 1991 1-228 Kaiserslautern University of Technology, Germany http://d-nb.info/910962316
553 2016-11-15 books/daglib/0016507 Ulrich Löwen Optimierung von logischen Formeln in Hinblick auf Herleitungsfragen. 1988 1-114 University of Duisburg, Germany http://d-nb.info/891234144
554 2017-01-06 books/daglib/0090599 Andreas Winckler Kontext-sensitive Lastbalancierung. 1994 1-166 University of Stuttgart, Germany http://d-nb.info/941102319
555 2020-02-12 books/daglib/0033457 Robert Isele Learning expressive linkage rules for entity matching using genetic programming. 2013 I-VI, 1-216 Universität Mannheim https://ub-madoc.bib.uni-mannheim.de/33418,https://nbn-resolving.org/urn:nbn:de:bsz:180-madoc-334182,http://d-nb.info/1038671809,http://d-nb.info/1042541779
556 2020-02-12 books/daglib/0083983 Michael Bertol Effiziente Normalform-Algorithmen für Ersetzungssysteme über frei partiell kommutativen Monoiden. 1996 I-VIII, 1-114 University of Stuttgart, Germany http://elib.uni-stuttgart.de/opus/volltexte/1999/4/pdf/4.pdf,https://nbn-resolving.org/urn:nbn:de:bsz:93-opus-40,http://d-nb.info/947813195,http://d-nb.info/956945783
557 2016-11-10 books/daglib/0070062 Hubert D. Kirrmann Method for the design of embedded fault-tolerant computers for process control and design example. 1986 Diss. ETH 8152 Swiss Federal Institute of Technology,ETH Zurich, Zürich, Switzerland http://d-nb.info/947577998
558 2017-01-05 books/daglib/0070048 Alfred Zimmermann Wissensbasierte Umgebung für aktivitätsabhängiges exploratorisches Lernen. 1993 I-IV, 1-184 University of Stuttgart, Germany http://d-nb.info/931998573
559 2020-01-30 books/daglib/0001380 Marc Fuchs Relevancy-based use of lemmas in connection tableau calculi. 2000 1-239 Infix DISKI 227 Technical University Munich, Germany 978-3-89838-227-4 http://d-nb.info/958746656
560 2018-03-05 books/daglib/0096833 Ulrich Kühn 0001 Lokale Eigenschaften in der algorithmischen Geometrie mit Anwendungen in der Parallelverarbeitung. 1998 I, 1-116 University of Münster, Germany http://d-nb.info/95612108X
561 2017-11-30 books/daglib/0002173 Bernhard Iselborn Integration von Freiformgeometrien in verteilte CAx-Systeme. 1999 I-VI, 1-184 Kaiserslautern University of Technology, Germany http://d-nb.info/959443649
562 2020-01-30 books/daglib/0001785 Till Brychy Modellierung dynamischer Systeme mit vorstrukturierten neuronalen Netzen. 2000 I-IV, 1-112 Infix DISKI 229 Technical University Munich, Germany 978-3-89838-229-8 http://d-nb.info/959143858
563 2020-03-12 books/daglib/0024645 Ingo Mierswa Non-Convex and Multi-Objective Optimization in Data Mining - Non-Convex and Multi-Objective Optimization for Statistical Learning and Numerical Feature Engineering. 2009 1-264 Technical University of Dortmund, Germany http://eldorado.tu-dortmund.de:8080/bitstream/2003/26104/1/dissertation_mierswa.pdf,https://nbn-resolving.org/urn:nbn:de:hbz:290-2003/26104-1,http://d-nb.info/997411031
564 2011-03-24 books/daglib/0070164 Hugo Heusinger Cluster-Verfahren für Mengen geometrischer Objekte. 1989 1-113 Universität Würzburg
565 2017-01-09 books/daglib/0079248 Stefanie Hahmann Stabilitäts- und Qualitätsanalyse von Freiformflächen. 1994 I-II, 1-130 Kaiserslautern University of Technology, Germany http://d-nb.info/943783488
566 2020-01-30 books/daglib/0077163 Jianwei Zhang 0001 Ein integriertes Verfahren zur effizienten Planung und Ausführung von Roboterbewegungen in unscharfen Umgebungen. 1995 1-160 Infix DISKI 77 Karlsruhe Institute of Technology, Germany 978-3-929037-77-7 http://d-nb.info/943241103
567 2017-01-06 books/daglib/0068991 Xinglin Wu An approach to support interoperable systems - the meta-level description of type transformation. 1992 I-V, 1-170 University of Hagen, Germany http://d-nb.info/930630351
568 2020-01-30 books/daglib/0076467 Bernd S. Müller PPO, eine objektorientierte Prolog-Erweiterung zur Entwicklung wissensbasierter Anwendungssysteme. 1994 I-XIV, 1-244 Infix DISKI 69 University of Oldenburg, Germany 978-3-929037-69-2 http://d-nb.info/941247392,http://d-nb.info/942646541
569 2020-02-12 books/daglib/0027446 Manja Lohse Investigating the influence of situations and expectations in user behavior - empirical analysis in human-robot interaction. 2010 I-X, 1-205 Bielefeld University http://bieson.ub.uni-bielefeld.de/volltexte/2010/1686/index.html,https://nbn-resolving.org/urn:nbn:de:hbz:361-16861,http://d-nb.info/1004465882
570 2019-07-09 books/daglib/0076216 Johan Boye Dependency-based groundness analysis of functional logic programs. 1993 1-64 Linköping studies in science and technology thesis 398 Linköping University, Sweden
571 2016-12-01 books/daglib/0070032 Dagmar Köhler Konsistenzsicherung in graphischen Anwendungen. 1991 Darmstadt University of Technology, Germany http://d-nb.info/921041055
572 2020-03-12 books/daglib/0033463 Amr Rizk Non-asymptotic performance evaluation and sampling-based parameter estimation for communication networks with long memory traffic. 2013 I-XIII, 1-122 Universität Hannover http://edok01.tib.uni-hannover.de/edoks/e01dh13/768163870.pdf,https://nbn-resolving.org/urn:nbn:de:gbv:089-7681638702,http://d-nb.info/1044693703,http://d-nb.info/1044738316
573 2017-01-19 books/daglib/0003844 Andreas Tenhagen Optimierung von Fuzzy-Entscheidungssystemen mittels konnektionistischer Methoden. 2000 I-IV, 1-144 University of Münster, Germany http://d-nb.info/961141786
574 2020-02-12 books/daglib/0010388 Frank Wittig Maschinelles Lernen Bayes'scher Netze für benutzeradaptive Systeme. 2003 I-XIII, 1-219 Infix Akademische Verlagsgesellschaft DISKI 267 Saarland University, Saarbrücken, Germany 978-3-89839-267-9 http://scidok.sulb.uni-saarland.de/volltexte/2004/247/index.html,https://nbn-resolving.org/urn:nbn:de:bsz:291-scidok-2472,http://d-nb.info/967754720,http://d-nb.info/967881889,http://d-nb.info/972323384
575 2020-02-12 books/daglib/0029118 Christian Wachinger Ultrasound Mosaicing and Motion Modeling - Applications in Medical Image Registration. 2011 I-XII, 1-251 Universität München https://nbn-resolving.org/urn:nbn:de:bvb:91-diss-20110913-1070775-1-8,http://d-nb.info/1015628168,http://d-nb.info/101767194X
576 2019-07-09 books/daglib/0073635 Brian H. Larose The development and implementation of a performance database server. 1993 CS / Technical report / Knoxville / University of Tennessee / Computer Science Department 93-195 University of Knoxville, TN, USA
577 2016-12-01 books/daglib/0070123 Weixia Yan 1991 1-179 Kaiserslautern University of Technology, Germany http://d-nb.info/920420508
578 2020-02-12 books/daglib/0037287 Sven Strothoff Multi-touch selection and interaction on and above the surface. 2015 I-XVI, 1-139 Universität Münster https://nbn-resolving.org/urn:nbn:de:hbz:6-88289626435
579 2011-03-24 books/daglib/0072676 Torsten Köhler Technikwissenschaftliche Wissensproduktion durch Wissenstransformation - eine erkenntnistheoretische Untersuchung. 1991 1-12 TU Chemnitz
580 2020-01-30 books/daglib/0099122 Kathleen Steinhöfel Stochastic algorithms in scheduling theory. 1999 I-X, 1-134 Infix DISKI 218 Technical University of Berlin, Germany 978-3-89601-218-0 http://d-nb.info/957771614
581 2019-07-10 books/daglib/0099055 Matthias Bollhöfer Algebraic domain decomposition. 1998 I-VIII, 1-190 Preprint SFB 393 / Technische Universität Chemnitz - Zwickau 98-31 TU Chemnitz, Germany
582 2020-03-12 books/daglib/0024650 Diem-Thu Trinh XML Functional Dependencies Based on Tree Homomorphisms. 2009 I-XVI, 1-179 Clausthal University of Technology, Clausthal-Zellerfeld, Lower Saxony, Germany 978-3-942216-26-5 http://www.gbv.de/dms/clausthal/E_DISS/2010/db109829.pdf,https://nbn-resolving.org/urn:nbn:de:gbv:104-1098296,http://d-nb.info/1004172427,http://d-nb.info/1005511322
583 2020-01-30 books/daglib/0085923 Daniel Polani Adaption der Topologie von Kohonen-Karten durch genetische Algorithmen. 1996 I-XII, 1-224 Infix DISKI 143 University of Mainz, Germany 978-3-89601-143-5 http://d-nb.info/949564087
584 2011-03-23 books/daglib/0091920 Markus Buchberger Eine echtzeitfähige, reflexive Kollisionsvermeidung mit starker Bindung an eine Referenzbahn für einen autonomen mobilen Roboter. 1996 I-IX, 1-159 Universität Kaiserslautern
585 2019-06-18 books/daglib/0018700 Avaro Garcia Neto Distributed simulation using relaxed timing. 1991 1-276 Technical report series : UMCS 91-2-1 University of Manchester, UK
586 2017-01-10 books/daglib/0073655 Thomas Liedtke Rechnergestützte Anwendung der allgemeinen Intermittent-Assertion-Methode auf while-Konstrukte. 1993 I-XIV, 1-153 University of Stuttgart, Germany http://d-nb.info/941558371
587 2016-12-15 books/daglib/0082148 Frank Bäumlisberger Berechnung von Gewichtsverteilungen bei primitiven binären Bose-Chaudhuri-Hocquenghem Codes. 1995 1-43 Darmstadt University of Technology, Germany http://d-nb.info/946845689
588 2016-12-06 books/daglib/0024649 Judith Winter XML Information Retrieval in Verteilten Systemen. 2009 Goethe University Frankfurt, Frankfurt am Main, Germany http://d-nb.info/996973052,http://d-nb.info/997006048
589 2017-01-09 books/daglib/0072850 Hermann-Josef Kaufmann EDIS - eine objektorientierte Software-Architektur für graphische Editoren. 1993 1-142 University of Paderborn, Germany http://d-nb.info/940949822
590 2016-11-30 books/daglib/0070155 Reinhard Reisig Testmusterbeschaffung aus algorithmischen Beschreibungen. 1990 1-169 University of Paderborn, Germany http://d-nb.info/910987572
591 2016-12-06 books/daglib/0019255 Christian Werner Optimierte Protokolle für Web Services mit begrenzten Datenraten. 2006 I-XV, 1-201 Logos-Verlag University of Lübeck, Germany 978-3-8325-1409-9 http://d-nb.info/983704449,http://d-nb.info/985208988
592 2016-11-15 books/daglib/0070133 Manfred Schmidt-Schauß Computational aspects of an order-sorted logic with term declarations. 1988 1-226 Kaiserslautern University of Technology, Germany http://d-nb.info/890986460
593 2011-03-23 books/daglib/0012757 Joffroy Beauquier Contribution a l'etude de la complexite structurelle des langages algebriques. 1977 1-161 Univ. Paris VII
594 2020-01-30 books/daglib/0086230 Georg Näger Constraint-Netze als Grundlage für Bottom-up Planungsansätze in der Unternehmensmodellierung. 1997 I-IV, 1-191 Infix DISKI 146 Karlsruhe Institute of Technology, Germany 978-3-89601-146-6 http://d-nb.info/949564036
595 2017-01-06 books/daglib/0077540 Heinrich Rust Zur Komplexität von Überführungsfunktionen in Zellularräumen. 1993 1-256 Karlsruhe Institute of Technology, Germany http://d-nb.info/931416191
596 2017-01-09 books/daglib/0068997 Rainer Gerten System-Entwurfsgraphen - Definition und Verfahren. 1993 1-217 Kaiserslautern University of Technology, Germany http://d-nb.info/930905768
597 2017-01-11 books/daglib/0070157 Oliver Najmann Techniques and heuristics for acquiring symbolic knowledge from examples. 1992 I-II, 1-222 University of Paderborn, Germany http://d-nb.info/921171064
598 2011-03-23 books/daglib/0069361 Dietmar Wagner Analyse von Mehrbediener-Prioritätensystemen mit semimarkovschen Ankunftsprozessen und phasenverteilten Bedienzeiten. 1992 1-69 TH Darmstadt
599 2020-01-30 books/daglib/0089699 Andreas Arning Fehlersuche in großen Datenmengen unter Verwendung der in den Daten vorhandenen Redundanz. 1997 I-IX, 1-232 Infix DISKI 161 University of Osnabrück 978-3-89601-161-9 http://d-nb.info/950967971
600 2011-02-03 books/daglib/0024692 Andreas Riener Sensor-actuator supported implicit interaction in driver assistance systems. 2009 1-328 Universität Linz
601 2020-02-12 books/daglib/0019254 Erik Buchmann Erkennung und Vermeidung von unkooperativem Verhalten in Peer-to-Peer-Datenstrukturen. 2006 I-VI, 1-159 Otto-von-Guericke University Magdeburg, Germany http://diglib.uni-magdeburg.de/Dissertationen/2006/eribuchmann.htm,https://nbn-resolving.org/urn:nbn:de:101:1-201010181053,http://d-nb.info/980695139,http://d-nb.info/980774632
602 2017-01-11 books/daglib/0078938 Ivan J. Morschel Ein integriertes wissensbasiertes Tutorsystem für die Ausbildung in objektorientierter Programmierung. 1995 1-126 University of Stuttgart, Germany http://d-nb.info/944233627
603 2020-01-30 books/daglib/0075539 Klaus Grebner Wissensbasierte Entwicklungsumgebung für Bildanalysesysteme aus dem industriellen Bereich. 1994 1-159 Infix DISKI 64 Bielefeld University, Germany 978-3-929037-64-7 http://d-nb.info/941098338
604 2020-01-30 books/daglib/0083715 Andrea Drees Visuelle Erkennung von Handstellungen mit neuronalen Netzen. 1996 I-XI, 1-161 Infix DISKI 124 Bielefeld University, Germany 978-3-89601-124-4 http://d-nb.info/947381171
605 2011-03-23 books/daglib/0003234 Rainer Steinwandt Zur algorithmischen Zerlegung polynomialer Gleichungssysteme. 2000 I-IV, 1-169 Universität Karlsruhe
606 2011-03-23 books/daglib/0088087 Christophe Picouleau Etude de problemes d'optimisation dans les systemes distribues. 1992 1-80 Université Paris
607 2020-01-30 books/daglib/0010391 Stephen B. Balakirsky A framework for planning with incrementally created graphs in attributed problem spaces. 2003 I-XX, 1-259 Infix Akademische Verlagsgesellschaft DISKI 270 University of Bremen, Germany 978-3-89838-270-0 http://d-nb.info/968489893
608 2019-08-15 books/daglib/0086898 Andrew Wilson 0003 The theory of interacting deductions and its application to operational semantics. 1996 I-XVIII, 1-197 CST 131 University of Edinburgh, UK
609 2016-04-19 books/daglib/0031769 Philipp Kegel A Uniform, OpenCL-based Approach for Programming Distributed System With Multicores and GPUs. 2013 I-XV, 1-192 Universität Münster http://d-nb.info/1041274564
610 2011-03-23 books/daglib/0008593 Jürgen Branke Evolutionary optimization in dynamic environments. 2000 1-174 Universität Karlsruhe
611 2020-01-30 books/daglib/0085110 Andreas Hauenstein Aussprachewörterbücher zur automatischen Spracherkennung. 1996 I-III, 1-157 Infix DISKI 133 University of Hamburg, Germany 978-3-89601-133-6 http://d-nb.info/94883787X
612 2016-12-01 books/daglib/0069991 Bernd Halstenberg Strukturuntersuchungen verschiedener Komplexitätsmaße für die Kommunikation zwischen zwei Prozessoren. 1991 1-79 Darmstadt University of Technology, Germany http://d-nb.info/911413359
613 2017-01-12 books/daglib/0085399 Jürgen Döllner Object-oriented 3D modeling, animation and interaction. 1996 I-VI, 1-135 University of Münster, Germany http://d-nb.info/949586986
614 2020-01-30 books/daglib/0083192 Martin Eldracher Planung kinematischer Trajektorien für Manipulatoren mit Hilfe von Subzielen und neuronalen Netzen. 1996 I-XVII, 1-206 Infix DISKI 111 Technical University Munich 978-3-89601-111-4 http://d-nb.info/94486564X,http://d-nb.info/946710317
615 2019-07-09 books/daglib/0069962 Wolfgang Böhm 0005 Darstellungsform positiv angeordneter Halbgruppen. 1987 1-159 MIP / Universität Passau / Fakultät für Mathematik und Informatik 8702 University of Passau, Germany
616 2018-08-24 books/daglib/0008874 Uwe Meyer 0003 Partielle Auswertung imperativer Sprachen. 1992 1-170 University of Giessen, Gießen, Germany http://d-nb.info/921414455
617 2016-11-17 books/daglib/0070069 Albrecht Hampp Bedienergesteuerte Anpassung einer Benutzungsoberfläche unter Berücksichtigung verschiedener Dialogformen und Interaktionstechniken. 1989 1-173 University of Stuttgart, Germany http://d-nb.info/900281022
618 2016-12-07 books/daglib/0012337 Timo Ropinski 3D magic lenses and virtual reflections - real-time approaches for improving interactive visualization. 2004 I-XII, 1-134 University of Münster, Germany http://d-nb.info/973641878
619 2019-06-19 books/daglib/0009722 Stefan Horn Die schemabasierte Modellierung und Steuerung von Projektvorgängen. 2003 1-182 Arbeitsberichte des Department Informatik / Friedrich-Alexander-Universität Erlangen-Nürnberg 36,2 University of Erlangen-Nuremberg, Germany
620 2020-01-30 books/daglib/0003716 Martin Mühlenbrock Action-based collaboration analysis for group learning. 2001 I-XII, 1-190 Infix Akademische Verlagsgesellschaft DISKI 244 University of Duisburg-Essen, Germany 978-3-89838-244-1 http://d-nb.info/961563249
621 2016-12-21 books/daglib/0076712 Stefan Brüning Techniques for avoiding redundancy in theorem proving based on the connection method. 1994 I-XII, 1-202 Darmstadt University of Technology, Germany http://d-nb.info/943015138
622 2019-06-19 books/daglib/0006979 Gunnar Billing Integrierte Hardware- und Softwareplanung flexibler Fertigungssysteme. 2002 I-VI, 1-196 Arbeitsberichte des Department Informatik / Friedrich-Alexander-Universität Erlangen-Nürnberg 35,1 University of Erlangen, Germany
623 2019-09-13 books/daglib/0069955 Andreas Dengel 0001 Automatische visuelle Klassifikation von Dokumenten. 1989 I-IX, 1-230 University of Stuttgart, Germany http://d-nb.info/891713573
624 2011-03-23 books/daglib/0070254 Rainer Feldmann Spielbaumsuche mit massiv parallelen Systemen. 1993 1-160 Universität Paderborn
625 2011-03-23 books/daglib/0098211 Thomas W. Schaller Organisationsverwaltung in CSCW-Systemen. 1998 I-XVIII, 1-177 Universität Bamberg
626 2020-02-12 books/daglib/0029007 Kristina Davoian Advancing evolution of artificial neural networks through behavioral adaptation. 2011 I-XIX, 1-111 Universität Münster https://nbn-resolving.org/urn:nbn:de:hbz:6-71459415133,http://d-nb.info/102701903X
627 2016-11-16 books/daglib/0069954 Wolfgang Bodenschatz Multi-Transputer-Maschine zur parallelen Reduktion von Funktionalsprachenprogrammen. 1989 1-173 University of Stuttgart, Germany http://d-nb.info/900281014
628 2016-11-15 books/daglib/0070081 Manfred Schmidt Bildhierarchiebäume als Grundlage für die statische Konstruktion von Benutzerschnittstellen. 1988 1-170 University of Stuttgart, Germany http://d-nb.info/881466190
629 2011-03-23 books/daglib/0085696 Wolfgang A. Halang Ansätze zu funktionsorientierten Prozessrechnerstrukturen. 1980 1-162 Universität Dortmund
630 2017-01-10 books/daglib/0070035 Michael Georg Lutz Automatische Erstellung und interaktive Verwendung graphischer Darstellungen als Kommunikatinsmittel in Expertensystemen. 1992 1-239 Darmstadt University of Technology, Germany http://d-nb.info/921041047
631 2011-03-24 books/daglib/0068999 Erwin M. Bakker Combinatorial problems in information networks and distributed datastructuring. 1991 I-VII, 1-137 Universität Utrecht
632 2019-07-10 books/daglib/0084321 Walter Ludwig Algorithms for scheduling malleable and nonmalleable parallel tasks. 1995 I-VII, 1-128 Technical Report / University of Wisconsin, Madison / Computer Sciences Department 1279 University of Wisconsin-Madison, WI, USA
633 2011-03-23 books/daglib/0015174 Bodo Manthey Approximability of cycle covers and smoothed analysis of binary search trees. 2005 I-XI, 1-117 Universität Lübeck
634 2020-02-12 books/daglib/0098216 Jan W. Amtrup Maschinelles Dolmetschen mit Mehr-Ebenen-Charts. 1998 I-IX, 1-200 University of Hamburg, Germany http://www.sub.uni-hamburg.de/disse/06/amtrup.ps,https://nbn-resolving.org/urn:nbn:de:gbv:18-60,http://d-nb.info/955201675,http://d-nb.info/955716403
635 2011-03-23 books/daglib/0016499 Anders P. Ravn Design of embedded real-time computing systems. 1995 I-V, 1-191 TU Lyngby
636 2019-07-10 books/daglib/0079292 Stephen Martin Guy Freeman An architecture for distributed user interfaces. 1994 Technical Report / University of Cambridge / Computer Laboratory 342 Cambridge University, UK
637 2019-06-18 books/daglib/0008862 Jürg Rebsamen Datenbankentwurf im Dialog - integrierte Beschreibung von Strukturen, Transaktionen und Konsistenz. 1983 1-157 Informatik-Dissertationen ETH Zürich 7325 ETH Zürich, Switzerland
638 2020-01-30 books/daglib/0097311 Katja Markert Metonymien - eine computerlinguistische Analyse. 1999 I-XVI, 1-282 Infix DISKI 200 University of Freiburg, Freiburg im Breisgau, Germany 978-3-89601-200-5 http://d-nb.info/956339565
639 2019-07-10 books/daglib/0091665 Kristoffer Høgsbro Rose Operational reduction models for functional programming languages. 1996 1-257 Technical report / University of Copenhagen / Datalogisk institut 96/1 University of Copenhagen, Denmark
640 2016-11-17 books/daglib/0008871 Ursula Heuter Zur Klassifizierung regulärer Baumsprachen. 1989 1-158 RWTH Aachen University, Germany http://d-nb.info/900208643
641 2011-03-23 books/daglib/0016510 Jan Willem Klop Combinatory reduction systems. 1980 I-XIII, 1-323 Univ. Utrecht
642 2011-03-23 books/daglib/0097569 Andreas M. Brinkmann Entwicklung und robuste Implementierung eines laufzeitoptimalen Verschneidungsoperators für Trapezoidzerlegungen von thematischen Karten. 1998 1-187 Universität Münster
643 2019-03-15 books/daglib/0083320 Holger Petersen 0001 Entscheidbarkeitsfragen und Hierarchieresultate für Mehrkopfautomaten. 1996 1-86 Universität Stuttgart http://d-nb.info/947658505
644 2020-01-30 books/daglib/0083236 Barbara Heller Modularisierung und Fokussierung erweiterbarer komplexer Wissensbasen auf der Basis von Kompetenzeinheiten. 1996 1-216 Infix DISKI 120 Bielefeld University, Germany 978-3-89601-120-6 http://d-nb.info/947139400
645 2016-10-31 books/daglib/0069938 Seyed H. Behechti Berechnung von Blockierungswahrscheinlichkeiten. 1984 1-125 Darmstadt University of Technology, Germany http://d-nb.info/850007461
646 2011-03-23 books/daglib/0012793 Thomas Ottmann Eine Theorie sequentieller Netzwerke. 1971 1-109 Universität Magdeburg
647 2019-07-19 books/daglib/0091921 Jürgen Becker 0001 A partitioning compiler for computers with Xputer-based accelerators. 1997 I-X, 1-309 Kaiserslautern University of Technology, Germany http://d-nb.info/952172798
648 2020-01-30 books/daglib/0095722 Gunther Heidemann Ein flexibel einsetzbares Objekterkennungssystem auf der Basis neuronaler Netze. 1998 I-XI, 1-183 Infix DISKI 190 Bielefeld University, Germany 978-3-89601-190-9 http://d-nb.info/954893255
649 2016-11-10 books/daglib/0070120 Theo Ungerer Programmflußsteuerung der Augsburger strukturorientierten Rechnerarchitektur ASTOR. 1986 1-307 University of Augsburg, Germany http://d-nb.info/881181471
650 2020-02-12 books/daglib/0017105 Christian Panse Visualizing geo-related data using cartograms. 2005 I-XX, 1-147 University of Konstanz, Germany http://www.ub.uni-konstanz.de/kops/volltexte/2005/1636/index.html,https://nbn-resolving.org/urn:nbn:de:bsz:352-opus-16364,http://d-nb.info/976691841
651 2017-01-10 books/daglib/0070136 Marc Linster Knowledge acquisition based on explicit methods of problem solving. 1992 I-XIV, 1-219 Kaiserslautern University of Technology, Germany http://d-nb.info/920724388
652 2019-07-10 books/daglib/0076865 Jawahar Malhotra Tailorable systems - design, support, techniques, and applications. 1994 DAIMI PB 466 Aarhus University, Denmark
653 2020-02-12 books/daglib/0009824 Robert Elsässer Spectral methods for efficient load balancing strategies. 2002 I-II, 1-121 University of Paderborn, Germany http://ubdata.uni-paderborn.de/ediss/17/2002/elsaesse/disserta.pdf,https://nbn-resolving.org/urn:nbn:de:hbz:466-2002010170,http://d-nb.info/96515386X,http://d-nb.info/965647145
654 2020-01-30 books/daglib/0085920 Gerhard Hanrieder Inkrementelles Parsing gesprochener Sprache mit einer linksassoziativen Unifikationsgrammatik. 1996 I-XI, 1-210 Infix DISKI 140 University of Erlangen-Nuremberg, Germany 978-3-89601-140-4 http://d-nb.info/949564044
655 2011-03-24 books/daglib/0070088 Michael-Ralf Skrzipek Orthologonalpolynome zu modifizierten Gewichten. 1990 1-104 FernUniv. Hagen
656 2020-01-30 books/daglib/0078959 Thomas Pirlein Wiederverwendung von Commonsense Ontologien im Knowledge Engineering - Methoden und Werkzeuge. 1995 1-260 Infix DISKI 85 Karlsruhe Institute of Technology, Germany 978-3-929037-85-2 http://d-nb.info/944181023
657 2016-12-01 books/daglib/0070076 Dieter Homeister Massiv paralleles Multicomputersystem zur Berechnung entkoppelter Probleme. 1991 1-212 University of Stuttgart, Germany http://d-nb.info/920723918
658 2011-03-23 books/daglib/0093029 Lynda Hardman Modelling and authoring hypermedia documents. 1998 I-VIII, 1-247 Universität Amsterdam
659 2017-01-16 books/daglib/0001122 Thomas Deiß On the combination of model- and property-oriented description techniques. 1999 I-XVIII, 1-266 Kaiserslautern University of Technology, Germany http://d-nb.info/958167346
660 2016-12-06 books/daglib/0019247 Dominique Unruh Protokollkomposition und Komplexität. 2006 1-326 Logos,Karlsruhe Institute of Technology, Germany 978-3-8325-1465-5 http://d-nb.info/98273686X
661 2020-03-12 books/daglib/0009855 Stephan Kreutzer Pure and applied fixed-point logics. 2002 1-231 RWTH Aachen University, Germany http://www.comlab.ox.ac.uk/stephan.kreutzer/Publications/diss.pdf,http://sylvester.bth.rwth-aachen.de/dissertationen/2003/252/index.htm,https://nbn-resolving.org/urn:nbn:de:hbz:82-opus-7222,http://d-nb.info/969973772,http://d-nb.info/96998085X
662 2020-01-30 books/daglib/0076471 Jan Schloen Wissensbasierte Bewegungsausführung für die Montageautomatisierung mit Industrierobotern. 1994 I-IV, 1-206 Infix DISKI 73 Karlsruhe Institute of Technology, Germany 978-3-929037-73-9 http://d-nb.info/942663888
663 2016-10-04 books/daglib/0090863 Anja Haake Versionenunterstützung für strukturierte Hyperdokumente im elektronischen Publizieren. 1996 1-302 Oldenbourg Darmstadt University of Technology, Germany 3-486-24158-3 http://d-nb.info/948435828,http://d-nb.info/949121398
664 2019-07-10 books/daglib/0076854 Lidong Chen Witness hiding proofs and applications. 1994 DAIMI PB 477 Aarhus University, Denmark
665 2020-01-30 books/daglib/0007888 Hesham Khalil Logical foundations of reactive default reasoning. 2002 I-XIV, 1-192 Infix Akademische Verlagsgesellschaft DISKI 260 Darmstadt University of Technology, Germany 978-3-89838-260-1 http://d-nb.info/966226488
666 2019-07-09 books/daglib/0071526 L. F. Mondsheim Combinatorical ordering and the geometric embedding of graphs. 1971 I-XI, 1-123 Technical note 1971-35 Massachusetts Institute of Technology
667 2016-11-10 books/daglib/0069974 Thomas Letschert Typinferenzsysteme. 1986 1-127 Darmstadt University of Technology, Germany http://d-nb.info/871528061
668 2017-01-13 books/daglib/0096899 Ronald Herrmann Effizientes symbolisches Model-Checking von Realzeitaspekten für VHDL. 1998 I-VIII, 1-321 University of Oldenburg, Germany http://d-nb.info/956246761
669 2020-01-30 books/daglib/0006590 Christiane Gresse von Wangenheim Operationalizing reuse of software measurement planning knowledge. 2002 I-XIII, 1-255 Infix Akademische Verlagsgesellschaft DISKI 256 Kaiserslautern University of Technology, Germany 978-3-89838-256-4 http://d-nb.info/964807270
670 2016-10-10 books/daglib/0070039 Léo Pini Magalhães Graphisch-interaktive Mensch-Maschine-Kommunikation in der Prozessautomatisierung - Problemanalyse und Hardware/Software-Lösungen. 1981 1-135 Darmstadt University of Technology, Germany http://d-nb.info/820416185
671 2019-07-10 books/daglib/0083538 Björn Carlson Compiling and executing finite domain constraints. 1995 I-VIII, 1-173 Uppsala theses in computing science 21 Uppsala University, Sweden
672 2018-07-29 books/daglib/0027453 Christian Krause 0001 Reconfigurable Component Connectors. 2011 1-136 Universiteit Leiden 978-90-6464-475-7
673 2017-01-09 books/daglib/0081588 Albert Haag The ATMS - an assumption based problem solving architecture utilizing specialization relations. 1995 1-156 Kaiserslautern University of Technology, Germany http://d-nb.info/945538782
674 2011-03-23 books/daglib/0017106 Wolfgang Kapferer Metal enrichment of the intra-cluster medium - galactic winds, starbursts and galaxy interactions. 2005 1-109 Universität Innsbruck
675 2017-01-09 books/daglib/0075986 Hans-Henning Koch Entwurf und Bewertung von Replikationsverfahren. 1994 I-VII, 1-167 Darmstadt University of Technology, Germany http://d-nb.info/943015162
676 2020-02-12 books/daglib/0009825 René Weiskircher New applications of SPQR-trees in graph drawing. 2002 I-VI, 1-172 Saarland University, Saarbrücken, Germany http://scidok.sulb.uni-saarland.de/volltexte/2004/244/index.html,https://nbn-resolving.org/urn:nbn:de:bsz:291-scidok-2441,http://d-nb.info/965198979,http://d-nb.info/972323961
677 2019-06-18 books/daglib/0001590 Peter Holst Andersen Termination analysis for offline partial evaluation of a higher order functional language. 1999 Technical report / University of Copenhagen / Datalogisk institut 99/6 University of Copenhagen, Denmark
678 2019-07-09 books/daglib/0072890 Johan Ringström Compiler generation for parallel languages from denotational specifications. 1993 I-VI, 1-121 Linköping studies in science and technology thesis 380 Linköping University, Sweden
679 2016-11-18 books/daglib/0070064 Rüdiger Wirth Lernverfahren zur Vervollständigung von Hornklauselmengen durch inverse Resolution. 1989 1-135 University of Stuttgart, Germany http://d-nb.info/891727337
680 2020-03-04 books/daglib/0083235 Martin Böttcher 0001 Unifikation disjunktiver Attributterme - Auswertealgorithmen und Anwendungen in einer Valenzgrammatik zur Textanalyse. 1996 1-209 Infix DISKI 118 University of Hamburg, Germany 978-3-89601-118-3 http://d-nb.info/947139907
681 2020-01-30 books/daglib/0000574 Thomas Stützle Local search algorithms for combinatorial problems - analysis, improvements, and new applications. 1999 I-XI, 1-203 Infix DISKI 220 Darmstadt University of Technology, Germany 978-3-89601-220-3 http://d-nb.info/95811515X
682 2011-03-23 books/daglib/0012779 Francis Kierszenbaum Les langages a operateur d'insertion. 1979 Univ. Talence
683 2011-03-23 books/daglib/0071573 Brenda S. Baker Tree Transductions and Families of Tree Languges. 1973 University Cambridge
684 2016-09-28 books/daglib/0091613 Armin Biere Effiziente Modellprüfung des µ-Kalküls mit binären Entscheidungsdiagrammen. 1997 I-VIII, 1-230 Universität Karlsruhe http://d-nb.info/951671367
685 2016-11-16 books/daglib/0070070 Thomas Fehrle Menüorientierte, wissensbasierte Klärungsdialoge für ein natürlichsprachliches Auskunftssystem. 1989 University of Stuttgart, Germany http://d-nb.info/891644784
686 2020-01-30 books/daglib/0080397 Matthias Stüber Adaptive Steuerungen - Fuzzy Control im Vergleich zu Regelungstechnik und neuronalen Netzen. 1995 I-III, 1-168 Infix DISKI 94 University of Bonn, Germany 978-3-89601-094-0 http://d-nb.info/945154313,http://d-nb.info/945155972,http://d-nb.info/954226445
687 2020-01-30 books/daglib/0095721 Steffen Egner Zur Rolle der Aufmerksamkeit für die Objekterkennung - Modellierung, Simulation, Empirie. 1998 I-XII, 1-148 Infix DISKI 191 University of Hamburg, Germany 978-3-89601-191-6 http://d-nb.info/954893352
688 2019-07-10 books/daglib/0079413 Andrew K. Wright Practical soft typing. 1994 Rice COMP TR 94-236 University of Houston, TX, USA
689 2016-11-17 books/daglib/0070042 Jochem Poller Referenzmodell zur Beschreibung der graphischen Datenverarbeitung und zur Integration graphischer Systeme mit anderen Bereichen der Datenverarbeitung. 1989 I-VI, 1-27 Darmstadt University of Technology, Germany http://d-nb.info/901196053
690 2020-02-12 books/daglib/0008670 Thomas Stauner Systematic development of hybrid systems. 2001 I-V, 1-266 Technical University Munich, Germany http://tumb1.biblio.tu-muenchen.de/publ/diss/in/2001/stauner.pdf,https://nbn-resolving.org/urn:nbn:de:bvb:91-diss2001111316879,http://d-nb.info/963429310,http://d-nb.info/963601172
691 2020-02-12 books/daglib/0084856 Bernd Borchert Predicate classes, promise classe, and the acceptance power of regular languages. 1994 I-IV, 1-64 University of Heidelberg, Germany http://archiv.ub.uni-heidelberg.de/volltextserver/volltexte/1999/8/ps/8_1.ps,https://nbn-resolving.org/urn:nbn:de:bsz:16-opus-84,http://d-nb.info/943180996,http://d-nb.info/961688939
692 2020-01-30 books/daglib/0007672 Clemens Kirchmair Identifikation von Systemen mit Hysterese mit Hilfe von Preisach-Neuronen in vorstrukturierten neuronalen Netzen. 2002 I-XII, 1-153 Infix Akademische Verlagsgesellschaft DISKI 258 Technical University Munich, Germany 978-3-89838-258-8 http://d-nb.info/966130405
693 2017-01-19 books/daglib/0008640 Sabine Kühn Ressourcen Management und Zugangskontrolle eines Vorabreservierungssystems. 2001 1-162 Dresden University of Technology, Germany http://d-nb.info/96389773X
694 2011-03-23 books/daglib/0070137 Joachim Vobian Dispersionsmessungen zur Charakterisierung von Quarzglasfasern der optischen Nachrichtentechnik. 1992 I-III, 1-193 Mitteilungen aus dem Forschungsinstitut der Deutschen Bundespost 14 Universität Kaiserslautern
695 2019-06-18 books/daglib/0003313 Ole Fogh Olsen Generic image structure. 2000 Technical report / University of Copenhagen / Datalogisk institut 2000/04 University of Copenhagen, Germany
696 2015-06-11 books/daglib/0035676 Michael Tschuggnall Intrinsic Plagiarism Detection and Author Analysis by Utilizing Grammar. 2014 I-XI, 1-176 Universität Innsbruck
697 2020-02-12 books/daglib/0020509 Tobias Jung 0001 Reinforcement Lernen mit Regularisierungsnetzwerken. 2007 I-X, 1-121 University of Mainz, Germany http://ubm.opus.hbz-nrw.de/volltexte/2008/1582/index.html,https://nbn-resolving.org/urn:nbn:de:hebis:77-15826,http://d-nb.info/987551329,http://d-nb.info/987640186
698 2020-02-12 books/daglib/0030399 René Schumann Engineering Coordination - A Methodology for the Coordination of Planning Systems. 2011 I-XXVIII, 1-314 AKA DISKI 335 Goethe University Frankfurt am Main 978-3-89838-652-4 http://publikationen.ub.uni-frankfurt.de/volltexte/2010/8143/,https://nbn-resolving.org/urn:nbn:de:hebis:30-81439,http://d-nb.info/1007616148,http://d-nb.info/1007892358,http://d-nb.info/1016439210
699 2019-06-18 books/daglib/0016513 Catholijntje M. Jonker Constraints and negations in logic programming. 1994 1-198 Quaestiones infinitae 10 Utrecht University, The Netherlands 978-90-393-0842-4
700 2016-11-14 books/daglib/0020525 Tobias Friedrich 0001 Use and avoidance of randomness. 2007 I-VIII, 1-120 Universität Saarbrücken
701 2017-01-10 books/daglib/0076477 Taïeb Mellouli Tree-structured theorem proving using controlled case analysis mechanisms for classical, three-, and four-valued logic. 1994 I-VIII, 1-235 University of Paderborn, Germany http://d-nb.info/943419026
702 2020-01-30 books/daglib/0003718 Michael Boronowsky Diskretisierung reellwertiger Attribute mit gemischten kontinuierlichen Gleichverteilungen und ihre Anwendung bei der zeitreihenbasierten Entscheidungsbauminduktion. 2001 I-XI, 1-182 Infix Akademische Verlagsgesellschaft DISKI 246 University of Bremen, Germany 978-3-89838-246-5 http://d-nb.info/96156556X
703 2020-02-12 books/daglib/0030417 Jörg-Stefan Praßni Interactive feature detection in volumetric data. 2012 I-XVII, 1-111 Universität Münster http://miami.uni-muenster.de/servlets/DocumentServlet?id=6274,https://nbn-resolving.org/urn:nbn:de:hbz:6-09399402519,http://d-nb.info/1027021689
704 2016-07-12 books/daglib/0070089 Jean-Laurent Philippe Programmation de calculateur massivement parallèles : application à la factorisation d'entiers. (Programming massively parallel computers. Application to cryptography). 1990 1-191 Grenoble Institute of Technology, France https://tel.archives-ouvertes.fr/tel-00338193
705 2016-12-21 books/daglib/0079246 Yangjun Chen Processing of recursive rules in knowledge-based systems - algorithms for handling recursive rules and negative information and performance measurements. 1995 1-221 Kaiserslautern University of Technology, Germany http://d-nb.info/944027865
706 2011-03-23 books/daglib/0012781 Christophe Reutenauer Series rationnelles et algebres syntactiques. 1980 1-209 Univ. Paris
707 2019-06-18 books/daglib/0018391 Paul Dagum On the magnification of exchange graphs with applications to enumeration problems. 1990 I-V, 1-90 TR ICSI - International Computer Science Institute / Berkeley 90-030 University of California at Berkeley, CA, USA
708 2017-03-23 books/daglib/0071528 Luquan Pan Applications of rewriting techniques. 1985 I-VIII, 1-119 University of California, Santa Barbara, CA, USA
709 2016-10-07 books/daglib/0069986 Heinrich Honal Analyse eines Systems mit Timesharing- und Batchverarbeitung. 1981 1-87 Darmstadt University of Technology, Germany http://d-nb.info/820426466
710 2016-07-18 books/daglib/0012525 Sid Ahmed Ali Touati Register pressure in instruction level parallelism. 2002 1-242 Versailles Saint-Quentin-en-Yvelines University, France https://tel.archives-ouvertes.fr/tel-00007405
711 2020-03-12 books/daglib/0035667 Christopher Auer Planar graphs and their duals on cylinder surfaces. 2014 I-VI, 1-260 Universität Passau https://opus4.kobv.de/opus4-uni-passau/files/226/Auer_Christopher.pdf,http://www.opus-bayern.de/uni-passau/volltexte/2014/2743/,https://nbn-resolving.org/urn:nbn:de:bvb:739-opus-27430,http://d-nb.info/1063153751
712 2019-07-10 books/daglib/0091362 Jan Peleska 0001 Formal methods and the development of dependable systems. 1996 I-VII, 1-170 Bericht / Christian-Albrechts-Universität Kiel / Institut für Informatik und Praktische Mathematik 9612 University of Kiel, Germany
713 2019-07-10 books/daglib/0079935 Amr Sabry The formal relationship between direct and continuation-passing style optimizing compilers - a synthesis of two paradigms. 1994 Rice COMP TR 94-241 University of Houston, TX, USA
714 2011-05-06 books/daglib/0069959 Eike Best Kausale Semantik nichtsequentieller Programme. 1988 I-IV, 1-187 Universität Bonn
715 2020-02-12 books/daglib/0024688 Thomas Schoenemann Combinatorial solutions for shape optimization in computer vision. 2008 1-146 University of Bonn, Germany http://hss.ulb.uni-bonn.de/diss_online/math_nat_fak/2009/schoenemann_thomas,https://nbn-resolving.org/urn:nbn:de:hbz:5N-17411,http://d-nb.info/994697228,http://d-nb.info/995710627
716 2017-01-09 books/daglib/0008635 Gerhard Köstler Foundations of semantic subsumption in deductive databases. 1995 I-IX, 1-124 University of Augsburg, Germany http://d-nb.info/94811021X
717 2011-03-23 books/daglib/0091558 Dirk Kussin Graduierte Faktorialität und die Parameterkurven tubularer Familien. 1997 I-II, 1-98 Universität Paderborn
718 2017-01-12 books/daglib/0084005 Helmut Filipp Akzeptanz von Netzdiensten und Netzanwendungen - Entwicklung eines Instruments zur permanenten Akzeptanzkontrolle. 1996 I-VIII, 1-192 Karlsruhe Institute of Technology, Germany http://d-nb.info/947416552
719 2017-03-17 books/daglib/0070086 Peter Lempp Tätigkeitsübergreifende Rechnerunterstützung für Automatisierungsprojekte. 1988 1-179 University of Stuttgart, Germany http://d-nb.info/881403407
720 2011-03-23 books/daglib/0068885 Elmar Schalück Induktive und projektive Limiten gewichteter Funktionenräume. 1992 I-IV, 1-93 Universität Paderborn
721 2011-03-24 books/daglib/0020557 Jan Mendling Detection and prediction of errors in EPC business process models. 2007 I-XXVI, 1-491 Wirtschaftsuniversität Wien
722 2016-12-06 books/daglib/0018033 Manish Verma Advanced memory optimization techniques for low-power embedded processors. 2006 1-205 Technical University of Dortmund, Germany http://d-nb.info/1042965161
723 2019-06-19 books/daglib/0018641 Peter Breuer 0002 A case study in distributed planning for autonomous cooperating agents. 1991 I-II, 1-123 SEKI Report 91-2 University of Kaiserslautern, Germany
724 2011-03-24 books/daglib/0067267 Georg Rainer Hofmann Verfahren der nicht-exakten perspektivischen Projektion zur Generierung naturgetreuer Computergraphiken mittels ikonisch-photographischer Komponenten. 1991 1-136 TH Darmstadt
725 2020-02-12 books/daglib/0020507 Walter Guttmann Algebraic foundations of the unifying theories of programming. 2007 1-95 University of Ulm, Germany http://vts.uni-ulm.de/docs/2007/6099/vts_6099_8221.pdf,https://nbn-resolving.org/urn:nbn:de:bsz:289-vts-60992,http://d-nb.info/987177729,http://d-nb.info/997555661
726 2020-02-12 books/daglib/0033458 Stefan Kuntsche Modular Model Specification on the Documentation Level - Concepts and Application in a Web-Based Modeling Environment. 2013 I-XIII, 1-212 Universität Berlin https://nbn-resolving.org/urn:nbn:de:kobv:83-opus-39943,http://d-nb.info/1036263045
727 2011-03-23 books/daglib/0083663 Karsten Morisse Kostenminimale Flüsse in endlichen und unendlichen Netzwerken. 1996 I, 1-67 Universität Paderborn
728 2020-01-30 books/daglib/0079804 Wolfgang Melchert Ein Ansatz zur Formalisierung der Echtzeit-Bildauswertung und seine Nutzung zur automatischen Erzeugung lauffähiger Maschinenprogramme. 1995 1-183 Infix DISKI 87 Karlsruhe Institute of Technology, Germany 978-3-929037-87-6 http://d-nb.info/944682146
729 2019-07-09 books/daglib/0070117 Henner Kröger Ein Code erzeugender Formalisierungsoperator und seine Anwendung auf LISP-Interpretierer. 1982 1-101 Bericht / Christian-Albrechts-Universität Kiel / Institut für Informatik und Praktische Mathematik 1/82 Universität Kiel
730 2019-08-16 books/daglib/0079898 Feng Huang 0003 Restructuring virtual memory to support distributed computing environments. 1995 Technical Report / University of Cambridge / Computer Laboratory 375 University of Cambridge, UK
731 2019-07-10 books/daglib/0088422 Yao-Ping Chen Algorithms for VLSI partitioning and routing. 1996 1-117 UTCS publications 96-33 University of Austin, TX, USA
732 2011-03-23 books/daglib/0082796 Gudrun Thäter Lq Helmholtz decomposition and regularity results for the infinite cylinder. 1995 Universität Paderborn
733 2020-01-30 books/daglib/0092877 Jörg Walter Schaaf Über die Suche nach situationsgerechten Fällen im fallbasierten Schließen. 1998 1-172 Infix DISKI 179 Kaiserslautern University of Technology, Germany 978-3-89601-179-4 http://d-nb.info/95259742X
734 2019-07-09 books/daglib/0074822 Hans A. Hansson Time and probability in formal design of distributed systems. 1991 1-192 DoCS 91/27 University Uppsala, Sweden
735 2011-03-23 books/daglib/0008660 Franz Rothlauf Towards a theory of representations for genetic and evolutionary algorithms - development of basic concepts and their application to binary and tree representations. 2001 I-LVI, 1-412 Universität Bayreuth
736 2011-03-23 books/daglib/0020512 Torsten Sievers Echtzeit-Objektverfolgung im Rasterelektronenmikroskop. 2007 I-III, 1-177 Universität Oldenburg
737 2017-01-09 books/daglib/0078937 Hubertus Hohl Entwurf und Einsatz wissensbasierter Werkzeuge zur computergestützten Exploration von Informationsräumen. 1995 I-VI, 1-204 University of Stuttgart, Germany http://d-nb.info/944238122
738 2011-03-24 books/daglib/0070114 Andreas Wickenhäuser Über die Automorphismengruppen einer Klasse von kompakten Riemannschen Flächen. 1989 1-89 FernUniv. Hagen
739 2016-11-03 books/daglib/0069996 Mark Evered Leibniz, a language to support - software engineering. 1985 Darmstadt University of Technology, Germany http://d-nb.info/860948072
740 2011-03-23 books/daglib/0074809 Giuseppe Castagna Overloading, subtyping and late binding - functional foundation of object-oriented programming. 1994 1-373 LIENS Paris
741 2017-01-18 books/daglib/0008646 Bernard Metzler Flexible und effiziente Systemunterstützung für offene Kommunikationsdienste-Plattformen. 2000 I-XIX, 1-255 Shaker Braunschweig University of Technology, Germany 978-3-8265-8030-7 http://d-nb.info/959970258
742 2017-01-11 books/daglib/0083664 Christof Nagel Integration von Testbarkeitsaspekten in die High-Level Synthese. 1995 1-163 University of Paderborn, Germany http://d-nb.info/948108843
743 2019-07-10 books/daglib/0089986 Jürgen Hausen Holomorphe C-Operationen auf komplexen Flächen. 1996 I-IV, 1-209 Konstanzer Schriften in Mathematik und Informatik / Universität Konstanz / Fakultät für Mathematik und Informatik 11 University of Konstanz, Germany
744 2016-09-30 books/daglib/0092069 Ursula Thalheimer Bearbeitungstransaktionen - ein Konzept zur Integration physischer Operationen in das Transaktionsmodell. 1997 I-VIII, 1-196 Universität Stuttgart http://d-nb.info/952893754
745 2019-06-18 books/daglib/0019264 Stanislaw J. Piestrak 1995 1-111 Scientific papers of the Institute of Technical Cybernetics of the Technical University of Wroclaw 24 Technical University of Wroclaw, Poland
746 2017-01-13 books/daglib/0096017 Thorsten Theobald Transformation techniques for decision diagrams in computer-aided design. 1997 I-III, 1-100 Shaker University of Trier, Germany 978-3-8265-3705-9 http://d-nb.info/953402193
747 2011-03-23 books/daglib/0069981 Britta Schinzel Über die Kategorie der Programmbündel. 1980 1-139 TH Darmstadt
748 2020-02-12 books/daglib/0026671 Daniel Duarte Abdala Ensemble and Constrained Clustering with Applications. 2010 I-XVIII, 1-210 Universität Münster https://nbn-resolving.org/urn:nbn:de:hbz:6-45449568499,http://d-nb.info/1012641341
749 2011-03-23 books/daglib/0024757 Pakaket Wattyua Combination of Multiple Image Segmentations. 2010 I-XX, 1-194 Universität Münster
750 2017-05-03 books/daglib/0070107 Marko C. J. D. van Eekelen Parallel graph rewriting - some contributions to its theory, its implementation and its application. 1988 I-IX, 1-165 Radboud University Nijmegen
751 2017-01-09 books/daglib/0081600 Jörg M. Haake Autorensysteme für die kooperative Erstellung von Hyperdokumenten. 1995 1-207 Darmstadt University of Technology, Germany http://d-nb.info/945829868
752 2020-02-12 books/daglib/0027447 Emanuel Kitzelmann A Combined Analytical and Search-Based Approach to the Inductive Synthesis of Functional Programs. 2010 I-XXI, 1-187 University of Bamberg http://www.opus-bayern.de/uni-bamberg/volltexte/2010/280/,https://nbn-resolving.org/urn:nbn:de:bvb:473-opus-2801,http://d-nb.info/1007898313
753 2020-02-12 books/daglib/0031042 Florian Alt A Design Space for Pervasive Advertising on Public Displyas. 2013 I-XVIII, 1-367 Universität Stuttgart http://elib.uni-stuttgart.de/opus/volltexte/2013/8200/,https://nbn-resolving.org/urn:nbn:de:bsz:93-opus-82003,http://d-nb.info/1032558660
754 2019-07-10 books/daglib/0079003 Jeffrey K. Hollingsworth Finding bottlenecks in large scale parallel programs. 1994 Technical Report / University of Wisconsin, Madison / Computer Sciences Department 1243 University of Wisconsin-Madison, WI, USA
755 2020-02-12 books/daglib/0009849 Sven Siggelkow Feature histograms for content-based image retrieval. 2002 I-X, 1-140 University of Freiburg, Freiburg im Breisgau, Germany http://www.freidok.uni-freiburg.de/volltexte/631,https://nbn-resolving.org/urn:nbn:de:bsz:25-opus-6319,http://d-nb.info/966340752,http://d-nb.info/966580419
756 2017-01-16 books/daglib/0008590 Jana Dittmann Sicherheit in Medienströmen - digitale Wasserzeichen. 1999 Darmstadt University of Technology, Germany http://d-nb.info/958479089
757 2019-07-10 books/daglib/0094362 Morten Heine Sørensen Normalization in λ-calculus and type theory. 1997 Technical report / University of Copenhagen / Datalogisk institut 97/27 University of Copenhagen, Denmark
758 2016-09-29 books/daglib/0008588 Roland Düsing Betriebswirtschaftliche Anwendungsbereiche konnektionistischer Systeme. 1996 I-XLV, 1-10 Univ./GHS Duisburg 3-89161-864-6 http://d-nb.info/950489093
759 2020-02-12 books/daglib/0035673 Andreas Angerer Object-oriented software for industrial robots. 2014 I-III, 1-253 Universität Augsburg http://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/3064,https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-30641,http://d-nb.info/1077705611
760 2011-03-23 books/daglib/0012755 Jean Berstel Contribution a l'etude des proprietes arithmetiques des langages formels. 1972 I-III, 1-131 Univ. Paris VII
761 2019-07-10 books/daglib/0088753 Andrea C. Enzinger Expertise und Praktise - zum Einfluß von Expertisegrad und -typ auf die Entwurfsprozesse in zwei Architektenteams. 1997 I-V, 1-64 IIG-Berichte / Institut für Informatik und Gesellschaft der Albert-Ludwigs-Universität Freiburg i. Br. 2/97 University of Freiburg, Germany
762 2019-07-10 books/daglib/0084336 Steven M. Kurlander Approaches to interprocedural register allocation. 1996 I-VI, 1-139 Technical Report / University of Wisconsin, Madison / Computer Sciences Department 1294 University of Wisconsin-Madison, WI, USA
763 2020-03-12 books/daglib/0042075 Bernard van Gastel Assessing sustainability of software - Analysing Correctness, Memory and Energy Consumption. 2016 1-184 Open University http://www.sustainablesoftware.info/download/thesis-met-cover.pdf
764 2016-11-30 books/daglib/0070079 Stefan Rust Zur Automatisierung des Systementwurfs integrierter Schaltungen. 1990 1-222 University of Stuttgart, Germany http://d-nb.info/910706158
765 2020-01-30 books/daglib/0093537 Jürgen Eckerle Heuristische Suche unter Speicherbeschränkungen. 1998 I-XII, 1-185 Infix DISKI 185 University of Freiburg, Freiburg im Breisgau, Germany 978-3-89601-185-5 http://d-nb.info/953868508
766 2011-03-23 books/daglib/0008658 Norbert Rehle Adaptive Finite Element Verfahren bei der Analyse von Flächentragwerken. 1995 1-163 Universität Stuttgart
767 2017-01-12 books/daglib/0084644 Frank Drewes Computation by tree transductions. 1996 1-194 University of Bremen, Germany http://d-nb.info/948293179
768 2018-07-26 books/daglib/0001392 Andreas Müller 0016 Zykliden und Kanalflächen. 1999 I-III, 1-106 Universität Karlsruhe http://d-nb.info/958799911
769 2018-04-19 books/daglib/0036235 Michel Steuwer Improving programmability and performance portability on many-core processors. 2015 1-262 Universität Münster http://d-nb.info/1075736102
770 2019-07-10 books/daglib/0097386 Olav Wedege Bertelsen Elements of a theory of design artefacts - a contribution to critical systems development research. 1998 1-80 DAIMI PB 531 Aarhus University, Denmark
771 2020-01-30 books/daglib/0089697 Stefan Gerberding Implizite und explizite Induktionsbeweisverfahren. 1997 1-279 Infix DISKI 159 Darmstadt University of Technology, Germany 978-3-89601-159-6 http://d-nb.info/950968544
772 2019-06-19 books/daglib/0008289 Markus Berg 0002 Hochauflösende störungsfreie Entfernungsmessung mit Ultraschall durch korrelative Verfahren. 2002 Schriftenreihe / Fachbereich Informatik, Universität Kaiserslautern 7 University of Kaiserslautern, Germany
773 2016-12-01 books/daglib/0070127 Gerhard Meixner Global routing of very large scale integrated circuits based on flow methods and timing considerations. 1991 1-111 Kaiserslautern University of Technology, Germany http://d-nb.info/920724086
774 2017-01-11 books/daglib/0075984 Peter Muth Transaktionsverwaltung in heterogenen und autonomen Datenbanksystemen. 1995 I-II, 1-198 Oldenbourg Darmstadt University of Technology, Germany 978-3-486-23449-7 http://d-nb.info/942557263,http://d-nb.info/944501966
775 2020-01-30 books/daglib/0005002 Tobias Ruland Ein hybrider Ansatz zur Strukturanalyse gesprochener Spontansprache. 2001 1-127 Infix Akademische Verlagsgesellschaft DISKI 247 University of Erlangen-Nuremberg, Germany 978-3-89838-247-2 http://d-nb.info/962073571
776 2020-03-12 books/daglib/0018032 Jiong Guo Algorithm design techniques for parameterized graph modification problems. 2006 1-156 University of Jena, Germany http://www.db-thueringen.de/servlets/DerivateServlet/Derivate-9004/mydissertation.pdf,https://nbn-resolving.org/urn:nbn:de:gbv:27-20060809-142645-9,http://d-nb.info/980145775,http://d-nb.info/981983995
777 2016-10-12 books/daglib/0070072 Uwe Schöning Untersuchungen zur Struktur von NP und verwandten Komplexitätsklassen mit Hilfe verschiedener polynomieller Reduktionen. 1981 1-78 University of Stuttgart, Germany http://d-nb.info/820750514
778 2016-10-21 books/daglib/0069971 Thomas Neumann 0002 Konzepte zur Erweiterung von Datenbanksystemen für die Unterstützung von CAD/CAM-Anwendungen. 1983 1-141 Darmstadt University of Technology, Germany http://d-nb.info/850007518
779 2011-03-23 books/daglib/0006635 Markus Borschbach Verfahren der reservierenden Wegewahl in selbstorganisierenden Funknetzen mit spezifischer Funksystemarchitektur. 2002 1-331 Universität Münster
780 2016-12-14 books/daglib/0072688 Andrae Behrens Prädikat/Transitions-Netze zur Steuerung von Prozessen. 1992 1-140 Chemnitz University of Technology, Germany http://d-nb.info/921385846
781 2011-03-23 books/daglib/0069983 Helmut W. Schramm Aufbau und interaktive Nutzung von Datenbanken mittels höherer Datenbank-Teilsprachen. 1979 I-V, 1-357 TH Darmstadt
782 2016-09-30 books/daglib/0091616 Alexander del Pino Konzeption eines Rahmens zur Integration von Parallelrechnern in verteilte virtuelle Umgebungen. 1997 I-III, 1-142 TH Darmstadt http://d-nb.info/951422936
783 2016-10-05 books/daglib/0006298 Heinz Seligmann Weiterbildungsverhalten und Weiterbildungsbedarf von Experten in der Informatik und Informationstechnologie - zur Auswahl von Inhalten, Organisationsformen und Methoden. 1996 1-385 Free University of Berlin, Dahlem, Germany http://d-nb.info/949569879
784 2020-01-30 books/daglib/0097889 Axel Brinkop Variantenkonstruktion durch Auswertung der Abhängigkeiten zwischen den Konstruktionsbauteilen. 1999 I-X, 1-166 Infix DISKI 204 Karlsruhe Institute of Technology, Germany 978-3-89601-204-3 http://d-nb.info/956677541
785 2020-01-30 books/daglib/0006336 Ulrich John Konfiguration und Rekonfiguration mittels constraint-basierter Modellierung. 2002 I-V, 1-176 Infix Akademische Verlagsgesellschaft DISKI 255 Berlin Institute of Technology, Germany 978-3-89838-255-7 http://d-nb.info/964210452
786 2020-01-30 books/daglib/0085921 Gerrit Burkert Repräsentation von lexikalisch-semantischem Wissen in einem System zur Verarbeitung natürlicher Sprache. 1996 I-IX, 1-307 Infix DISKI 141 Stuttgart University 978-3-89601-141-1 http://d-nb.info/949565237
787 2016-11-18 books/daglib/0069969 Jürgen P. Stärk Integrierte Display Controller, eine neue Architektur. 1989 I-IV, 1-231 Darmstadt University of Technology, Germany http://d-nb.info/941796035
788 2020-01-30 books/daglib/0093539 Markus Wiese Learning first-order concept definitions by using a bidirectional heuristic search strategy. 1998 I-XVI, 1-208 Infix DISKI 187 Karlsruhe Institute of Technology, Germany 978-3-89601-187-9 http://d-nb.info/953868737
789 2019-06-18 books/daglib/0018701 John S. Fitzgerald Modularity in model-oriented formal specifications and its interaction with formal reasoning. 1991 1-171 Technical report series : UMCS 91-11-2 University of Manchester, UK
790 2016-11-30 books/daglib/0070071 Norbert Duppel Optimierung komplexer Datenbankanfragen auf einem Multiprozessorsystem am Beispiel einer parallelen deduktiven Datenbank. 1991 I-IX, 1-213 University of Stuttgart, Germany http://d-nb.info/920724108
791 2016-09-30 books/daglib/0089691 Friedrich Wichmann Systolische Parallelisierung von Programmen durch Kombination von Schleifenschachteln. 1997 1-152 Universität Paderborn http://d-nb.info/951651633
792 2011-03-23 books/daglib/0008634 Leif Kobbelt Iterative Erzeugung glatter Interpolanten. 1994 I-II, 1-113 Univ./TH Karlsruhe
793 2020-01-30 books/daglib/0075540 Jana Köhler Wiederverwendung von Plänen in deduktiven Planungssystemen. 1994 1-225 Infix DISKI 65 Saarland University, Saarbrücken, Germany 978-3-929037-65-4 http://d-nb.info/941151034
794 2011-03-23 books/daglib/0069995 Rolf Eckert Entwurfsmethodik für graphische Systeme. 1980 1-247 TH Darmstadt
795 2020-01-30 books/daglib/0099121 Thorsten Hermes Texturen - Analyse, Beschreibung und Synthese. 1999 I-XX, 1-225 Infix DISKI 216 University of Bremen, Germany 978-3-89601-216-6 http://d-nb.info/957771673
796 2020-01-30 books/daglib/0097312 Stefan Edelkamp Datenstrukturen und Lernverfahren in der Zustandsraumsuche. 1999 I-VIII, 1-192 Infix DISKI 201 University of Freiburg, Freiburg im Breisgau, Germany 978-3-89601-201-2 http://d-nb.info/956341403
797 2016-11-15 books/daglib/0069978 Joachim Rix Schnelle interaktive Bildgenerierung von linien- und flächenorientierten Objekten in Rastersystemen. 1988 1-114 Darmstadt University of Technology, Germany http://d-nb.info/891640754
798 2017-07-17 books/daglib/0095839 Thomas Weber 0003 Online Simulation in einer dezentral organisierten Produktion. 1998 1-125 Universität Karlsruhe
799 2020-01-30 books/daglib/0084813 Michael Gollner Eine abstrakte Maschine für das logisch-funktionale Programmieren. 1996 1-208 Infix DISKI 129 Karlsruhe Institute of Technology, Germany 978-3-89601-129-9 http://d-nb.info/948524480
800 2016-11-08 books/daglib/0070159 Jürgen Richter VLSI-Komplexitätsuntersuchungen. 1985 1-102 Julius Maximilians University Würzburg, Germany http://d-nb.info/850967457
801 2016-05-02 books/daglib/0037289 Martin Lablans Die dezentrale Suche in der medizinischen Verbundforschung. 2015 1-133 Universität Münster http://d-nb.info/1074767829
802 2017-07-20 books/daglib/0027791 Alexander Ploß Efficient dynamic communication for real-time online interactive applications in heterogeneous environments. 2011 I-V, 1-213 Universität Münster http://d-nb.info/1014568900
803 2020-02-12 books/daglib/0093031 Jürgen Vollmer 0001 Analyse und Transformation kontrollflußparalleler Programme. 1996 I-V, 1-125 Karlsruhe Institute of Technology, Germany http://digbib.ubka.uni-karlsruhe.de/volltexte/66997,https://nbn-resolving.org/urn:nbn:de:swb:90-AAA669973,http://d-nb.info/952710811,http://d-nb.info/100800491X
804 2019-06-18 books/daglib/0021720 Dorit Merhof Reconstruction and visualization of neuronal pathways from diffusion tensor data. 2007 I-XIV, 1-184 Arbeitsberichte des Department Informatik / Friedrich-Alexander-Universität Erlangen-Nürnberg 40. 2007, 6 University of Erlangen, Germany
805 2016-12-07 books/daglib/0098210 Enno Scholz A framework for programming interactive graphics in a functional programming language. 1998 I-VII, 1-305 Free University of Berlin, Dahlem, Germany 978-3-8330-0191-8 http://d-nb.info/968575617
806 2011-03-23 books/daglib/0096028 Aad P. A. van Moorsel Performability evaluation concepts and techniques. 1993 I-XIV, 1-275 University Twente
807 2017-01-09 books/daglib/0076771 Lutz-Peter Kurdelski Entwicklung eines Resourcen-Managment-Systems als Bestandteil einer adaptierbaren Benutzerschnittstelle für den wissenschaftlichen Arbeitsplatz. 1994 I-VII, 1-261 Darmstadt University of Technology, Germany http://d-nb.info/943539250
808 2020-02-12 books/daglib/0017107 Oliver P. Waldhorst Design and quantitative analysis of protocols for epidemic information dissemination in mobile ad hoc networks. 2005 I-VIII, 1-173 Technical University of Dortmund, Germany http://eldorado.tu-dortmund.de:8080/bitstream/2003/21729/1/THESIS.PDF,https://nbn-resolving.org/urn:nbn:de:hbz:290-2003/21729-8,http://d-nb.info/978189701,http://d-nb.info/998337080
809 2019-07-09 books/daglib/0073915 Peter W. Newton A graphical retargetable parallel programming environment and its efficient implementation. 1993 I-XIII, 1-192 UTCS publications 93-28 University of Austin, TX, USA
810 2016-10-07 books/daglib/0069994 Wolfgang Effelsberg Systempufferverwaltung in Datenbanksystemen. 1981 1-293 Darmstadt University of Technology, Germany http://d-nb.info/820420395
811 2018-05-16 books/daglib/0018563 Germain Faure Structures et modeles de calculs de reecriture (Structures and models of rewriting calculi). 2007 I-VI, 1-222 LORIA https://tel.archives-ouvertes.fr/tel-00164576,https://tel.archives-ouvertes.fr/tel-01748148
812 2019-06-18 books/daglib/0018702 Yuxi Fu Topics in type theory. 1992 1-94 Technical report series : UMCS 92-11-1 University of Manchester, UK
813 2017-03-08 books/daglib/0083531 Christian Icking Motion and visibility in simple polygons. 1994 1-113 University of Hagen, Germany http://d-nb.info/944778704
814 2015-08-07 books/daglib/0036236 Benjamin Risse FIM imaging and the analysis of Drosophila locomotion. 2015 I-XII, 1-209 Universität Münster
815 2019-03-27 books/daglib/0070148 Rolf Müller 0003 Hierarchisches Floorplanning mit integrierter globaler Verdrahtung. 1990 I-IV, 1-132 University of Paderborn, Germany http://d-nb.info/910987475
816 2020-01-30 books/daglib/0002958 Stephan Schulz 0001 Learning search control knowledge for equational deduction. 2000 I-XIII, 1-182 Infix Akademische Verlagsgesellschaft DISKI 230 Technical University Munich, Germany 978-3-89838-230-4 http://d-nb.info/95899126X,http://d-nb.info/960303669
817 2019-06-18 books/daglib/0001588 Peter Møller Neergaard Weak and strong normalization, K-redexes, and first-order logic. 1999 Technical report / University of Copenhagen / Datalogisk institut 99/11 University of Copenhagen, Denmark
818 2020-01-30 books/daglib/0099123 Armin Wolf Adaptive Constraintverarbeitung mit Constraint-Handling-Rules - ein allgemeiner Ansatz zur Lösung dynamischer Constraint-Probleme. 1999 1-240 Infix DISKI 219 Technical University of Berlin, Germany 978-3-89601-219-7 http://d-nb.info/957771215
819 2017-01-16 books/daglib/0098215 Christian Böhm Efficiently Indexing High-Dimensional Data Spaces. 1998 I-XIV, 1-242 Utz Ludwig Maximilian University of Munich, Germany 978-3-89675-470-7 http://d-nb.info/955625874
820 2020-02-12 books/daglib/0031250 Philipp Reinecke Efficient System Evaluation Using Stochastic Models. 2012 I-XIII, 1-215 Free University of Berlin, Germany http://www.diss.fu-berlin.de/diss/receive/FUDISS_thesis_000000093801,https://nbn-resolving.org/urn:nbn:de:kobv:188-fudissthesis000000093801-5,http://d-nb.info/1033306738,http://d-nb.info/1036146014
821 2011-03-23 books/daglib/0016521 Lutz Priese Normalformen von Markov'schen und Post'schen Algorithmen - eine Einführung in die Theorie der Normierten Algorithmen. 1971 1-124 Universität Münster
822 2011-08-25 books/daglib/0027448 Katharina Richter Augmenting Designers' Memory - Case-Based Reasoning in der Architektur. 2010 1-355 Universität Weimar
823 2020-01-30 books/daglib/0092073 Katy Börner Konzeptbildende Analogie - Integration von Conceptual Clustering und analogem Schließen zur effizienten Unterstützung von Entwurfsaufgaben: motiviert durch und illustriert an Aufgaben aus der Bauarchitektur. 1997 I-XV, 1-211 Infix DISKI 177 Kaiserslautern University of Technology, Germany 978-3-89601-177-0 http://d-nb.info/952597373
824 2020-02-12 books/daglib/0098491 Rainer Pollak Auswirkungen verschiedener Informationsebenen auf die Effizienz der dynamischen Lastbalancierung. 1999 1-164 University of Stuttgart, Germany http://elib.uni-stuttgart.de/opus/volltexte/2000/577/pdf/diss_pollak.pdf,https://nbn-resolving.org/urn:nbn:de:bsz:93-opus-5779,http://d-nb.info/957587236,http://d-nb.info/958332290
825 2020-01-30 books/daglib/0002237 Elisabeth Umkehrer Formalisierung von unsicherem Wissen. 2000 1-152 Infix Akademische Verlagsgesellschaft DISKI 240 Technical University Munich, Germany 978-3-89838-240-3 http://d-nb.info/959848460
826 2011-03-23 books/daglib/0072670 Jürgen Mehnert Beitrag zur Gestaltung von Sensorinterfacebaugruppen für speicherprogrammierbare Steuerungen. 1992 1-131 TU Chemnitz
827 2016-09-28 books/daglib/0087983 Ana L. C. Bazzan An evolutionary game-theoretical approach for coordination of traffic signal agents. 1997 I-III, 1-129 Universität Karlsruhe http://d-nb.info/949920193
828 2019-06-18 books/daglib/0018387 Peter Marwedel Ein Software-System zur Synthese von Rechnerstrukturen und zur Erzeugung von Mikrocode. 1990 1-187 Forschungsberichte / Universität Dortmund / Fachbereich Informatik 356 University of Dortmund, Germany
829 2011-03-23 books/daglib/0070150 Michael Micus Zur formalen Äquivalenz von quasigewöhnlichen Singularitäten. 1987 I-IV, 1-100 Universität Paderborn
830 2011-03-24 books/daglib/0016520 Christian G. Fermüller Deciding classes of clause sets by resolution. 1991 1-54 TU Wien
831 2016-12-01 books/daglib/0070037 Gregor Lux Graphische Ausgabe für Werkzeuge zur Entwicklung interaktiver Benutzerschnittstellen. 1991 I-IV, 1-247 Darmstadt University of Technology, Germany http://d-nb.info/920162487
832 2020-01-30 books/daglib/0005187 Sönke Frantz Local and semi-global approaches to the extraction of 3D anatomical landmarks from 3D tomographic images. 2001 I-XXII, 1-232 Infix Akademische Verlagsgesellschaft DISKI 253 University of Hamburg, Germany 978-3-89838-253-3 http://d-nb.info/96236973X
833 2016-12-01 books/daglib/0070080 Gerhard Schiele Kontrollstrukturen zur Ablaufsteuerung massiv paralleler Datenbankanwendungen in Multiprozessorsystemen. 1991 I-XII, 1-322 University of Stuttgart, Germany http://d-nb.info/920346472
834 2017-03-09 books/daglib/0079090 Hatem Hamad Konzepte zur Entwicklung von abstrakten Verhaltensmodellen analoger Funktionsblöcke für die Systemsimulation. 1995 I-III, 1-119 Darmstadt University of Technology, Germany http://d-nb.info/944742858
835 2020-01-30 books/daglib/0084811 Karlheinz Blank Benutzermodellierung für adaptive interaktive Systeme - Architektur, Methoden, Werkzeuge und Anwendungen. 1996 1-188 Infix DISKI 131 University of Stuttgart, Germany 978-3-89601-131-2 http://d-nb.info/948524782
836 2016-10-04 books/daglib/0087092 Peter Altenbernd Timing analysis, scheduling, and allocation of periodic hard real-time tasks. 1996 I-VI, 1-116 Universität Paderborn http://d-nb.info/950231541
837 2020-01-30 books/daglib/0080399 Jürgen Giesl Automatisierung von Terminierungsbeweisen für rekursiv definierte Algorithmen. 1995 1-306 Infix DISKI 96 Darmstadt University of Technology, Germany 978-3-89601-096-4 http://d-nb.info/945156189
838 2019-07-19 books/daglib/0079308 Sai-Lai Lo A modular and extensible network storage architecture. 1994,1995 I-XIX, 1-132 Cambridge University Press Distinguished dissertations in computer science 11 University of Cambridge, UK 978-0-521-55115-1
839 2016-11-15 books/daglib/0070156 Peter Pfahler Übersetzungsmethoden zur automatischen Hardware-Synthese. 1988 1-110 University of Paderborn, Germany http://d-nb.info/881452122
840 2016-12-07 books/daglib/0011201 Pawel Wocjan Computational power of Hamiltonians in quantum computing. 2003 I-V, 1-199 Karlsruhe Institute of Technology, Germany http://d-nb.info/971070067
841 2017-03-23 books/daglib/0012767 Maurice Nivat Transduction des langages de Chomsky. 1968 1-339 Faculté des sciences de Paris, France
842 2020-03-12 books/daglib/0020552 Björn Scheuermann 0001 Reading between the packets - implicit feedback in wireless multihop networks. 2007 I-XXII, 1-223 University of Düsseldorf, Germany 978-3-8364-5279-3 http://docserv.uni-duesseldorf.de/servlets/DerivateServlet/Derivate-6702/diss.pdf,https://nbn-resolving.org/urn:nbn:de:hbz:061-20071219-100941-3,http://d-nb.info/987113046,http://d-nb.info/987435612,http://d-nb.info/987753207
843 2011-08-25 books/daglib/0027451 Loïc Royer Unraveling the Structure and Assessing the Quality of Protein Interaction Networks with Power Graph Analysis. 2010 1-212 Universität Dresden
844 2016-12-06 books/daglib/0017056 Felix Ritter Interaktives Illustrieren von Informationsräumen - räumliche und funktionale Zusammenhänge spielerisch begreifen. 2005 I-XVI, 1-275 Der Andere Verlag Otto-von-Guericke University Magdeburg, Germany 978-3-89959-391-4 http://d-nb.info/976991705
845 2017-12-04 books/daglib/0098209 Ralf Tönjes Wissensbasierte Interpretation und 3D-Rekonstruktion von Landschaftsszenen aus Luftbildern. 1999 I-XIV, 1-117 VDI-Verlag University of Hanover, Hannover, Germany 978-3-18-357510-7 http://d-nb.info/956574467,http://d-nb.info/968523730
846 2019-07-10 books/daglib/0096238 Franz Mauch Ein Randverteilungsproblem und seine Anwendung auf das asymptotische Spektrum bilinearer Abbildungen. 1998 I-X, 1-42 Konstanzer Schriften in Mathematik und Informatik / Universität Konstanz / Fakultät für Mathematik und Informatik 75 University of Konstanz, Germany
847 2020-01-30 books/daglib/0085114 Johann Gamper A temporal reasoning and abstraction framework for model-based diagnosis systems. 1996 I-XII, 1-149 Infix DISKI 136 RWTH Aachen University, Germany 978-3-89601-136-7 http://d-nb.info/94883739X
848 2020-01-30 books/daglib/0096922 Daniel S. Korn Konstruktiv adäquate Beweisautomatisierung für intuitionistische Logik. 1999 I-XV, 1-213 Infix DISKI 198 Darmstadt University of Technology, Germany 978-3-89601-198-5 http://d-nb.info/95602582X
849 2011-03-23 books/daglib/0003233 Rainer Gmehlich Verfahren zur Systemspezifikation, Entwurf und Validierung von eingebetteten Echtzeitsystemen im Kfz-Bereich. 2001 1-137 Universität Karlsruhe
850 2019-06-18 books/daglib/0004652 Jörn Stypa Existenz einer Lösung für die nichtlineare Elastizitätstheorie mit Anwendung in der Herzmechanik. 2000 Preprints Angewandte Mathematik und Informatik / Universität Münster / Angewandte Mathematik und Informatik 21/00
851 2019-07-09 books/daglib/0074392 Mats Björkman Architectures for high performance communication. 1993 1-142 SICS dissertation series 10 Swedish Institute of Computer Science, Kista, Sweden
852 2016-11-02 books/daglib/0070000 Günther E. Pfaff Methoden zur Konfigurierung graphischer Systeme und ihre Anwendung. 1984 1-213 Darmstadt University of Technology, Germany http://d-nb.info/850795893
853 2011-03-23 books/daglib/0012777 Jeannine Leguy-Cordellier Transductions rationnelles décroissantes et substitution. 1980 1-129 Univ. Lille
854 2017-01-12 books/daglib/0085031 Christian Schindelhauer Average- und Median-Komplexitätsklassen. 1996 I-VIII, 1-161 University of Lübeck, Germany http://d-nb.info/949105333
855 2019-06-07 books/daglib/0082988 Jian Zhao 0009 A construction environment for retrieval-oriented database interface systems. 1996 I-VII, 1-148 Darmstadt University of Technology, Germany http://d-nb.info/947539492
856 2011-03-23 books/daglib/0012792 Bernard Robinet Semantique des tableaux - application au langage APL. 1972 1-123 Univ. Paris VI
857 2020-02-12 books/daglib/0008659 Matthias Rehm LOKATOR - multimodale Bedeutungskonstitution in situierten Agenten. 2001 I-XIV, 1-272 Bielefeld University, Germany http://bieson.ub.uni-bielefeld.de/volltexte/2003/125/index.html,https://nbn-resolving.org/urn:nbn:de:hbz:361-1252,http://d-nb.info/969431015,http://d-nb.info/973075147
858 2020-01-30 books/daglib/0097888 Carsten Schröder Bildinterpretation durch Modellkonstruktion - eine Theorie zur rechnergestützten Analyse von Bildern. 1999 I-XV, 1-306 Infix DISKI 196 University of Hamburg, Germany 978-3-89601-196-1 http://d-nb.info/956025978
859 2017-01-13 books/daglib/0097946 Jens Zeidler Unscharfe Entscheidungsbäume. 1998 I-X, 1-106 Chemnitz University of Technology, Germany http://d-nb.info/956811604
860 2016-12-06 books/daglib/0022219 Jan Dünnweber Higher-order components for web-enabled grid applications. 2008 I-VIII, 1-209 Der Andere Verlag University of Münster, Germany 978-3-89959-750-9 http://d-nb.info/989056325,http://d-nb.info/98996955X
861 2019-07-10 books/daglib/0086795 Benjamin N. Grosof Updating and structure in non-monotonic theories. 1997 I-XIII, 1-431 Research report / RC / IBM / IBM Research Division / T. J. Watson Research Center 20683 IBM
862 2020-01-30 books/daglib/0081790 Silke Richter Ein mehrfach adaptierendes, stabiles Modell zur Analyse von Straßenszenen. 1995 1-157 Infix DISKI 106 Technical University Munich, Germany 978-3-89601-106-0 http://d-nb.info/946326614
863 2016-11-18 books/daglib/0070067 Andreas Zell 1989 1-203 University of Stuttgart, Germany http://d-nb.info/900281006
864 2011-03-23 books/daglib/0012795 Luc Boasson Cones rationnels et familles agreables de langages - application au langage a compteur. 1971 1-94 Univ. Paris VII
865 2017-01-05 books/daglib/0081589 Uwe R. Zimmer Adaptive approaches to basic mobile robot tasks. 1995 I-XIV, 1-151 Kaiserslautern University of Technology, Germany http://d-nb.info/946148546
866 2019-07-09 books/daglib/0031225 Peter Wild Advanced Segmentation and Comparators for Iris Biometric Surveillance. 2012 I-VIII, 1-259 University of Salzburg, Austria http://peterwild.net/Wild12a.pdf
867 2017-01-13 books/daglib/0002945 Ulrike Sattler Terminological knowledge representation systems in a process engineering application. 1998 I-III, 1-147 Mainz RWTH Aachen University, Germany 978-3-89653-348-7 http://d-nb.info/957405774
868 2017-01-12 books/daglib/0083729 Rainer Kress 0002 A fast reconfigurable ALU for Xputers. 1996 I-XIV, 1-241 Kaiserslautern University of Technology, Germany http://d-nb.info/947946594
869 2020-02-12 books/daglib/0009857 Sebastian Mika Kern Fisher Diskriminaten. 2002 I-X, 1-144 Tecnical University of Berlin, Germany http://edocs.tu-berlin.de/diss/2002/mika_sebastian.htm,https://nbn-resolving.org/urn:nbn:de:kobv:83-opus-4777,http://d-nb.info/967125413
870 2017-03-23 books/daglib/0071483 Colm Ó'Dúnlaing Finite and infinite regular thue systems. 1981 1-149 University of California, Santa Barbara, CA, USA
871 2020-01-30 books/daglib/0083718 Jochen Dörre Feature-Logik und Semiunifikation. 1996 I-V, 1-150 Infix DISKI 128 University of Stuttgart, Germany 978-3-89601-128-2 http://d-nb.info/942994221,http://d-nb.info/947637745
872 2016-09-29 books/daglib/0094781 Christoph Globig Fallbasierte Repräsentierbarkeit und Lernbarkeit. 1997 I-VI, 1-133 Universität Kaiserslautern http://d-nb.info/953703207
873 2020-02-12 books/daglib/0008644 Ralf Molitor Unterstützung der Modellierung verfahrenstechnischer Prozesse durch Nicht-Standardinferenzen in Beschreibungslogiken. 2000 I-II, 1-210 RWTH Aachen University, Germany http://sylvester.bth.rwth-aachen.de/dissertationen/2000/64/00_64.pdf,https://nbn-resolving.org/urn:nbn:de:hbz:82-opus-755,http://d-nb.info/961422246,http://d-nb.info/961890606
874 2016-11-17 books/daglib/0070085 Johannes Köbler Strukturelle Komplexität von Anzahlproblemen. 1989 1-83 University of Stuttgart, Germany http://d-nb.info/891513701
875 2017-01-11 books/daglib/0072841 Alvaro de la Ossa Knowledge adaptation - analogical transfer of empirical knowledge across domains for case-based problem solving. 1992 I-XI, 1-159 Kaiserslautern University of Technology, Germany http://d-nb.info/940190273
876 2011-03-24 books/daglib/0008479 J. H. ter Bekke Semantic data modeling in relational environments. 1991 I-VIII, 1-140 Universiteit Delft
877 2020-02-12 books/daglib/0093032 Sebastian Egner Zur algorithmischen Zerlegungstheorie linearer Transformationen mit Symmetrie. 1997 1-126 Universität Karlsruhe http://digbib.ubka.uni-karlsruhe.de/volltexte/76697,https://nbn-resolving.org/urn:nbn:de:swb:90-AAA766978,http://d-nb.info/1014060621,http://d-nb.info/952894270
878 2017-03-22 books/daglib/0081362 Günther Theiss Systemtechnischer Ansatz für die Entwicklung von Expertensystemen zur Überwachung und Diagnose automatisierter Anlagen - am Beispiel einer Spiegelofen-Kristallzuchtanlage. 1995 I-XI, 1-165 Karlsruhe Institute of Technology, Germany http://d-nb.info/945361122
879 2011-03-23 books/daglib/0070122 Christian Tuttas Regelung sinusförmiger Systemgrössen bei Asynchronmaschine und aktivem Saugkreis. 1992 I-VIII, 1-132 Universität Kaiserslautern
880 2020-01-30 books/daglib/0077165 Manfred Meyer Finite domain constraints - declaritivity meets efficiency, theory meets application. 1995 1-167 Infix DISKI 79 Kaiserslautern University of Technology, Germany 978-3-929037-79-1 http://d-nb.info/943240816
881 2020-01-30 books/daglib/0085111 Ralf Bruns Wissensbasierte genetische Algorithmen - Integration von genetischen Algorithmen und Constraint-Programmierung zur Lösung kombinatorischer Optimierungsprobleme. 1996 1-193 Infix DISKI 134 University of Oldenburg, Germany 978-3-89601-134-3 http://d-nb.info/94883806X
882 2020-02-12 books/daglib/0020553 Daniel Fleischer Theory and applications of the Laplacian. 2007 1-180 University of Konstanz, Germany http://www.ub.uni-konstanz.de/kops/volltexte/2008/4625/,https://nbn-resolving.org/urn:nbn:de:bsz:352-opus-46250,http://d-nb.info/987307738
883 2011-08-25 books/daglib/0027442 Tobias Knopp Effiziente Rekonstruktion und alternative Spulentopologien für Magnetic-Particle-Imaging. 2010 I-XII, 1-192 Universität Lübeck
884 2011-03-24 books/daglib/0016511 Erik P. de Vink Designing stream based semantics for uniform concurrency and logic programming. 1990 1-167 Univ. Amsterdam
885 2016-11-10 books/daglib/0070068 Wilhelm E. Haller Leistungsverhalten von privaten Cache-Speichern für Instruktionen in einem Multiprozessorsystem. 1986 1-134 University of Stuttgart, Germany http://d-nb.info/870805177
886 2011-02-09 books/daglib/0024648 Carsten Buschmann Zeitliches und räumliches Kontextbewusstsein in drahtlosen Sensornetzen. 2008 I-IX, 1-174 Universität Lübeck
887 2011-03-23 books/daglib/0070109 Andreas Pfitzmann Konfigurierung und Modellierung von Mehrmikrorechnern aus um Zuverlässigkeitsanforderungen erweiterten ADA-Programmen. 1982 1-141 Universität Karlsruhe
888 2017-01-12 books/daglib/0093262 Wolfgang Müller 0003 Executable graphics for VHDL-based systems design. 1996 1-199 University of Paderborn, Germany http://d-nb.info/954068114
889 2011-03-23 books/daglib/0008638 Thomas Kemp Ein automatisches Indexierungssystem für Fernsehnachrichtensendungen. 1999 1-203 Univ./TH Karlsruhe
890 2016-12-21 books/daglib/0071700 Peter Buhler COIN - ein System zur verteilten objektbasierten Programmierung. 1993 1-131 Kaiserslautern University of Technology, Germany http://d-nb.info/940020998
891 2011-03-23 books/daglib/0016504 Christiaan Peter Jozef Koymans Models of the Lambda Calculus. 1984 1-193 Univ. Utrecht
892 2011-03-23 books/daglib/0009854 Lars Hildebrand Asymmetrische Evolutionsstrategien. 2001 1-300 Universität Dortmund
893 2016-11-30 books/daglib/0070153 Christian Ewering Methoden zur flächenminimierenden Hardware-Synthese. 1991 1-102 University of Paderborn, Germany http://d-nb.info/921045611
894 2020-02-12 books/daglib/0031249 Birgit Endrass Cultural Diversity for Virtual Characters - Investigating Behavioral Aspects across Cultures. 2012 I-IV, 1-234 Universität Augsburg http://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/1906,https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-19064,http://d-nb.info/1026990548,http://d-nb.info/1077701306
895 2020-01-30 books/daglib/0094740 Ralf Röhrig Repräsentation und Verarbeitung von qualitativem Orientierungswissen. 1998 1-136 Infix DISKI 189 University of Hamburg, Germany 978-3-89601-189-3 http://d-nb.info/95429873X
896 2020-01-30 books/daglib/0001384 Karlheinz Agsteiner Ein objektorientiertes Wissensmodell zur Konfigurierung digitaler Systeme. 2000 I-XV, 1-190 Infix DISKI 233 Chemnitz University of Technology, Germany 978-3-89838-233-5 http://d-nb.info/958744742
897 2020-02-12 books/daglib/0009853 Daniel Cremers Statistical shape knowledge in variational image segmentation. 2002 I-X, 1-151 University of Mannheim, Germany http://bibserv7.bib.uni-mannheim.de/madoc/volltexte/2002/52,https://nbn-resolving.org/urn:nbn:de:bsz:180-madoc-520,http://d-nb.info/965314936,http://d-nb.info/965350398
898 2011-03-23 books/daglib/0072271 Bernd Freisleben Neuronale Netze - Modelle und Anwendungen. 1993 1-157 TH Darmstadt
899 2014-06-02 books/daglib/0033464 Paul Kaufmann Adapting hardware systems by means of multi-objective evolution. 2013 I-XVI, 1-249 Universität Paderborn
900 2019-07-09 books/daglib/0083343 Manfred Nagl Formale Sprachen von markierten Graphen. 1974 1-110 Arbeitsberichte des Department Informatik / Friedrich-Alexander-Universität Erlangen-Nürnberg 7,4 University of Erlangen, Germany
901 2020-02-12 books/daglib/0095838 Markus Püschel Konstruktive Darstellungstheorie und Algorithmengenerierung. 1998 1-133 Karlsruhe Institute of Technology, Germany http://digbib.ubka.uni-karlsruhe.de/volltexte/27798,https://nbn-resolving.org/urn:nbn:de:swb:90-AAA277984,http://d-nb.info/954427858,http://d-nb.info/1007715006
902 2019-07-09 books/daglib/0071744 Peter J. Downey Formal languages and recursion schemes. 1974 TR 16-74 Harvard University
903 2015-06-11 books/daglib/0035680 Sven Linden The LIR Space Partitioning System applied to the Stokes Equations. 2014 I-VI Universität Kaiserslautern https://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/3945
904 2016-10-21 books/daglib/0070045 Klaus-Peter Völkmann Hochsprachrechner mit Intelligentem Speicher. 1983 1-167 Darmstadt University of Technology, Germany http://d-nb.info/840449372
905 2019-07-10 books/daglib/0083767 Christopher M. Lott Measurement-based feedback in a process-centered software engineering environment. 1996 Interner Bericht / Universität Kaiserslautern / Fachbereich Informatik 283/96 University of Kaiserslautern, Germany
906 2017-04-06 books/daglib/0069966 Michael Schwantner Aufbau und Pflege eines Wörterbuches für die automatische Indexierung. 1991 1-103 Darmstadt University of Technology, Germany http://d-nb.info/920865690
907 2017-01-11 books/daglib/0077680 Michael Neher Logiksynthese von Steuerwerken. 1993 I-V, 1-206 Karlsruhe Institute of Technology, Germany http://d-nb.info/943752841
908 2017-01-17 books/daglib/0098642 Werner Stein Konsistentes und inkonsistentes Lernen im Limes. 1999 1-116 Kaiserslautern University of Technology, Germany http://d-nb.info/956695337
909 2020-01-30 books/daglib/0000515 Jens-Uwe Möller DIA-MOLE - Modellierung gesprochen-sprachlicher Dialoge unter Zuhilfenahme eines maschinellen Lernverfahrens. 1999 1-288 Infix DISKI 221 University of Hamburg, Germany 978-3-89601-221-0 http://d-nb.info/958114617
910 2016-12-06 books/daglib/0098904 Markus Lohrey Das Konfluenzproblem für Spurersetzungssysteme. 1999 1-140 Universität Stuttgart http://d-nb.info/957731809
911 2020-01-30 books/daglib/0079800 Nils Lenke Paraphrasen - Lösungen für antizipierte Leserprobleme bei der automatischen Textgenerierung. 1995 1-249 Infix DISKI 82 University of Duisburg-Essen, Germany 978-3-929037-82-1 http://d-nb.info/944180787
912 2016-11-11 books/daglib/0070061 René Plodeck Analyse und Optimierung von SC-Netzwerken. 1987 1-188 ETH Zurich, Zürich, Switzerland http://d-nb.info/941377717
913 2020-01-30 books/daglib/0097313 Stefan K. Bamberger Verteiltes Problemlösen mit wissensbasierten Diagnosesystemen. 1999 I-XVII, 1-289 Infix DISKI 203 Julius Maximilians University Würzburg, Germany 978-3-89601-203-6 http://d-nb.info/956339581
914 2017-01-06 books/daglib/0077679 Sofiène Tahar Eine Methode zur formalen Verifikation von RISC-Prozessoren. 1995 I-XII, 1-166 VDI-Verlag Karlsruhe Institute of Technology, Germany 978-3-18-335010-0 http://d-nb.info/943529654,http://d-nb.info/944709834
915 2020-11-20 books/daglib/0022695 Florian Rabe 0001 Representing logics and logic translations. 2008 1-180 Universität Bremen
916 2020-02-12 books/daglib/0035436 Sven Linker Proofs for traffic safety - combining diagrams and logic. 2015 I-XIII, 1-201 Berichte aus dem Department für Informatik / Universität Oldenburg / Fachbereich Informatik 01-15 Universität Oldenburg http://oops.uni-oldenburg.de/2337/,https://nbn-resolving.org/urn:nbn:de:gbv:715-oops-24183,http://d-nb.info/106831236X
917 2020-03-12 books/daglib/0024651 Raluca Paiu Exploiting Tag Information for Search and Personalization. 2009 I-XVI, 1-156 University of Hanover http://edok01.tib.uni-hannover.de/edoks/e01dh10/615902634.pdf,https://nbn-resolving.org/urn:nbn:de:gbv:089-6159026345,http://d-nb.info/1000532798,http://d-nb.info/1001050592
918 2020-02-12 books/daglib/0016496 Holger Spakowski Completeness for parallel access to NP and counting class separations. 2005 I-VI, 1-105 University of Düsseldorf, Germany http://diss.ub.uni-duesseldorf.de/ebib/diss/show?dissid=1172,https://nbn-resolving.org/urn:nbn:de:hbz:061-20050720-001172-8,http://d-nb.info/97596934X,http://d-nb.info/976105594
919 2017-01-06 books/daglib/0069305 Stefan Schirra Approximative Bewegungsplanungsverfahren. 1992 I-V, 1-127 Saarland University, Saarbrücken, Germany http://d-nb.info/940112663
920 2016-10-10 books/daglib/0069972 Rudolf Linder Grammatikalische Sprachfamilien mit endlichem Index. 1981 1-131 Darmstadt University of Technology, Germany http://d-nb.info/820420433
921 2011-03-23 books/daglib/0068998 Mark de Berg Efficient algorithms for ray shooting and hidden surface removal. 1992 I-VIII, 1-225 Universität Utrecht
922 2016-10-05 books/daglib/0083661 Karl-Josef Prott Verfahren zur speichereffizienten Attributauswertung in Strukturbäumen. 1996 1-167 University of Paderborn, Germany http://d-nb.info/94808488X
923 2020-02-12 books/daglib/0011794 Christian Breimann Anfragebearbeitung in einem Datenbank-Kernsystem für Geo-Anwendungen unter Verwendung einer generischen Komponente zur Anfrageoptimierung. 2004 I-XII, 1-146 University of Münster, Germany https://nbn-resolving.org/urn:nbn:de:hbz:6-19629707883,http://d-nb.info/971838097,http://d-nb.info/972806555
924 2020-02-12 books/daglib/0031768 Dirk Feldmann Real-Time Rendering and Synthesis of Digital Surface Models Using Textures of Time-Varying Extension. 2013 I-X, 1-165 University of Münster, Germany https://nbn-resolving.org/urn:nbn:de:hbz:6-66329671769,http://d-nb.info/1141383578
925 2011-03-23 books/daglib/0012791 Jean-François Perrot Contribution a l'etude des monoides syntactiques et de certains groupes associes aux automates finis. 1972 Univ. Paris VI
926 2016-12-06 books/daglib/0020503 Christian Biemann Unsupervised and knowledge-free natural language processing in the structure discovery paradigm. 2007 I-XVI, 1-181 Leipzig University, Germany http://d-nb.info/987567292
927 2019-07-10 books/daglib/0079414 Dorai Sitaram Models of control and their implications for programming language design. 1994 Rice COMP TR 94-233 University of Houston, TX, USA
928 2016-11-30 books/daglib/0070038 Matthias Muth Asynchrone Eingabeprozesse in graphisch-interaktiven Systemen. 1990 1-197 Darmstadt University of Technology, Germany http://d-nb.info/911380434
929 2017-01-11 books/daglib/0086139 Finn Dag Buø FeasPar - a feature structure parser learning to parse spontaneous speech. 1996 I-IV, 1-110 Karlsruhe Institute of Technology, Germany http://d-nb.info/949283754
930 2020-01-30 books/daglib/0099118 Wolfgang Wilke Knowledge management for intelligent sales support in electronic commerce. 1999 1-212 Infix DISKI 213 Kaiserslautern University of Technology, Germany 978-3-89601-213-5 http://d-nb.info/957771487
931 2016-11-15 books/daglib/0070055 Hans G. Wagner Implementierung, Optimierung und Leistungsmessung eines lokalen Netzes. 1988 1-138 Braunschweig University of Technology, Germany http://d-nb.info/890812381
932 2020-02-12 books/daglib/0009851 Kai Renz Algorithms and data structures for a music notation system based on GUIDO music notation. 2002 I-X, 1-153 Darmstadt University of Technology, Germany http://elib.tu-darmstadt.de/diss/000265,https://nbn-resolving.org/urn:nbn:de:tuda-tuprints-2650,http://d-nb.info/966017846,http://d-nb.info/967375975
933 2016-12-21 books/daglib/0072848 Rainer Bleisinger TEMPO - ein Ansatz zur integrierten Repräsentation und Verarbeitung qualitativer und quantitativer Zeitangaben. 1993 I-VII, 1-211 Kaiserslautern University of Technology, Germany http://d-nb.info/940817500
934 2020-02-12 books/daglib/0035668 Melanie Schmidt 0001 Coresets and streaming algorithms for the k-means problem and related clustering objectives. 2014 I-XII, 1-257 Universität Dortmund https://doi.org/10.17877/DE290R-43,https://hdl.handle.net/2003/34099,https://nbn-resolving.org/urn:nbn:de:101:1-201608251125,http://d-nb.info/1112267131
935 2020-02-12 books/daglib/0010516 Steffen Niendieck Optimierung von Fuzzy-Controllern - von Untersuchungen hybrider Neuro-Fuzzy-Systeme zum Entwurf des universellen konnektionistischen Modells MFOS: Münsteraner-Fuzzy-Optimierungs-System. 2004 I-XVI, 1-267 University of Münster, Germany https://nbn-resolving.org/urn:nbn:de:hbz:6-85659525971,http://d-nb.info/970330774,http://d-nb.info/97066009X
936 2016-04-12 books/daglib/0029008 Gerd Bruder Making small spaces feel large: self-motion perception, redirection and illusions. 2011 I-XIII, 1-225 University of Münster http://d-nb.info/1023995271
937 2016-10-31 books/daglib/0008869 Jakob Karszt Datenbank-Pascal - ein ausbaubares Datenbanksystem nach einem Entitiy-Relationship-Modell für Personal-Computer-Anwendungen. 1984 1-177 Karlsruhe Institute of Technology, Germany http://d-nb.info/850967651
938 2017-01-10 books/daglib/0071012 Reinhold Letz First-order calculi and proof procedures for automated deduction. 1993 1-195 Darmstadt University of Technology, Germany http://d-nb.info/931883970
939 2011-03-23 books/daglib/0020504 Claudia Plant Knowledge extraction and data mining algorithms for complex biomedical data. 2006 1-300 Universität Hall
940 2011-03-23 books/daglib/0009823 Jürgen Palkoska Semantikbasierte Ähnlichkeitssuche in Datenbanksystemen. 2002 I-XIII, 1-244 Universität Linz
941 2020-03-12 books/daglib/0022690 Carsten Binnig Generating meaningful test databases. 2008 I-VIII, 1-201 University of Heidelberg, Germany http://archiv.ub.uni-heidelberg.de/volltextserver/8358/1/diss.pdf,https://nbn-resolving.org/urn:nbn:de:bsz:16-opus-83584,http://d-nb.info/988725657,http://d-nb.info/988808315
942 2017-09-29 books/daglib/0027441 Christoph Becker 0001 Trustworthy Preservation Planning. 2010 I-XII, 1-230 Universität Wien
943 2016-11-18 books/daglib/0037288 Ulrich Burgbacher Stroke-based text entry and other gestural interfaces - movement modeling and biometric authentication. 2015 I-XVII, 1-181 University of Münster, Germany http://d-nb.info/1081294728
944 2020-01-30 books/daglib/0097892 Jürgen Brauburger Automatic termination analysis for functional and imperative programs. 1999 1-244 Infix DISKI 207 Darmstadt University of Technology, Germany 978-3-89601-207-4 http://d-nb.info/956678750
945 2020-02-12 books/daglib/0016493 Volkmar Uhlig Scalability of microkernel-based systems. 2005 I-IX, 1-129 Karlsruhe Institute of Technology, Germany http://digbib.ubka.uni-karlsruhe.de/volltexte/1000004020,https://nbn-resolving.org/urn:nbn:de:swb:90-40207,http://d-nb.info/1002356563,http://d-nb.info/978649761
946 2019-06-18 books/daglib/0018393 Sampath Kannan Program checkers for algebraic problems. 1989 I-II, 1-58 TR ICSI - International Computer Science Institute / Berkeley 89-064 University Berkeley
947 2019-07-09 books/daglib/0072895 Lars Degerstedt Tabulated resolution for well-founded semantics. 1993 1-81 Linköping studies in science and technology thesis 402 Linköping University, Sweden
948 2011-03-23 books/daglib/0079517 Markus Pape Chip Assembly mit topologischer Kompaktierung. 1995 1-240 Universität Paderborn
949 2011-03-23 books/daglib/0087981 Rainer Malaka Neural information processing in insect olfactory systems. 1996 I-VIII, 1-206 Universität Karlsruhe
950 2011-03-23 books/daglib/0012768 Max Fontet Etude des polyautomorphismes des p-systemes bipermutationnels. 1973 Univ. Paris VII
951 2017-01-12 books/daglib/0085301 Alexander Kick Generierung von Gegenbeispielen und Zeugen bei der Modellprüfung. 1996 I-V, 1-115 Karlsruhe Institute of Technology, Germany http://d-nb.info/948621672
952 2016-11-17 books/daglib/0008866 Jörg Noack Ein transportables Front-End zur Interpretation deutschsprachiger Anfragen an ein relationales Datenbanksystem. 1989 I-V, 1-207 RWTH Aachen University, Germany http://d-nb.info/901506796
953 2016-11-30 books/daglib/0069964 Jairo A. Cote-Munoz AIDA - ein an den Benutzer angepaßtes graphisch-interaktives System. 1990 1-265 Darmstadt University of Technology, Germany http://d-nb.info/910987467
954 2016-09-30 books/daglib/0091612 Martin Wehr Überladung in Typsystemen. 1997 I-VI, 1-158 Universität Karlsruhe http://d-nb.info/952591944
955 2020-02-12 books/daglib/0024107 Susanne Johanna Gruttmann Formatives E-Assessment in der Hochschullehre - computerunterstützte Lernfortschrittskontrollen im Informatikstudium. 2009 I-XIV, 1-265 Verlags-Haus Monsenstein und Vannerdat University of Münster 978-3-86991-042-0 https://nbn-resolving.org/urn:nbn:de:hbz:6-58449483351,http://d-nb.info/1000881814,http://d-nb.info/100310536X
956 2020-02-12 books/daglib/0013924 Oliver Heckmann A system-oriented approach to efficiency and quality of service for internet service providers. 2004 I-X, 1-375 Darmstadt University of Technology, Germany http://elib.tu-darmstadt.de/diss/000522,https://nbn-resolving.org/urn:nbn:de:tuda-tuprints-5220,http://d-nb.info/973908637,http://d-nb.info/974064491
957 2017-01-09 books/daglib/0071016 Thomas F. Gordon Pleadings game - an artificial intelligence model of procedural justice. 1993 I-VIII, 1-217 Darmstadt University of Technology, Germany http://d-nb.info/931998646
958 2013-05-31 books/daglib/0031253 Pawel P. Labaj Measurement and data analysis in the face of noise and complex backgrounds - advances from improved bioinformatics algorithms. 2012 Universität für Bodenkultur Wien
959 2017-03-14 books/daglib/0070131 Wolfgang Keller Modell zur entwurfsbegleitenden hierarchischen Behandlung des Zeitverhaltens beim physikalischen VLSI-Entwurf. 1989 1-167 Kaiserslautern University of Technology, Germany http://d-nb.info/900210354
960 2016-10-21 books/daglib/0070031 Michael Jäger Charakterisierung von Komplexitätsklassen durch homomorphe Replikation. 1983 1-119 Darmstadt University of Technology, Germany http://d-nb.info/840357206
961 2011-03-23 books/daglib/0068990 Udo R. Krieger Modellierung und Analyse einer adaptiven Verkehrslenkungsstrategie. 1992 1-374 TH Darmstadt
962 2011-03-23 books/daglib/0020521 Melanie Weis Duplicate detection in XML data. 2007 I-VI, 1-240 Universität Berlin
963 2020-02-12 books/daglib/0009356 Ulrich Meyer 0001 Design and analysis of sequential and parallel single-source shortest-paths algorithms. 2002 I-VIII, 1-110 Saarland University, Saarbrücken, Germany http://scidok.sulb.uni-saarland.de/volltexte/2004/207/index.html,https://nbn-resolving.org/urn:nbn:de:bsz:291-scidok-2076,http://d-nb.info/966210999,http://d-nb.info/97232271X
964 2020-01-30 books/daglib/0076470 Volker Gengenbach Einsatz von Rückkopplungen in der Bildauswertung bei einem Hand-Auge-System zur automatischen Demontage. 1994 I-V, 1-176 Infix DISKI 72 Karlsruhe Institute of Technology, Germany 978-3-929037-72-2 http://d-nb.info/942643224
965 2020-02-12 books/daglib/0022687 Marco Reisert Group integration techniques in pattern analysis - a kernel view. 2008 1-176 University of Freiburg, Freiburg im Breisgau, Germany http://www.freidok.uni-freiburg.de/volltexte/5891/,https://nbn-resolving.org/urn:nbn:de:bsz:25-opus-58912,http://d-nb.info/990969428
966 2016-12-01 books/daglib/0070082 Hansjörg Zeller Adaptive Hash-Join-Algorithmen. 1991 I-V, 1-187 University of Stuttgart, Germany http://d-nb.info/920653677
967 2014-03-11 books/daglib/0032971 Florian Lindemann Using advanced illumination techniques to enhance realism and perception of volume visualizations. 2013 I-IX, 1-117 Universität Münster
968 2020-02-12 books/daglib/0016412 Frank Steinicke Multimodal metaphors for generic interaction tasks in virtual environments. 2006 I-XIII, 1-142 University of Münster, Germany https://nbn-resolving.org/urn:nbn:de:hbz:6-70619373777,http://d-nb.info/982808488,http://d-nb.info/983257388
969 2011-03-15 books/daglib/0012796 Dominique Perrin Le langage engendre par un code prefixe et son monoide syntaxique. 1970 1-113 Univ. Paris
970 2019-06-18 books/daglib/0001591 Jens Peter Secher Perfect supercompilation - master's thesis. 1999 1-98 Technical report / University of Copenhagen / Datalogisk institut 99/1 University of Copenhagen, Denmark
971 2019-06-25 books/daglib/0013988 René Mayrhofer An architecture for context prediction. 2004 I-IV, 1-134 University of Linz, Austria
972 2017-01-13 books/daglib/0001393 Peer Wichmann Systematische Analyse von Kryptosystemen. 1998 1-247 Karlsruhe Institute of Technology, Germany http://d-nb.info/958436444
973 2016-11-18 books/daglib/0070065 Thomas Schwab Methoden zur Dialog- und Benutzermodellierung in adaptiven Computersystemen. 1989 I-III, 1-179 University of Stuttgart, Germany http://d-nb.info/900137002
974 2017-05-15 books/daglib/0068996 Bernd Sutter Ansätze zur Integration in technischen Entwurfsanwendungen - angepaßte Modellierungswerkzeuge, durchgängige Entwurfsunterstützung, datenorientierte Integration. 1992 1-210 Kaiserslautern University of Technology, Germany http://d-nb.info/921509839
975 2020-02-12 books/daglib/0033467 Janick Martinez Esturo Shapes in vector fields - methods for continuous deformations and surface-based flow visualizations. 2013 I-XIV, 1-219 Universität Magdeburg https://nbn-resolving.org/urn:nbn:de:gbv:ma9:1-4206
976 2017-02-15 books/daglib/0012911 Stefan Thienel ABACUS - a branch-and-CUt system. 1995 1-178 University of Cologne, Germany http://d-nb.info/948151390
977 2011-03-23 books/daglib/0069945 Ernst M. Becker Verfahren und Meßmittel zur Verbesserung des Ablaufverhaltens von Programmen im virtuellen Speicher. 1980 1-86 TH Darmstadt
978 2019-06-19 books/daglib/0017057 Niels Schütze Neue Methoden zur Steuerung der Wassergabe mit neuronalen Netzen in der Bewässerungslandschaft. 2005 I-XI, 1-202 Dresdner Schriften zur Hydrologie 3 TU Dresden, Germany 978-3-86005-502-1
979 2016-11-18 books/daglib/0070121 Peter Struss Structuring of models and reasoning about quantities in qualitative physics. 1989 I-VI, 1-220 Kaiserslautern University of Technology, Germany http://d-nb.info/890890188
980 2020-01-30 books/daglib/0081595 Jürgen Falk Ein Multi-Agentensystem zur Transportplanung und -steuerung bei Speditionen mit Trampverkehr - Entwicklung und Vergleich mit zentralisierten Methoden und menschlichen Disponenten. 1995 Infix DISKI 102 University of Erlangen-Nuremberg, Germany 978-3-89601-102-2 http://d-nb.info/946060789
981 2019-06-18 books/daglib/0002617 Raimund Pauen Non-trapping conditions and local energy decay for hyperbolic problems. 2000 Konstanzer Schriften in Mathematik und Informatik / Universität Konstanz / Fakultät für Mathematik und Informatik 132 University of Konstanz, Germany
982 2020-01-30 books/daglib/0083191 Holger Müller Konsistenzbasierte Handlungsplanung. 1995 1-272 Infix DISKI 110 Karlsruhe Institute of Technology, Germany 978-3-89601-110-7 http://d-nb.info/946710538
983 2020-02-12 books/daglib/0007637 Henrik C. Bohnenkamp Compositional solution of stochastic process algebra models. 2002 I-X, 1-220 RWTH Aachen University, Germany http://sylvester.bth.rwth-aachen.de/dissertationen/2002/149/index.htm,https://nbn-resolving.org/urn:nbn:de:hbz:82-opus-4101,http://d-nb.info/965593193,http://d-nb.info/965825698
984 2016-12-21 books/daglib/0079249 Anton Beranek Testunterstützung für verteilte und parallele nichtdeterministische Programme. 1995 1-241 Kaiserslautern University of Technology, Germany http://d-nb.info/944233767
985 2016-12-08 books/daglib/0013927 Kilian Weniger IP-Autokonfiguration in mobilen Ad-hoc-Netzwerken. 2004 I-VIII, 1-244 Shaker Karlsruhe Institute of Technology, Germany 978-3-8322-3167-5 http://d-nb.info/972212426
986 2011-03-23 books/daglib/0091855 Markus Bause Optimale Konvergenzraten für voll diskretisierte Navier-Stokes-Approximationen höherer Ordnung in Gebieten mit Lipschitz-Rand. 1997 1-175 Universität Paderborn
987 2018-07-31 books/daglib/0069947 Martin Bauer 0008 Problemadäquate Diagnosestrategien. 1992 1-162 University of Paderborn, Germany http://d-nb.info/921145861
988 2011-03-23 books/daglib/0003843 Konstantin Baumann Modellierung, Texturierung und Rendering digitaler Geländemodelle. 2000 I-VIII, 1-131 Universität Braunschweig
989 2020-06-08 books/daglib/0077166 Thomas Kuhn 0002 Die Erkennungsphase in einem Dialogsystem. 1995 I-XVI, 1-231 Infix DISKI 80 University of Erlangen-Nuremberg, Germany 978-3-929037-80-7 http://d-nb.info/943241294
990 2020-02-12 books/daglib/0023286 Sven Schewe Synthesis of distributed systems. 2008 I-IX Saarland University, Saarbrücken, Germany http://react.cs.uni-sb.de/publications/S08c.html,http://scidok.sulb.uni-saarland.de/volltexte/2009/2045/,https://nbn-resolving.org/urn:nbn:de:bsz:291-scidok-20459,http://d-nb.info/996185836
991 2020-02-12 books/daglib/0024690 Epameinondas Fritzilas Combinatorial aspects of low-rank matrix factorization and two applications in bioinformatics. 2009 I-IV, 1-96 Bielefeld University, Germany http://bieson.ub.uni-bielefeld.de/volltexte/2009/1500/index.html,https://nbn-resolving.org/urn:nbn:de:hbz:361-15004,http://d-nb.info/994485417
992 2020-01-30 books/daglib/0086228 Rainer Weiß Übertragbarkeit des Ansatzes der Erklärungskomponenten auf konventionelle Anwendungsprogramme - Konzeption, Entwicklung von Prototypen und empirische Untersuchung. 1997 I-XVI, 1-261 Infix DISKI 144 University of Cologne 978-3-89601-144-2 http://d-nb.info/94956446X
993 2016-03-04 books/daglib/0037627 Jörg von Engelhardt The Language of Graphics: A Framework for the Analysis of Syntax and Meaning in Maps, Charts and Diagrams. 2002 1-197 ILLC dissertation series University of Amsterdam 90-5776-089-4
994 2016-12-01 books/daglib/0070118 Barbara Lhotzky On the computational complexity of some algebraic counting problems. 1991 I-IV, 1-98 University of Bonn, Germany http://d-nb.info/911357807
995 2017-01-09 books/daglib/0092214 Ralf-Detlef Kutsche A type-oriented approach to the specification and formal semantics of a distributed, heterogeneous object system. 1994 I-VIII, 1-207 Technical University of Berlin, Germany http://d-nb.info/943325498
996 2020-01-30 books/daglib/0083717 Klaus Goos Fallbasiertes Klassifizieren - Methoden, Integration und Evaluation. 1996 I-III, 1-180 Infix DISKI 127 Julius Maximilians University Würzburg, Germany 978-3-89601-127-5 http://d-nb.info/947637893
997 2020-01-30 books/daglib/0087870 Michael R. Berthold Konstruktives Training von probabilistischen neuronalen Netzen für die Musterklassifikation. 1997 I-XIII, 1-107 Infix DISKI 155 Karlsruhe Institute of Technology 978-3-89601-155-8 http://d-nb.info/950354279
998 2020-02-12 books/daglib/0027452 Frank Raiser Graph Transformation Systems in Constraint Handling Rules - Improved Methods for Program Analysis. 2010 I-XII, 1-143 University of Ulm, Germany http://vts.uni-ulm.de/docs/2010/7454/vts_7454_10608.pdf,https://nbn-resolving.org/urn:nbn:de:bsz:289-vts-74542,http://d-nb.info/1009043250,http://d-nb.info/1009272322
999 2020-02-12 books/daglib/0019251 Klaus Herrmann 0001 Self-organizing infrastructures for ambient services. 2006 I-XV, 1-274 Technical University of Berlin, Germany http://opus.kobv.de/tuberlin/volltexte/2006/1457/,https://nbn-resolving.org/urn:nbn:de:kobv:83-opus-14579,http://d-nb.info/982938748
1000 2020-01-30 books/daglib/0091554 Edgar Sommer Theory restructuring - a perspective on design and maintenance of knowlege based systems. 1996 I-XIV, 1-209 Infix DISKI 171 Technical University of Dortmund, Germany 978-3-89601-171-8 http://d-nb.info/94806742X,http://d-nb.info/952291460