> Publishers' series
-
14254:
Artificial Neural Networks and Machine Learning - ICANN 2023 32nd International Conference on Artificial Neural Networks, Heraklion, Crete, Greece, September 26–29, 2023 : proceedings, Part I Lazaros Iliadis, Antonios Papaleonidas, Plamen Angelov, Chrisina Jayne editors
Cham: Springer Nature Switzerland, 2023 ; Cham: Imprint: Springer, 2023
-
14292:
Fundamentals of computation theory 24th International Symposium, FCT 2023, Trier, Germany, September 18–21, 2023 : proceedings Henning Fernau, Klaus Jansen editors
Cham: Springer Nature Switzerland, 2023 ; Cham: Imprint: Springer, 2023
-
14049:
HCI in mobility, transport, and automotive systems 5th International Conference, MobiTAS 2023, held as part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023 : proceedings, part II Heidi Krömker, editor
Cham: Springer Nature Switzerland, 2023 ; Cham: Imprint: Springer, 2023
-
14048:
HCI in mobility, transport, and automotive systems 5th International Conference, MobiTAS 2023, held as part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023 : proceedings, part I Heidi Krömker, editor
Cham: Springer Nature Switzerland, 2023 ; Cham: Imprint: Springer, 2023
-
14017:
Engineering Psychology and Cognitive Ergonomics 20th International Conference, EPCE 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23–28, 2023, Proceedings, Part I edited by Don Harris, Wen-Chin Li
Cham: Springer Nature Switzerland, 2023. ; Cham: Imprint: Springer, 2023.
-
13475:
Mobile Web and Intelligent Information Systems 18th International Conference, MobiWIS 2022, Rome, Italy, August 22–24, 2022, Proceedings edited by Irfan Awan, Muhammad Younas, Aneta Poniszewska-Marańda
Cham: Springer International Publishing, 2022. ; Cham: Imprint: Springer, 2022.
-
12542:
Arithmetic of Finite Fields 8th International Workshop, WAIFI 2020, Rennes, France, July 6–8, 2020, Revised Selected and Invited Papers edited by Jean Claude Bajard, Alev Topuzoğlu
Cham: Springer International Publishing, 2021. ; Cham: Imprint: Springer, 2021.
-
12657:
Advances in information retrieval 43rd European Conference on IR Research, ECIR 2021, virtual event, March 28-April 1, 2021, proceedings, part II editors: Djoerd Hiemstra, Marie-Francine Moens, Josiane Mothe, Raffaele Perego, Martin Potthast, Fabrizio Sebastiani
Cham: Springer International Publishing, 2021. ; Cham: Imprint: Springer, 2021.
-
13025:
Computing and Combinatorics 27th International Conference, COCOON 2021, Tainan, Taiwan, October 24–26, 2021, Proceedings edited by Chi-Yeh Chen, Wing-Kai Hon, Ling-Ju Hung, Chia-Wei Lee
Cham: Springer International Publishing, 2021. ; Cham: Imprint: Springer, 2021.
-
12097:
Mathematical Software - ICMS 2020 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings edited by Anna Maria Bigatti, Jacques Carette, James H. Davenport, Michael Joswig, Timo de Wolff
Cham: Springer International Publishing, 2020.
-
12260:
Experimental IR meets multilinguality, multimodality, and interaction 11th International Conference of the CLEF Association, CLEF 2020, Thessaloniki, Greece, September 22-25, 2020 : proceedings Avi Arampatzis, Evangelos Kanoulas, Theodora Tsikrika, Stefanos Vrochidis, Hideo Joho, Christina Lioma, Carsten Eickhoff, Aurélie Névéol, Linda Cappellato, Nicola Ferro (eds.)
Cham: Springer Nature Switzerland AG, [2020]
-
12315:
Addressing global challenges and quality education 15th European Conference on Technology Enhanced Learning, EC-TEL 2020, Heidelberg, Germany, September 14–18, 2020 ; proceedings Carlos Alario-Hoyos, María Jesús Rodríguez-Triana, Maren Scheffel, Inmaculada Arnedillo-Sánchez, Sebastian Maximilian Dennerlein (eds.)
Cham: Springer, 2020.
-
11424:
Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings edited by Reiner Hähnle, Wil van der Aalst
Cham: Springer, [2019]
-
11428:
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II edited by Tomáš Vojnar, Lijun Zhang
Cham: Springer, [2019]
-
11427:
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I edited by Tomáš Vojnar, Lijun Zhang
Cham: Springer, [2019]
-
11411:
Evolutionary multi-criterion optimization 10th international conference, EMO 2019, East Lansing, MI, USA, March 10-13, 2019 : proceedings Kalyanmoy Deb, Erik Goodman, Carlos A. Coello Coello, Kathrin Klamroth, Kaisa Miettinen, Sanaz Mostaghim, Patrick Reed (eds.)
Cham: Springer International Publishing, [2019]
-
10859:
Natural Language Processing and Information Systems 23rd International Conference on Applications of Natural Language to Information Systems, NLDB 2018, Paris, France, June 13-15, 2018, Proceedings edited by Max Silberztein, Faten Atigui, Elena Kornyshova, Elisabeth Métais, Farid Meziane
Cham: Springer, 2018
-
10854:
Formal Techniques for Distributed Objects, Components, and Systems 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings edited by Christel Baier, Luís Caires
Cham: Springer, 2018
-
10546:
Semantic Keyword-Based Search on Structured Data Sources Third International KEYSTONE Conference, IKC 2017, Gdańsk, Poland, September 11-12, 2017, Revised Selected Papers and COST Action IC1302 Reports edited by Julian Szymański, Yannis Velegrakis
Cham: Springer International Publishing, 2018
-
10670:
Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries Third International Workshop, BrainLes 2017, Held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 14, 2017, Revised Selected Papers edited by Alessandro Crimi, Spyridon Bakas, Hugo Kuijf, Bjoern Menze, Mauricio Reyes
Cham: Springer, 2018
-
10457:
Lectures on Runtime Verification Introductory and Advanced Topics edited by Ezio Bartocci, Yliès Falcone
Cham: Springer, 2018
-
10886:
Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings edited by Einar Broch Johnsen, Ina Schaefer
Cham: Springer International Publishing, 2018
-
10938:
Advances in Knowledge Discovery and Data Mining 22nd Pacific-Asia Conference, PAKDD 2018, Melbourne, VIC, Australia, June 3-6, 2018, Proceedings, Part II edited by Dinh Phung, Vincent S. Tseng, Geoffrey I. Webb, Bao Ho, Mohadeseh Ganji, Lida Rashidi
Cham: Springer International Publishing, 2018
-
10939:
Advances in Knowledge Discovery and Data Mining 22nd Pacific-Asia Conference, PAKDD 2018, Melbourne, VIC, Australia, June 3-6, 2018, Proceedings, Part III edited by Dinh Phung, Vincent S. Tseng, Geoffrey I. Webb, Bao Ho, Mohadeseh Ganji, Lida Rashidi
Cham: Springer International Publishing, 2018
-
10937:
Advances in Knowledge Discovery and Data Mining 22nd Pacific-Asia Conference, PAKDD 2018, Melbourne, VIC, Australia, June 3-6, 2018, Proceedings, Part I edited by Dinh Phung, Vincent S. Tseng, Geoffrey I. Webb, Bao Ho, Mohadeseh Ganji, Lida Rashidi
Cham: Springer International Publishing, 2018
-
10888:
Theory and Practice of Model Transformation 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings edited by Arend Rensink, Jesús Sánchez Cuadrado
Cham: Springer International Publishing, 2018
-
10969:
Services Computing – SCC 2018 15th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings edited by João Eduardo Ferreira, George Spanoudakis, Yutao Ma, Liang-Jie Zhang
Cham: Springer International Publishing, 2018
-
10975:
Services – SERVICES 2018 14th World Congress, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings edited by Alvin Yang, Siva Kantamneni, Ying Li, Awel Dico, Xiangang Chen, Rajesh Subramanyan, Liang-Jie Zhang
Cham: Springer International Publishing, 2018
-
10978:
Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection 16th International Conference, PAAMS 2018, Toledo, Spain, June 20–22, 2018, Proceedings edited by Yves Demazeau, Bo An, Javier Bajo, Antonio Fernández-Caballero
Cham: Springer International Publishing, 2018
-
10921:
Distributed, Ambient and Pervasive Interactions: Understanding Humans 6th International Conference, DAPI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part I edited by Norbert Streitz, Shin’ichi Konomi
Cham: Springer International Publishing, 2018
-
10922:
Distributed, Ambient and Pervasive Interactions: Technologies and Contexts 6th International Conference, DAPI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part II edited by Norbert Streitz, Shin’ichi Konomi
Cham: Springer International Publishing, 2018
-
10906:
Engineering Psychology and Cognitive Ergonomics 15th International Conference, EPCE 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings edited by Don Harris
Cham: Springer International Publishing, 2018
-
10903:
Human-Computer Interaction. Interaction Technologies 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part III edited by Masaaki Kurosu
Cham: Springer International Publishing, 2018
-
10901:
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 edited by Masaaki Kurosu
Cham: Springer International Publishing, 2018
-
10912:
Cross-Cultural Design. Applications in Cultural Heritage, Creativity and Social Development 10th International Conference, CCD 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II edited by Pei-Luen Patrick Rau
Cham: Springer International Publishing, 2018
-
10899:
Social, Cultural, and Behavioral Modeling 11th International Conference, SBP-BRiMS 2018, Washington, DC, USA, July 10-13, 2018, Proceedings edited by Robert Thomson, Christopher Dancy, Ayaz Hyder, Halil Bisgin
Cham: Springer International Publishing, 2018
-
10896:
Computers Helping People with Special Needs 16th International Conference, ICCHP 2018, Linz, Austria, July 11-13, 2018, Proceedings, Part I edited by Klaus Miesenberger, Georgios Kouroupetroglou
Cham: Springer International Publishing, 2018
-
10855:
Logic-Based Program Synthesis and Transformation 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers edited by Fabio Fioravanti, John P. Gallagher
Cham: Springer International Publishing, 2018
-
10936:
Sailing Routes in the World of Computation 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018, Proceedings edited by Florin Manea, Russell G. Miller, Dirk Nowotka
Cham: Springer International Publishing, 2018
-
10977:
Implementation and Application of Automata 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 – August 2, 2018, Proceedings edited by Cezar Câmpeanu
Cham: Springer International Publishing, 2018
-
10895:
Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings edited by Jeremy Avigad, Assia Mahboubi
Cham: Springer International Publishing, 2018
-
10847:
Bioinformatics Research and Applications 14th International Symposium, ISBRA 2018, Beijing, China, June 8-11, 2018, Proceedings edited by Fa Zhang, Zhipeng Cai, Pavel Skums, Shihua Zhang
Cham: Springer International Publishing, 2018
-
10933:
Advances in Data Mining. Applications and Theoretical Aspects 18th Industrial Conference, ICDM 2018, New York, NY, USA, July 11-12, 2018, Proceedings edited by Petra Perner
Cham: Springer International Publishing, 2018
-
10928:
Biomimetic and Biohybrid Systems 7th International Conference, Living Machines 2018, Paris, France, July 17–20, 2018, Proceedings edited by Vasiliki Vouloutsi, José Halloy, Anna Mura, Michael Mangan, Nathan Lepora, Tony J. Prescott, Paul F.M.J. Verschure
Cham: Springer International Publishing, 2018
-
10856:
Combinatorial Optimization 5th International Symposium, ISCO 2018, Marrakesh, Morocco, April 11–13, 2018, Revised Selected Papers edited by Jon Lee, Giovanni Rinaldi, A. Ridha Mahjoub
Cham: Springer International Publishing, 2018
-
10931:
Mathematical Software – ICMS 2018 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings edited by James H. Davenport, Manuel Kauers, George Labahn, Josef Urban
Cham: Springer International Publishing, 2018
-
10785:
New Frontiers in Mining Complex Patterns 6th International Workshop, NFMCP 2017, Held in Conjunction with ECML-PKDD 2017, Skopje, Macedonia, September 18-22, 2017, Revised Selected Papers edited by Annalisa Appice, Corrado Loglisci, Giuseppe Manco, Elio Masciari, Zbigniew W. Ras
Cham: Springer, 2018
-
10663:
Statistical Atlases and Computational Models of the Heart. ACDC and MMWHS Challenges 8th International Workshop, STACOM 2017, Held in Conjunction with MICCAI 2017, Quebec City, Canada, September 10-14, 2017, Revised Selected Papers edited by Mihaela Pop, Maxime Sermesant, Pierre-Marc Jodoin, Alain Lalande, Xiahai Zhuang, Guang Yang, Alistair Young, Olivier Bernard
Cham: Springer, 2018
-
10790:
Transactions on Edutainment XIV edited by Zhigeng Pan, Adrian David Cheok, Wolfgang Müller
Berlin, Heidelberg: Springer, 2018
-
10868:
Recent Trends and Future Technology in Applied Intelligence 31st International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2018, Montreal, QC, Canada, June 25-28, 2018, Proceedings edited by Malek Mouhoub, Samira Sadaoui, Otmane Ait Mohamed, Moonis Ali
Cham: Springer, 2018
-
10853:
Distributed Applications and Interoperable Systems 18th IFIP WG 6.1 International Conference, DAIS 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings edited by Silvia Bonomi, Etienne Rivière
Cham: Springer, 2018
-
10864:
Advanced Computing Strategies for Engineering 25th EG-ICE International Workshop 2018, Lausanne, Switzerland, June 10-13, 2018, Proceedings, Part II edited by Ian F. C. Smith, Bernd Domer
Cham: Springer International Publishing, 2018
-
10929:
Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings edited by Olaf Beyersdorff, Christoph M. Wintersteiger
Cham: Springer International Publishing, 2018
-
10874:
Wireless Algorithms, Systems, and Applications 13th International Conference, WASA 2018, Tianjin, China, June 20-22, 2018, Proceedings edited by Sriram Chellappan, Wei Cheng, Wei Li
Cham: Springer International Publishing, 2018
-
10920:
Design, User Experience, and Usability: Users, Contexts and Case Studies 7th International Conference, DUXU 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part III edited by Aaron Marcus, Wentao Wang
Cham: Springer International Publishing, 2018
-
10905:
Human Interface and the Management of Information. Information in Applications and Services 20th International Conference, HIMI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II edited by Sakae Yamamoto, Hirohiko Mori
Cham: Springer International Publishing, 2018
-
10851:
Augmented Reality, Virtual Reality, and Computer Graphics 5th International Conference, AVR 2018, Otranto, Italy, June 24–27, 2018, Proceedings, Part II edited by Lucio Tommaso De Paolis, Patrick Bourdot
Cham: Springer International Publishing, 2018
-
10980:
Data and Applications Security and Privacy XXXII 32nd Annual IFIP WG 11.3 Conference, DBSec 2018, Bergamo, Italy, July 16–18, 2018, Proceedings edited by Florian Kerschbaum, Stefano Paraboschi
Cham: Springer International Publishing, 2018
-
10902:
Human-Computer Interaction. Interaction in Context 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part II edited by Masaaki Kurosu
Cham: Springer International Publishing, 2018
-
10840:
Transactions on Computational Collective Intelligence XXIX edited by Ngoc Thanh Nguyen, Ryszard Kowalczyk
Cham: Springer, 2018
-
10796:
Communication Technologies for Vehicles 13th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2018, Madrid, Spain, May 17-18, 2018, Proceedings edited by Juan Moreno García-Loygorri, Antonio Pérez-Yuste, César Briso, Marion Berbineau, Alain Pirovano, Jaizki Mendizábal
Cham: Springer, 2018
-
10716:
Analysis of Images, Social Networks and Texts 6th International Conference, AIST 2017, Moscow, Russia, July 27–29, 2017, Revised Selected Papers edited by Wil M.P. van der Aalst, Dmitry I. Ignatov, Michael Khachay, Sergei O. Kuznetsov, Victor Lempitsky, Irina A. Lomazova, Natalia Loukachevitch, Amedeo Napoli, Alexander Panchenko, Panos M. Pardalos, Andrey V. Savchenko, Stanley Wasserman
Cham: Springer, 2018
-
10732:
Accelerator Programming Using Directives 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings edited by Sunita Chandrasekaran, Guido Juckeland
Cham: Springer, 2018
-
10852:
Coordination Models and Languages 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings edited by Giovanna Di Marzo Serugendo, Michele Loreti
Cham: Springer, 2018
-
10797:
Service-Oriented Computing – ICSOC 2017 Workshops ASOCA, ISyCC, WESOACS, and Satellite Events, Málaga, Spain, November 13–16, 2017, Revised Selected Papers edited by Lars Braubach, Juan M. Murillo, Nima Kaviani, Manuel Lama, Loli Burgueño, Naouel Moha, Marc Oriol
Cham: Springer International Publishing, 2018
-
10910:
Virtual, Augmented and Mixed Reality: Applications in Health, Cultural Heritage, and Industry 10th International Conference, VAMR 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II edited by Jessie Y.C. Chen, Gino Fragomeni
Cham: Springer International Publishing, 2018
-
10909:
Virtual, Augmented and Mixed Reality: Interaction, Navigation, Visualization, Embodiment, and Simulation 10th International Conference, VAMR 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I edited by Jessie Y.C. Chen, Gino Fragomeni
Cham: Springer International Publishing, [2018]
-
10924:
Learning and Collaboration Technologies. Design, Development and Technological Innovation 5th International Conference, LCT 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I edited by Panayiotis Zaphiris, Andri Ioannou
Cham: Springer International Publishing, 2018
-
10908:
Universal Access in Human-Computer Interaction. Virtual, Augmented, and Intelligent Environments 12th International Conference, UAHCI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II edited by Margherita Antona, Constantine Stephanidis
Cham: Springer International Publishing, 2018
-
10926:
Human Aspects of IT for the Aged Population. Acceptance, Communication and Participation 4th International Conference, ITAP 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part I edited by Jia Zhou, Gavriel Salvendy
Cham: Springer International Publishing, 2018
-
10946:
Information Security and Privacy 23rd Australasian Conference, ACISP 2018, Wollongong, NSW, Australia, July 11-13, 2018, Proceedings edited by Willy Susilo, Guomin Yang
Cham: Springer International Publishing, 2018
-
10932:
Queueing Theory and Network Applications 13th International Conference, QTNA 2018, Tsukuba, Japan, July 25-27, 2018, Proceedings edited by Yutaka Takahashi, Tuan Phung-Duc, Sabine Wittevrongel, Wuyi Yue
Cham: Springer International Publishing, 2018
-
10897:
Computers Helping People with Special Needs 16th International Conference, ICCHP 2018, Linz, Austria, July 11-13, 2018, Proceedings, Part II edited by Klaus Miesenberger, Georgios Kouroupetroglou
Cham: Springer International Publishing, 2018
-
10945:
Articulated Motion and Deformable Objects 10th International Conference, AMDO 2018, Palma de Mallorca, Spain, July 12-13, 2018, Proceedings edited by Francisco José Perales, Josef Kittler
Cham: Springer International Publishing, 2018
-
10952:
Descriptional Complexity of Formal Systems 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25–27, 2018, Proceedings edited by Stavros Konstantinidis, Giovanni Pighizzini
Cham: Springer International Publishing, 2018
-
10979:
Combinatorial Algorithms 29th International Workshop, IWOCA 2018, Singapore, July 16–19, 2018, Proceedings edited by Costas Iliopoulos, Hon Wai Leong, Wing-Kin Sung
Cham: Springer International Publishing, 2018
-
10850:
Augmented Reality, Virtual Reality, and Computer Graphics 5th International Conference, AVR 2018, Otranto, Italy, June 24–27, 2018, Proceedings, Part I edited by Lucio Tommaso De Paolis, Patrick Bourdot
Cham: Springer International Publishing, 2018
-
10960:
Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part I edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Elena Stankova, Carmelo M. Torre, Ana Maria A.C. Rocha, David Taniar, Bernady O. Apduhan, Eufemia Tarantino, Yeonseung Ryu
Cham: Springer International Publishing, 2018
-
10964:
Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part V edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Elena Stankova, Carmelo M. Torre, Ana Maria A.C. Rocha, David Taniar, Bernady O. Apduhan, Eufemia Tarantino, Yeonseung Ryu
Cham: Springer International Publishing, 2018
-
10760:
Principles of Modeling Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday edited by Marten Lohstroh, Patricia Derler, Marjan Sirjani
Cham: Springer International Publishing, 2018
-
10963:
Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2–5, 2018, Proceedings, Part IV edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Elena Stankova, Carmelo M. Torre, Ana Maria A.C. Rocha, David Taniar, Bernady O. Apduhan, Eufemia Tarantino, Yeonseung Ryu
Cham: Springer International Publishing, 2018
-
10965:
Towards Autonomous Robotic Systems 19th Annual Conference, TAROS 2018, Bristol, UK July 25-27, 2018, Proceedings edited by Manuel Giuliani, Tareq Assaf, Maria Elena Giannaccini
Cham: Springer International Publishing, 2018
-
10987:
Web and Big Data Second International Joint Conference, APWeb-WAIM 2018, Macau, China, July 23-25, 2018, Proceedings, Part I edited by Yi Cai, Yoshiharu Ishikawa, Jianliang Xu
Cham: Springer International Publishing, 2018
-
10988:
Web and Big Data Second International Joint Conference, APWeb-WAIM 2018, Macau, China, July 23-25, 2018, Proceedings, Part II edited by Yi Cai, Yoshiharu Ishikawa, Jianliang Xu
Cham: Springer International Publishing, 2018
-
10995:
Mobile Web and Intelligent Information Systems 15th International Conference, MobiWIS 2018, Barcelona, Spain, August 6-8, 2018, Proceedings edited by Muhammad Younas, Irfan Awan, George Ghinea, Marisa Catalan Cid
Cham: Springer International Publishing, 2018
-
11012:
PRICAI 2018: Trends in Artificial Intelligence 15th Pacific Rim International Conference on Artificial Intelligence, Nanjing, China, August 28–31, 2018, Proceedings, Part I edited by Xin Geng, Byeong-Ho Kang
Cham: Springer International Publishing, 2018
-
11016:
Knowledge Management and Acquisition for Intelligent Systems 15th Pacific Rim Knowledge Acquisition Workshop, PKAW 2018, Nanjing, China, August 28-29, 2018, Proceedings edited by Kenichi Yoshida, Maria Lee
Cham: Springer International Publishing, 2018
-
10802:
Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings edited by Alessandra Russo, Andy Schürr
Cham: Springer, 2018
-
10805:
Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I edited by Dirk Beyer, Marieke Huisman
Cham: Springer, 2018
-
10806:
Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II edited by Dirk Beyer, Marieke Huisman
Cham: Springer, 2018
-
10870:
Hybrid Artificial Intelligent Systems 13th International Conference, HAIS 2018, Oviedo, Spain, June 20-22, 2018, Proceedings edited by Francisco Javier de Cos Juez, José Ramón Villar, Enrique A. de la Cal, Álvaro Herrero, Héctor Quintián, José António Sáez, Emilio Corchado
Cham: Springer, 2018
-
10948:
Artificial Intelligence in Education 19th International Conference, AIED 2018, London, UK, June 27–30, 2018, Proceedings, Part II edited by Carolyn Penstein Rosé, Roberto Martínez-Maldonado, H. Ulrich Hoppe, Rose Luckin, Manolis Mavrikis, Kaska Porayska-Pomsta, Bruce McLaren, Benedict du Boulay
Cham: Springer, 2018
-
10876:
High Performance Computing 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018, Proceedings edited by Rio Yokota, Michèle Weiland, David Keyes, Carsten Trinitis
Cham: Springer International Publishing, 2018
-
10799:
Image and Video Technology PSIVT 2017 International Workshops, Wuhan, China, November 20-24, 2017, Revised Selected Papers edited by Shin'ichi Satoh
Cham: Springer International Publishing, 2018
-
10763:
Information Security Applications 18th International Conference, WISA 2017, Jeju Island, Korea, August 24-26, 2017, Revised Selected Papers edited by Brent ByungHoon Kang, Taesoo Kim
Cham: Springer International Publishing, 2018
-
10839:
Agents and Artificial Intelligence 9th International Conference, ICAART 2017, Porto, Portugal, February 24–26, 2017, Revised Selected Papers edited by Jaap van den Herik, Ana Paula Rocha, Joaquim Filipe
Cham: Springer International Publishing, 2018
-
10838:
New Frontiers in Artificial Intelligence JSAI-isAI Workshops, JURISIN, SKL, AI-Biz, LENLS, AAA, SCIDOCA, kNeXI, Tsukuba, Tokyo, November 13-15, 2017, Revised Selected Papers edited by Sachiyo Arai, Kazuhiro Kojima, Koji Mineshima, Daisuke Bekki, Ken Satoh, Yuiko Ohta
Cham: Springer International Publishing, 2018
-
10941:
Advances in Swarm Intelligence 9th International Conference, ICSI 2018, Shanghai, China, June 17-22, 2018, Proceedings, Part I edited by Ying Tan, Yuhui Shi, Qirong Tang
Cham: Springer International Publishing, 2018
-
10947:
Artificial Intelligence in Education 19th International Conference, AIED 2018, London, UK, June 27–30, 2018, Proceedings, Part I edited by Carolyn Penstein Rosé, Roberto Martínez-Maldonado, H. Ulrich Hoppe, Rose Luckin, Manolis Mavrikis, Kaska Porayska-Pomsta, Bruce McLaren, Benedict du Boulay
Cham: Springer International Publishing, 2018
-
10907:
Universal Access in Human-Computer Interaction. Methods, Technologies, and Users 12th International Conference, UAHCI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I edited by Margherita Antona, Constantine Stephanidis
Cham: Springer International Publishing, 2018
-
10927:
Human Aspects of IT for the Aged Population. Applications in Health, Assistance, and Entertainment 4th International Conference, ITAP 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part II edited by Jia Zhou, Gavriel Salvendy
Cham: Springer International Publishing, 2018
-
10904:
Human Interface and the Management of Information. Interaction, Visualization, and Analytics 20th International Conference, HIMI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I edited by Sakae Yamamoto, Hirohiko Mori
Cham: Springer International Publishing, 2018
-
10962:
Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2–5, 2018, Proceedings, Part III edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Elena Stankova, Carmelo M. Torre, Ana Maria A.C. Rocha, David Taniar, Bernady O. Apduhan, Eufemia Tarantino, Yeonseung Ryu
Cham: Springer International Publishing, 2018
-
10961:
Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part II edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Elena Stankova, Carmelo M. Torre, Ana Maria A.C. Rocha, David Taniar, Bernady O. Apduhan, Eufemia Tarantino, Yeonseung Ryu
Cham: Springer International Publishing, 2018
-
10950:
Formal Grammar 2018 23rd International Conference, FG 2018, Sofia, Bulgaria, August 11-12, 2018, Proceedings edited by Annie Foret, Greg Kobele, Sylvain Pogodalla
Berlin, Heidelberg: Springer Berlin Heidelberg, 2018
-
10934:
Machine Learning and Data Mining in Pattern Recognition 14th International Conference, MLDM 2018, New York, NY, USA, July 15-19, 2018, Proceedings, Part I edited by Petra Perner
Cham: Springer International Publishing, 2018
-
10935:
Machine Learning and Data Mining in Pattern Recognition 14th International Conference, MLDM 2018, New York, NY, USA, July 15-19, 2018, Proceedings, Part II edited by Petra Perner
Cham: Springer International Publishing, 2018
-
11087:
High Performance Computing in Science and Engineering Third International Conference, HPCSE 2017, Karolinka, Czech Republic, May 22–25, 2017, Revised Selected Papers edited by Tomáš Kozubek, Martin Čermák, Petr Tichý, Radim Blaheta, Jakub Šístek, Dalibor Lukáš, Jiří Jaroš
Cham: Springer International Publishing, 2018
-
11013:
PRICAI 2018: Trends in Artificial Intelligence 15th Pacific Rim International Conference on Artificial Intelligence, Nanjing, China, August 28–31, 2018, Proceedings, Part II edited by Xin Geng, Byeong-Ho Kang
Cham: Springer International Publishing, 2018
-
10830:
Transactions on Computational Science XXXII Special Issue on Cybersecurity and Biometrics edited by Marina L. Gavrilova, C.J. Kenneth Tan, Alexei Sourin
Berlin, Heidelberg: Springer, 2018
-
10711:
Intersections in Simulation and Gaming 21st Annual Simulation Technology and Training Conference, SimTecT 2016, and 47th International Simulation and Gaming Association Conference, ISAGA 2016, Held as Part of the First Australasian Simulation Congress, ASC 2016, Melbourne, VIC, Australia, September 26-29, 2016, Revised Selected Papers edited by Anjum Naweed, Marcin Wardaszko, Elyssebeth Leigh, Sebastiaan Meijer
Cham: Springer, 2018
-
10824:
Applied Reconfigurable Computing. Architectures, Tools, and Applications 14th International Symposium, ARC 2018, Santorini, Greece, May 2-4, 2018, Proceedings edited by Nikolaos Voros, Michael Huebner, Georgios Keramidas, Diana Goehringer, Christos Antonopoulos, Pedro C. Diniz
Cham: Springer, 2018
-
10803:
Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings edited by Christel Baier, Ugo Dal Lago
Cham: Springer, 2018
-
10100:
Social Information Access Systems and Technologies edited by Peter Brusilovsky, Daqing He
Cham: Springer, 2018
-
10188:
Understanding Human Activities Through 3D Sensors Second International Workshop, UHA3DS 2016, Held in Conjunction with the 23rd International Conference on Pattern Recognition, ICPR 2016, Cancun, Mexico, December 4, 2016, Revised Selected Papers edited by Hazem Wannous, Pietro Pala, Mohamed Daoudi, Francisco Flórez-Revuelta
Cham: Springer, 2018
-
10735:
Advances in Multimedia Information Processing – PCM 2017 18th Pacific-Rim Conference on Multimedia, Harbin, China, September 28-29, 2017, Revised Selected Papers, Part I edited by Bing Zeng, Qingming Huang, Abdulmotaleb El Saddik, Hongliang Li, Shuqiang Jiang, Xiaopeng Fan
Cham: Springer, 2018
-
10736:
Advances in Multimedia Information Processing – PCM 2017 18th Pacific-Rim Conference on Multimedia, Harbin, China, September 28-29, 2017, Revised Selected Papers, Part II edited by Bing Zeng, Qingming Huang, Abdulmotaleb El Saddik, Hongliang Li, Shuqiang Jiang, Xiaopeng Fan
Cham: Springer, 2018
-
10825:
Simulation Gaming. Applications for Sustainable Cities and Smart Infrastructures 48th International Simulation and Gaming Association Conference, ISAGA 2017, Delft, The Netherlands, July 10-14, 2017, Revised Selected Papers edited by Heide Karen Lukosch, Geertje Bekebrede, Rens Kortmann
Cham: Springer, 2018
-
10705:
MultiMedia Modeling 24th International Conference, MMM 2018, Bangkok, Thailand, February 5-7, 2018, Proceedings, Part II edited by Klaus Schoeffmann, Thanarat H. Chalidabhongse, Chong Wah Ngo, Supavadee Aramvith, Noel E. O’Connor, Yo-Sung Ho, Moncef Gabbouj, Ahmed Elgammal
Cham: Springer, 2018
-
10734:
Computational Methods and Clinical Applications in Musculoskeletal Imaging 5th International Workshop, MSKI 2017, Held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 10, 2017, Revised Selected Papers edited by Ben Glocker, Jianhua Yao, Tomaž Vrtovec, Alejandro Frangi, Guoyan Zheng
Cham: Springer, 2018
-
10683:
Computer Security ESORICS 2017 International Workshops, CyberICPS 2017 and SECPRE 2017, Oslo, Norway, September 14-15, 2017, Revised Selected Papers edited by Sokratis K. Katsikas, Frédéric Cuppens, Nora Cuppens, Costas Lambrinoudakis, Christos Kalloniatis, John Mylopoulos, Annie Antón, Stefanos Gritzalis
Cham: Springer, 2018
-
10697:
On the Move to Meaningful Internet Systems. OTM 2017 Workshops Confederated International Workshops, EI2N, FBM, ICSP, Meta4eS, OTMA 2017 and ODBASE Posters 2017, Rhodes, Greece, October 23–28, 2017, Revised Selected Papers edited by Christophe Debruyne, Hervé Panetto, Georg Weichhart, Peter Bollen, Ioana Ciuciu, Maria-Esther Vidal, Robert Meersman
Cham: Springer, 2018
-
10994:
From Animals to Animats 15 15th International Conference on Simulation of Adaptive Behavior, SAB 2018, Frankfurt/Main, Germany, August 14-17, 2018, Proceedings edited by Poramate Manoonpong, Jørgen Christian Larsen, Xiaofeng Xiong, John Hallam, Jochen Triesch
Cham: Springer International Publishing, [2018]
-
11184:
Computational Logistics 9th International Conference, ICCL 2018, Vietri sul Mare, Italy, October 1–3, 2018, Proceedings edited by Raffaele Cerulli, Andrea Raiconi, Stefan Voß
Cham: Springer International Publishing, 2018
-
11255:
Combinatorial image analysis 19th international workshop, IWCIA 2018, Porto, Portugal, November 22-24, 2018 : proceedings Reneta P. Barneva, Valentin E. Brimkov, João Manuel R.S. Tavares (eds.)
Cham: Springer International Publishing, [2018]
-
10661:
Performance Evaluation and Benchmarking for the Analytics Era 9th TPC Technology Conference, TPCTC 2017, Munich, Germany, August 28, 2017, Revised Selected Papers edited by Raghunath Nambiar, Meikel Poess
Cham: Springer International Publishing, 2018
-
11311:
Artificial Intelligence XXXV 38th SGAI International Conference on Artificial Intelligence, AI 2018, Cambridge, UK, December 11–13, 2018, Proceedings edited by Max Bramer, Miltos Petridis
Cham: Springer International Publishing, 2018
-
10706:
SOFSEM 2018: Theory and Practice of Computer Science 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings edited by A Min Tjoa, Ladjel Bellatreche, Stefan Biffl, Jan van Leeuwen, Jiří Wiedermann
Cham: Edizioni della Normale, 2018
-
10704:
MultiMedia Modeling 24th International Conference, MMM 2018, Bangkok, Thailand, February 5-7, 2018, Proceedings, Part I edited by Klaus Schoeffmann, Thanarat H. Chalidabhongse, Chong Wah Ngo, Supavadee Aramvith, Noel E. O’Connor, Yo-Sung Ho, Moncef Gabbouj, Ahmed Elgammal
Cham: Springer, 2018
-
11116:
Service-Oriented and Cloud Computing 7th IFIP WG 2.14 European Conference, ESOCC 2018, Como, Italy, September 12-14, 2018, Proceedings edited by Kyriakos Kritikos, Pierluigi Plebani, Flavio de Paoli
Cham: Springer International Publishing, 2018
-
11138:
Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings edited by Shuvendu K. Lahiri, Chao Wang
Cham: Springer International Publishing, 2018
-
11195. Theoretical Computer Science and General Issues:
Challenges and Opportunities in the Digital Era 17th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2018, Kuwait City, Kuwait, October 30 - November 1, 2018, Proceedings edited by Salah A. Al-Sharhan, Antonis C. Simintiras, Yogesh K. Dwivedi, Marijn Janssen, Matti Mäntymäki, Luay Tahat, Issam Moughrabi, Taher M. Ali, Nripendra P. Rana
Cham: Springer International Publishing, 2018
-
10096. Lecture Notes in Artificial Intelligence:
Knowledge representation for health care HEC 2016 International Joint Workshop, KR4HC/ProHealth 2016, Munich, Germany, September 2, 2016 : Revised selected papers David Riano, Richard Lenz, Manfred Reichert (Eds.)
Cham: Springer, 2017
-
10092:
Transactions on Edutainment XIII edited by Zhigeng Pan, Adrian David Cheok, Wolfgang Müller, Mingmin Zhang
Berlin, Heidelberg: Springer, 2017
-
10202:
Fundamental Approaches to Software Engineering 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings edited by Marieke Huisman, Julia Rubin
Berlin, Heidelberg: Springer, 2017
-
10205:
Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I edited by Axel Legay, Tiziana Margaria
Berlin, Heidelberg: Springer, 2017
-
10034:
On the Move to Meaningful Internet Systems: OTM 2016 Workshops Confederated International Workshops: EI2N, FBM, ICSP, Meta4eS, and OTMA 2016, Rhodes, Greece, October 24–28, 2016, Revised Selected Papers edited by Ioana Ciuciu, Christophe Debruyne, Hervé Panetto, Georg Weichhart, Peter Bollen, Anna Fensel, Maria-Esther Vidal
Cham: Springer, 2017
-
10165:
Video Analytics. Face and Facial Expression Recognition and Audience Measurement Third International Workshop, VAAM 2016, and Second International Workshop, FFER 2016, Cancun, Mexico, December 4, 2016, Revised Selected Papers edited by Kamal Nasrollahi, Cosimo Distante, Gang Hua, Andrea Cavallaro, Thomas B. Moeslund, Sebastiano Battiato, Qiang Ji
Cham: Springer, 2017
-
10471:
Critical Systems: Formal Methods and Automated Verification Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings edited by Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti
Cham: Springer, 2017
-
10450:
Research and Advanced Technology for Digital Libraries 21st International Conference on Theory and Practice of Digital Libraries, TPDL 2017, Thessaloniki, Greece, September 18-21, 2017, Proceedings edited by Jaap Kamps, Giannis Tsakonas, Yannis Manolopoulos, Lazaros Iliadis, Ioannis Karydis
Cham: Springer, 2017
-
10552:
Intravascular Imaging and Computer Assisted Stenting, and Large-Scale Annotation of Biomedical Data and Expert Label Synthesis 6th Joint International Workshops, CVII-STENT 2017 and Second International Workshop, LABELS 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 10–14, 2017, Proceedings edited by M. Jorge Cardoso, Tal Arbel, Su-Lin Lee, Veronika Cheplygina, Simone Balocco, Diana Mateus, Guillaume Zahnd, Lena Maier-Hein, Stefanie Demirci, Eric Granger, Luc Duong, Marc-André Carbonneau, Shadi Albarqouni, Gustavo Carneiro
Cham: Springer, 2017
-
10531:
Internet of Things, Smart Spaces, and Next Generation Networks and Systems 17th International Conference, NEW2AN 2017, 10th Conference, ruSMART 2017, Third Workshop NsCC 2017, St. Petersburg, Russia, August 28–30, 2017, Proceedings edited by Olga Galinina, Sergey Andreev, Sergey Balandin, Yevgeni Koucheryavy
Cham: Springer, 2017
-
10614:
Artificial Neural Networks and Machine Learning – ICANN 2017 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings, Part II edited by Alessandra Lintas, Stefano Rovetta, Paul F.M.J. Verschure, Alessandro E.P. Villa
Cham: Springer, 2017
-
10579:
Knowledge Graphs and Language Technology ISWC 2016 International Workshops: KEKI and NLP&DBpedia, Kobe, Japan, October 17-21, 2016, Revised Selected Papers edited by Marieke van Erp, Sebastian Hellmann, John P. McCrae, Christian Chiarcos, Key-Sun Choi, Jorge Gracia, Yoshihiko Hayashi, Seiji Koide, Pablo Mendes, Heiko Paulheim, Hideaki Takeda
Cham: Springer, 2017
-
9776:
RoboCup 2016: Robot World Cup XX edited by Sven Behnke, Raymond Sheh, Sanem Sarıel, Daniel D. Lee
Cham: Springer, 2017
-
10570:
Web Information Systems Engineering – WISE 2017 18th International Conference, Puschino, Russia, October 7-11, 2017, Proceedings, Part II edited by Athman Bouguettaya, Yunjun Gao, Andrey Klimenko, Lu Chen, Xiangliang Zhang, Fedor Dzerzhinskiy, Weijia Jia, Stanislav V. Klimenko, Qing Li
Cham: Springer, 2017
-
10569:
Web Information Systems Engineering – WISE 2017 18th International Conference, Puschino, Russia, October 7-11, 2017, Proceedings, Part I edited by Athman Bouguettaya, Yunjun Gao, Andrey Klimenko, Lu Chen, Xiangliang Zhang, Fedor Dzerzhinskiy, Weijia Jia, Stanislav V. Klimenko, Qing Li
Cham: Springer, 2017
-
10588:
The Semantic Web – ISWC 2017 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part II edited by Claudia d'Amato, Miriam Fernandez, Valentina Tamma, Freddy Lecue, Philippe Cudré-Mauroux, Juan Sequeda, Christoph Lange, Jeff Heflin
Cham: Springer, 2017
-
10110:
Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity by Thomas Zeume
Berlin, Heidelberg: Springer, 2017
-
10170:
Computer-Assisted and Robotic Endoscopy Third International Workshop, CARE 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 17, 2016, Revised Selected Papers edited by Terry Peters, Guang-Zhong Yang, Nassir Navab, Kensaku Mori, Xiongbiao Luo, Tobias Reichl, Jonathan McLeod
Cham: Springer, 2017
-
10560:
Transactions on Computational Science XXX Special Issue on Cyberworlds and Cybersecurity edited by Marina L. Gavrilova, C.J. Kenneth Tan, Alexei Sourin
Berlin, Heidelberg: Springer, 2017
-
10573:
On the Move to Meaningful Internet Systems. OTM 2017 Conferences Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part I edited by Hervé Panetto, Christophe Debruyne, Walid Gaaloul, Mike Papazoglou, Adrian Paschke, Claudio Agostino Ardagna, Robert Meersman
Cham: Springer, 2017
-
10523:
Spatial Cognition X 13th Biennial Conference, KogWis 2016, Bremen, Germany, September 26–30, 2016, and 10th International Conference, Spatial Cognition 2016, Philadelphia, PA, USA, August 2–5, 2016, Revised Selected Papers edited by Thomas Barkowsky, Heather Burte, Christoph Hölscher, Holger Schultheis
Cham: Springer, 2017
-
10595:
Digital Nations – Smart Cities, Innovation, and Sustainability 16th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2017, Delhi, India, November 21–23, 2017, Proceedings edited by Arpan Kumar Kar, P. Vigneswara Ilavarasan, M.P. Gupta, Yogesh K. Dwivedi, Matti Mäntymäki, Marijn Janssen, Antonis Simintiras, Salah Al-Sharhan
Cham: Springer, 2017
-
10433:
Medical Image Computing and Computer Assisted Intervention − MICCAI 2017 20th International Conference, Quebec City, QC, Canada, September 11-13, 2017, Proceedings, Part I edited by Maxime Descoteaux, Lena Maier-Hein, Alfred Franz, Pierre Jannin, D. Louis Collins, Simon Duchesne
Cham: Springer, 2017
-
10551:
Graphs in Biomedical Image Analysis, Computational Anatomy and Imaging Genetics First International Workshop, GRAIL 2017, 6th International Workshop, MFCA 2017, and Third International Workshop, MICGen 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 10–14, 2017, Proceedings edited by M. Jorge Cardoso, Tal Arbel, Enzo Ferrante, Xavier Pennec, Adrian V. Dalca, Sarah Parisot, Sarang Joshi, Nematollah K. Batmanghelich, Aristeidis Sotiras, Mads Nielsen, Mert R. Sabuncu, Tom Fletcher, Li Shen, Stanley Durrleman, Stefan Sommer
Cham: Springer, 2017
-
10436:
Data Privacy Management, Cryptocurrencies and Blockchain Technology ESORICS 2017 International Workshops, DPM 2017 and CBT 2017, Oslo, Norway, September 14-15, 2017, Proceedings edited by Joaquin Garcia-Alfaro, Guillermo Navarro-Arribas, Hannes Hartenstein, Jordi Herrera-Joancomartí
Cham: Springer, 2017
-
10524:
High Performance Computing ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017, Revised Selected Papers edited by Julian M. Kunkel, Rio Yokota, Michela Taufer, John Shalf
Cham: Springer, 2017
-
9885:
Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering 12th International Summer School 2016, Aberdeen, UK, September 5-9, 2016, Tutorial Lectures edited by Jeff Z. Pan, Diego Calvanese, Thomas Eiter, Ian Horrocks, Michael Kifer, Fangzhen Lin, Yuting Zhao
Cham: Springer, 2017
-
10585:
Intelligent Data Engineering and Automated Learning – IDEAL 2017 18th International Conference, Guilin, China, October 30 – November 1, 2017, Proceedings edited by Hujun Yin, Yang Gao, Songcan Chen, Yimin Wen, Guoyong Cai, Tianlong Gu, Junping Du, Antonio J. Tallón-Ballesteros, Minling Zhang
Cham: Springer, 2017
-
10574:
On the Move to Meaningful Internet Systems. OTM 2017 Conferences Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part II edited by Hervé Panetto, Christophe Debruyne, Walid Gaaloul, Mike Papazoglou, Adrian Paschke, Claudio Agostino Ardagna, Robert Meersman
Cham: Springer, 2017
-
10645:
Advances in Visual Informatics 5th International Visual Informatics Conference, IVIC 2017, Bangi, Malaysia, November 28–30, 2017, Proceedings edited by Halimah Badioze Zaman, Peter Robinson, Alan F. Smeaton, Timothy K. Shih, Sergio Velastin, Tada Terutoshi, Azizah Jaafar, Nazlena Mohamad Ali
Cham: Springer, 2017
-
10685:
Agents and Multi-Agent Systems for Health Care 10th International Workshop, A2HC 2017, São Paulo, Brazil, May 8, 2017, and International Workshop, A-HEALTH 2017, Porto, Portugal, June 21, 2017, Revised and Extended Selected Papers edited by Sara Montagna, Pedro Henriques Abreu, Sylvain Giroux, Michael Ignaz Schumacher
Cham: Springer, 2017
-
10598:
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings edited by Alessandro Fantechi, Thierry Lecomte, Alexander Romanovsky
Cham: Springer, 2017
-
10708:
Personal Analytics and Privacy. An Individual and Collective Perspective First International Workshop, PAP 2017, Held in Conjunction with ECML PKDD 2017, Skopje, Macedonia, September 18, 2017, Revised Selected Papers edited by Riccardo Guidotti, Anna Monreale, Dino Pedreschi, Serge Abiteboul
Cham: Springer, 2017
-
10718:
Algorithms for Sensor Systems 13th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2017, Vienna, Austria, September 7-8, 2017, Revised Selected Papers edited by Antonio Fernández Anta, Tomasz Jurdzinski, Miguel A. Mosteiro, Yanyong Zhang
Cham: Springer, 2017
-
10030:
Theory and Models for Cyber Situation Awareness edited by Peng Liu, Sushil Jajodia, Cliff Wang
Cham: Springer, 2017
-
10404:
Computational Science and Its Applications – ICCSA 2017 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part I edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Giuseppe Borruso, Carmelo M. Torre, Ana Maria A.C. Rocha, David Taniar, Bernady O. Apduhan, Elena Stankova, Alfredo Cuzzocrea
Cham: Springer, 2017
-
10407:
Computational Science and Its Applications – ICCSA 2017 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part IV edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Giuseppe Borruso, Carmelo M. Torre, Ana Maria A.C. Rocha, David Taniar, Bernady O. Apduhan, Elena Stankova, Alfredo Cuzzocrea
Cham: Springer, 2017