Please enter a valid search term.

Currently Displaying Results
270001-270025 of 1543550

View book details for Advanced Information Systems Engineering

29th International Conference, CAiSE 2017, Essen, Germany, June 12-16, 2017, Proceedings
Eric Dubois, Klaus Pohl
This book constitutes the refereed proceedings of the 29th International Conference on Advanced Information Systems Engineering, CAiSE 2017, held in Essen, Germany, in June 2017. The 37 papers presented together with 3 keynote papers in this volume were carefully reviewed …

View book details for Symbiotic Interaction

4th International Workshop, Symbiotic 2015, Berlin, Germany, October 7-8, 2015, Proceedings
Benjamin Blankertz, Giulio Jacucci, Luciano Gamberini, Anna Spagnolli, Jonathan Freeman
This book constitutes the proceedings of the 4th International Workshop on Symbiotic Interaction, Symbiotic 2015, held in Berlin, Germany, in October 2015. The 11 full papers and 8 short papers presented in this volume were carefully reviewed and selected from …

View book details for SOFSEM 2017: Theory and Practice of Computer Science

43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings
Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria
This book constitutes the refereed proceedings of the 43rd International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2017, held in Limerick, Ireland, in January 2017. The 34 papers presented in this volume were carefully reviewed …

View book details for Ambient Assisted Living. ICT-based Solutions in Real Life Situations

7th International Work-Conference, IWAAL 2015, Puerto Varas, Chile, December 1-4, 2015, Proceedings
Ian Cleland, Luis Guerrero, José Bravo
This book constitutes the refereed proceedings of the 7th International Work-Conference on Ambient Assisted Living, IWAAL 2015, held in Puerto Varas, Chile, in December 2015.The 20 full papers presented with 7 short papers were carefully reviewed and selected from 31 …

View book details for Accountability and Security in the Cloud

First Summer School, Cloud Accountability Project, A4Cloud, Malaga, Spain, June 2-6, 2014, Revised Selected Papers and Lectures
Massimo Felici, Carmen Fernández-Gago
The First A4Cloud Summer School has been one of the first events in the area of accountability and security in the cloud. It was organized by the EU-funded A4Cloud project, in collaboration with the European projects CIRRUS, Coco Cloud, CUMULUS, …

View book details for Towards Autonomous Robotic Systems

16th Annual Conference, TAROS 2015, Liverpool, UK, September 8-10, 2015, Proceedings
Clare Dixon, Karl Tuyls
This book constitutes the refereed proceedings of the 16th Annual Conference on Towards Autonomous Robotics, TAROS 2015, held in Liverpool UK, in September 2015. The 16 revised full papers presented together with 18 short papers were carefully reviewed and selected …

View book details for Cross-Cultural Design: Applications in Mobile Interaction, Education, Health, Tarnsport and Cultural Heritage

7th International Conference, CCD 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings, Part II
P.L. Patrick Rau
The two LNCS volume set 9180-9181 constitutes the refereed proceedings of the 7th International Conference on Cross-Cultural Design, CCD 2015, held as part of the 17th International Conference on Human-Computer Interaction, HCII 2015, in Los Angeles, CA, USA in August …

View book details for Algorithms and Architectures for Parallel Processing

16th International Conference, ICA3PP 2016, Granada, Spain, December 14-16, 2016, Proceedings
Jesus Carretero, Javier Garcia-Blas, Ryan K.L. Ko, Peter Mueller, Koji Nakano
This book constitutes the refereed proceedings of the 16th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2016, held in Granada, Spain, in December 2016. The 30 full papers and 22 short papers presented were carefully reviewed and …

View book details for Calcolo Scientifico

Esercizi e problemi risolti con MATLAB e Octave
Alfio Quarteroni, Fausto Saleri, Paola Gervasio
Questo testo e concepito per i corsi delle Facolta di Ingegneria e di Scienze. Esso affronta tutti gli argomenti tipici della Matematica Numerica, spaziando dal problema di risolvere sistemi di equazioni lineari e non lineari a quello di approssimare una …

View book details for Automata, Languages, and Programming

42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II
Magnús M. Halldórsson, Kazuo Iwama, Naoki Kobayashi, Bettina Speckmann
The two-volume set LNCS 9134 and LNCS 9135 constitutes the refereed proceedings of the 42nd International Colloquium on Automata, Languages and Programming, ICALP 2015, held in Kyoto, Japan, in July 2015. The 143 revised full papers presented were carefully reviewed …
Karel Capek
It is seldom that a practical guide to gardening attains the level of a literary masterpiece, still more seldom that a book on gardening can amuse and instruct even those who have no garden to plant., nor the faintest interest …

View book details for Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings
Alessandro Fantechi, Thierry Lecomte, Alexander Romanovsky
This volume constitutes the proceedings of the Second International Conference on Reliability, Safety and Security of Railway Systems, RRSRail 2017, held in Pistoia, Italy, in November 2017. The 16 papers presented in this volume were carefully reviewed and selected from …

View book details for Information Technology in Bio- and Medical Informatics

7th International Conference, ITBAM 2016, Porto, Portugal, September 5-8, 2016, Proceedings
M. Elena Renda, Miroslav Bursa, Andreas Holzinger, Sami Khuri
This book constitutes the refereed proceedings of the 7th International Conference on Information Technology in Bio- and Medical Informatics, ITBAM 2016, held in Porto, Portugal, in September 2016, in conjunction with DEXA 2016.The 9 revised long papers presented together with …

View book details for Geometric Science of Information

Second International Conference, GSI 2015, Palaiseau, France, October 28-30, 2015, Proceedings
Frank Nielsen, Frederic Barbaresco
This book constitutes the refereed proceedings of the Second International Conference on Geometric Science of Information, GSI 2015, held in Palaiseau, France, in October 2015. The 80 full papers presented were carefully reviewed and selected from 110 submissions and are …

View book details for Scale Space and Variational Methods in Computer Vision

6th International Conference, SSVM 2017, Kolding, Denmark, June 4-8, 2017, Proceedings
François Lauze, Yiqiu Dong, Anders Bjorholm Dahl
This book constitutes the refereed proceedings of the 6th International Conference on Scale Space and Variational Methods in Computer Vision, SSVM 2017, held in Kolding, Denmark, in June 2017. The 55 revised full papers presented were carefully reviewed and selected …

View book details for Data Mining and Big Data

First International Conference, DMBD 2016, Bali, Indonesia, June 25-30, 2016. Proceedings
Ying Tan, Yuhui Shi
The LNCS volume LNCS 9714 constitutes the refereed proceedings of the International Conference on Data Mining and Big Data, DMBD 2016, held in Bali, Indonesia, in June 2016.The 57 papers presented in this volume were carefully reviewed and selected from …

View book details for Advances in Cryptology -- ASIACRYPT 2014

20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, China, December 7-11, 2014, Proceedings, Part I
Palash Sarkar, Tetsu Iwata
The two-volume set LNCS 8873 and 8874 constitutes the refereed proceedings of the 20th International Conference on the Theory and Applications of Cryptology and Information Security, ASIACRYPT 2014, held in Kaoshiung, Taiwan, in December 2014. The 55 revised full papers …

View book details for Database Systems for Advanced Applications

21st International Conference, DASFAA 2016, Dallas, TX, USA, April 16-19, 2016, Proceedings, Part II
Shamkant B. Navathe, Weili Wu, Shashi Shekhar, Xiaoyong Du, Sean X. Wang, Hui Xiong
This two volume set LNCS 9642 and LNCS 9643 constitutes the refereed proceedings of the 21st International Conference on Database Systems for Advanced Applications, DASFAA 2016, held in Dallas, TX, USA, in April 2016. The 61 full papers presented were …

View book details for Multiagent System Technologies

13th German Conference, MATES 2015, Cottbus, Germany, September 28 - 30, 2015, Revised Selected Papers
Jörg P. Müller, Wolf Ketter, Gal Kaminka, Gerd Wagner, Nils Bulling
This book constitutes the proceedings of the 13th German Conference on Multiagent System Technologies, MATES 2015, held in Cottbus, Germany, in September 2015.The 11 full papers papers presented together with 2 short papers, 1 invited paper and 4 extended abstracts …

View book details for The Protection of Foreign Investments in Mongolia

Treaties, Domestic Law, and Contracts on Investments in International Comparison and Arbitral Practice
Bajar Scharaw
This book analyses the adequacy of Mongolias legal system for foreign investment protection by conducting a multi-level assessment of international investment treaties, domestic legislation of the host State, and investor-State contracts from an international comparative perspective. The investigation distinguishes between …

View book details for Agent Based Modelling of Urban Systems

First International Workshop, ABMUS 2016, Held in Conjunction with AAMAS, Singapore, Singapore, May 10, 2016, Revised, Selected, and Invited Papers
Mohammad-Reza Namazi-Rad, Lin Padgham, Pascal Perez, Kai Nagel, Ana Bazzan
This book constitutes revised, selected, and invited papers from the First International Workshop on Agent Based Modelling of Urban Systems, ABMUS 2016, held in conjunction with AAMAS 2016 in Singapore in May 2016. The 11 papers presented in this volume …

View book details for Computer Safety, Reliability, and Security

SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings
Floor Koornneef, Coen van Gulijk
This book constitutes the refereed proceedings of 5 workshops co-located with SAFECOMP 2015, the 34th International Conference on Computer Safety, Reliability, and Security, held in Delft, The Netherlands, in September 2015. The 36 revised full papers presented were carefully reviewed …

View book details for Computer Vision ACCV 2016

13th Asian Conference on Computer Vision, Taipei, Taiwan, November 20-24, 2016, Revised Selected Papers, Part V
Shang-Hong Lai, Vincent Lepetit, Ko Nishino, Yoichi Sato
The five-volume set LNCS 10111-10115 constitutes the thoroughly refereed post-conference proceedings of the 13th Asian Conference on Computer Vision, ACCV 2016, held in Taipei, Taiwan, in November 2016.The total of 143 contributions presented in these volumes was carefully reviewed and …

View book details for Artificial General Intelligence

8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings
Jordi Bieger, Ben Goertzel, Alexey Potapov
This book constitutes the refereed proceedings of the 8th International Conference on Artificial General Intelligence, AGI 2015, held in Berlin, Germany in July 2015. The 41 papers were carefully reviewed and selected from 72 submissions. The AGI conference series has …

View book details for Pattern Recognition

39th German Conference, GCPR 2017, Basel, Switzerland, September 1215, 2017, Proceedings
Volker Roth, Thomas Vetter
This book constitutes the refereed proceedings of the 39th German Conference on Pattern Recognition, GCPR 2017, held in Basel, Switzerland, in September 2017.The 33 revised full papers presented were carefully reviewed and selected from 60 submissions. The papers are organized …
Currently Displaying Results
270001-270025 of 1543550