Alternative zum nachfolgenden Chat: E-Mail an die Info-Abteilung

Info-Chat
Sie sind hier:

Ausstellung im U im Rahmen von kultur2010
tu | kultur: Publikationsliste Informatik

Druckversion (PDF-Datei)

Abramowski, Stephan; Müller, Heinrich
Geometrisches Modellieren
Mannheim: BI-Wissenschaftsverl., 1991
ISBN: 3411144912

Ahlswede, Rudolf; Wegener, Ingo
Search problems Suchprobleme engl.
Chichester: Wiley, 1987
ISBN: 0471908258

Bartz-Beielstein, Thomas [Hrsg ].; Schwefel, Hans-Paul
Festschrift Hans-Paul Schwefel 2006
Dortmund: Univ., Lehrstuhl für Systemanalyse, 2006
ISBN: 392182334X

VolltextBeierle, Christoph; Kern-Isberner, Gabriele
Methoden wissensbasierter Systeme : Grundlagen, Algorithmen, Anwendungen
4., verbesserte Auflage.
Wiesbaden: Vieweg+Teubner / GWV Fachverlage GmbH Wiesbaden, 2008
ISBN: 9783834895172

Beierle, Christoph; Kern-Isberner, Gabriele
Methoden wissensbasierter Systeme : Grundlagen, Algorithmen, Anwendungen
4., verb. Aufl.
Wiesbaden: Vieweg + Teubner, 2008
ISBN: 9783834805041

Beilner, Heinz [Hrsg ].
Quantitative evaluation of computing and communication systems : Proceedings
Berlin: Springer, 1995
ISBN: 354060300X

Biskup, Joachim
Grundlagen von Informationssystemen
Braunschweig: Vieweg, 1995
ISBN: 3528054948

VolltextBiskup, Joachim [Hrsg ].; Lopez, Javier
Computer security - ESORICS 2007 : 12th European Symposium on Research in Computer Security, Dresden, Germany, September 24 - 26, 2007 ; proceedings
Berlin: Springer, 2007
ISBN: 9783540748359

Biskup, Joachim
Security in computing systems : challenges, approaches, and solutions
Berlin: Springer, 2009
ISBN: 9783540784418

Buchholz, Peter
Die strukturierte Analyse Markovscher Modelle
Berlin: Springer, 1991
ISBN: 0387545409

Buchholz, Peter
Quantitative Systemanalyse mit Markovschen Ketten : eine Darstellung für Informatiker und Ingenieure
Stuttgart: Teubner, 1994
ISBN: 3815420563

Buchholz, Peter [Hrsg ].; Kuhn, Axel
Optimization of logistics systems : methods and experiences ; Symposium of the Collaborative Research Center 559 "Modelling of Large Logistics Networks"
Dortmund: Verl. Praxiswissen, 2008
ISBN: 9783899570687

Buchholz, Peter [Hrsg ].; Clausen, Uwe
Große Netze der Logistik : die Ergebnisse des Sonderforschungsbereichs 559
Berlin: Springer, 2009
ISBN: 9783540710479

VolltextBuchholz, Peter; Clausen, Uwe
Große Netze der Logistik : die Ergebnisse des Sonderforschungsbereichs 559
Berlin, Heidelberg: Springer Berlin Heidelberg, 2009
ISBN: 9783540710486

Doberkat, Ernst-Erich
Das siebte Buch: Objektorientierung mit C++
1. Aufl.
Stuttgart: Teubner, 2000
ISBN: 351902649X

Doberkat, Ernst-Erich
Stochastic relations : foundations for Markov transition systems
Boca Raton, Fla.: Chapman & Hall/CRC, 2007
ISBN: 9781584889410

Doberkat, Ernst-Erich
Stochastic coalgebraic logic
Berlin: Springer, 2010
ISBN: 9783642029943

Doberkat, Ernst-Erich; Dißmann, Stefan
Einführung in die objektorientierte Programmierung mit BETA
1. Aufl.
Bonn: Addison-Wesley, 1996
ISBN: 3827310261

Doberkat, Ernst-Erich; Dißmann, Stefan
Einführung in die objektorientierte Programmierung mit Java
2., überarb.Aufl.
München: Oldenbourg, 2002
ISBN: 3486253425

Doberkat, Ernst-Erich; Fox, Dietmar
Software prototyping with SETL : mit zahlreichen Aufgaben und Beispielen
Stuttgart: Teubner, 1989
ISBN: 3519022729

Fink, Gernot A
Mustererkennung mit Markov-Modellen : Theorie - Praxis - Anwendungsgebiete
1. Aufl.
Stuttgart: Teubner, 2003
ISBN: 3519004534

Fink, Gernot A
Markov models for pattern recognition Mustererkennung mit Markov-Modellen engl. : from theory to applications
Berlin: Springer, 2008
ISBN: 9783540717669

Jannach, Dietmar
Building intelligent electronic services
Berlin: GITO Verl. für Industrielle Informationstechnik und Organisation, 2006
ISBN: 3936771723

Jürjens, Jan
Secure systems development with UML
Berlin: Springer, 2005
ISBN: 3540007016

Kern-Isberner, Gabriele
Conditionals in nonmonotonic reasoning and belief revision : considering conditionals as agents
Berlin: Springer, 2001
ISBN: 3540423672

Leupers, Rainer; Marwedel, Peter
Retargetable compiler technology for embedded systems : tools and applications
Boston, Mass.: Kluwer, 2001
ISBN: 0792375785

Lockemann, Peter C; Krüger, Gerhard; Krumm, Heiko
Telekommunikation und Datenhaltung
München: Hanser, 1993
ISBN: 3446174656

Marwedel, Peter
Synthese und Simulation von VLSI-Systemen : Algorithmen für den rechnerunterstützten Entwurf hochintegrierter Schaltungen
München: Hanser, 1993
ISBN: 3446161465

Marwedel, Peter [Hrsg ].
Code generation for embedded processors
Boston: Kluwer, 1995
ISBN: 0792395778

Marwedel, Peter [Hrsg ].
Design, automation and test in Europe [the unified European event] ; conference and exhibition 2000 ; proceedings
Los Alamitos, Calif.: IEEE Computer Soc., 2000
ISBN: 0769505392

Marwedel, Peter
Embedded system design
[Updated version]
Dordrecht: Springer, 2006
ISBN: 1402076908

VolltextMarwedel, Peter [Hrsg ].
Eingebettete Systeme
Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2007
ISBN: 9783540340492

Marwedel, Peter; Wehmeyer, Lars
Eingebettete Systeme Embedded system design dt.
korrigierter Nachdr.
Berlin: Springer, 2008
ISBN: 9783540340485

Morik, Katharina
Knowledge Representation and Organization in Machine Learning
Berlin, Heidelberg, Springer,, 1989
ISBN: 0017213

Morik, Katharina [Hrsg ].
Making robots smarter : combining sensing and action through robot learning
Boston: Kluwer Academic, 1999
ISBN: 0792385624

Morik, Katharina [Hrsg ].
Local pattern detection : International seminar, Dagstuhl Castle, Germany, April 12 - 16, 2004 ; revised selected papers
Berlin: Springer, 2005
ISBN: 3540265430

VolltextMorik, Katharina [Hrsg ].
Local pattern detection : International seminar, Dagstuhl Castle, Germany, April 12 - 16, 2004 ; revised selected papers
Berlin: Springer, 2005
ISBN: 3540265430

Morik, Katharina; Klingspor, Volker
Informatik kompakt : eine grundlegende Einführung mit Java
Berlin: Springer, 2006
ISBN: 9783540243045

Müller, Heinrich; Weichert, Frank
Vorkurs Informatik : der Einstieg ins Informatikstudium
1. Aufl.
Wiesbaden: Teubner, 2005
ISBN: 9783519005070

Mutzel, Petra [Hrsg ].
Graph drawing : 9th international symposium ; revised papers
Berlin: Springer, 2002
ISBN: 35404330904400

Padawitz, Peter
Computing in Horn clause theories
Berlin: Springer, 1988
ISBN: 0387194274

Padawitz, Peter
Deduction and declarative programming
Cambridge: Cambridge Univ. Press, 1992
ISBN: 05214172362295

Reusch, Bernd
Lineare Automaten
Mannheim [u.a.]: Bibliogr. Inst, 1969

Rudolph, Günter
Convergence properties of evolutionary algorithms
Hamburg: Kovac, 1997
ISBN: 3860645544

Schwefel, Hans-Paul
Evolution and optimum seeking
New York: Wiley, 1995
ISBN: 0471571482

Schwefel, Hans-Paul [Hrsg ].
Advances in computational intelligence : theory and practice ; with 30 tables
Berlin [u.a.]: Springer, 2003
ISBN: 3-540-43269-8

Schwentick, Thomas [Hrsg ].; Suciu, Dan
Database theory - ICDT 2007 : 11th international conference, Barcelona, Spain, January 10-12, 2007 ; proceedings
Berlin: Springer, 2006
ISBN: 9783540692690

VolltextSchwentick, Thomas [Hrsg ].; Suciu, Dan
Database theory - ICDT 2007 : 11th international conference, Barcelona, Spain, January 10-12, 2007 ; proceedings
Berlin: Springer, 2007
ISBN: 9783540692706

Steffen, Bernhard [Hrsg ].
Tools and algorithms for the construction and analysis of systems : 4th international conference ; proceedings
Berlin: Springer, 1998
ISBN: 3540643567

VolltextSteffen, Bernhard [Hrsg ].
Verification, model checking, and abstract interpretation : 5th international conference, Venice, January 11 - 13, 2004 ; proceedings
Berlin: Springer, 2004
ISBN: 9783540208037

Steffen, Bernhard [Hrsg ].
Verification, model checking, and abstract interpretation : 5th international conference, Venice, January 11 - 13, 2004 ; proceedings
Berlin: Springer, 2004
ISBN: 3540208038

Wegener, Ingo
The complexity of Boolean functions
Stuttgart: Teubner [u.a.], 1987
ISBN: 0471915556

Wegener, Ingo
Effiziente Algorithmen für grundlegende Funktionen : mit zahlreichen Aufgaben und Beispielen
Stuttgart: Teubner, 1989
ISBN: 3-519-02276-1

Wegener, Ingo [Hrsg ].
Highlights aus der Informatik : mit 5 Tabellen
Berlin: Springer, 1996
ISBN: 3540601872

Wegener, Ingo
Kompendium theoretische Informatik - eine Ideensammlung
Stuttgart: Teubner, 1996
ISBN: 3519021455

Wegener, Ingo
Branching programs and binary decision diagrams : theory and applications
Philadelphia, Pa.: SIAM Soc. for Industrial and Applied Mathematics, 2000
ISBN: 0898714583

Wegener, Ingo
Komplexitätstheorie : Grenzen der Effizienz von Algorithmen
Berlin: Springer, 2003
ISBN: 35400016112995

Wegener, Ingo
Theoretische Informatik : eine algorithmenorientierte Einführung
3., überarb. Aufl.
Wiesbaden: Teubner, 2005
ISBN: 9783835100336

06.11.12