Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "software"
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"
Showing
1
-
20
of
73
Search:
'"software"'
,
query time: 0.14s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Mathematical Aspects of Scientific
Software
Published 1988
Springer New York
Table of Contents:
“
...Mathematical Aspects of Scientific
Software
-- The Mapping Problem in Parallel Computation...
”
Read Now
2
Foundations of
Software
Science and Computation Structures...
Published 2020
Springer International Publishing
“
... on Foundations of
Software
Science and Computational Structures, FOSSACS 2020, which took place in Dublin...
”
Read Now
3
Introduction to Discrete Mathematics for
Software
Engineering
by
Denvir, Tim
Published 1986
Macmillan Education UK
Subjects:
“
...
Software
engineering...
”
Read Now
4
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:
“
... for BATCH Process Scheduling Using BHA and MILP Formulation -- VI
Software
for Global Optimization -- 17...
”
Read Now
5
Introduction to Fuzzy Reliability
by
Kai-Yuan Cai
Published 1996
Springer US
Table of Contents:
“
... Types of Failures -- References -- 8 Fuzzy Methods in
Software
Reliability Modeling -- 8.1 Continuous...
”
Read Now
6
Graph Transformations : Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 1, 2004, Proceedings
Published 2004
Springer Berlin Heidelberg
Table of Contents:
“
...Invited Papers -- Improving Flow in
Software
Development Through Graphical Representations -- A...
”
Read Now
7
Automata Theory and its Applications
by
Khoussainov, Bakhadyr
,
Nerode, Anil
Published 2001
Birkhäuser
Subjects:
“
...
Software
engineering...
”
Read Now
8
Interactive Theorem Proving and Program Development : Coq’Art: The Calculus of Inductive Constructions
by
Bertot, Yves
,
Castéran, Pierre
Published 2004
Springer Berlin Heidelberg
Subjects:
“
...
Software
engineering...
”
Read Now
9
Transactions on Petri Nets and Other Models of Concurrency III
Published 2009
Springer Berlin Heidelberg
Subjects:
“
...
Software
engineering...
”
Read Now
10
Formal Concept Analysis : 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings
Published 2009
Springer Berlin Heidelberg
Subjects:
“
...
Software
engineering...
”
Read Now
11
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:
“
... Graph Transformation Environment for Modeling and Validation of
Software
-- Process Evolution Support...
”
Read Now
12
Diskrete Strukturen 2 : Wahrscheinlichkeitstheorie und Statistik
by
Schickinger, Thomas
,
Steger, Angelika
Published 2002
Springer Berlin Heidelberg
Subjects:
“
...Computer
software
...
”
Read Now
13
Applications and Theory of Petri Nets 2004 : 25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings
Published 2004
Springer Berlin Heidelberg
Table of Contents:
“
... Generation for Petri Nets: Can Brute Force Be Smart? -- Embedded
Software
: Better Models, Better Code...
”
Read Now
14
Computer-Aided Verification : 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings
Published 1991
Springer Berlin Heidelberg
Subjects:
“
...
Software
engineering...
”
Read Now
15
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
Subjects:
“
...
Software
engineering...
”
Read Now
16
Concept Lattices : Second International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-26, 2004, Proceedings
Published 2004
Springer Berlin Heidelberg
Subjects:
“
...
Software
engineering...
”
Read Now
17
Information and Randomness : An Algorithmic Perspective
by
Calude, Cristian S.
Published 2002
Springer Berlin Heidelberg
Subjects:
“
...
Software
engineering...
”
Read Now
18
Fuzzy Logic and Soft Computing
Published 1999
Springer US
Table of Contents:
“
.... Linguistic Modifiers: An Overview -- II Contributed Papers -- 6.
Software
Pattern Laws and Partial...
”
Read Now
19
Formal Methods Teaching : 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings
Published 2023
Springer Nature Switzerland
Subjects:
“
...
Software
engineering...
”
Read Now
20
Graph algorithms : practical examples in Apache Spark and Neo4j
by
Needham, Mark
,
Hodler, Amy E.
Published 2019
O'Reilly
Subjects:
“
...Spark (Electronic resource : Apache
Software
Foundation) / fast...
”
Call Number:
QA166
1
2
3
4
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
6
519 - Probabilities & applied mathematics
2
331 - Labor economics
1
500 - Natural sciences & mathematics
1
512 - Algebra
1
more ...
629 - Other branches of engineering
1
see all ...
less ...
Language
English
71
German
2
Collection
Springer Book Archives -2004
38
Springer eBooks 2005-
20
O'Reilly
7
Cambridge Books Online
4
Elsevier eBook collection Mathematics
3
Elsevier ScienceDirect eBooks
1
Author
Nerode, Anil
3
Rozenberg, Grzegorz
3
Artemov, Sergei
2
Ehrig, Hartmut
2
Engels, Gregor
2
Garrido, José M.
2
more ...
Kai-Yuan Cai
2
Mockus, Jonas
2
Reisig, Wolfgang
2
Zimmermann, Hans-Jürgen
2
Abdennadher, Slim
1
Alessi, Fabio
1
Andrews, Peter B.
1
Angstenberger, Larisa
1
Apostolico, Alberto
1
Arlinghaus, Sandra L.
1
Association for Symbolic Logic
1
Ausiello, G.
1
Babuška, Robert
1
Bachem, A.
1
Barendregt, H. P.
1
Bertot, Yves
1
Buchberger, B.
1
Böhlen, Boris
1
Calude, Cristian S.
1
Carlsson, Christer
1
Carnielli, Walter
1
Castéran, Pierre
1
Clarke, Edmund M.
1
Collins, G.E.
1
Colom, Jose-Manuel
1
Coniglio, Marcelo
1
Cortadella, Jordi
1
Crama, Yves
1
Cuny, Janice
1
Dekkers, Wil
1
Denvir, Tim
1
Desel, Jörg
1
Doignon, Jean-Paul
1
Dubois, Catherine
1
Eddy, William
1
Eklund, Peter
1
Falmagne, Jean-Claude
1
Fedrizzi, Mario
1
Ferreira, João F.
1
Ferré, Sébastien
1
Fischer, Mareike
1
Frühwirth, Thom
1
Fuller, Robert
1
Gabbay, Dov M.
1
Gao, Xiao-Shan
1
Gasquet, Olivier
1
Ghosh, S.
1
Golumbic, Martin Charles
1
Goubault-Larrecq, Jean
1
Gouveia, Paula
1
Grötschel, M.
1
Grötschel, Martin
1
Guoqing Chen
1
Hagiya, Masami
1
Hammer, P. L.
1
Hartman, Irith Ben-Arroyo
1
Herbst, Lina
1
Herzig, Andreas
1
Hochstättler, Winfried
1
Hodler, Amy E.
1
Istituto di analisi dei sistemi ed informatica (Italy)
1
Jones, Gareth A.
1
Jurisic, Aleksandar
1
Kandel, Abraham
1
Kauers, Manuel
1
Kaufmann, Michael
1
Kersting, Sophie
1
Khoussainov, Bakhadyr
1
Kim, Phil
1
Klin, Mikhail
1
Korte, B.
1
Koutny, Maciej
1
Krob, Daniel
1
Kurshan, Robert P.
1
König, Barbara
1
Kühn, Annemarie Luise
1
Lam, Thomas
1
Lapointe, Luc
1
Lee, Jon
1
Leyffer, Sven
1
Linhares-Sales, Claudia L.
1
Liotta, Guiseppe
1
Llave, Rafael de la
1
Loos, R.
1
Lorenz, Jens
1
Lovasz, Laszlo
1
Lucertini, M.
1
Marcellàn, Francisco
1
Mark Needham, presenter
1
Meerschaert, Mark M.
1
Melczer, Stephen
1
Mendes, Alexandra
1
Menghi, Claudio
1
Mikhalev, Alexander A.
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=%22software%22&type=AllFields
Send by Email
×
Loading...