Springer International Publishing: 24533 books
Automated Technology for Verification and Analysis
16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
Language: English
Release Date: September 29, 2018
This book constitutes the refereed proceedings of the 16th International Symposium on Automated Technology for Verification and Analysis, ATVA 2018, held in Los Angeles, CA, USA in October 2018.
The 27 full papers presented together with 5 short papers and 3 invited talks were carefully reviewed...
Activity Monitoring by Multiple Distributed Sensing
Second International Workshop, AMMDS 2014, Stockholm, Sweden, August 24, 2014, Revised Selected Papers
Language: English
Release Date: November 19, 2014
This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Activity Monitoring by Multiple Distributed Sensing, AMMDS 2014, held in Stockholm, Sweden, in August 2014, as a satellite event of ICPR 2014, the 22nd International Conference on Pattern...
Verified Software: Theories, Tools and Experiments
6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
Language: English
Release Date: October 13, 2014
This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, held in July 2014 at the Vienna Summer of Logic in Vienna, Austria, as an associated event of CAV 2014, the International...
by
Language: English
Release Date: August 3, 2015
Language: English
Release Date: August 3, 2015
This book examines mechatronics and automatic control systems. The book covers important emerging topics in signal processing, control theory, sensors, mechanic manufacturing systems and automation. The book presents papers from the second International Conference on Mechatronics and Automatic Control...
Rules and Reasoning
Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings
Language: English
Release Date: August 23, 2018
This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2018, held in Luxembourg during September 2018. This is the second conference of a new series, joining the efforts of two existing conference series, namely “RuleML” (International Web...
Application and Theory of Petri Nets and Concurrency
39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings
Language: English
Release Date: May 29, 2018
This book constitutes the proceedings of the 39th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2018, held in Bratislava, Slovakia, in June 2018. Petri Nets 2017 is co-located with the 19th International Conference on Application of Concurrency to System...
Human-Computer Interaction. Theories, Methods, and Human Issues
20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part I
Language: English
Release Date: July 10, 2018
The 3 volume-set LNCS 10901, 10902 + 10903 constitutes the refereed proceedings of the 20th International Conference on Human-Computer Interaction, HCI 2018, which took place in Las Vegas, Nevada, in July 2018.
The total of 1171 papers and 160 posters included in the 30 HCII 2018 proceedings...
Human-Computer Interaction. Interaction in Context
20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part II
Language: English
Release Date: July 10, 2018
The 3 volume-set LNCS 10901, 10902 + 10903 constitutes the refereed proceedings of the 20th International Conference on Human-Computer Interaction, HCI 2018, which took place in Las Vegas, Nevada, in July 2018.
The total of 1171 papers and 160 posters included in the 30 HCII 2018 proceedings...
Human-Computer Interaction. Interaction Technologies
20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part III
Language: English
Release Date: July 10, 2018
The 3 volume-set LNCS 10901, 10902 + 10903 constitutes the refereed proceedings of the 20th International Conference on Human-Computer Interaction, HCI 2018, which took place in Las Vegas, Nevada, in July 2018.
The total of 1171 papers and 160 posters included in the 30 HCII 2018 proceedings...
by
Language: English
Release Date: March 16, 2019
Language: English
Release Date: March 16, 2019
This book presents the peer-reviewed proceedings of the 4th International Conference on Advanced Machine Learning Technologies and Applications (AMLTA 2019), held in Cairo, Egypt, on March 28–30, 2019, and organized by the Scientific Research Group in Egypt (SRGE). The papers cover the latest research...
The Semantic Web – ISWC 2018
17th International Semantic Web Conference, Monterey, CA, USA, October 8–12, 2018, Proceedings, Part I
Language: English
Release Date: October 1, 2018
The two-volume set LNCS 11136 and 11137 constitutes the refereed proceedings of the 17th International Semantic Web Conference, ISWC 2018, held in Monterey, USA, in October 2018. The ISWC conference is the premier international forum for the Semantic Web / Linked Data Community. The total of 62 full...
by
Language: English
Release Date: August 7, 2017
Language: English
Release Date: August 7, 2017
This first edition of conference Proceedings reflects the expansion of the field of Mechatronics, which has now taken its place in the world of newer transdisciplinary fields of Adaptronics, Integronics, and Cyber-Mix Mechatronics. It presents state-of-the art advances in Mechatronics, Adaptronics,...
Algorithms and Complexity
11th International Conference, CIAC 2019, Rome, Italy, May 27–29, 2019, Proceedings
Language: English
Release Date: June 5, 2019
This book constitutes the refereed conference proceedings of the 11th International Conference on Algorithms and Complexity, CIAC 2019, held in Rome, Italy, in May 2019.
The 30 full papers were carefully reviewed and selected from 95 submissions. The International Conference on Algorithms and...
Zoological Collections of Germany
The Animal Kingdom in its Amazing Plenty at Museums and Universities
Language: English
Release Date: February 5, 2018
This book is devoted to the knowledge of up to 250 years of collecting, organizing and preserving animals by generations of scientists. Zoological Collections are a huge resource for modern animal research and should be available for national and international scientists and institutions, as well...