Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: ("driever" OR "driven")*
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
All Fields
Title
Person
Topic
ISBN/ISSN
Year
Collection
Advanced
Retain my current filters
dewey-ones:"511 - General principles of mathematics"
Search alternatives
:
"driever" »
"driver"
,
"drever"
Showing
1
-
18
of
18
Search:
'("driever" OR "driven")*'
,
query time: 0.10s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Topics in the theory of computation : selected papers of the International Conference on "Foundations of Computation Theory", FCT '83, Borgholm, Sweden, August 21-27, 1983
by
Karpiński, Marek
Published 1985
North-Holland
Table of Contents:
“
...; Chapter 1. Input-
driven
Languages are recognized in log n space; Chapter 2. Constructive mathematics as a...
”
Call Number:
QA267
Read Now
2
Proofs and computations
by
Schwichtenberg, Helmut
,
Wainer, S. S.
Published 2012
Cambridge University Press
“
...
Driven
by the question, 'What is the computational content of a (formal) proof?', this book studies...
”
Call Number:
QA9.54
Read Now
3
Fuzzy Algorithms for Control
Published 1999
Springer Netherlands
Table of Contents:
“
... Control -- 4 Data-
Driven
Construction of Transparent Fuzzy Models -- II Design and Analysis Issues -- 5...
”
Read Now
4
Logical dynamics of information and interaction
by
Benthem, Johan van
Published 2011
Cambridge University Press
“
...This book develops a view of logic as a theory of information-
driven
agency and intelligent...
”
Call Number:
QA9
Read Now
5
Intelligent Hybrid Systems : Fuzzy Logic, Neural Networks, and Genetic Algorithms
Published 1997
Springer US
Table of Contents:
“
... in Intelligent Data Analysis -- 7 Data-
Driven
Identification of Key Variables -- 8 Applications of Intelligent...
”
Read Now
6
Lectures on Concurrency and Petri Nets : Advances in Petri Nets
Published 2004
Springer Berlin Heidelberg
Table of Contents:
“
... on Timed Concurrent Constraint Programming -- Petri Nets and Manufacturing Systems: An Examples-
Driven
Tour...
”
Read Now
7
Elements of Operator Theory
by
Kubrusly, Carlos S.
Published 2001
Birkhäuser
“
... of the landmarks in the theory of operators on Hilbert spaces. The exposition is concept-
driven
and as much...
”
Read Now
8
Bayesian Heuristic Approach to Discrete and Global Optimization : Algorithms, Visualization, Software, and Applications
by
Mockus, Jonas
,
Eddy, William
,
Reklaitis, Gintaras
Published 1997
Springer US
Table of Contents:
“
... in the Optimization of Networks -- 9 Solving Differential Equations by Event-
Driven
Techniques for Parameter...
”
Read Now
9
Theory and Applications of Satisfiability Testing : 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers
Published 2004
Springer Berlin Heidelberg
Table of Contents:
“
... Solver -- Using Problem Structure for Efficient Clause Learning -- Abstraction-
Driven
SAT-based Analysis...
”
Read Now
10
Graph Transformations : Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 1, 2004, Proceedings
Published 2004
Springer Berlin Heidelberg
Table of Contents:
“
... -- Composition of Relations in Enterprise Architecture Models -- Event-
Driven
Grammars: Towards the Integration...
”
Read Now
11
Complex Spreading Phenomena in Social Systems : Influence and Contagion in Real-World Social Networks
Published 2018
Springer International Publishing
“
... and data-
driven
approaches. This volume consists of four parts. Part 1 is an Introduction, providing...
”
Read Now
12
Advances in Combinatorics : Waterloo Workshop in Computer Algebra, W80, May 26-29, 2011
Published 2013
Springer Berlin Heidelberg
“
.... But he was first a researcher,
driven
by his desire to know and explain the inner workings...
”
Read Now
13
Complex Networks IX : Proceedings of the 9th Conference on Complex Networks CompleNet 2018
Published 2018
Springer International Publishing
Table of Contents:
“
...Diffusive Phenomena in Dynamic Networks: A Data-
driven
Study -- Fractal Analyses of Networks...
”
Read Now
14
Modeling Decisions for Artificial Intelligence : 6th International Conference, MDAI 2009, Awaji Island, Japan, November 30-December 2, 2009, Proceedings
Published 2009
Springer Berlin Heidelberg
Table of Contents:
“
...Invited Papers -- Interactive Robust Multiobjective Optimization
Driven
by Decision Rule Preference...
”
Read Now
15
Applications of Graph Transformations with Industrial Relevance : Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003, Revised Sele...
Published 2004
Springer Berlin Heidelberg
Table of Contents:
“
... in OMG’s Model-
Driven
Architecture -- Computing Reading Trees for Constraint Diagrams -- UML Interaction...
”
Read Now
16
Computer-Aided Verification : 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings
Published 1991
Springer Berlin Heidelberg
Table of Contents:
“
... -- Synthesizing processes and schedulers from temporal specifications -- Task-
driven
supervisory control...
”
Read Now
17
Exercises in Graph Theory
by
Melnikov, O.
,
Sarvanov, V.
,
Tyshkevich, R.I.
,
Yemelichev, V.
Published 1998
Springer Netherlands
“
... was also
driven
by numerous journal articles, which are impossible to list here...
”
Read Now
18
New Directions in Rough Sets, Data Mining, and Granular-Soft Computing : 7th International Workshop, RSFDGrC'99, Yamaguchi, Japan, November 9-11, 1999 Proceedings
Published 1999
Springer Berlin Heidelberg
Table of Contents:
“
... -- Knowledge-
Driven
Discovery of Operational Definitions -- A Closest Fit Approach to Missing Attribute Values...
”
Back
Narrow Search
Remove Filters
Clear Filter
Classification: 511 - General principles of mathematics
Year of Publication
From:
To:
Classification
511 - General principles of mathematics
Language
English
18
Collection
Springer Book Archives -2004
11
Springer eBooks 2005-
4
Cambridge Books Online
2
Elsevier eBook collection Mathematics
1
Author
Rozenberg, Grzegorz
2
Ahn, Yong-Yeol
1
Association for Symbolic Logic
1
Babuška, Robert
1
Benthem, Johan van
1
Böhlen, Boris
1
more ...
Clarke, Edmund M.
1
Cornelius, Sean
1
Coronges, Kate
1
Da Ruan
1
Desel, Jörg
1
Eddy, William
1
Ehrig, Hartmut
1
Engels, Gregor
1
Giunchiglia, Enrico
1
Gonçalves, Bruno
1
International FCT-Conference (1983, Borgholm, Sweden)
1
Inuiguchi, Masahiro
1
Karpiński, Marek
1
Kotsireas, Ilias S.
1
Kubrusly, Carlos S.
1
Kurshan, Robert P.
1
Leeuwen, J. van
1
Lehmann, Sune
1
Melnikov, O.
1
Mockus, Jonas
1
Nagl, Manfred
1
Narukawa, Yasuo
1
Ohsuga, Setsuo
1
Parisi-Presicce, Francesco
1
Pfaltz, John L.
1
Reisig, Wolfgang
1
Reklaitis, Gintaras
1
Sarvanov, V.
1
Schwichtenberg, Helmut
1
Sinatra, Roberta
1
Tacchella, Armando
1
Tyshkevich, R.I.
1
Verbruggen, H. B.
1
Wainer, S. S.
1
Yemelichev, V.
1
Zhong, Ning
1
Zima, Eugene V.
1
Zimmermann, Hans-Jürgen
1
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?filter%5B%5D=dewey-ones%3A%22511+-+General+principles+of+mathematics%22&lookfor=%28%22driever%22+OR+%22driven%22%29%2A&type=AllFields
Send by Email
×
Loading...