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

Generalized quantifiers and computation : revised lectures

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: Lecture notes in computer science ; 1754
Chen, Jianer [HerausgeberIn]; Cooper, S. Barry [Sonstige Person, Familie und Körperschaft] ; TAMC 6 2009 Changsha

Theory and applications of models of computation : 6th annual conference, TAMC 2009, Changsha, China, May 18-22, 2009 ; proceedings

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, 2009

Erschienen in: Lecture notes in computer science ; 5532
Agrawal, Manindra [HerausgeberIn]; Du, Dingzhu [Sonstige Person, Familie und Körperschaft]; Duan, Zhenhua [Sonstige Person, Familie und Körperschaft]; Li, Angsheng [Sonstige Person, Familie und Körperschaft] ; 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

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, 2008

Erschienen in: Lecture notes in computer science ; 4978
Helmert, Malte [VerfasserIn]

Understanding planning tasks : domain complexity and heuristic decomposition

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, 2008

Erschienen in: Lecture notes in computer science ; 4929
Shiflet, Angela B. [VerfasserIn]; Shiflet, George W. [VerfasserIn]

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

Schließen

Merkliste

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

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

Branching programs and binary decision diagrams : theory and applications

Schließen

Merkliste

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

Philadelphia, Pa.: SIAM, 2000

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

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

Schließen

Merkliste

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

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

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

Boolean functions and computation models

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: Texts in theoretical computer science - an EATCS series
Löwe, Benedikt [HerausgeberIn] ; 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

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, 2011

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

Sociology and complexity science : a new field of inquiry

Schließen

Merkliste

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

Berlin; Heidelberg: Springer, c 2009

Erschienen in: Understanding complex systems ; Springer complexity- Springer complexity
Reggiani, Aura [Sonstige Person, Familie und Körperschaft]

Spatial economic science : new frontiers in theory and methodology ; with 26 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, 2000

Erschienen in: Advances in spatial science
Cai, Jin-Yi [HerausgeberIn]; Cooper, S. Barry [Sonstige Person, Familie und Körperschaft] ; TAMC 4 2007 Schanghai

Theory and applications of models of computation : 4th international conference, TAMC 2007, Shanghai, China, May 22 - 25, 2007 ; proceedings

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: Lecture notes in computer science ; 4484
Kratochvíl, Jan [HerausgeberIn]; Li, Angsheng [Sonstige Person, Familie und Körperschaft]; Fiala, Jiří [Sonstige Person, Familie und Körperschaft]; Kolman, Petr [Sonstige Person, Familie und Körperschaft] ; TAMC 7 2010 Prag

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

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, 2010

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

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

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, 2012

Erschienen in: Understanding complex systems- Springer complexity
Mönch, Lars [VerfasserIn]

Agentenbasierte Produktionssteuerung komplexer Produktionssysteme - [1. Aufl.]

Schließen

Merkliste

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

Wiesbaden: Dt. Univ.-Verl., 2006

Erschienen in: Wirtschaftsinformatik
Casti, John L. [HerausgeberIn]; Karlqvist, Anders [Sonstige Person, Familie und Körperschaft]

Complexity, language, and life : mathematical approaches

Schließen

Merkliste

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

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

Erschienen in: Biomathematics ; 16
Bertuglia, Cristoforo S. [VerfasserIn]; Vaio, Franco [VerfasserIn] ; Bertuglia, Cristoforo Sergio [Sonstige Person, Familie und Körperschaft]

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

Schließen

Merkliste

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

Oxford [u.a.]: Oxford Univ. Press, 2005
Ogihara, Mitusnori [Sonstige Person, Familie und Körperschaft]; Ogihara, Mitsunori [HerausgeberIn] ; TAMC 8 2011 Chōfu

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

Schließen

Merkliste

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

Berlin; Heidelberg: Springer, 2011

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

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

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, 2006

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