Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "quantification"
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:"004 - Data processing & computer science"
product_txtF_mv:"Springer Book Archives -2004"
Search alternatives
:
"quantification" »
"identification"
Showing
1
-
17
of
17
Search:
'"quantification"'
,
query time: 0.05s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
A Logical Approach to Discrete Math
by
Gries, David
,
Schneider, Fred B.
Published 1993
Springer New York
Table of Contents:
“
... -- 6 Hilbert-style Proofs -- 7 Formal Logic -- 8
Quantification
-- 9 Predicate Calculus -- 10...
”
Read Now
2
Multiprocessing : Trade-Offs in Computation and Communication
by
Naik, Vijay K.
Published 1993
Springer US
“
.... The analysis allows for the
quantification
of the computation and communication costs...
”
Read Now
3
Algebraic Methodology and Software Technology : 9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September 9-13, 2002. Proceedings
Published 2002
Springer Berlin Heidelberg
Table of Contents:
“
...-Order
Quantification
and Proof Search* -- Algebraic Support for Service-Oriented Architecture -- Regular...
”
Read Now
4
Computer Aided Verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings
Published 2004
Springer Berlin Heidelberg
Table of Contents:
“
... Verification of Pipelined Machines Using First-Order
Quantification
-- A Formal Reduction for Lock-Free...
”
Read Now
5
High Performance Scientific and Engineering Computing : Hardware/Software Support
Published 2004
Springer US
Table of Contents:
“
... Distribution based on Index Analysis -- 3
Quantification
of Memory Communication -- 4 The Need for Adaptive...
”
Read Now
6
Computer Aided Verification : 7th International Conference, CAV '95, Liege, Belgium, July 3 - 5, 1995. Proceedings
Published 1995
Springer Berlin Heidelberg
Table of Contents:
“
...: An automata-theoretic approach -- Augmenting branching temporal logics with existential
quantification
over...
”
Read Now
7
Solving Higher-Order Equations : From Logic to Programming
by
Prehofer, Christian
Published 1998
Birkhäuser
“
... functions or predicates and its abstraction mechanism. These allow one to represent
quantification
...
”
Read Now
8
Automata, Languages and Programming : 16th International Colloquium, Stresa, Italy, July 11-15, 1989. Proceedings
Published 1989
Springer Berlin Heidelberg
Table of Contents:
“
... deciphering delay -- Relational semantics for recursive types and bounded
quantification
-- A singly...
”
Read Now
9
Optimization Techniques. Modeling and Optimization in the Service of Man 1 : Proceedings, 7th IFIP Conference, Nice, Sept. 8-12, 1975
Published 1976
Springer Berlin Heidelberg
Table of Contents:
“
... and
quantification
-- Self-sustained oscillations in the Jacob-monod mode of gene regulation -- Optimisation...
”
Read Now
10
Dealing with Complexity : An Introduction to the Theory and Application of Systems Science
by
Flood, Robert L.
Published 1988
Springer US
Table of Contents:
“
... and International Relations -- 7.3. Conclusion -- Problems -- Eight. Systems
Quantification
: From Stone Age to Space...
”
Read Now
11
Correct Hardware Design and Verification Methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings
Published 2001
Springer Berlin Heidelberg
Table of Contents:
“
... Methods for
Quantification
Scheduling -- Net Reductions for LTL Model-Checking -- Component Verification...
”
Read Now
12
Electronic Commerce and Web Technologies : First International Conference, EC-Web 2000 London, UK, September 4-6, 2000 Proceedings
Published 2000
Springer Berlin Heidelberg
Table of Contents:
“
... Applications: Structure and
Quantification
-- Intellectual Property Rights -- Towards a secure and de...
”
Read Now
13
Probabilistic Safety Assessment and Management ’96 : ESREL’96 — PSAM-III June 24–28 1996, Crete, Greece Volume 1
Published 1996
Springer London
Table of Contents:
“
... Management for Space Systems -- Data Collection and
Quantification
-- PSA Studies/Applications-V...
”
Read Now
14
Computing and Combinatorics : Third Annual International Conference, COCOON '97, Shanghai, China, August 20-22, 1997. Proceedings.
Published 1997
Springer Berlin Heidelberg
Table of Contents:
“
...-sorted term rewriting systems -- A three-valued
quantificational
logic of context -- A compact storage...
”
Read Now
15
High-Performance Computing and Networking : 9th International Conference, HPCN Europe 2001, Amsterdam, The Netherlands, June 25-27, 2001, Proceedings
Published 2001
Springer Berlin Heidelberg
Table of Contents:
“
...? -- Combining Batch and Streaming Paradigms for Metacomputing Applications -- Identification and
Quantification
...
”
Read Now
16
Computational Science — ICCS 2002 : International Conference Amsterdam, The Netherlands, April 21–24, 2002 Proceedings, Part III
Published 2002
Springer Berlin Heidelberg
Table of Contents:
“
... and Optimization -- CAD Recognition Using Three Mathematical Models -- 3D
Quantification
Visualization of Vascular...
”
Read Now
17
The Logic of Partial Information
by
Nait Abdallah, Areski
Published 1995
Springer Berlin Heidelberg
Table of Contents:
“
... for
Quantification
in Canonical Justifications --...
”
Back
Narrow Search
Remove Filters
Clear Filter
Classification: 004 - Data processing & computer science
Clear Filter
Collection: Springer Book Archives -2004
Year of Publication
From:
To:
Classification
004 - Data processing & computer science
Language
English
17
Collection
Springer Book Archives -2004
Author
Alur, Rajeev
1
Ausiello, Giorgio
1
Bauknecht, Kurt
1
Cacciabue, Carlo
1
Cea, J.
1
Dezani-Ciancaglini, Mariangiola
1
more ...
Dongarra, Jack J.
1
Flood, Robert L.
1
Gries, David
1
Hertzberger, Bob
1
Hoekstra, Alfons
1
Hoekstra, Alfons G.
1
Jiang, Tao
1
Kirchner, Helene
1
Lee, D.T.
1
Madria, Sanjay Kumar
1
Margaria, Tiziana
1
Melham, Tom
1
Naik, Vijay K.
1
Nait Abdallah, Areski
1
Papazoglou, Ioannis A.
1
Peled, Doron A.
1
Pernul, Günther
1
Prehofer, Christian
1
Ringeissen, Christophe
1
Ronchi Della Rocca, Simonetta
1
Schneider, Fred B.
1
Sloot, Peter M.A.
1
Tan, C.J. Kenneth
1
Tianruo Yang, Laurence
1
Williams, Roy
1
Wolper, Pierre
1
Yi Pan
1
see all ...
less ...
Recently Uploaded
Last Month
2
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?filter%5B%5D=dewey-ones%3A%22004+-+Data+processing+%26+computer+science%22&filter%5B%5D=product_txtF_mv%3A%22Springer+Book+Archives+-2004%22&lookfor=%22quantification%22&type=AllFields
Send by Email
×
Loading...