Skip to contents

Grädel, Erich [Other]

Finite model theory and its applications : with 35 figures and 2 tables

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2007

Published in: Texts in theoretical computer science
Marques-Silva, João [Editor]; Sakallah, Karem A. [Other] ; SAT 10 2007 Lissabon

Theory and applications of satisfiability testing - SAT 2007 : 10th international conference, Lisbon, Portugal, May 28-31, 2007 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2007

Published in: Lecture notes in computer science ; 4501
Kullmann, Oliver [Editor] ; SAT 12 2009 Swansea

Theory and applications of satisfiability testing - SAT 2009 : 12th international conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2009

Published in: Lecture notes in computer science ; 5584
Kleine Büning, Hans [Editor]; Zhao, Xishun [Other] ; SAT 11 2008 Kanton, Stadt

Theory and applications of satisfiability testing - SAT 2008 : 11th international conference, SAT 2008, Guangzhou, China, May 12-15, 2008 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2008

Published in: Lecture notes in computer science ; 4996
Meyer, Manfred [Author]

Finite domain constraints : declarativity meets efficiency - theory meets application

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Sankt Augustin: Infix, 1995

Published in: Dissertationen zur künstlichen Intelligenz ; 79
Bragg, Steven M. [Author] ; Bell, Jan [Other]; Swain, Monte [Other]

Throughput accounting : a guide to constraint management

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Hoboken, N.J: Wiley, 2007

Published in: A modular series ; management accounting
Middeldorp, Aart [Editor]; Klop, Jan Willem [Honoree]; Oostrom, Vincent van [Other]; Raamsdonk, Femke van [Other]; Vrijer, Roel de [Other]

Processes, terms and cycles: steps on the road to infinity : essays dedicated to Jan Willem Klop on the occasion of his 60th birthday

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin [u.a.]: Springer, 2005

Published in: Lecture notes in computer science ; 3838
Buro, Thomas [Author]

Gestaltung globaler Luftfracht-Transportsysteme mit Hilfe des OSTO-TOC-Ansatzes - [Als Ms. gedr.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Düsseldorf: VDI-Verl., 2000

Published in: Verein Deutscher Ingenieure: Fortschritt-Berichte VDI ; 43900
Rothe, Heinz J. [Other]; Rothe, Klaus D. [Other]

Classical and quantum dynamics of constrained Hamiltonian systems

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Singapore [u.a.]: World Scientific, 2010

Published in: World Scientific lecture notes in physics ; 81
Woods, Steven G. [Author]; Quilici, Alexander E. [Author]; Yang, Qiang [Author]

Constraint based design recovery for software reengineering : theory and experiments

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Boston [u.a.]: Kluwer, 1998

Published in: The Kluwer international series in software engineering ; 3
Worms, Andreas [Author] ; Goethe-Universität Frankfurt am Main

Makroökonomische Kreditrationierungstheorie

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Frankfurt am Main: Professur für Volkswirtschaftslehre, insbesondere Geld und Währung, Johann-Wolfgang-Goethe-Univ., 1992

Published in: Geld - Währung - Kapitalmarkt ; 28
Phan-Huy, Toàn [Author]

Constraint propagation in flexible manufacturing

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2000

Published in: Lecture notes in economics and mathematical systems ; 492
Cox, James F. [Other]; Schleier, John G. [Other]

Theory of constraints handbook

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York [u.a.]: McGraw-Hill Professional, 2010
Esswein, Werner [Author] ; Körmeier, Klaus [Other] Technische Universität Dresden Fakultät Wirtschaftswissenschaften

Führung und Steuerung von Softwareprojekten im Kapsel-Modell

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dresden: Professoren der Fachgruppe Wirtschaftsinformatik, 1994

Published in: Dresdner Beiträge zur Wirtschaftsinformatik ; 3
Hartmann, Sönke [Author]

Project scheduling under limited resources : models, methods, and applications

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1999

Published in: Lecture notes in economics and mathematical systems ; 478
Comon, Hubert [Editor] ; CCL 1999 Gif-sur-Yvette

Constraints in computational logics : theory and applications ; revised lectures

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2001

Published in: Lecture notes in computer science ; 2002
Bauer, Christoph [Author]

Engpassfaktor Flughafen : die Anwendbarkeit des Yield Managements auf die Vergabe von Airport-Slots

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Saarbrücken: VDM Verlag Dr. Müller, 2007
Goeken, Matthias [Author]

Entwicklung von Data-Warehouse-Systemen : Anforderungsmanagement, Modellierung, Implementierung - [1. Aufl.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Wiesbaden: Dt. Univ.-Verl., 2006

Published in: Wirtschaftsinformatik
Brügge, Bernd [Other]

Open-Source-Software : eine ökonomische und technische Analyse ; mit 6 Tabellen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, c 2004
Bangert, Christopher [Author]

Kreditrationierung während der wirtschaftlichen Transformationsphase : das Beispiel Ungarn

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Freiburg i. Br.: Haufe, 1998

Published in: Albert-Ludwigs-Universität Freiburg: Schriftenreihe des Instituts für Allgemeine Wirtschaftsforschung der Albert-Ludwigs-Universität Freiburg i. Br ; 6000

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication