default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLecture Notes in Computer Science (LNCS), Volumes 8900-8999
8900Achim D. Brucker
, Fabiano Dalpiaz, Paolo Giorgini, Per Håkon Meland, Erkuden Rios:
Secure and Trustworthy Service Composition - The Aniketos Approach. Lecture Notes in Computer Science 8900, Springer 2014, ISBN 978-3-319-13517-5 [contents]- 8901Gopal Gupta, Ricardo Peña:
Logic-Based Program Synthesis and Transformation, 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8901, Springer 2014, ISBN 978-3-319-14124-4 [contents] - 8902Martín Abadi, Alberto Lluch-Lafuente:
Trustworthy Global Computing - 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8358, Springer 2014, ISBN 978-3-319-05118-5 [contents] - 8903Silvia Miksch, David Riaño, Annette ten Teije:
Knowledge Representation for Health Care - 6th International Workshop, KR4HC 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 21, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8903, Springer 2014, ISBN 978-3-319-13280-8 [contents] - 8904Raghunath Nambiar, Meikel Poess:
Performance Characterization and Benchmarking. Traditional to Big Data - 6th TPC Technology Conference, TPCTC 2014, Hangzhou, China, September 1-5, 2014. Revised Selected Papers. Lecture Notes in Computer Science 8904, Springer 2015, ISBN 978-3-319-15349-0 [contents] - 8905Mitsuko Aramaki, Olivier Derrien, Richard Kronland-Martinet, Sølvi Ystad:
Sound, Music, and Motion - 10th International Symposium, CMMR 2013, Marseille, France, October 15-18, 2013. Revised Selected Papers. Lecture Notes in Computer Science 8905, Springer 2014, ISBN 978-3-319-12975-4 [contents] - 8906Jan Hodický:
Modelling and Simulation for Autonomous Systems, First International Workshop, MESAS 2014, Rome, Italy, May 5-6, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8906, Springer 2014, ISBN 978-3-319-13822-0 [contents] - 8907Florin Pop, Maria Potop-Butucaru:
Adaptive Resource Management and Scheduling for Cloud Computing - First International Workshop, ARMS-CC 2014, held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2014, Paris, France, July 15, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8907, Springer 2014, ISBN 978-3-319-13463-5 [contents] - 8908Hugo Plácido da Silva, Andreas Holzinger, Stephen H. Fairclough, Dennis Majoe:
Physiological Computing Systems - First International Conference, PhyCS 2014, Lisbon, Portugal, January 7-9, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8908, Springer 2014, ISBN 978-3-662-45685-9 [contents] - 8909Kyung Hyune Rhee, Jeong Hyun Yi:
Information Security Applications - 15th International Workshop, WISA 2014, Jeju Island, Korea, August 25-27, 2014. Revised Selected Papers. Lecture Notes in Computer Science 8909, Springer 2015, ISBN 978-3-319-15086-4 [contents] - 8910Maciej Koutny, Serge Haddad, Alex Yakovlev:
Transactions on Petri Nets and Other Models of Concurrency IX. Lecture Notes in Computer Science 8910, Springer 2014, ISBN 978-3-662-45729-0 [contents] - 8911Marina L. Gavrilova, C. J. Kenneth Tan, Himanshu Thapliyal, Nagarajan Ranganathan:
Transactions on Computational Science XXIV - Special Issue on Reversible Computing. Lecture Notes in Computer Science 8911, Springer 2014, ISBN 978-3-662-45710-8 [contents] - 8912Qiang Ji, Thomas B. Moeslund, Gang Hua, Kamal Nasrollahi:
Face and Facial Expression Recognition from Real World Videos - International Workshop, FFER@ICPR 2014, Stockholm, Sweden, August 24, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8912, Springer 2015, ISBN 978-3-319-13736-0 [contents] - 8913Rachid Guerraoui, Paolo Romano:
Transactional Memory. Foundations, Algorithms, Tools, and Applications - COST Action Euro-TM IC1001. Lecture Notes in Computer Science 8913, Springer 2015, ISBN 978-3-319-14719-2 [contents] - 8914Jörn Altmann, Kurt Vanmechelen, Omer F. Rana:
Economics of Grids, Clouds, Systems, and Services - 11th International Conference, GECON 2014, Cardiff, UK, September 16-18, 2014. Revised Selected Papers. Lecture Notes in Computer Science 8914, Springer 2014, ISBN 978-3-319-14608-9 [contents] - 8915Utpal Garain, Faisal Shafait:
Computational Forensics - 5th International Workshop, IWCF 2012, Tsukuba, Japan, November 11, 2012 and 6th International Workshop, IWCF 2014, Stockholm, Sweden, August 24, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8915, Springer 2015, ISBN 978-3-319-20124-5 [contents] - 8916Shin-Ming Cheng, Min-Yuh Day:
Technologies and Applications of Artificial Intelligence, 19th International Conference, TAAI 2014, Taipei, Taiwan, November 21-23, 2014. Proceedings. Lecture Notes in Computer Science 8916, Springer 2014, ISBN 978-3-319-13986-9 [contents] - 8917Aurélio J. C. Campilho, Mohamed S. Kamel:
Image Analysis and Recognition - 11th International Conference, ICIAR 2014, Vilamoura, Portugal, October 22-24, 2014, Proceedings, Part I. Lecture Notes in Computer Science 8814, Springer 2014, ISBN 978-3-319-11757-7 [contents] - 8918Aurélio J. C. Campilho, Mohamed S. Kamel:
Image Analysis and Recognition - 11th International Conference, ICIAR 2014, Vilamoura, Portugal, October 22-24, 2014, Proceedings, Part II. Lecture Notes in Computer Science 8815, Springer 2014, ISBN 978-3-319-11754-6 [contents] - 8919Ina Schaefer, Ioannis Stamelos:
Software Reuse for Dynamic Systems in the Cloud and Beyond - 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings. Lecture Notes in Computer Science 8919, Springer 2014, ISBN 978-3-319-14129-9 [contents] - 8920Abdelkader Hameurlain, Josef Küng, Roland R. Wagner, Barbara Catania, Giovanna Guerrini, Themis Palpanas, Jaroslav Pokorný, Athena Vakali:
Transactions on Large-Scale Data- and Knowledge-Centered Systems XV - Selected Papers from ADBIS 2013 Satellite Events. Lecture Notes in Computer Science 8920, Springer 2014, ISBN 978-3-662-45760-3 [contents] - 8921Arun Jagatheesan, Justin J. Levandoski, Thomas Neumann, Andrew Pavlo:
In Memory Data Management and Analysis - First and Second International Workshops, IMDM 2013, Riva del Garda, Italy, August 26, 2013, IMDM 2014, Hongzhou, China, September 1, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8921, Springer 2015, ISBN 978-3-319-13959-3 [contents] - 8922Xinchun Su, Tingting He:
Chinese Lexical Semantics - 15th Workshop, CLSW 2014, Macao, China, June 9-12, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8922, Springer 2014, ISBN 978-3-319-14330-9 [contents] - 8923Mohua Banerjee, Shankara Narayanan Krishna:
Logic and Its Applications - 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings. Lecture Notes in Computer Science 8923, Springer 2015, ISBN 978-3-662-45823-5 [contents] - 8924Javier López, Indrajit Ray, Bruno Crispo:
Risks and Security of Internet and Systems - 9th International Conference, CRiSIS 2014, Trento, Italy, August 27-29, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8924, Springer 2015, ISBN 978-3-319-17126-5 [contents] - 8925Lourdes Agapito, Michael M. Bronstein, Carsten Rother:
Computer Vision - ECCV 2014 Workshops - Zurich, Switzerland, September 6-7 and 12, 2014, Proceedings, Part I. Lecture Notes in Computer Science 8925, Springer 2015, ISBN 978-3-319-16177-8 [contents] - 8926Lourdes Agapito, Michael M. Bronstein, Carsten Rother:
Computer Vision - ECCV 2014 Workshops - Zurich, Switzerland, September 6-7 and 12, 2014, Proceedings, Part II. Lecture Notes in Computer Science 8926, Springer 2015, ISBN 978-3-319-16180-8 [contents] - 8927Lourdes Agapito, Michael M. Bronstein, Carsten Rother:
Computer Vision - ECCV 2014 Workshops - Zurich, Switzerland, September 6-7 and 12, 2014, Proceedings, Part III. Lecture Notes in Computer Science 8927, Springer 2015, ISBN 978-3-319-16198-3 [contents] - 8928Lourdes Agapito, Michael M. Bronstein, Carsten Rother:
Computer Vision - ECCV 2014 Workshops - Zurich, Switzerland, September 6-7 and 12, 2014, Proceedings, Part IV. Lecture Notes in Computer Science 8928, Springer 2015, ISBN 978-3-319-16219-5 [contents] - 8929Pompeu Casanovas, Ugo Pagallo, Monica Palmirani, Giovanni Sartor:
AI Approaches to the Complexity of Legal Systems - AICOL 2013 International Workshops, AICOL-IV@IVR, Belo Horizonte, Brazil, July 21-27, 2013 and AICOL-V@SINTELNET-JURIX, Bologna, Italy, December 11, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8929, Springer 2014, ISBN 978-3-662-45959-1 [contents] - 8930Frédéric Cuppens, Joaquín García-Alfaro, Nur Zincir-Heywood, Philip W. L. Fong:
Foundations and Practice of Security - 7th International Symposium, FPS 2014, Montreal, QC, Canada, November 3-5, 2014. Revised Selected Papers. Lecture Notes in Computer Science 8930, Springer 2015, ISBN 978-3-319-17039-8 [contents] - 8931Deepak D'Souza, Akash Lal, Kim Guldstrand Larsen:
Verification, Model Checking, and Abstract Interpretation - 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings. Lecture Notes in Computer Science 8931, Springer 2014, ISBN 978-3-662-46080-1 [contents] - 8932Xue-Cheng Tai, Egil Bae, Tony F. Chan, Marius Lysaker:
Energy Minimization Methods in Computer Vision and Pattern Recognition - 10th International Conference, EMMCVPR 2015, Hong Kong, China, January 13-16, 2015. Proceedings. Lecture Notes in Computer Science 8932, Springer 2015, ISBN 978-3-319-14611-9 [contents] - 8933Xudong Luo, Jeffrey Xu Yu, Zhi Li:
Advanced Data Mining and Applications - 10th International Conference, ADMA 2014, Guilin, China, December 19-21, 2014. Proceedings. Lecture Notes in Computer Science 8933, Springer 2014, ISBN 978-3-319-14716-1 [contents] - 8934Petr Hlinený, Zdenek Dvorák, Jirí Jaros, Jan Kofron, Jan Korenek, Petr Matula, Karel Pala:
Mathematical and Engineering Methods in Computer Science - 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17-19, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8934, Springer 2014, ISBN 978-3-319-14895-3 [contents] - 8935Xiangjian He, Suhuai Luo, Dacheng Tao, Changsheng Xu, Jie Yang, Muhammad Abul Hasan:
MultiMedia Modeling - 21st International Conference, MMM 2015, Sydney, NSW, Australia, January 5-7, 2015, Proceedings, Part I. Lecture Notes in Computer Science 8935, Springer 2015, ISBN 978-3-319-14444-3 [contents] - 8936Xiangjian He, Suhuai Luo, Dacheng Tao, Changsheng Xu, Jie Yang, Muhammad Abul Hasan:
MultiMedia Modeling - 21st International Conference, MMM 2015, Sydney, NSW, Australia, January 5-7, 2015, Proceedings, Part II. Lecture Notes in Computer Science 8936, Springer 2015, ISBN 978-3-319-14441-2 [contents] - 8937Massimo Felici, M. Carmen Fernández Gago:
Accountability and Security in the Cloud - First Summer School, Cloud Accountability Project, A4Cloud, Malaga, Spain, June 2-6, 2014. Revised Selected Papers and Lectures. Lecture Notes in Computer Science 8937, Springer 2015, ISBN 978-3-319-17198-2 [contents] - 8938Carlos Canal, Akram Idani:
Software Engineering and Formal Methods - SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8938, Springer 2015, ISBN 978-3-319-15200-4 [contents] - 8939Giuseppe F. Italiano, Tiziana Margaria-Steffen, Jaroslav Pokorný, Jean-Jacques Quisquater, Roger Wattenhofer:
SOFSEM 2015: Theory and Practice of Computer Science - 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015. Proceedings. Lecture Notes in Computer Science 8939, Springer 2015, ISBN 978-3-662-46077-1 [contents] - 8940Martin Atzmueller, Alvin Chin, Christoph Scholz, Christoph Trattner:
Mining, Modeling, and Recommending 'Things' in Social Media - 4th International Workshops, MUSE 2013, Prague, Czech Republic, September 23, 2013, and MSM 2013, Paris, France, May 1, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8940, Springer 2015, ISBN 978-3-319-14722-2 [contents] - 8941Christiano Braga, Narciso Martí-Oliet:
Formal Methods: Foundations and Applications - 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29-October 1, 2014. Proceedings. Lecture Notes in Computer Science 8941, Springer 2015, ISBN 978-3-319-15074-1 [contents] - 8942Jaime Gutierrez, Josef Schicho, Martin Weimann:
Computer Algebra and Polynomials - Applications of Algebra and Number Theory. Lecture Notes in Computer Science 8942, Springer 2015, ISBN 978-3-319-15080-2 [contents] - 8943Thepchai Supnithi, Takahira Yamaguchi, Jeff Z. Pan, Vilas Wuwongse, Marut Buranarach:
Semantic Technology - 4th Joint International Conference, JIST 2014, Chiang Mai, Thailand, November 9-11, 2014. Revised Selected Papers. Lecture Notes in Computer Science 8943, Springer 2015, ISBN 978-3-319-15614-9 [contents] - 8944Qiaohong Zu, Bo Hu, Ning Gu, Sopheap Seng:
Human Centered Computing - First International Conference, HCC 2014, Phnom Penh, Cambodia, November 27-29, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8944, Springer 2015, ISBN 978-3-319-15553-1 [contents] - 8945Sonja Klingert, Marta Chinnici, Milagros Rey Porto:
Energy Efficient Data Centers - Third International Workshop, E2DC 2014, Cambridge, UK, June 10, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8945, Springer 2015, ISBN 978-3-319-15785-6 [contents] - 8946Béatrice Duval, H. Jaap van den Herik, Stéphane Loiseau, Joaquim Filipe:
Agents and Artificial Intelligence - 6th International Conference, ICAART 2014, Angers, France, March 6-8, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8946, Springer 2015, ISBN 978-3-319-25209-4 [contents] - 8947Bijaya Ketan Panigrahi, Ponnuthurai Nagaratnam Suganthan, Swagatam Das:
Swarm, Evolutionary, and Memetic Computing - 5th International Conference, SEMCCO 2014, Bhubaneswar, India, December 18-20, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8947, Springer 2015, ISBN 978-3-319-20293-8 [contents] - 8948Yun Q. Shi:
Transactions on Data Hiding and Multimedia Security X. Lecture Notes in Computer Science 8948, Springer 2015, ISBN 978-3-662-46738-1 [contents] - 8949Jooyoung Lee, Jongsung Kim:
Information Security and Cryptology - ICISC 2014 - 17th International Conference, Seoul, Korea, December 3-5, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8949, Springer 2015, ISBN 978-3-319-15942-3 [contents] - 8950Rocco De Nicola, Rolf Hennicker:
Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering. Lecture Notes in Computer Science 8950, Springer 2015, ISBN 978-3-319-15544-9 [contents] - 8951Harald Atmanspacher, Claudia Bergomi, Thomas Filk, Kirsty Kitto:
Quantum Interaction - 8th International Conference, QI 2014, Filzbach, Switzerland, June 30 - July 3, 2014. Revised Selected Papers. Lecture Notes in Computer Science 8951, Springer 2015, ISBN 978-3-319-15930-0 [contents] - 8952Evripidis Bampis, Ola Svensson:
Approximation and Online Algorithms - 12th International Workshop, WAOA 2014, Wrocław, Poland, September 11-12, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8952, Springer 2015, ISBN 978-3-319-18262-9 [contents] - 8953Nils Bulling:
Multi-Agent Systems - 12th European Conference, EUMAS 2014, Prague, Czech Republic, December 18-19, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8953, Springer 2015, ISBN 978-3-319-17129-6 [contents] - 8954Farouk Toumani, Barbara Pernici, Daniela Grigori, Djamal Benslimane, Jan Mendling, Nejib Ben Hadj-Alouane, M. Brian Blake, Olivier Perrin, Iman Saleh, Sami Bhiri:
Service-Oriented Computing - ICSOC 2014 Workshops - WESOA; SeMaPS, RMSOC, KASA, ISC, FOR-MOVES, CCSA and Satellite Events, Paris, France, November 3-6, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8954, Springer 2015, ISBN 978-3-319-22884-6 [contents] - 8955Stephan K. Chalup, Alan D. Blair, Marcus Randall:
Artificial Life and Computational Intelligence - First Australasian Conference, ACALCI 2015, Newcastle, NSW, Australia, February 5-7, 2015. Proceedings. Lecture Notes in Computer Science 8955, Springer 2015, ISBN 978-3-319-14802-1 [contents] - 8956Raja Natarajan, Gautam Barua, Manas Ranjan Patra:
Distributed Computing and Internet Technology - 11th International Conference, ICDCIT 2015, Bhubaneswar, India, February 5-8, 2015. Proceedings. Lecture Notes in Computer Science 8956, Springer 2015, ISBN 978-3-319-14976-9 [contents] - 8957Dongdai Lin, Moti Yung, Jianying Zhou:
Information Security and Cryptology - 10th International Conference, Inscrypt 2014, Beijing, China, December 13-15, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8957, Springer 2015, ISBN 978-3-319-16744-2 [contents] - 8958Lucas Chi Kwong Hui, S. H. Qing, Elaine Shi, Siu-Ming Yiu:
Information and Communications Security - 16th International Conference, ICICS 2014, Hong Kong, China, December 16-17, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8958, Springer 2015, ISBN 978-3-319-21965-3 [contents] - 8959Sumit Ganguly, Ramesh Krishnamurti:
Algorithms and Discrete Applied Mathematics - First International Conference, CALDAM 2015, Kanpur, India, February 8-10, 2015. Proceedings. Lecture Notes in Computer Science 8959, Springer 2015, ISBN 978-3-319-14973-8 [contents] - 8960Abdelkader Hameurlain, Josef Küng, Roland R. Wagner, Tran Khanh Dang, Nam Thoai:
Transactions on Large-Scale Data- and Knowledge-Centered Systems XVI - Selected Papers from ACOMP 2013. Lecture Notes in Computer Science 8960, Springer 2014, ISBN 978-3-662-45946-1 [contents] - 8961Marian Gheorghe, Grzegorz Rozenberg, Arto Salomaa, Petr Sosík, Claudio Zandron:
Membrane Computing - 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8961, Springer 2014, ISBN 978-3-319-14369-9 [contents] - 8962Ivan Dimov, Stefka Fidanova, Ivan Lirkov:
Numerical Methods and Applications - 8th International Conference, NMA 2014, Borovets, Bulgaria, August 20-24, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8962, Springer 2015, ISBN 978-3-319-15584-5 [contents] - 8963David A. Naumann:
Unifying Theories of Programming - 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8963, Springer 2015, ISBN 978-3-319-14805-2 [contents] - 8964Sai Ravela, Adrian Sandu:
Dynamic Data-Driven Environmental Systems Science - First International Conference, DyDESS 2014, Cambridge, MA, USA, November 5-7, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8964, Springer 2015, ISBN 978-3-319-25137-0 [contents] - 8965Tarek F. Abdelzaher, Nuno Pereira, Eduardo Tovar:
Wireless Sensor Networks - 12th European Conference, EWSN 2015, Porto, Portugal, February 9-11, 2015. Proceedings. Lecture Notes in Computer Science 8965, Springer 2015, ISBN 978-3-319-15581-4 [contents] - 8966Stephen A. Jarvis, Steven A. Wright, Simon D. Hammond:
High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation - 5th International Workshop, PMBS 2014, New Orleans, LA, USA, November 16, 2014. Revised Selected Papers. Lecture Notes in Computer Science 8966, Springer 2015, ISBN 978-3-319-17247-7 [contents] - 8967James C. Brodman, Peng Tu:
Languages and Compilers for Parallel Computing - 27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8967, Springer 2015, ISBN 978-3-319-17472-3 [contents] - 8968Marc Joye, Amir Moradi:
Smart Card Research and Advanced Applications - 13th International Conference, CARDIS 2014, Paris, France, November 5-7, 2014. Revised Selected Papers. Lecture Notes in Computer Science 8968, Springer 2015, ISBN 978-3-319-16762-6 [contents] - 8969Michel J. Daydé, Osni Marques, Kengo Nakajima:
High Performance Computing for Computational Science - VECPAR 2014 - 11th International Conference, Eugene, OR, USA, June 30 - July 3, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8969, Springer 2015, ISBN 978-3-319-17352-8 [contents] - 8970Abdelkader Hameurlain, Josef Küng, Roland R. Wagner, Ladjel Bellatreche, Mukesh K. Mohania:
Transactions on Large-Scale Data- and Knowledge-Centered Systems XVII - Selected Papers from DaWaK 2013. Lecture Notes in Computer Science 8970, Springer 2015, ISBN 978-3-662-46334-5 [contents] - 8971Zhigeng Pan, Adrian David Cheok, Wolfgang Müller, Mingmin Zhang:
Transactions on Edutainment XI. Lecture Notes in Computer Science 8971, Springer 2015, ISBN 978-3-662-48246-9 [contents] - 8972Johan van Benthem, Sujata Ghosh, Rineke Verbrugge:
Models of Strategic Reasoning - Logics, Games, and Communities. Lecture Notes in Computer Science 8972, Springer 2015, ISBN 978-3-662-48539-2 [contents] - 8973M. Sohel Rahman, Etsuji Tomita:
WALCOM: Algorithms and Computation - 9th International Workshop, WALCOM 2015, Dhaka, Bangladesh, February 26-28, 2015. Proceedings. Lecture Notes in Computer Science 8973, Springer 2015, ISBN 978-3-319-15611-8 [contents] - 8974Andrei Voronkov, Irina B. Virbitskaite:
Perspectives of System Informatics - 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers. Lecture Notes in Computer Science 8974, Springer 2015, ISBN 978-3-662-46822-7 [contents] - 8975Rainer Böhme, Tatsuaki Okamoto:
Financial Cryptography and Data Security - 19th International Conference, FC 2015, San Juan, Puerto Rico, January 26-30, 2015, Revised Selected Papers. Lecture Notes in Computer Science 8975, Springer 2015, ISBN 978-3-662-47853-0 [contents] - 8976Michael Brenner, Nicolas Christin, Benjamin Johnson, Kurt Rohloff:
Financial Cryptography and Data Security - FC 2015 International Workshops, BITCOIN, WAHC, and Wearable, San Juan, Puerto Rico, January 30, 2015, Revised Selected Papers. Lecture Notes in Computer Science 8976, Springer 2015, ISBN 978-3-662-48050-2 [contents] - 8977Adrian-Horia Dediu, Enrico Formenti, Carlos Martín-Vide, Bianca Truthe:
Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings. Lecture Notes in Computer Science 8977, Springer 2015, ISBN 978-3-319-15578-4 [contents] - 8978Frank Piessens, Juan Caballero, Nataliia Bielova:
Engineering Secure Software and Systems - 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015. Proceedings. Lecture Notes in Computer Science 8978, Springer 2015, ISBN 978-3-319-15617-0 [contents] - 8979Shaoying Liu, Zhenhua Duan:
Structured Object-Oriented Formal Language and Method - 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8979, Springer 2015, ISBN 978-3-319-17403-7 [contents] - 8980Abdelkader Hameurlain, Josef Küng, Roland R. Wagner, Hendrik Decker, Lenka Lhotská, Sebastian Link:
Transactions on Large-Scale Data- and Knowledge-Centered Systems XVIII - Special Issue on Database- and Expert-Systems Applications. Lecture Notes in Computer Science 8980, Springer 2015, ISBN 978-3-662-46484-7 [contents] - 8981Maurizio Proietti, Hirohisa Seki:
Logic-Based Program Synthesis and Transformation - 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers. Lecture Notes in Computer Science 8981, Springer 2015, ISBN 978-3-319-17821-9 [contents] - 8982Patrick Lambrix, Eero Hyvönen, Eva Blomqvist, Valentina Presutti, Guilin Qi, Uli Sattler, Ying Ding, Chiara Ghidini:
Knowledge Engineering and Knowledge Management - EKAW 2014 Satellite Events, VISUAL, EKM1, and ARCOE-Logic, Linköping, Sweden, November 24-28, 2014. Revised Selected Papers. Lecture Notes in Computer Science 8982, Springer 2015, ISBN 978-3-319-17965-0 [contents] - 8983Annalisa Appice, Michelangelo Ceci, Corrado Loglisci, Giuseppe Manco, Elio Masciari, Zbigniew W. Ras:
New Frontiers in Mining Complex Patterns - Third International Workshop, NFMCP 2014, Held in Conjunction with ECML-PKDD 2014, Nancy, France, September 19, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8983, Springer 2015, ISBN 978-3-319-17875-2 [contents] - 8984Martin Aher, Daniel Hole, Emil Jerábek, Clemens Kupke:
Logic, Language, and Computation - 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers. Lecture Notes in Computer Science 8984, Springer 2015, ISBN 978-3-662-46905-7 [contents] - 8985Christos G. Panayiotou, Georgios Ellinas, Elias Kyriakides, Marios M. Polycarpou:
Critical Information Infrastructures Security - 9th International Conference, CRITIS 2014, Limassol, Cyprus, October 13-15, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8985, Springer 2016, ISBN 978-3-319-31663-5 [contents] - 8986Jan Kratochvíl, Mirka Miller, Dalibor Froncek:
Combinatorial Algorithms - 25th International Workshop, IWOCA 2014, Duluth, MN, USA, October 15-17, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8986, Springer 2015, ISBN 978-3-319-19314-4 [contents] - 8987Bertrand Meyer, Martin Nordio:
Software Engineering - International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures. Lecture Notes in Computer Science 8987, Springer 2015, ISBN 978-3-319-28405-7 [contents] - 8988James F. Peters, Andrzej Skowron, Dominik Slezak, Hung Son Nguyen, Jan G. Bazan:
Transactions on Rough Sets XIX. Lecture Notes in Computer Science 8988, Springer 2015, ISBN 978-3-662-47814-1 [contents] - 8989Shigeru Chiba, Éric Tanter, Erik Ernst, Robert Hirschfeld:
Transactions on Aspect-Oriented Software Development XII. Lecture Notes in Computer Science 8989, Springer 2015, ISBN 978-3-662-46733-6 [contents] - 8990Abdelkader Hameurlain, Josef Küng, Roland R. Wagner, Devis Bianchini, Valeria De Antonellis, Roberto De Virgilio:
Transactions on Large-Scale Data- and Knowledge-Centered Systems XIX - Special Issue on Big Data and Open Data. Lecture Notes in Computer Science 8990, Springer 2015, ISBN 978-3-662-46561-5 [contents] - 8991Tilmann Rabl, Kai Sachs, Meikel Poess, Chaitanya K. Baru, Hans-Arno Jacobsen:
Big Data Benchmarking - 5th International Workshop, WBDB 2014, Potsdam, Germany, August 5-6, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8991, Springer 2015, ISBN 978-3-319-20232-7 [contents] - 8992Reinaldo A. C. Bianchi, H. Levent Akin, Subramanian Ramamoorthy, Komei Sugiura:
RoboCup 2014: Robot World Cup XVIII [papers from the 18th Annual RoboCup International Symposium, João Pessoa, Brazil, July 15. Lecture Notes in Computer Science 8992, Springer 2015, ISBN 978-3-319-18614-6 [contents] - 8993Asma Al-Saidi, Rudolf Fleischer, Zakaria Maamar, Omer F. Rana:
Intelligent Cloud Computing - First International Conference, ICC 2014, Muscat, Oman, February 24-26, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8993, Springer 2015, ISBN 978-3-319-19847-7 [contents] - 8994Clarisse Dhaenens, Laetitia Jourdan, Marie-Eléonore Marmion:
Learning and Intelligent Optimization - 9th International Conference, LION 9, Lille, France, January 12-15, 2015. Revised Selected Papers. Lecture Notes in Computer Science 8994, Springer 2015, ISBN 978-3-319-19083-9 [contents] - 8995Jelena Mirkovic, Yong Liu:
Passive and Active Measurement - 16th International Conference, PAM 2015, New York, NY, USA, March 19-20, 2015, Proceedings. Lecture Notes in Computer Science 8995, Springer 2015, ISBN 978-3-319-15508-1 [contents] - 8996Teijiro Isokawa, Katsunobu Imai, Nobuyuki Matsui, Ferdinand Peper, Hiroshi Umeo:
Cellular Automata and Discrete Complex Systems - 20th International Workshop, AUTOMATA 2014, Himeji, Japan, July 7-9, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8996, Springer 2015, ISBN 978-3-319-18811-9 [contents] - 8997Ivan Lanese, Eric Madelaine:
Formal Aspects of Component Software - 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8997, Springer 2015, ISBN 978-3-319-15316-2 [contents] - 8998Martin Wirsing, Matthias M. Hölzl, Nora Koch, Philip Mayer:
Software Engineering for Collective Autonomic Systems - The ASCENS Approach. Lecture Notes in Computer Science 8998, Springer 2015, ISBN 978-3-319-16309-3 [contents] - 8999Wanming Chu, Shinji Kikuchi, Subhash Bhalla:
Databases in Networked Information Systems - 10th International Workshop, DNIS 2015, Aizu-Wakamatsu, Japan, March 23-25, 2015. Proceedings. Lecture Notes in Computer Science 8999, Springer 2015, ISBN 978-3-319-16312-3 [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:
