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
Väänänen, Jouko [Editor] ; European Summer School in Logic, Language and Information 9 1997 Aix-en-Provence

Generalized quantifiers and computation : revised lectures

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 computer science ; 1754
Chen, Jianer [Editor]; Cooper, S. Barry [Other] ; TAMC 6 2009 Changsha

Theory and applications of models of computation : 6th annual conference, TAMC 2009, Changsha, China, May 18-22, 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 ; 5532
Agrawal, Manindra [Editor]; Du, Dingzhu [Other]; Duan, Zhenhua [Other]; Li, Angsheng [Other] ; TAMC 5 2008 Xi'an

Theory and applications of models of computation : 5th international conference, TAMC 2008, Xi'an, China, April 25-29, 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 ; 4978
Helmert, Malte [Author]

Understanding planning tasks : domain complexity and heuristic decomposition

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 ; 4929
Shiflet, Angela B. [Author]; Shiflet, George W. [Author]

Introduction to computational science : modeling and simulation for the sciences - [2. ed.]

Close

Bookmarks

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

Princeton, N.J. [u.a.]: Princeton Univ. Press, c 2014
Wegener, Ingo [Author]

Branching programs and binary decision diagrams : theory and applications

Close

Bookmarks

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

Philadelphia, Pa.: SIAM, 2000

Published in: SIAM monographs on discrete mathematics and applications
Kampis, George [Author]; Kampis, György [Author]

Self-modifying systems in biology and cognitive science : a new framework for dynamics, information and complexity - [1. ed.]

Close

Bookmarks

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

Oxford [u.a.]: Pergamon Press, 1991

Published in: International Federation for Systems Research: IFSR international series on systems science and engineering ; 600
Clote, Peter [Author]; Kranakis, Evangelos [Author]

Boolean functions and computation models

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: Texts in theoretical computer science - an EATCS series
Löwe, Benedikt [Editor] ; Conference on Computability in Europe 7 2011 Sofia

Models of computation in context : 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011 ; proceedings

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 6735
Castellani, Brian [Author]; Hafferty, Frederic William [Author]

Sociology and complexity science : a new field of inquiry

Close

Bookmarks

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

Berlin; Heidelberg: Springer, c 2009

Published in: Understanding complex systems ; Springer complexity- Springer complexity
Reggiani, Aura [Other]

Spatial economic science : new frontiers in theory and methodology ; with 26 tables

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: Advances in spatial science
Cai, Jin-Yi [Editor]; Cooper, S. Barry [Other] ; TAMC 4 2007 Schanghai

Theory and applications of models of computation : 4th international conference, TAMC 2007, Shanghai, China, May 22 - 25, 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 ; 4484
Kratochvíl, Jan [Editor]; Li, Angsheng [Other]; Fiala, Jiří [Other]; Kolman, Petr [Other] ; TAMC 7 2010 Prag

Theory and applications of models of computation : 7th annual conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010 ; proceedings

Close

Bookmarks

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

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

Published in: Lecture notes in computer science ; 6108
Scharnhorst, Andrea [Author]; Börner, Katy [Author]; Besselaar, Peter van den [Author]

Models of science dynamics : encounters between complexity theory and information sciences

Close

Bookmarks

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

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

Published in: Understanding complex systems- Springer complexity
Mönch, Lars [Author]

Agentenbasierte Produktionssteuerung komplexer Produktionssysteme - [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
Casti, John L. [Editor]; Karlqvist, Anders [Other]

Complexity, language, and life : mathematical approaches

Close

Bookmarks

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

Berlin; Heidelberg; New York; Tokyo: Springer, 1986

Published in: Biomathematics ; 16
Bertuglia, Cristoforo S. [Author]; Vaio, Franco [Author] ; Bertuglia, Cristoforo Sergio [Other]

Nonlinearity, chaos, and complexity : the dynamics of natural and social systems

Close

Bookmarks

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

Oxford [u.a.]: Oxford Univ. Press, 2005
Ogihara, Mitusnori [Other]; Ogihara, Mitsunori [Editor] ; TAMC 8 2011 Chōfu

Theory and applications of models of computation : 8th annual conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011 ; proceedings

Close

Bookmarks

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

Berlin; Heidelberg: Springer, 2011

Published in: Lecture notes in computer science ; 6648
Grünig, Rudolf [Author]; Kühn, Richard [Author]

Entscheidungsverfahren für komplexe Probleme : ein heuristischer Ansatz ; mit 22 Vertiefungsfenstern - [2., überarb. Aufl.]

Close

Bookmarks

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

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

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