default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLecture Notes in Computer Science (LNCS), Volumes 10800-10899
10800Reiko Heckel, Gabriele Taentzer:
Graph Transformation, Specifications, and Nets - In Memory of Hartmut Ehrig. Lecture Notes in Computer Science 10800, Springer 2018, ISBN 978-3-319-75395-9 [contents]- 10801Amal Ahmed:
Programming Languages and Systems - 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings. Lecture Notes in Computer Science 10801, Springer 2018, ISBN 978-3-319-89883-4 [contents] - 10802Alessandra Russo, Andy Schürr:
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. Lecture Notes in Computer Science 10802, Springer 2018, ISBN 978-3-319-89362-4 [contents] - 10803Christel Baier
, Ugo Dal Lago:
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. Lecture Notes in Computer Science 10803, Springer 2018, ISBN 978-3-319-89365-5 [contents] - 10804Lujo Bauer, Ralf Küsters:
Principles of Security and Trust - 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings. Lecture Notes in Computer Science 10804, Springer 2018, ISBN 978-3-319-89721-9 [contents] - 10805Dirk Beyer, Marieke Huisman:
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. Lecture Notes in Computer Science 10805, Springer 2018, ISBN 978-3-319-89959-6 [contents] - 10806Dirk Beyer, Marieke Huisman:
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. Lecture Notes in Computer Science 10806, Springer 2018, ISBN 978-3-319-89962-6 [contents] - 10807Michael A. Bender, Martin Farach-Colton, Miguel A. Mosteiro:
LATIN 2018: Theoretical Informatics - 13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018, Proceedings. Lecture Notes in Computer Science 10807, Springer 2018, ISBN 978-3-319-77403-9 [contents] - 10808Nigel P. Smart:
Topics in Cryptology - CT-RSA 2018 - The Cryptographers' Track at the RSA Conference 2018, San Francisco, CA, USA, April 16-20, 2018, Proceedings. Lecture Notes in Computer Science 10808, Springer 2018, ISBN 978-3-319-76952-3 [contents] - 10809Jaap Ham, Evangelos Karapanos, Plinio P. Morita, Catherine M. Burns:
Persuasive Technology - 13th International Conference, PERSUASIVE 2018, Waterloo, ON, Canada, April 18-19, 2018, Proceedings. Lecture Notes in Computer Science 10809, Springer 2018, ISBN 978-3-319-78977-4 [contents] - 10810James F. Peters, Andrzej Skowron:
Transactions on Rough Sets XXI. Lecture Notes in Computer Science 10810, Springer 2019, ISBN 978-3-662-58767-6 [contents] - 10811Aaron Dutle, César A. Muñoz, Anthony Narkawicz:
NASA Formal Methods - 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings. Lecture Notes in Computer Science 10811, Springer 2018, ISBN 978-3-319-77934-8 [contents] - 10812Benjamin J. Raphael:
Research in Computational Molecular Biology - 22nd Annual International Conference, RECOMB 2018, Paris, France, April 21-24, 2018, Proceedings. Lecture Notes in Computer Science 10812, Springer 2018, ISBN 978-3-319-89928-2 [contents] - 10813Ignacio Rojas, Francisco M. Ortuño Guzman:
Bioinformatics and Biomedical Engineering - 6th International Work-Conference, IWBBIO 2018, Granada, Spain, April 25-27, 2018, Proceedings, Part I. Lecture Notes in Computer Science 10813, Springer 2018, ISBN 978-3-319-78722-0 [contents] - 10814Ignacio Rojas, Francisco M. Ortuño Guzman:
Bioinformatics and Biomedical Engineering - 6th International Work-Conference, IWBBIO 2018, Granada, Spain, April 25-27, 2018, Proceedings, Part II. Lecture Notes in Computer Science 10814, Springer 2018, ISBN 978-3-319-78758-9 [contents] - 10815Junfeng Fan, Benedikt Gierlichs:
Constructive Side-Channel Analysis and Secure Design - 9th International Workshop, COSADE 2018, Singapore, April 23-24, 2018, Proceedings. Lecture Notes in Computer Science 10815, Springer 2018, ISBN 978-3-319-89640-3 [contents] - 10816John Krogstie, Hajo A. Reijers:
Advanced Information Systems Engineering - 30th International Conference, CAiSE 2018, Tallinn, Estonia, June 11-15, 2018, Proceedings. Lecture Notes in Computer Science 10816, Springer 2018, ISBN 978-3-319-91562-3 [contents] - 10817Michael J. Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl:
Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings. Lecture Notes in Computer Science 10817, Springer 2018, ISBN 978-3-319-91270-7 [contents] - 10818John P. Gallagher, Martin Sulzmann:
Functional and Logic Programming - 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings. Lecture Notes in Computer Science 10818, Springer 2018, ISBN 978-3-319-90685-0 [contents] - 10819Miguel R. Luaces, Farid Karimipour:
Web and Wireless Geographical Information Systems - 16th International Symposium, W2GIS 2018, A Coruña, Spain, May 21-22, 2018, Proceedings. Lecture Notes in Computer Science 10819, Springer 2018, ISBN 978-3-319-90052-0 [contents] - 10820Jesper Buus Nielsen, Vincent Rijmen:
Advances in Cryptology - EUROCRYPT 2018 - 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29 - May 3, 2018 Proceedings, Part I. Lecture Notes in Computer Science 10820, Springer 2018, ISBN 978-3-319-78380-2 [contents] - 10821Jesper Buus Nielsen, Vincent Rijmen:
Advances in Cryptology - EUROCRYPT 2018 - 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29 - May 3, 2018 Proceedings, Part II. Lecture Notes in Computer Science 10821, Springer 2018, ISBN 978-3-319-78374-1 [contents] - 10822Jesper Buus Nielsen, Vincent Rijmen:
Advances in Cryptology - EUROCRYPT 2018 - 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29 - May 3, 2018 Proceedings, Part III. Lecture Notes in Computer Science 10822, Springer 2018, ISBN 978-3-319-78371-0 [contents] - 10823Jianer Chen, Pinyan Lu:
Frontiers in Algorithmics - 12th International Workshop, FAW 2018, Guangzhou, China, May 8-10, 2018, Proceedings. Lecture Notes in Computer Science 10823, Springer 2018, ISBN 978-3-319-78454-0 [contents] - 10824Nikolaos S. Voros, Michael Hübner, Georgios Keramidas, Diana Goehringer, Christos P. Antonopoulos, Pedro C. Diniz:
Applied Reconfigurable Computing. Architectures, Tools, and Applications - 14th International Symposium, ARC 2018, Santorini, Greece, May 2-4, 2018, Proceedings. Lecture Notes in Computer Science 10824, Springer 2018, ISBN 978-3-319-78889-0 [contents] - 10825Heide Karen Lukosch, Geertje Bekebrede, Rens Kortmann:
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. Lecture Notes in Computer Science 10825, Springer 2018, ISBN 978-3-319-91901-0 [contents] - 10826Rafael Capilla, Barbara Gallina, Carlos Cetina:
New Opportunities for Software Reuse - 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings. Lecture Notes in Computer Science 10826, Springer 2018, ISBN 978-3-319-90420-7 [contents] - 10827Jian Pei, Yannis Manolopoulos, Shazia W. Sadiq, Jianxin Li:
Database Systems for Advanced Applications - 23rd International Conference, DASFAA 2018, Gold Coast, QLD, Australia, May 21-24, 2018, Proceedings, Part I. Lecture Notes in Computer Science 10827, Springer 2018, ISBN 978-3-319-91451-0 [contents] - 10828Jian Pei, Yannis Manolopoulos, Shazia W. Sadiq, Jianxin Li:
Database Systems for Advanced Applications - 23rd International Conference, DASFAA 2018, Gold Coast, QLD, Australia, May 21-24, 2018, Proceedings, Part II. Lecture Notes in Computer Science 10828, Springer 2018, ISBN 978-3-319-91457-2 [contents] - 10829Chengfei Liu, Lei Zou, Jianxin Li:
Database Systems for Advanced Applications - DASFAA 2018 International Workshops: BDMS, BDQM, GDMA, and SeCoP, Gold Coast, QLD, Australia, May 21-24, 2018, Proceedings. Lecture Notes in Computer Science 10829, Springer 2018, ISBN 978-3-319-91454-1 [contents] - 10830Marina L. Gavrilova, C. J. Kenneth Tan, Alexei Sourin:
Transactions on Computational Science XXXII - Special Issue on Cybersecurity and Biometrics. Lecture Notes in Computer Science 10830, Springer 2018, ISBN 978-3-662-56671-8 [contents] - 10831Antoine Joux, Abderrahmane Nitaj, Tajjeeddine Rachidi:
Progress in Cryptology - AFRICACRYPT 2018 - 10th International Conference on Cryptology in Africa, Marrakesh, Morocco, May 7-9, 2018, Proceedings. Lecture Notes in Computer Science 10831, Springer 2018, ISBN 978-3-319-89338-9 [contents] - 10832Ebrahim Bagheri, Jackie Chi Kit Cheung:
Advances in Artificial Intelligence - 31st Canadian Conference on Artificial Intelligence, Canadian AI 2018, Toronto, ON, Canada, May 8-11, 2018, Proceedings. Lecture Notes in Computer Science 10832, Springer 2018, ISBN 978-3-319-89655-7 [contents] - 10833Flavio Ferrarotti, Stefan Woltran:
Foundations of Information and Knowledge Systems - 10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14-18, 2018, Proceedings. Lecture Notes in Computer Science 10833, Springer 2018, ISBN 978-3-319-90049-0 [contents] - 10834Massimo Bartoletti, Annalisa Barla, Andrea Bracciali, Gunnar W. Klau, Leif E. Peterson, Alberto Policriti, Roberto Tagliaferri:
Computational Intelligence Methods for Bioinformatics and Biostatistics - 14th International Meeting, CIBB 2017, Cagliari, Italy, September 7-9, 2017, Revised Selected Papers. Lecture Notes in Computer Science 10834, Springer 2019, ISBN 978-3-030-14159-2 [contents] - 10835Peter Korosec, Nouredine Melab, El-Ghazali Talbi:
Bioinspired Optimization Methods and Their Applications - 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, Proceedings. Lecture Notes in Computer Science 10835, Springer 2018, ISBN 978-3-319-91640-8 [contents] - 10836Anthony Bonato, Pawel Pralat, Andrei M. Raigorodskii:
Algorithms and Models for the Web Graph - 15th International Workshop, WAW 2018, Moscow, Russia, May 17-18, 2018, Proceedings. Lecture Notes in Computer Science 10836, Springer 2018, ISBN 978-3-319-92870-8 [contents] - 10837Junhu Wang, Gao Cong, Jinjun Chen, Jianzhong Qi:
Databases Theory and Applications - 29th Australasian Database Conference, ADC 2018, Gold Coast, QLD, Australia, May 24-27, 2018, Proceedings. Lecture Notes in Computer Science 10837, Springer 2018, ISBN 978-3-319-92012-2 [contents] - 10838Sachiyo Arai, Kazuhiro Kojima, Koji Mineshima, Daisuke Bekki, Ken Satoh, Yuiko Ohta:
New Frontiers in Artificial Intelligence - JSAI-isAI Workshops, JURISIN, SKL, AI-Biz, LENLS, AAA, SCIDOCA, kNeXI, Tsukuba, Tokyo, Japan, November 13-15, 2017, Revised Selected Papers. Lecture Notes in Computer Science 10838, Springer 2018, ISBN 978-3-319-93793-9 [contents] - 10839H. Jaap van den Herik, Ana Paula Rocha, Joaquim Filipe:
Agents and Artificial Intelligence - 9th International Conference, ICAART 2017, Porto, Portugal, February 24-26, 2017, Revised Selected Papers. Lecture Notes in Computer Science 10839, Springer 2018, ISBN 978-3-319-93580-5 [contents] - 10840Ngoc Thanh Nguyen, Ryszard Kowalczyk:
Transactions on Computational Collective Intelligence XXIX. Lecture Notes in Computer Science 10840, Springer 2018, ISBN 978-3-319-90286-9 [contents] - 10841Leszek Rutkowski, Rafal Scherer, Marcin Korytkowski, Witold Pedrycz, Ryszard Tadeusiewicz, Jacek M. Zurada:
Artificial Intelligence and Soft Computing - 17th International Conference, ICAISC 2018, Zakopane, Poland, June 3-7, 2018, Proceedings, Part I. Lecture Notes in Computer Science 10841, Springer 2018, ISBN 978-3-319-91252-3 [contents] - 10842Leszek Rutkowski, Rafal Scherer, Marcin Korytkowski, Witold Pedrycz, Ryszard Tadeusiewicz, Jacek M. Zurada:
Artificial Intelligence and Soft Computing - 17th International Conference, ICAISC 2018, Zakopane, Poland, June 3-7, 2018, Proceedings, Part II. Lecture Notes in Computer Science 10842, Springer 2018, ISBN 978-3-319-91261-5 [contents] - 10843Aldo Gangemi, Roberto Navigli, Maria-Esther Vidal, Pascal Hitzler, Raphaël Troncy, Laura Hollink, Anna Tordai, Mehwish Alam:
The Semantic Web - 15th International Conference, ESWC 2018, Heraklion, Crete, Greece, June 3-7, 2018, Proceedings. Lecture Notes in Computer Science 10843, Springer 2018, ISBN 978-3-319-93416-7 [contents] - 10844Samir Chatterjee, Kaushik Dutta, Rangaraja P. Sundarraj:
Designing for a Digital and Globalized World - 13th International Conference, DESRIST 2018, Chennai, India, June 3-6, 2018, Proceedings. Lecture Notes in Computer Science 10844, Springer 2018, ISBN 978-3-319-91799-3 [contents] - 10845Tommi Mikkonen, Ralf Klamma, Juan Hernández:
Web Engineering - 18th International Conference, ICWE 2018, Cáceres, Spain, June 5-8, 2018, Proceedings. Lecture Notes in Computer Science 10845, Springer 2018, ISBN 978-3-319-91661-3 [contents] - 10846Fedor V. Fomin, Vladimir V. Podolskii:
Computer Science - Theory and Applications - 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6-10, 2018, Proceedings. Lecture Notes in Computer Science 10846, Springer 2018, ISBN 978-3-319-90529-7 [contents] - 10847Fa Zhang, Zhipeng Cai, Pavel Skums, Shihua Zhang:
Bioinformatics Research and Applications - 14th International Symposium, ISBRA 2018, Beijing, China, June 8-11, 2018, Proceedings. Lecture Notes in Computer Science 10847, Springer 2018, ISBN 978-3-319-94967-3 [contents] - 10848Willem Jan van Hoeve:
Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26-29, 2018, Proceedings. Lecture Notes in Computer Science 10848, Springer 2018, ISBN 978-3-319-93030-5 [contents] - 10849Jesper Jansson, Carlos Martín-Vide, Miguel A. Vega-Rodríguez:
Algorithms for Computational Biology - 5th International Conference, AlCoB 2018, Hong Kong, China, June 25-26, 2018, Proceedings. Lecture Notes in Computer Science 10849, Springer 2018, ISBN 978-3-319-91937-9 [contents] - 10850Lucio Tommaso De Paolis, Patrick Bourdot:
Augmented Reality, Virtual Reality, and Computer Graphics - 5th International Conference, AVR 2018, Otranto, Italy, June 24-27, 2018, Proceedings, Part I. Lecture Notes in Computer Science 10850, Springer 2018, ISBN 978-3-319-95269-7 [contents] - 10851Lucio Tommaso De Paolis, Patrick Bourdot:
Augmented Reality, Virtual Reality, and Computer Graphics - 5th International Conference, AVR 2018, Otranto, Italy, June 24-27, 2018, Proceedings, Part II. Lecture Notes in Computer Science 10851, Springer 2018, ISBN 978-3-319-95281-9 [contents] - 10852Giovanna Di Marzo Serugendo, Michele Loreti:
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. Lecture Notes in Computer Science 10852, Springer 2018, ISBN 978-3-319-92407-6 [contents] - 10853Silvia Bonomi, Etienne Rivière:
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. Lecture Notes in Computer Science 10853, Springer 2018, ISBN 978-3-319-93766-3 [contents] - 10854Christel Baier, Luís Caires:
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. Lecture Notes in Computer Science 10854, Springer 2018, ISBN 978-3-319-92611-7 [contents] - 10855Fabio Fioravanti, John P. Gallagher:
Logic-Based Program Synthesis and Transformation - 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers. Lecture Notes in Computer Science 10855, Springer 2018, ISBN 978-3-319-94459-3 [contents] - 10856Jon Lee, Giovanni Rinaldi, Ali Ridha Mahjoub:
Combinatorial Optimization - 5th International Symposium, ISCO 2018, Marrakesh, Morocco, April 11-13, 2018, Revised Selected Papers. Lecture Notes in Computer Science 10856, Springer 2018, ISBN 978-3-319-96150-7 [contents] - 10857Maria De Marsico, Gabriella Sanniti di Baja, Ana L. N. Fred:
Pattern Recognition Applications and Methods - 6th International Conference, ICPRAM 2017, Porto, Portugal, February 24-26, 2017, Revised Selected Papers. Lecture Notes in Computer Science 10857, Springer 2018, ISBN 978-3-319-93646-8 [contents] - 10858Roger Nkambou, Roger Azevedo, Julita Vassileva:
Intelligent Tutoring Systems - 14th International Conference, ITS 2018, Montreal, QC, Canada, June 11-15, 2018, Proceedings. Lecture Notes in Computer Science 10858, Springer 2018, ISBN 978-3-319-91463-3 [contents] - 10859Max Silberztein, Faten Atigui, Elena Kornyshova, Elisabeth Métais, Farid Meziane:
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. Lecture Notes in Computer Science 10859, Springer 2018, ISBN 978-3-319-91946-1 [contents] - 10860Yong Shi, Haohuan Fu, Yingjie Tian, Valeria V. Krzhizhanovskaya, Michael Harold Lees, Jack J. Dongarra, Peter M. A. Sloot:
Computational Science - ICCS 2018 - 18th International Conference, Wuxi, China, June 11-13, 2018, Proceedings, Part I. Lecture Notes in Computer Science 10860, Springer 2018, ISBN 978-3-319-93697-0 [contents] - 10861Yong Shi, Haohuan Fu, Yingjie Tian, Valeria V. Krzhizhanovskaya, Michael Harold Lees, Jack J. Dongarra, Peter M. A. Sloot:
Computational Science - ICCS 2018 - 18th International Conference, Wuxi, China, June 11-13, 2018, Proceedings, Part II. Lecture Notes in Computer Science 10861, Springer 2018, ISBN 978-3-319-93700-7 [contents] - 10862Yong Shi, Haohuan Fu, Yingjie Tian, Valeria V. Krzhizhanovskaya, Michael Harold Lees, Jack J. Dongarra, Peter M. A. Sloot:
Computational Science - ICCS 2018 - 18th International Conference, Wuxi, China, June 11-13, 2018 Proceedings, Part III. Lecture Notes in Computer Science 10862, Springer 2018, ISBN 978-3-319-93712-0 [contents] - 10863Ian F. C. Smith, Bernd Domer:
Advanced Computing Strategies for Engineering - 25th EG-ICE International Workshop 2018, Lausanne, Switzerland, June 10-13, 2018. Proceedings, Part I. Lecture Notes in Computer Science 10863, Springer 2018, ISBN 978-3-319-91634-7 [contents] - 10864Ian F. C. Smith, Bernd Domer:
Advanced Computing Strategies for Engineering - 25th EG-ICE International Workshop 2018, Lausanne, Switzerland, June 10-13, 2018, Proceedings, Part II. Lecture Notes in Computer Science 10864, Springer 2018, ISBN 978-3-319-91637-8 [contents] - 10865Frank S. de Boer, Marcello M. Bonsangue, Jan Rutten:
It's All About Coordination - Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab. Lecture Notes in Computer Science 10865, Springer 2018, ISBN 978-3-319-90088-9 [contents] - 10866Kaushik Roy Chowdhury, Marco Di Felice, Ibrahim Matta, Bo Sheng:
Wired/Wireless Internet Communications - 16th IFIP WG 6.2 International Conference, WWIC 2018, Boston, MA, USA, June 18-20, 2018, Proceedings. Lecture Notes in Computer Science 10866, Springer 2018, ISBN 978-3-030-02930-2 [contents] - 10867Susan Stepney, Sergey Verlan:
Unconventional Computation and Natural Computation - 17th International Conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018, Proceedings. Lecture Notes in Computer Science 10867, Springer 2018, ISBN 978-3-319-92434-2 [contents] - 10868Malek Mouhoub, Samira Sadaoui, Otmane Aït Mohamed, Moonis Ali:
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. Lecture Notes in Computer Science 10868, Springer 2018, ISBN 978-3-319-92057-3 [contents] - 10869María-del-Mar Gallardo, Pedro Merino:
Model Checking Software - 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings. Lecture Notes in Computer Science 10869, Springer 2018, ISBN 978-3-319-94110-3 [contents] - 10870Francisco Javier de Cos Juez, José Ramón Villar, Enrique A. de la Cal, Álvaro Herrero, Héctor Quintián, José Antonio Sáez, Emilio Corchado:
Hybrid Artificial Intelligent Systems - 13th International Conference, HAIS 2018, Oviedo, Spain, June 20-22, 2018, Proceedings. Lecture Notes in Computer Science 10870, Springer 2018, ISBN 978-3-319-92638-4 [contents] - 10871Peter Chapman, Gem Stapleton, Amirouche Moktefi, Sarah Pérez-Kriz, Francesco Bellucci:
Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings. Lecture Notes in Computer Science 10871, Springer 2018, ISBN 978-3-319-91375-9 [contents] - 10872Peter Chapman, Dominik Endres, Nathalie Pernelle:
Graph-Based Representation and Reasoning - 23rd International Conference on Conceptual Structures, ICCS 2018, Edinburgh, UK, June 20-22, 2018, Proceedings. Lecture Notes in Computer Science 10872, Springer 2018, ISBN 978-3-319-91378-0 [contents] - 10873António Casimiro, Pedro Miguel Ferreira:
Reliable Software Technologies - Ada-Europe 2018 - 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings. Lecture Notes in Computer Science 10873, Springer 2018, ISBN 978-3-319-92431-1 [contents] - 10874Sriram Chellappan, Wei Cheng, Wei Li:
Wireless Algorithms, Systems, and Applications - 13th International Conference, WASA 2018, Tianjin, China, June 20-22, 2018, Proceedings. Lecture Notes in Computer Science 10874, Springer 2018, ISBN 978-3-319-94267-4 [contents] - 10875Jan M. Baetens, Martin Kutrib:
Cellular Automata and Discrete Complex Systems - 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20-22, 2018, Proceedings. Lecture Notes in Computer Science 10875, Springer 2018, ISBN 978-3-319-92674-2 [contents] - 10876Rio Yokota, Michèle Weiland, David E. Keyes, Carsten Trinitis:
High Performance Computing - 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018, Proceedings. Lecture Notes in Computer Science 10876, Springer 2018, ISBN 978-3-319-92039-9 [contents] - 10877Victor Khomenko, Olivier H. Roux:
Application and Theory of Petri Nets and Concurrency - 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings. Lecture Notes in Computer Science 10877, Springer 2018, ISBN 978-3-319-91267-7 [contents] - 10878Tingwen Huang, Jiancheng Lv, Changyin Sun, Alexander V. Tuzikov:
Advances in Neural Networks - ISNN 2018 - 15th International Symposium on Neural Networks, ISNN 2018, Minsk, Belarus, June 25-28, 2018, Proceedings. Lecture Notes in Computer Science 10878, Springer 2018, ISBN 978-3-319-92536-3 [contents] - 10879Itai Dinur, Shlomi Dolev, Sachin Lodha:
Cyber Security Cryptography and Machine Learning - Second International Symposium, CSCML 2018, Beer Sheva, Israel, June 21-22, 2018, Proceedings. Lecture Notes in Computer Science 10879, Springer 2018, ISBN 978-3-319-94146-2 [contents] - 10880José Francisco Martínez Trinidad, Jesús Ariel Carrasco-Ochoa, José Arturo Olvera-López, Sudeep Sarkar:
Pattern Recognition - 10th Mexican Conference, MCPR 2018, Puebla, Mexico, June 27-30, 2018, Proceedings. Lecture Notes in Computer Science 10880, Springer 2018, ISBN 978-3-319-92197-6 [contents] - 10881Jérôme Durand-Lose, Sergey Verlan:
Machines, Computations, and Universality - 8th International Conference, MCU 2018, Fontainebleau, France, June 28-30, 2018, Proceedings. Lecture Notes in Computer Science 10881, Springer 2018, ISBN 978-3-319-92401-4 [contents] - 10882Aurélio Campilho, Fakhri Karray, Bart M. ter Haar Romeny:
Image Analysis and Recognition - 15th International Conference, ICIAR 2018, Póvoa de Varzim, Portugal, June 27-29, 2018, Proceedings. Lecture Notes in Computer Science 10882, Springer 2018, ISBN 978-3-319-92999-6 [contents] - 10883Stefan Klein, Marius Staring, Stanley Durrleman, Stefan Sommer:
Biomedical Image Registration - 8th International Workshop, WBIR 2018, Leiden, The Netherlands, June 28-29, 2018, Proceedings. Lecture Notes in Computer Science 10883, Springer 2018, ISBN 978-3-319-92257-7 [contents] - 10884Alamin Mansouri, Abderrahim Elmoataz, Fathallah Nouboud, Driss Mammass:
Image and Signal Processing - 8th International Conference, ICISP 2018, Cherbourg, France, July 2-4, 2018, Proceedings. Lecture Notes in Computer Science 10884, Springer 2018, ISBN 978-3-319-94210-0 [contents] - 10885Cristiano Giuffrida, Sébastien Bardin, Gregory Blanc:
Detection of Intrusions and Malware, and Vulnerability Assessment - 15th International Conference, DIMVA 2018, Saclay, France, June 28-29, 2018, Proceedings. Lecture Notes in Computer Science 10885, Springer 2018, ISBN 978-3-319-93410-5 [contents] - 10886Einar Broch Johnsen, Ina Schaefer:
Software Engineering and Formal Methods - 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings. Lecture Notes in Computer Science 10886, Springer 2018, ISBN 978-3-319-92969-9 [contents] - 10887Leen Lambers, Jens H. Weber:
Graph Transformation - 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings. Lecture Notes in Computer Science 10887, Springer 2018, ISBN 978-3-319-92990-3 [contents] - 10888Arend Rensink, Jesús Sánchez Cuadrado:
Theory and Practice of Model Transformation - 11th International Conference, ICMT@STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings. Lecture Notes in Computer Science 10888, Springer 2018, ISBN 978-3-319-93316-0 [contents] - 10889Catherine Dubois, Burkhart Wolff:
Tests and Proofs - 12th International Conference, TAP@STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings. Lecture Notes in Computer Science 10889, Springer 2018, ISBN 978-3-319-92993-4 [contents] - 10890Alfonso Pierantonio, Salvador Trujillo:
Modelling Foundations and Applications - 14th European Conference, ECMFA@STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings. Lecture Notes in Computer Science 10890, Springer 2018, ISBN 978-3-319-92996-5 [contents] - 10891Yannick Deville, Sharon Gannot, Russell Mason, Mark D. Plumbley, Dominic Ward:
Latent Variable Analysis and Signal Separation - 14th International Conference, LVA/ICA 2018, Guildford, UK, July 2-5, 2018, Proceedings. Lecture Notes in Computer Science 10891, Springer 2018, ISBN 978-3-319-93763-2 [contents] - 10892Bart Preneel, Frederik Vercauteren:
Applied Cryptography and Network Security - 16th International Conference, ACNS 2018, Leuven, Belgium, July 2-4, 2018, Proceedings. Lecture Notes in Computer Science 10892, Springer 2018, ISBN 978-3-319-93386-3 [contents] - 10893Domenico Prattichizzo, Hiroyuki Shinoda, Hong Z. Tan, Emanuele Ruffaldi, Antonio Frisoli:
Haptics: Science, Technology, and Applications - 11th International Conference, EuroHaptics 2018, Pisa, Italy, June 13-16, 2018, Proceedings, Part I. Lecture Notes in Computer Science 10893, Springer 2018, ISBN 978-3-319-93444-0 [contents] - 10894Domenico Prattichizzo, Hiroyuki Shinoda, Hong Z. Tan, Emanuele Ruffaldi, Antonio Frisoli:
Haptics: Science, Technology, and Applications - 11th International Conference, EuroHaptics 2018, Pisa, Italy, June 13-16, 2018, Proceedings, Part II. Lecture Notes in Computer Science 10894, Springer 2018, ISBN 978-3-319-93398-6 [contents] - 10895Jeremy Avigad, Assia Mahboubi:
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. Lecture Notes in Computer Science 10895, Springer 2018, ISBN 978-3-319-94820-1 [contents] - 10896Klaus Miesenberger, Georgios Kouroupetroglou:
Computers Helping People with Special Needs - 16th International Conference, ICCHP 2018, Linz, Austria, July 11-13, 2018, Proceedings, Part I. Lecture Notes in Computer Science 10896, Springer 2018, ISBN 978-3-319-94276-6 [contents] - 10897Klaus Miesenberger, Georgios Kouroupetroglou:
Computers Helping People with Special Needs - 16th International Conference, ICCHP 2018, Linz, Austria, July 11-13, 2018, Proceedings, Part II. Lecture Notes in Computer Science 10897, Springer 2018, ISBN 978-3-319-94273-5 [contents] - 10898Mounir Mokhtari, Bessam Abdulrazak, Hamdi Aloulou:
Smart Homes and Health Telematics, Designing a Better Future: Urban Assisted Living - 16th International Conference, ICOST 2018, Singapore, July 10-12, 2018, Proceedings. Lecture Notes in Computer Science 10898, Springer 2018, ISBN 978-3-319-94522-4 [contents] - 10899Robert Thomson, Christopher L. Dancy, Ayaz Hyder, Halil Bisgin:
Social, Cultural, and Behavioral Modeling - 11th International Conference, SBP-BRiMS 2018, Washington, DC, USA, July 10-13, 2018, Proceedings. Lecture Notes in Computer Science 10899, Springer 2018, ISBN 978-3-319-93371-9 [contents]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-10 20:54 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
