Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "concrete"
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:"040 - [Unassigned]"
Showing
1
-
20
of
21
Search:
'"concrete"'
,
query time: 0.09s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Concrete
Semantics : With Isabelle/HOL
by
Nipkow, Tobias
,
Klein, Gerwin
Published 2014
Springer International Publishing
Read Now
2
Haptic Systems Architecture Modeling
by
Weber, Anton
,
Dustdar, Schahram
Published 2012
Springer Vienna
“
... and managers involved. The software provided in this book helps to get a
concrete
tool showing how the approach...
”
Read Now
3
Soft Real-Time Systems: Predictability vs. Efficiency : Predictability vs. Efficiency
by
Buttazzo, Giorgio C.
,
Lipari, Giuseppe
,
Abeni, Luca
,
Caccamo, Marco
Published 2005
Springer US
“
..., and interactive computer games. This unique monograph provides
concrete
methods for building flexible, predictable...
”
Read Now
4
Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
Published 2017
Springer International Publishing
“
.... The conference covers the spectrum from theoretical results to
concrete
applications, with an emphasis...
”
Read Now
5
Trees in Algebra and Programming - CAAP '96 : 21st International Colloquium, Linköping, Sweden, April 22-24, 1996. Proceedings
Published 1996
Springer Berlin Heidelberg
Table of Contents:
“
... and equivalence in
concrete
model categories -- Open maps, behavioural equivalences, and congruences...
”
Read Now
6
Mathematical Foundations of Programming Semantics : 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991. Proceedings
Published 1992
Springer Berlin Heidelberg
Table of Contents:
“
... processes -- Continuous functions and parallel algorithms on
concrete
data structures -- Trade-offs in true...
”
Read Now
7
Scientific Computing with MATLAB and Octave
by
Quarteroni, Alfio
,
Saleri, Fausto
Published 2006
Springer Berlin Heidelberg
“
... equations. To make the presentation
concrete
and appealing, the programming environments Matlab and Octave...
”
Read Now
8
Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
Published 2015
Springer International Publishing
Table of Contents:
“
...
Concretization
for Parallel Program Synthesis -- Automatic Completion of Distributed Protocols with Symmetry...
”
Read Now
9
Computer Aided Verification : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings
Published 2005
Springer Berlin Heidelberg
Table of Contents:
“
... --
Concrete
Model Checking with Abstract Matching and Refinement -- Abstraction for Falsification -- Bounded...
”
Read Now
10
Algebraic Aspects of Cryptography
by
Koblitz, Neal
Published 1998
Springer Berlin Heidelberg
Table of Contents:
“
... -- §2. Irrelevance of Brassard’s Theorem -- §3.
Concrete
Combinatorial-Algebraic Systems -- §4...
”
Read Now
11
Probability in Electrical Engineering and Computer Science : An Application-Driven Course
by
Walrand, Jean
Published 2021
Springer International Publishing
“
... and CS; Presents all topics with
concrete
applications so students see the relevance of the theory...
”
Read Now
12
Artificial Intelligence in Music, Sound, Art and Design : 10th International Conference, EvoMUSART 2021, Held as Part of EvoStar 2021, Virtual Event, April 7–9, 2021, Proceedings
Published 2021
Springer International Publishing
Table of Contents:
“
... Recognition from Symbolic Music with CNNs -- Axial Generation: A
Concretism
-Inspired Method for Synthesizing...
”
Read Now
13
Reliable Distributed Systems : Technologies, Web Services, and Applications
by
Birman, Kenneth
Published 2005
Springer New York
“
...Topics and features: * Explains fault-tolerance in clear, readily understood terms with
concrete
...
”
Read Now
14
Perspectives of Systems Informatics : 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers
Published 2007
Springer Berlin Heidelberg
Table of Contents:
“
... Rules -- On the Usage of
Concrete
Syntax in Model Transformation Rules -- TTCN-3 for Distributed Testing...
”
Read Now
15
Model Driven Engineering Languages and Systems : 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings
Published 2007
Springer Berlin Heidelberg
Table of Contents:
“
... Semantics. -- Integrated Definition of Abstract and
Concrete
Syntax for Textual Languages -- Architectural...
”
Read Now
16
Stochastic Networked Control Systems : Stabilization and Optimization under Information Constraints
by
Yüksel, Serdar
,
Başar, Tamer
Published 2013
Birkhäuser
“
... for the study of networked control systems, and introduces an array of
concrete
tools for work in the field...
”
Read Now
17
Mathematical Foundations of Computer Science 2006 : 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings
Published 2006
Springer Berlin Heidelberg
Table of Contents:
“
... --
Concrete
Multiplicative Complexity of Symmetric Functions -- On the Complexity of Limit Sets of Cellular...
”
Read Now
18
Algorithmic Language and Program Development
by
Bauer, F.L.
,
Wössner, H.
Published 1982
Springer Berlin Heidelberg
Table of Contents:
“
.... Computational Structures -- 3.1
Concrete
Computational Structures -- 3.2 Abstract Computational Structures...
”
Read Now
19
Real-Time and Multi-Agent Systems
by
Attoui, Ammar
Published 2000
Springer London
“
... and tech niques which are necessary for the
concrete
implementation ofthe idea ofan agent as an autonomous...
”
Read Now
20
Advances in Neural Networks- ISNN 2013 : 10th International Symposium on Neural Networks, ISNN 2013, Dalian, China, July 4-6, 2013, Proceedings, Part II
Published 2013
Springer Berlin Heidelberg
Table of Contents:
“
...-Order Statistics -- Constructing Surrogate Model for Optimum
Concrete
Mixtures Using Neural Network...
”
1
2
Back
Narrow Search
Remove Filters
Clear Filter
Classification: 040 - [Unassigned]
Year of Publication
From:
To:
Classification
040 - [Unassigned]
Language
English
21
Collection
Springer eBooks 2005-
16
Springer Book Archives -2004
5
Author
Abeni, Luca
1
Attoui, Ammar
1
Bauer, F.L.
1
Başar, Tamer
1
Birman, Kenneth
1
Brookes, Stephen
1
more ...
Buttazzo, Giorgio C.
1
Caccamo, Marco
1
Dustdar, Schahram
1
Engels, Gregor
1
Etessami, Kousha
1
Guo, Chengan
1
Hou, Zeng-Guang
1
Kirchner, Helene
1
Klein, Gerwin
1
Koblitz, Neal
1
Kroening, Daniel
1
Královic, Rastislav
1
Kunčak, Viktor
1
Lipari, Giuseppe
1
Main, Michael
1
Majumdar, Rupak
1
Martins, Tiago
1
Melton, Austin
1
Mislove, Michael
1
Nipkow, Tobias
1
Opdyke, Bill
1
Păsăreanu, Corina S.
1
Quarteroni, Alfio
1
Rajamani, Sriram K.
1
Rodríguez-Fernández, Nereida
1
Romero, Juan
1
Saleri, Fausto
1
Schmidt, Douglas C.
1
Shi, Yuhui
1
Tan, Kay Chen
1
Tang, Ke
1
Urzyczyn, Pawel
1
Voronkov, Andrei
1
Walrand, Jean
1
Weber, Anton
1
Weil, Frank
1
Wössner, H.
1
Yüksel, Serdar
1
Zeng, Zhigang
1
Zhang, Mengjie
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%22040+-+%5BUnassigned%5D%22&lookfor=%22concrete%22&type=AllFields
Send by Email
×
Loading...