Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: ("programm" or "programmers")
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
:
"programmers" »
"programmes"
,
"programme"
Showing
1
-
20
of
31
Search:
'("programm" or "programmers")'
,
query time: 0.44s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Graphen—Algorithmen—
Programme
by
Walther, Hansjoachim
,
Nägler, Günter
Published 1987
Springer Vienna
Table of Contents:
“
... Graphen -- 1.3. Algorithmus und
Programm
-- 1.4. Einfache Organisationsalgorithmen -- 1.5. Abschätzungen...
”
Read Now
2
Introduction to computational models with Python
by
Garrido, José M.
Published 2016
CRC Press
Subjects:
“
...Python (Langage de
programmation
)...
”
Call Number:
QA401
Read Now
3
Introduction to computational modeling using C and open-source tools
by
Garrido, José M.
Published 2013
CRC/Taylor & Francis
Subjects:
“
...C (Langage de
programmation
)...
”
Call Number:
QA401
Read Now
4
Combinatorial scientific computing
by
Naumann, Uwe
Published 2012
CRC Press
Subjects:
“
...
Programmation
(Informatique)...
”
Call Number:
QA76.6
Read Now
5
Developing with graph algorithms
by
Mark Needham, presenter
Published 2019
O'Reilly Media, Inc.
Subjects:
“
...Python (Langage de
programmation
)...
”
Call Number:
QA166.245
Read Now
6
The Hyperuniverse Project and Maximality
Published 2018
Springer International Publishing
Table of Contents:
“
... conceptions in set theory -- Evidence for set-theoretic truth and the Hyperuniverse
Programme
-- On the set...
”
Read Now
7
Orders--description and roles : in set theory, lattices, ordered groups, topology, theory of models and relations, combinatorics, effectiveness, social sciences : proceedings of th...
by
Pouzet, M.
Published 1984
Elsevier Science Publishers
Table of Contents:
“
... Ordonnes et leurs Applications; List of Participants (Liste de Participants); Conference
Programme
...
”
Call Number:
QA171.48
Read Now
8
Logicism, Intuitionism, and Formalism : What Has Become of Them?
Published 2009
Springer Netherlands
Table of Contents:
“
...Introduction: The Three Foundational
Programmes
-- Introduction: The Three Foundational
Programmes
...
”
Read Now
9
Towards an Arithmetical Logic : The Arithmetical Foundations of Logic
by
Gauthier, Yvon
Published 2015
Birkhäuser
Table of Contents:
“
... of Logic -- 4.Kronecker's Foundational
Programme
in Contemporary Mathematics -- 5.Arithmetical Foundations...
”
Read Now
10
Elementare Berechenbarkeitstheorie
by
Smith, Einar
Published 1996
Springer Berlin Heidelberg
Table of Contents:
“
... Funktionen -- 3.1
Programm
-Makros -- 3.2 Weitere berechenbare Funktionen -- 4 Zeichenketten und Gödelnummern...
”
Read Now
11
Symposium on Automatic Demonstration : Held at Versailles/France, Decembre 1968
Published 1970
Springer Berlin Heidelberg
Table of Contents:
“
... -- The case for using equality axioms in automatic demonstration -- Hilbert's
programme
and the search...
”
Read Now
12
Relationen und Graphen
by
Schmidt, Gunther
,
Ströhlein, Thomas
Published 1989
Springer Berlin Heidelberg
Table of Contents:
“
... Literaturhinweise -- 10.
Programme
: Korrektheit und Verifikation -- 10.1
Programme
und ihre Wirkung -- 10.2...
”
Read Now
13
Aspects of Molecular Computing : Essays Dedicated to Tom Head on the Occasion of His 70th Birthday
Published 2004
Springer Berlin Heidelberg
Table of Contents:
“
... -- Transducers with
Programmable
Input by DNA Self-assembly -- Methods for Constructing Coded DNA Languages...
”
Read Now
14
Mathematical Logic
Published 1990
Springer US
Table of Contents:
“
... -- Participants, Contributors and
Programme
Committee Members...
”
Read Now
15
DNA Computing : 9th International Workshop on DNA Based Computers, DNA9, Madison, WI, USA, June 1-3, 2003, revised Papers
Published 2004
Springer Berlin Heidelberg
Table of Contents:
“
... DNA Computers -- Towards a Re-
programmable
DNA Computer -- In Vitro Translation-Based Computations...
”
Read Now
16
Mathematical logic
by
Turing, Alan
Published 2001
Elsevier Science
Table of Contents:
“
... -- Chapter 13. Turing's Papers on Programming -- Chapter 14. Excerpt from:
Programmer
's Handbook...
”
Call Number:
QA9.2
Read Now
17
Thinking Programs : Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
by
Schreiner, Wolfgang
Published 2021
Springer International Publishing
“
... scientists, software engineers,
programmers
) to clearly think about the artifacts they deal...
”
Read Now
18
Applications and Theory of Petri Nets 2001 : 22nd International Conference, ICATPN 2001 Newcastle upon Tyne, UK, June 25-29, 2001 Proceedings
Published 2001
Springer Berlin Heidelberg
Table of Contents:
“
... Verification of
Programmable
Logic Controllers -- Structural Characterization and Qualitative Properties...
”
Read Now
19
Mixed Integer Nonlinear Programming
Published 2012
Springer New York
“
..., computer scientists, operations managers, and mathematical
programmers
— are interested in solving large...
”
Read Now
20
Universal Algebra, Algebraic Logic, and Databases
by
Plotkin, B.
Published 1994
Springer Netherlands
“
... to
programmers
, engineers and all potential users of mathematics who want to construct their models with the help...
”
1
2
Back
Narrow Search
Remove Filters
Clear Filter
Classification: 511 - General principles of mathematics
Year of Publication
From:
To:
Classification
511 - General principles of mathematics
510 - Mathematics
3
500 - Natural sciences & mathematics
1
Language
English
27
German
4
Collection
Springer Book Archives -2004
16
Springer eBooks 2005-
8
O'Reilly
4
Elsevier eBook collection Mathematics
3
Author
Garrido, José M.
2
Antos, Carolin
1
Bagaria, Joan
1
Banerjee, Santo
1
Chen, Junghuei
1
Colom, Jose-Manuel
1
more ...
Conference on Ordered Sets and Their Applications ( 1982, L'Arbresle, France)
1
Erçetin, Şefika Şule
1
Friedman, Sy-David
1
Gabbay, Dov M.
1
Gandy, R. O.
1
Gauthier, Yvon
1
Honzik, Radek
1
Johnson, D.L.
1
Jonoska, Natasha
1
Karpinski, Marek
1
Koutny, Maciej
1
Lacombe, D.
1
Laudet, M.
1
Lee, Jon
1
Leyffer, Sven
1
Lindström, Sten
1
Mark Needham, presenter
1
Naumann, Uwe
1
Nolin, L.
1
Nägler, Günter
1
Palmgren, Erik
1
Petkov, Petio P.
1
Plotkin, B.
1
Posthoff, Christian
1
Pouzet, M.
1
Păun, Gheorghe
1
Rautenberg, Wolfgang
1
Reif, John
1
Richard, Denis
1
Rival, Ivan
1
Rosin, David P.
1
Rozenberg, Grzegorz
1
Sands, B.
1
Sauer, Norbert W.
1
Schenk, Olaf
1
Schmidt, Gunther
1
Schreiner, Wolfgang
1
Schützenberger, M.
1
Segerberg, Krister
1
Smith, Einar
1
Smorynski, Craig
1
Steinbach, Bernd
1
Stoltenberg-Hansen, Viggo
1
Ströhlein, Thomas
1
Ternullo, Claudio
1
Todorcevic, Stevo
1
Turing, Alan
1
Walther, Hansjoachim
1
Woodrow, R.E.
1
Yates, C. E. M.
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%22programm%22+or+%22programmers%22%29&type=AllFields
Send by Email
×
Loading...