Zum Inhalt springen

Grädel, Erich [Sonstige Person, Familie und Körperschaft]

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Texts in theoretical computer science
Pohlmeier, Winfried [VerfasserIn]

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Studies in contemporary economics
Dymond, Kenneth M. [VerfasserIn]

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

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

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Perspectives in mathematical logic
Walzer, Albert [Sonstige Person, Familie und Körperschaft] ; Städtische Sparkasse Stuttgart

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

2010

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

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Boston, Mass.; Munich [u.a.]: Addison-Wesley, 2005
Zollner, Manfred [Sonstige Person, Familie und Körperschaft]; Model, Lisette [IllustratorIn]

Emotion am Pflasterstrand : Lisette Model

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

2000

Erschienen in: Fotomagazin ; (2000), 7, Seite 6 - 11
Faber, Monika [Sonstige Person, Familie und Körperschaft]; Model, Lisette [IllustratorIn]

Lisette Model : Fotografien 1934 - 1960

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

2000

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

Model checking - [2. print.]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Cambridge, Mass. [u.a.]: MIT Press, 2000
Ivaniščev, Vyačeslav V. [VerfasserIn] ; Akademija Nauk SSSR, Leningradskij Institut Informatiki i Avtomatizacii

Avtomatizacija modelirovanija potokovych sistem

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Leningrad: Izd. Nauka, Leningradsk. otdel., 1986
Görlitz, Walter [VerfasserIn]

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

München: Universitas, 1989
Skurichin, Vladimir I. [VerfasserIn] ; Šifrin, Vladimir Borisovič [Sonstige Person, Familie und Körperschaft]; Dubrovskij, Vladimir Vasil'evič [Sonstige Person, Familie und Körperschaft]

Matematičeskoe modelirovanie

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Kiev: Technika, 1983
Kürth, Herbert [VerfasserIn] ; Petri, Joachim [IllustratorIn]

Kunst der Model

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Leipzig: Ed. Leipzig, 1981

Erschienen in: Kulturgeschichtliche Miniaturen
Dickmann, Max [VerfasserIn]

Large infinitary languages : model theory

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Studies in logic and the foundations of mathematics ; 8300
Chang, Chen-Chung [VerfasserIn]; Keisler, H. Jerome [VerfasserIn] ; Chang, Chen Chung [Sonstige Person, Familie und Körperschaft]

Model theory

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Cambridge: Royal Society of Chemistry, 19XX-

Erschienen in: A specialist periodical report
Courcelle, Bruno [VerfasserIn]; Engelfriet, Joost [VerfasserIn]

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Encyclopedia of mathematics and its applications ; 138
Hoeveler, Patrick [VerfasserIn]

Zweiter Sieger : Bell YAH-63

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

2012

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

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Heidelberg: dpunkt-Verl., 2009

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr