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
Pohlmeier, Winfried [Author]

Simultane Probit- und Tobitmodelle : Theorie und Anwendungen auf Fragen der Innovationsökonomik

Close

Bookmarks

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

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

Published in: Studies in contemporary economics
Dymond, Kenneth M. [Author]

CMM-Handbuch : das Capability Maturity Model für Software

Close

Bookmarks

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

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

Published in: Xpert.press
Ebbinghaus, Heinz-Dieter [Author]; Flum, Jörg [Author]

Finite model theory - [2., rev. and enl. ed]

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: Perspectives in mathematical logic
Walzer, Albert [Other] ; Städtische Sparkasse Stuttgart

Liebeskutsche, Reitersmann, Nikolaus und Kinderbringer : Volkstümlicher Bilderschatz auf Gebäckmodeln, in der Graphik und Keramik

Close

Bookmarks

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

Stuttgart: Städt. Spark. [u.a.], c 1963
Wolinski, Natacha [Author] ; Model, Lisette [Illustrator]

Flash-back sur une flingueuse : Lisette Model au Jeu de paume

Close

Bookmarks

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

2010

Published in: Beaux-arts ; (2010), 308, Seite 86-93
Holzmann, Gerard J. [Author]

The spin model checker : primer and reference manual - [2. print.]

Close

Bookmarks

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

Boston, Mass.; Munich [u.a.]: Addison-Wesley, 2005
Zollner, Manfred [Other]; Model, Lisette [Illustrator]

Emotion am Pflasterstrand : Lisette Model

Close

Bookmarks

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

2000

Published in: Fotomagazin ; (2000), 7, Seite 6 - 11
Faber, Monika [Other]; Model, Lisette [Illustrator]

Lisette Model : Fotografien 1934 - 1960

Close

Bookmarks

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

2000

Published in: Vernissage ; 20(2000), 6, Seite 27 - 30
Clarke, Edmund M. [Author]; Grumberg, Orna [Author]; Peled, Doron [Author]

Model checking - [2. print.]

Close

Bookmarks

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

Cambridge, Mass. [u.a.]: MIT Press, 2000
Görlitz, Walter [Author]

Model : der Feldmarschall und sein Endkampf an der Ruhr - [4. Aufl.]

Close

Bookmarks

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

München: Universitas, 1989
Ivaniščev, Vyačeslav V. [Author] ; Akademija Nauk SSSR, Leningradskij Institut Informatiki i Avtomatizacii

Avtomatizacija modelirovanija potokovych sistem

Close

Bookmarks

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

Leningrad: Izd. Nauka, Leningradsk. otdel., 1986
Skurichin, Vladimir I. [Author] ; Šifrin, Vladimir Borisovič [Other]; Dubrovskij, Vladimir Vasil'evič [Other]

Matematičeskoe modelirovanie

Close

Bookmarks

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

Kiev: Technika, 1983
Kürth, Herbert [Author] ; Petri, Joachim [Illustrator]

Kunst der Model

Close

Bookmarks

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

Leipzig: Ed. Leipzig, 1981

Published in: Kulturgeschichtliche Miniaturen
Dickmann, Max [Author]

Large infinitary languages : model theory

Close

Bookmarks

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

Amsterdam: North-Holland Publ. [u.a.], 1975

Published in: Studies in logic and the foundations of mathematics ; 8300
Chang, Chen-Chung [Author]; Keisler, H. Jerome [Author] ; Chang, Chen Chung [Other]

Model theory

Close

Bookmarks

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

Amsterdam [u.a.]: North-Holland Publ. Comp., 1973

Published in: Studies in logic and the foundations of mathematics ; 7300
Chemical modelling : applications and theory

Close

Bookmarks

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

Cambridge: Royal Society of Chemistry, 19XX-

Published in: A specialist periodical report
Courcelle, Bruno [Author]; Engelfriet, Joost [Author]

Graph structure and monadic second-order logic : a language-theoretic approach - [1. publ.]

Close

Bookmarks

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

Cambridge [u.a.]: Cambridge University Press, 2012

Published in: Encyclopedia of mathematics and its applications ; 138
Hoeveler, Patrick [Author]

Zweiter Sieger : Bell YAH-63

Close

Bookmarks

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

2012

Published in: Flug-Revue ; (2012), 1, Seite 92-95
Kneuper, Ralf [Editor]; Wallmüller, Ernest [Editor]

CMMI in der Praxis : Fallstudien zur Verbesserung der Entwicklungsprozesse mit CMMI - [1. Aufl.]

Close

Bookmarks

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

Heidelberg: dpunkt-Verl., 2009

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