Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "demonstrates"
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
35
Search:
'"demonstrates"'
,
query time: 0.20s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Intelligent Environments : Methods, Algorithms and Applications
Published 2009
Springer London
Table of Contents:
“
... -- Importance of Vision in Human-Robot Communication Understanding Speech Using Robot Vision and
Demonstrating
...
”
Read Now
2
Applications of Graph Transformations with Industrial Relevance : 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected Papers
Published 2012
Springer Berlin Heidelberg
Table of Contents:
“
... -- Integration of a Pattern-Based Layout Engine into Diagram Editors -- Tool
Demonstration
of the Transformation...
”
Read Now
3
Nature Inspired Optimisation for Delivery Problems : From Theory to the Real World
by
Urquhart, Neil
Published 2022
Springer International Publishing
“
..., with an emphasis on heuristic approaches and software engineering aspects. In turn, Part II
demonstrates
how...
”
Read Now
4
Perturbative Quantum Electrodynamics and Axiomatic Field Theory
by
Steinmann, Othmar
Published 2000
Springer Berlin Heidelberg
“
...This book
demonstrates
that fundamental concepts and methods from phenomenological particle physics...
”
Read Now
5
Tools and Algorithms for the Construction and Analysis of Systems : Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings.
Published 1996
Springer Berlin Heidelberg
Table of Contents:
“
... -- The Concurrency Factory software development environment -- The Fc2Tools set (tool
demonstration
) -- PEP — more...
”
Read Now
6
Coping with Selfishness in Congestion Games : Analysis and Design via LP Duality
by
Bilò, Vittorio
,
Vinci, Cosimo
Published 2023
Springer International Publishing
Read Now
7
Mathematics in Computing : An Accessible Guide to Historical, Foundational and Application Contexts
by
O’Regan, Gerard
Published 2013
Springer London
“
... – from number theory to software engineering – the book
demonstrates
the practical computing applications...
”
Read Now
8
Formal Techniques in Real-Time and Fault-Tolerant Systems : Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, German...
Published 1994
Springer Berlin Heidelberg
Table of Contents:
“
... -- Tools
Demonstration
...
”
Read Now
9
High Performance Discovery In Time Series : Techniques and Case Studies
Published 2004
Springer New York
“
... of time series across fixed or moving windows *
Demonstrates
strong, relevant applications built on a solid...
”
Read Now
10
Graph Drawing : 12th International Symposium, GD 2004, New York, NY, USA, September 29-October 2, 2004, Revised Selected Papers
Published 2005
Springer Berlin Heidelberg
Table of Contents:
“
... Bounds of Visibility Representation of Plane Graphs -- Software
Demonstrations
-- Visualizing Large...
”
Read Now
11
Scientific and Statistical Database Management : 20th International Conference, SSDBM 2008, Hong Kong, China, July 9-11, 2008, Proceedings
Published 2008
Springer Berlin Heidelberg
Table of Contents:
“
... Databases -- Poster and
Demonstration
Papers --...
”
Read Now
12
Engineering Applications of Neural Networks : 11th International Conference, EANN 2009, London, UK, August 27-29, 2009, Proceedings
Published 2009
Springer Berlin Heidelberg
Table of Contents:
“
... Surface Topography -- Combining GRN Modeling and
Demonstration
-Based Programming for Robot Control...
”
Read Now
13
Design Science at the Intersection of Physical and Virtual Design : 8th International Conference, DESRIST 2013, Helsinki, Finland, June 11-12,2013, Proceedings
Published 2013
Springer Berlin Heidelberg
Table of Contents:
“
... -- Mini Smart Grid @ Copenhagen Business School: Prototype
Demonstration
-- preCEP: Facilitating...
”
Read Now
14
Advances in Evolutionary Computing : Theory and Applications
Published 2003
Springer Berlin Heidelberg
“
... and
demonstrating
its usefulness in various kinds of large-scale real-world problems. Of the articles contributed...
”
Read Now
15
Tools and Algorithms for the Construction and Analysis of Systems : 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice...
Published 2014
Springer Berlin Heidelberg
“
...
demonstrations
papers, were carefully reviewed and selected from 161 submissions. In addition the book contains...
”
Read Now
16
Verification of Sequential and Concurrent Programs
by
Apt, Krzysztof R.
,
de Boer, Frank S.
,
Olderog, Ernst-Rüdiger
Published 2009
Springer London
“
... studies supplied throughout the book
demonstrate
the use of the proof systems to formally verify solutions...
”
Read Now
17
Graph-Theoretic Concepts in Computer Science : 48th International Workshop, WG 2022, Tübingen, Germany, June 22–24, 2022, Revised Selected Papers
Published 2022
Springer International Publishing
“
... and practice by
demonstrating
how concepts from Graph Theory can be applied to various areas in Computer...
”
Read Now
18
Quantitative Evaluation of Systems : 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings
Published 2013
Springer Berlin Heidelberg
“
... revised full papers presented together with 9 tool
demonstrations
were carefully reviewed and selected...
”
Read Now
19
Automated Deduction in Geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers
Published 1997
Springer Berlin Heidelberg
“
...; furthermore the system REDLOG is
demonstrated
and the verification of geometric statements as well...
”
Read Now
20
Graph-Theoretic Concepts in Computer Science : 43rd International Workshop, WG 2017, Eindhoven, The Netherlands, June 21-23, 2017, Revised Selected Papers
Published 2017
Springer International Publishing
“
.... They cover a wide range of areas, aiming at connecting theory and applications by
demonstrating
how graph...
”
1
2
Back
Narrow Search
Remove Filters
Clear Filter
Classification: 040 - [Unassigned]
Year of Publication
From:
To:
Classification
040 - [Unassigned]
Language
English
35
Collection
Springer eBooks 2005-
21
Springer Book Archives -2004
14
Author
Apt, Krzysztof R.
2
Olderog, Ernst-Rüdiger
2
Sankaranarayanan, Sriram
2
Sharygina, Natasha
2
Abraham, Erika
1
Austin, Jim
1
more ...
Bauer, F.L.
1
Bekos, Michael A.
1
Bilò, Vittorio
1
Bodlaender, Hans L.
1
Brandstädt, Andreas
1
Cijsouw, R.S.
1
D'Argenio, Pedro R.
1
Desai, Uday
1
Draganova, Chrisina
1
Eichfelder, Gabriele
1
Fitch, John
1
Gazendam, H.W.
1
Ghosh, Ashish
1
Graciani, Carmen
1
Havelund, Klaus
1
Hekkala, Riitta
1
Johann, Patricia
1
Jorna, René
1
Joshi, Kaustubh
1
Kaufmann, Michael
1
Kolditz, Olaf
1
Kratsch, Dieter
1
Kuno, Yoshinori
1
Langmaack, Hans
1
Leeuwen, Jan van
1
Ludäscher, Bertram
1
Mamoulis, Nikos
1
Manandhar, Suresh
1
Margaria, Tiziana
1
Mi, Yongli
1
Monekosso, Dorothy
1
Mouratidis, Haris
1
Müller, Haiko
1
New York University
1
Oyanagi, Yoshio
1
O’Regan, Gerard
1
Pach, Janos
1
Palmer-Brown, Dominic
1
Pimenidis, Elias
1
Păun, Gheorghe
1
Ram, Sudha
1
Remagnino, Paolo
1
Riscos-Núñez, Agustín
1
Roever, Willem-Paul de
1
Rossi, Matti
1
Rozenberg, Grzegorz
1
Ryan, Donna
1
SAKAKIBARA, YASUBUMI
1
Sahin, Erol
1
Schürr, Andy
1
Siegle, Markus
1
Socher-Ambrosius, Rolf
1
Spears, William M.
1
Steffen, Bernhard
1
Steinmann, Othmar
1
Stoelinga, Mariëlle
1
Tsutsui, Shigeyoshi
1
Urquhart, Neil
1
Varró, Dániel
1
Varró, Gergely
1
Vinci, Cosimo
1
Vytopil, Jan
1
Wang, Dongming
1
Winfield, Alan F.T.
1
Woeginger, Gerhard J.
1
Wössner, H.
1
de Boer, Frank S.
1
vom Brocke, Jan
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=%22demonstrates%22&type=AllFields
Send by Email
×
Loading...