¬A pragmatic approach to software documentation
Didrich, Klaus [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1996. 29 Bl. : graph. Darst..

¬A pragmatic, rigorous integration of structural and behavioral modeling notations
Berry, Daniel M. [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1996. 24 Bl. : graph. Darst..

¬A specification language for model correspondance assertions
Busse, Susanne
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1999. 57 S. : graph. Darst..

¬A taste of categorical Petri nets
Ermel, Claudia [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1996. 38 Bl. : graph. Darst..

¬A telephone's system specification using graph grammars
Ribeiro, Leila [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1996. 38 Bl. : graph. Darst..

Auf dem Weg in die Softwarekrise? : Computeranwendungen und Programmentwicklung in den USA der fünfziger und sechziger Jahre
Theissing, Florian [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1995. 105 S..

Basic properties of double-pullback graph transitions
Ehrig, Hartmut [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1999. 21 Bl. : graph. Darst..

Bayesian learning in reproducing Kernel Hilbert spaces
Herbrich, Ralf [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1999. 41 S. : graph. Darst..

Bedingte verteilte Graphtransformation und ihre Anwendung auf verteilte Transaktionen
Koch, Manuel [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1997. 47 Bl..

Behaviour and realization construction for Petri nets based on free monoid and power set graphs
Ehrig, Hartmut [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1994. 26 S..

Beiträge zum Treffen der GI-Fachgruppe 1.1.3 Maschinelles Lernen : FGML-98 ; Technische Universität Berlin, 17. - 19. August 1998
Wysotzki, Fritz
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1998. 164 S. : Ill., graph. Darst..

Beiträge zur Sozialgeschichte der Informatik - 1
Siefkes, Dirk
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1995. 129 S..

Bi-directional approach to modeling architectures
Heisel, Maritta [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1995. 12 S. : Ill..

Bisimulation congruence for the call-by-value [lambda]-calculus
Frauenstein, Thomas [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1996. 18 Bl..

Case studies in literate and structured formal developments
Simons, Martin [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1995. 190 S..

Category theory and the simply-typed [lambda]-calculus
Martini, Alfio [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1996. 51 S..

Communicating functional agents and their application to graphical user interfaces
Frauenstein, Thomas [Mitarb.]
Rev. version. Berlin. Techn. Univ., Fachbereich 13, Informatik. 1996. 32 Bl. : graph. Darst..

Comparing counting classes for logspace, one-way logspace, logtime, and first-order
Burtschick, Hans-Jörg [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1994. 23 S..

Compiler support for specification and justification : description of a case study
Didrich, Klaus [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1999. 40 Bl..

Computing by graph transformation : a survey and annotated bibliography
Ehrig, Hartmut [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1996. 45 S..

Computing by graph transformation II : (Compugraph II) ; final report ESPRIT, Basic Research Working Group No. 7183
Ehrig, Hartmut [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1996. 49 S..

Computing by graph transformation II : (Compugraph II) ; third interim report ESPRIT basic research working group No. 7183
Ehrig, Hartmut
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1995. 22 S..

Congruence proofs for weak bisimulation equivalences on higher-order process calculi
Baldamus, Michael [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1995. 30 S..

Consistency analysis of UML class and sequence diagrams based on attributed typed graphs and their transformation
Tsiolakis, Aliki [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 2000. 58 S. : graph. Darst..

Conventional and fast simulation techniques for stochastic Petri nets
Kelling, Christian [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1996. 34 Bl. : graph. Darst..

Convex geometry applied to Petri nets : state space size estimation and calculation of traps, siphons, and invariants
Huck, Alexander [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 2000. 19 Bl. : graph. Darst..

Correctness of horizontal and vertical composition for implementation concepts based on constructors and abstractors
Ehring, Hartmut [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1996. 13 Bl. : graph. Darst..

Decimatable Boltzmann machines vs. Gipps Sampling
Rüger, Stefan [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1996. 18 Bl. : Ill., graph. Darst..

Deriving parallel numerical algorithms using data distribution algebras: Wang's algorithm
Pepper, Peter [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1996. 34 Bl. : graph. Darst..

Development and regeneration of the retinotectal map in goldfish : a computational study
Weber, Cornelius [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1996. 30 Bl..

¬Die Fan-Dialogmodellierung : ein Konzept zur Beschreibung von Dialogabläufen mit Petrinetzen
Dehnert, Juliane [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1999. 31 Bl. : graph. Darst..

¬Die Konstruktion von Hybridobjekten als Orientierungsmuster in der Informatik
Eulenhöfer, Peter [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1997. 70 Bl..

¬Die kulturelle Erfindung des Computers, eine Analyse des Nachrichtenmagazins "Der Spiegel"
Balles, Ulrike [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1999. 71 S., [20] Bl. : Ill..

¬Die Rekonstruktion von Orientierungsmustern in Fachtexten aus der Informatik : ein methodisches Konzept für die Analyse von Wissenschafts- und Technikgeneseprozessen
Städtler, Klaus [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1997. 32 S..

¬Die Rolle des Konstruktionsbegriffs im Verhältnis von formalen Spezifikationskalkülen und intuitionistischer Mathematik
Wunsch, Matthias [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1996. III, 105 Bl..

¬Die Rolle von Schemata in der Informatik als kultureller Entwicklung
Siefkes, Dirk [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1999. 58 S..

Dimensions and dichotomy in metamodeling
Geisler, Robert [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1998. 30 Bl. : graph. Darst..

Do reference frames in language map onto those of mental models?
Hörnig, Robin...
Berlin. Techn. Univ., Fachbereich 13, Informatik. 2000.

Dynamic modelling of discrete duration data : a local likelihood apprach
Tutz, Gerhard [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1995. 22 S. : graph. Darst..

Dynamics in information systems: specification, construction, and correctness : an algebraic approach
Classen, Ingo [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1996. 21 Bl..

Echte Compilergenerierung : effiziente Implementierung einer abgeschlossenen Theorie
Demuth, Jochen [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1997. X, 202 S..

Efficient inference and learning in decimatable Boltzmann machines
Rüger, Stefan M. [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1997. 18 Bl..

¬Eine Heuristik für einfache Maschinenbelegungsprobleme
Weber, Hans Hermann [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1999. 14 Bl..

¬Ein universeller passiver Protokoll-Monitor
Musial, Marek [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1995. V, 107 S..

Elements of basic category theory
Martini, Alfio [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1996. 158 S. : Ill..

Estimating the expected error of empirical minimizers for model selection
Scheffler, Tobias [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1998. 26 S..

E-structures and labelled transition systems: a categorical analysis
Pooyan-Weihs, Ladan [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1994. 90 S..

Evolution patterns : ein formaler Ansatz zur Entwicklung langlebiger Softwaresysteme auf der Basis von Graphgrammatiken
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1998. 37 S..

Federated information systems : concepts, terminology and architectures
Busse, Susanne [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1999. 38 Bl. : graph. Darst..

Finite difference based algorithms for linear shape from shading
Kozera, Ryszard [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1996. 46 Bl. : graph. Darst..

First steps towards : an institution of algebra replacement systems
Grosse-Rhode, Martin [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1996. 35 S..

Formalization of variables in algebraic high-level nets : comparison of different approaches
Ermel, Claudia [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1997. 28 S. : graph. Darst..

Generating systems of equations for performance evaluation of multistage interconnection networks
Tutsch, Dietmar [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 2000. 35 Bl. : graph. Darst..

Geschichte der Programmiersprachen
Zuse, Horst [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1999. 69 S. : graph. Darst..

Gleichzeitige Simulation von seltenen und häufigen Ereignissen und Zuständen mit RESTART
Kuhlmann, Thomas [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1996. 21 Bl. : graph. Darst..

Graph grammars : an introduction to the double-pushout approach
Martini, Alfio [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1996. 43 Bl. : graph. Darst..

Graphical support for prototyping of algebraic specifications by GVT
Bardohl, Roswitha [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1996. 53 Bl. : graph. Darst..

GRATRA 2000 : Joint Appligraph and Getgrats workshop on graph transformation systems
Ehrig, H.
Berlin. Techn. Univ., Fachbereich 13, Informatik. 2000. 292 S. : graph. Darst..

Higher-order object nets and their application to workflow modeling
Löwe, Michael [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1995. 49 S. : graph. Darst..

Horizontal and vertical structuring of typed graph transformation systems
Heckel, Reiko [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1996. 39 Bl. : graph. Darst..

Informatics as cultural development : case studies from the social history of information technology
Eulenhöfer, Peter [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1997. 32 S..

Informationsmodellierung im Rahmen eines Umweltinformationssystems
Kutsche, Ralf-Detlef [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1995. 145 S. : graph. Darst..

Integration and classification of data type and process specification techniques
Ehrig, Hartmut [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1998. 13 Bl. : graph. Darst..

Integration of specification techniques with applications in engineering : extended abstracts
Ehrig, H.
Berlin. Techn. Univ., Fachbereich 13, Informatik. 2000. IV, 72 S..

Jensen's method for random mission times
German, Reinhard [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1998. 27 Bl. : graph. Darst..

Learning spatial relations with CAL5 and TRITOP
Geibel, Peter [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1998. 53 S. : graph. Darst..

Lernen von räumlichen Relationen mit CAL5 und DIPOL
Wiebrock, Sylvia
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1999. 54 S. : graph. Darst..

Lindström quantifiers and leaf language definability
Burtschick, Hans-Jörg [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1995. 13 Bl..

Local likelihood estimation and bias reduction in varying-coefficient models
Kauermann, Göran [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1995. 42 S..

Loose semantics and constraints for graph transformation systems
Heckel, Reiko [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1997. 25 S..

LR parsing = grammar transformation + LL parsing : making LR parsing more understandable and more efficient
Pepper, Peter [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1999. 75 S..

Mensch, Computer, Symbiose : zur technischen Umsetzung einer Vision
Lühl, Marie [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1996. 77 S..

Messtheoretische Ableitung einer Mischungsformel
Bollmann-Sdorra, Peter [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1997. 10 Bl..

Metainformation im Bereich Umwelt- und Geoinformationssysteme : eine Modellierungsstudie
Busse, Susanne [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1997. 144 S. : graph. Darst..

Modal characterization of weak bisimulation for higher-order processes
Baldamus, Michael [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1996. 20 S..

Modellierung räumlicher Inferenzen durch Graphen mit symbolischen und numerischen Constraints
Wysotzki, Fritz [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1996. 17 Bl..

Modellierungstechniken für Fertigungssysteme auf der Grundlage von Petri-Netzen : Vergleich der Verfahren ; gemeinsamer Bericht der Arbeitsgruppe "Fuzzy-Petri-Netze" im DFG-Schwerpunktprogramm Modellierung der Produktion
Hommel, Günter
Berlin. Techn. Univ., Fachbereich 13, Informatik. 2000. 57 Bl..

Modellierung und Nachweis der Konsistenz von verteilten Transaktionsmodellen für Datenbanksysteme mit algebraischen Graphgrammatiken
Koch, Manuel [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1996. 125 S. : graph. Darst..

Move-On-Workshop der DFG-Forschergruppe Petrinetz-Technologie : Berlin, 3. und 4. April 1997
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1997. 173 S. : graph. Darst..

Multi-paradigm logic programming : proceedings of the JICSLP'96 post-conference workshop
Chakravarty, Manuel M. T.
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1996. 180 S..

Non-Markovian fluid stochatsic Petri nets
Wolter, Katinka [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1996. 19 Bl. : graph. Darst..

Object-oriented analysis for Advanced Flight Data Management
Wortmann, Jan [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1996. XIV, 126 S. : graph. Darst..

Objektbasierte Integration einer externen heterogenen Informationsbasis
Busse, Susanne [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1997. 25 Bl. : graph. Darst..

On termination of single-pushout graph rewriting
Müller, Jürgen [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1996. 27 Bl. : graph. Darst..

On the role of category theory in the area of algebraic specifications
Ehrig, Hartmut [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1995. 26 Bl..

On the semantics of a concurrency monad with choice and services
Frauenstein, Thomas [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1996. 22 Bl..

Performance modeling of buffered multistage interconnection networks with Petri nets in case packet multicasting
Tutsch, Dietmar [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1995. 20 S. : graph. Darst..

Petri net tolls - a comparative study
Wikarski, Dietmar [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1997. 65 S..

Place preserving and transition gluing morphisms in rule-based refinement of place/transition systems
Gajewsky, Maike [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1999. 61 S. : graph. Darst..

Proceedings des Workshops "Maschinelles Lernen und Konzepterwerb" : veranstaltet von den GI-Fachgruppen "Kognition" (1.o.1) und "Maschinelles Lernen" (1.1.3) im Rahmen der 22. Jahrestagung für Künstliche Intelligenz KI-98, 15.09.-17.09.1998 in Bremen
Schmid, Ute
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1998. 50 Bl. : graph. Darst..

Proceedings of the first European Workshop on Cognitive Modeling : in conjunction with EuroSoar-10 ; 14-16 November 1996, Berlin ; University of Technology, Germany
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1996. 251 S. : graph. Darst..

Proceedings of the International Workshop on Communication Based Systems
Hommel, Günter
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1998. 148 S. : graph. Darst..

Program synthesis by learning and planning
Schädler, Kristina
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1995. 34 Bl. : graph. Darst..

Qualitative and quantitative approaches to spatial inference and the analysis of movements
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1998. 35 S..

Refinement versus verification : compatibility of net invariants and stepwise developemt of high-level Petri nets
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1997. 43 S..

Regression models of ordinal data : a machine learning approach
Herbrich, Rolf
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1999.

Relevance, integration and classification of specification formalisms and formal specification techniques
Ehrig, Hartmut [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1999. 18 Bl..

Reservation mechanisms for efficient resource management in internetworks
Damaskos, S.
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1995. 19 Bl. : graph. Darst..

Shifting derivations of non-injective rules in the algebraic graph rewriting approaches
Müller, Jürgen [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1997. 26 Bl. : graph. Darst..

Specification of state based systems by algebra rewrite systems and refinements
Grosse-Rhode, Martin [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1999. 27 S..

Spezifikation einer Lichtsignalanlage mit Statecharts
Guhe, Markus [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1997. 82 S. : graph. Darst..

Spezifikation einer Lichtsignalanlagen-Steuerung mit SZ
Büssow, Robert [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1997. 73 Bl. : graph. Darst..

SPNL: processes as language-oriented building blocks of stochastic Petri nets
German, Reinhard [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1996. 36 Bl. : graph. Darst..

Studie zu einem Kalkül für die funktionale Definition von Ordnungs- und Kommunikationsstrukturen
Bohlmann, Karsten [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1995. 27 Bl. : graph. Darst..

SZ, ein Ansatz zur systematischen Verbindung von Z und Statecharts
Büssow, Robert [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1996. 35 Bl..

Teilzeitstudium : Umfrage am Fachbereich Informatik der TU Berlin
Wagner, Susanne [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1996. 38 S. : graph. Darst..

¬The Korso case study for Software engineering with formal methods : a medical information system
Cornelius, F. [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1994. 39 S..

Theoretical foundations of a special net approach for graphmatching
Schädler, Kristina [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1996. 17 Bl. : graph. Darst..

Theorie funktionaler Ersetzungssysteme : eine Übersicht
Löwe, Michael [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1995. 28 Bl. + Ergänzungen (9 Bl.).

¬The SZ Notation Version 1.0
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1997. 33 S..

¬The warehouse software portfolio : a case study in functional size measurement
Fetcke, Thomas [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1999. X, 110 S. : graph. Darst..

Thread-based Piecewise execution of nested data-parallel programms : implementation and case studies
Pfannenstiel, Wolf [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1999. 68 S. : graph. Darst..

Towards a redesign of opal
Didrich, Klaus [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1997. 51 Bl..

Transition specifications & the algebraic core of the Z notation
Grosse-Rhode, Martin [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1996. 43 Bl..

Uniqueness in shape from shading revisited
Kozera, Ryszard [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1996. 31 Bl. : graph. Darst..

Varying coefficients in multivariate generalized linear models : a local likelihood approach
Tutz, Gerhard [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1995. 23 Bl. : graph. Darst..

Verfahren der Glättungsparameterwahl für Kernglättungsmethoden im diskreten Verweildauermodell: Simulationen und reale Daten
Pritscher, Lisa [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1995. 30 S. : graph. Darst..

Von al-Choresmi zum "algorithmischen Denken" : zur Geschichte des Algorithmusbegriffs
Schmidt-Brücken, Katharina [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1996. 95, XII S. : Ill..

Zur induktiven Fundierung von zweistufigen Compilerspezifikationswerkzeugen
Deussen, Peter [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 1995. 75 S..

Zur Rezeption des Plankalküls von Konrad Zuse : die Einordnung in die Programmiersprachenkonzepte zur Zeit seiner Veröffentlichung
Schunke, Katja [Mitarb.]
Berlin. Techn. Univ., Fachbereich 13, Informatik. 2000. 93 S..

Forschungsberichte zu geographischen Informationssystemen und Fernerkundung : neue Konzepte und Anwendungen
Czeranka, Marion
Vechta. Vechtaer Dr. und Verl.. 1993. 112 S. : Ill., graph. Darst..
3-88441-095-4

Forschungsbericht Ganz-Körper-Schwingungen : Beanspruchung des Menschen durch mechanische Schwingungen ; Kenntnisstand zur Wirkung von Ganz-Körper-Schwingungen
Dupuis, H. [Verf.]
Bonn. Hauptverband der Gewerblichen Berufsgenossenschaften. 1984. 147 S. : 54 Ill. und graph. Darst..
3-88383-107-7

Forschungsbericht Pädagogische Hochschule Berlin
Berlin. Pädagog. Hochschule. (1978). 472 S..

Forschungsbericht Sprachkontakt : Untersuchungsergebnisse und praktische Probleme
Clyne, Michael
Kronberg/Ts.. Scriptor-Verlag. 1975. VI, 266 S..
3-589-20099-5

Forschungsbericht Strukturen, politische Aktivitäten und Motivationen in der PDS : Mitgliederbefragung der PDS 1991
Barthel, Wilfried [Mitarb.]
Berlin. Trafo-Verl. Weist. 1995. 66 S. : graph. Darst..
3-89626-001-4

Forschungsbericht zur deutschen Literatur in der Zeit des Realismus
Martini, Fritz
Stuttgart. Metzler. 1962. 91 S..

Forschungsbibliothek Gotha 1957 - 1977
Gotha. 1977. 67 S..

Forschungsbibliothek Gotha : methodisches Zentrum für wissenschaftliche Bibliotheken und Informations- und Dokumentationseinrichtungen beim Ministerium für Hoch- und Fachschulwesen
2., erg. Aufl.. Gotha. Forschungsbibl.. 1983. 48 S..