1
Published 2009
Springer London
Table of Contents: ... -- Importance of Vision in Human-Robot Communication Understanding Speech Using Robot Vision and Demonstrating...

2
Published 2012
Springer Berlin Heidelberg
Table of Contents: ... -- Integration of a Pattern-Based Layout Engine into Diagram Editors -- Tool Demonstration of the Transformation...

3
by Urquhart, Neil
Published 2022
Springer International Publishing
..., with an emphasis on heuristic approaches and software engineering aspects. In turn, Part II demonstrates how...

4
by Steinmann, Othmar
Published 2000
Springer Berlin Heidelberg
...This book demonstrates that fundamental concepts and methods from phenomenological particle physics...

5
Published 1996
Springer Berlin Heidelberg
Table of Contents: ... -- The Concurrency Factory software development environment -- The Fc2Tools set (tool demonstration) -- PEP — more...

6
by Bilò, Vittorio, Vinci, Cosimo
Published 2023
Springer International Publishing

7
by O’Regan, Gerard
Published 2013
Springer London
... – from number theory to software engineering – the book demonstrates the practical computing applications...

9
Published 2004
Springer New York
... of time series across fixed or moving windows *Demonstrates strong, relevant applications built on a solid...

10
Published 2005
Springer Berlin Heidelberg
Table of Contents: ... Bounds of Visibility Representation of Plane Graphs -- Software Demonstrations -- Visualizing Large...

11
Published 2008
Springer Berlin Heidelberg
Table of Contents: ... Databases -- Poster and Demonstration Papers --...

12
Published 2009
Springer Berlin Heidelberg
Table of Contents: ... Surface Topography -- Combining GRN Modeling and Demonstration-Based Programming for Robot Control...

13
Published 2013
Springer Berlin Heidelberg
Table of Contents: ... -- Mini Smart Grid @ Copenhagen Business School: Prototype Demonstration -- preCEP: Facilitating...

14
Published 2003
Springer Berlin Heidelberg
... and demonstrating its usefulness in various kinds of large-scale real-world problems. Of the articles contributed...

15
Published 2014
Springer Berlin Heidelberg
... demonstrations papers, were carefully reviewed and selected from 161 submissions. In addition the book contains...

16
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...

17
Published 2022
Springer International Publishing
... and practice by demonstrating how concepts from Graph Theory can be applied to various areas in Computer...

18
Published 2013
Springer Berlin Heidelberg
... revised full papers presented together with 9 tool demonstrations were carefully reviewed and selected...

19
Published 1997
Springer Berlin Heidelberg
...; furthermore the system REDLOG is demonstrated and the verification of geometric statements as well...

20
Published 2017
Springer International Publishing
.... They cover a wide range of areas, aiming at connecting theory and applications by demonstrating how graph...