default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLecture Notes in Computer Science (LNCS), Volumes 8000-8099
8000Val Tannen, Limsoon Wong, Leonid Libkin, Wenfei Fan
, Wang-Chiew Tan, Michael P. Fourman:
In Search of Elegance in the Theory and Practice of Computation - Essays Dedicated to Peter Buneman. Lecture Notes in Computer Science 8000, Springer 2013, ISBN 978-3-642-41659-0 [contents]- 8001Nachum Dershowitz, Ephraim Nissan:
Language, Culture, Computation. Computing - Theory and Technology - Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part I. Lecture Notes in Computer Science 8001, Springer 2014, ISBN 978-3-642-45320-5 [contents] - 8002Nachum Dershowitz, Ephraim Nissan:
Language, Culture, Computation. Computing of the Humanities, Law, and Narratives - Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part II. Lecture Notes in Computer Science 8002, Springer 2014, ISBN 978-3-642-45323-6 [contents] - 8003Nachum Dershowitz, Ephraim Nissan:
Language, Culture, Computation. Computing of the Humanities, Law, and Narratives - Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part III. Lecture Notes in Computer Science 8003, Springer 2014, ISBN 978-3-642-45326-7 [contents] - 8004Masaaki Kurosu:
Human-Computer Interaction. Human-Centred Design Approaches, Methods, Tools, and Environments - 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I. Lecture Notes in Computer Science 8004, Springer 2013, ISBN 978-3-642-39231-3 [contents] - 8005Masaaki Kurosu:
Human-Computer Interaction. Applications and Services - 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II. Lecture Notes in Computer Science 8005, Springer 2013, ISBN 978-3-642-39261-0 [contents] - 8006Masaaki Kurosu:
Human-Computer Interaction. Users and Contexts of Use - 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part III. Lecture Notes in Computer Science 8006, Springer 2013, ISBN 978-3-642-39264-1 [contents] - 8007Masaaki Kurosu:
Human-Computer Interaction. Interaction Modalities and Techniques - 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part IV. Lecture Notes in Computer Science 8007, Springer 2013, ISBN 978-3-642-39329-7 [contents] - 8008Masaaki Kurosu:
Human-Computer Interaction. Towards Intelligent and Implicit Interaction - 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part V. Lecture Notes in Computer Science 8008, Springer 2013, ISBN 978-3-642-39341-9 [contents] - 8009Constantine Stephanidis, Margherita Antona:
Universal Access in Human-Computer Interaction. User and Context Diversity - 7th International Conference, UAHCI 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I. Lecture Notes in Computer Science 8009, Springer 2013, ISBN 978-3-642-39188-0 [contents] - 8010Constantine Stephanidis, Margherita Antona:
Universal Access in Human-Computer Interaction. User and Context Diversity - 7th International Conference, UAHCI 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II. Lecture Notes in Computer Science 8010, Springer 2013, ISBN 978-3-642-39190-3 [contents] - 8011Constantine Stephanidis, Margherita Antona:
Universal Access in Human-Computer Interaction. Applications and Services for Quality of Life - 7th International Conference, UAHCI 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part III. Lecture Notes in Computer Science 8011, Springer 2013, ISBN 978-3-642-39193-4 [contents] - 8012Aaron Marcus:
Design, User Experience, and Usability. Design Philosophy, Methods, and Tools - Second International Conference, DUXU 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I. Lecture Notes in Computer Science 8012, Springer 2013, ISBN 978-3-642-39228-3 [contents] - 8013Aaron Marcus:
Design, User Experience, and Usability. Health, Learning, Playing, Cultural, and Cross-Cultural User Experience - Second International Conference, DUXU 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II. Lecture Notes in Computer Science 8013, Springer 2013, ISBN 978-3-642-39240-5 [contents] - 8014Aaron Marcus:
Design, User Experience, and Usability. User Experience in Novel Technological Environments - Second International Conference, DUXU 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part III. Lecture Notes in Computer Science 8014, Springer 2013, ISBN 978-3-642-39237-5 [contents] - 8015Aaron Marcus:
Design, User Experience, and Usability. Web, Mobile, and Product Design - Second International Conference, DUXU 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part IV. Lecture Notes in Computer Science 8015, Springer 2013, ISBN 978-3-642-39252-8 [contents] - 8016Sakae Yamamoto:
Human Interface and the Management of Information. Information and Interaction Design - 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I. Lecture Notes in Computer Science 8016, Springer 2013, ISBN 978-3-642-39208-5 [contents] - 8017Sakae Yamamoto:
Human Interface and the Management of Information. Information and Interaction for Health, Safety, Mobility and Complex Environments - 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II. Lecture Notes in Computer Science 8017, Springer 2013, ISBN 978-3-642-39214-6 [contents] - 8018Sakae Yamamoto:
Human Interface and the Management of Information. Information and Interaction for Learning, Culture, Collaboration and Business, - 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part III. Lecture Notes in Computer Science 8018, Springer 2013, ISBN 978-3-642-39225-2 [contents] - 8019Don Harris:
Engineering Psychology and Cognitive Ergonomics. Understanding Human Cognition - 10th International Conference, EPCE 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I. Lecture Notes in Computer Science 8019, Springer 2013, ISBN 978-3-642-39359-4 [contents] - 8020Don Harris:
Engineering Psychology and Cognitive Ergonomics. Applications and Services - 10th International Conference, EPCE 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II. Lecture Notes in Computer Science 8020, Springer 2013, ISBN 978-3-642-39353-2 [contents] - 8021Randall Shumaker:
Virtual Augmented and Mixed Reality. Designing and Developing Augmented and Virtual Environments - 5th International Conference, VAMR 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I. Lecture Notes in Computer Science 8021, Springer 2013, ISBN 978-3-642-39404-1 [contents] - 8022Randall Shumaker:
Virtual, Augmented and Mixed Reality. Systems and Applications - 5th International Conference, VAMR 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II. Lecture Notes in Computer Science 8022, Springer 2013, ISBN 978-3-642-39419-5 [contents] - 8023Pei-Luen Patrick Rau:
Cross-Cultural Design. Methods, Practice, and Case Studies - 5th International Conference, CCD 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I. Lecture Notes in Computer Science 8023, Springer 2013, ISBN 978-3-642-39142-2 [contents] - 8024Pei-Luen Patrick Rau:
Cross-Cultural Design. Cultural Differences in Everyday Life - 5th International Conference, CCD 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II. Lecture Notes in Computer Science 8024, Springer 2013, ISBN 978-3-642-39136-1 [contents] - 8025Vincent G. Duffy:
Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management. Healthcare and Safety of the Environment and Transport - 4th International Conference, DHM 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I. Lecture Notes in Computer Science 8025, Springer 2013, ISBN 978-3-642-39172-9 [contents] - 8026Vincent G. Duffy:
Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management. Human Body Modeling and Ergonomics - 4th International Conference, DHM 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II. Lecture Notes in Computer Science 8026, Springer 2013, ISBN 978-3-642-39181-1 [contents] - 8027Dylan Schmorrow, Cali M. Fidopiastis:
Foundations of Augmented Cognition - 7th International Conference, AC 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013. Proceedings. Lecture Notes in Computer Science 8027, Springer 2013, ISBN 978-3-642-39453-9 [contents] - 8028Norbert A. Streitz, Constantine Stephanidis:
Distributed, Ambient, and Pervasive Interactions - First International Conference, DAPI 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013. Proceedings. Lecture Notes in Computer Science 8028, Springer 2013, ISBN 978-3-642-39350-1 [contents] - 8029A. Ant Ozok, Panayiotis Zaphiris:
Online Communities and Social Computing - 5th International conference, OCSC 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013. Proceedings. Lecture Notes in Computer Science 8029, Springer 2013, ISBN 978-3-642-39370-9 [contents] - 8030Louis Marinos, Ioannis G. Askoxylakis:
Human Aspects of Information Security, Privacy, and Trust - First International Conference, HAS 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013. Proceedings. Lecture Notes in Computer Science 8030, Springer 2013, ISBN 978-3-642-39344-0 [contents] - 8031Helmut Jürgensen, Rogério Reis:
Descriptional Complexity of Formal Systems - 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings. Lecture Notes in Computer Science 8031, Springer 2013, ISBN 978-3-642-39309-9 [contents] - 8032Zengchang Qin, Van-Nam Huynh:
Integrated Uncertainty in Knowledge Modelling and Decision Making - International Symposium, IUKM 2013, Beijing, China, July 12-14, 2013. Proceedings. Lecture Notes in Computer Science 8032, Springer 2013, ISBN 978-3-642-39514-7 [contents] - 8033George Bebis, Richard Boyle, Bahram Parvin, Darko Koracin, Baoxin Li, Fatih Porikli, Victor B. Zordan, James T. Klosowski, Sabine Coquillart, Xun Luo, Min Chen, David Gotz:
Advances in Visual Computing - 9th International Symposium, ISVC 2013, Rethymnon, Crete, Greece, July 29-31, 2013. Proceedings, Part I. Lecture Notes in Computer Science 8033, Springer 2013, ISBN 978-3-642-41913-3 [contents] - 8034George Bebis, Richard Boyle, Bahram Parvin, Darko Koracin, Baoxin Li, Fatih Porikli, Victor B. Zordan, James T. Klosowski, Sabine Coquillart, Xun Luo, Min Chen, David Gotz:
Advances in Visual Computing - 9th International Symposium, ISVC 2013, Rethymnon, Crete, Greece, July 29-31, 2013. Proceedings, Part II. Lecture Notes in Computer Science 8034, Springer 2013, ISBN 978-3-642-41938-6 [contents] - 8035Leora Morgenstern, Petros S. Stefaneas, François Lévy, Adam Z. Wyner, Adrian Paschke:
Theory, Practice, and Applications of Rules on the Web - 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings. Lecture Notes in Computer Science 8035, Springer 2013, ISBN 978-3-642-39616-8 [contents] - 8036Glyn Morrill, Mark-Jan Nederhof:
Formal Grammar - 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, Düsseldorf, Germany, August 2013. Proceedings. Lecture Notes in Computer Science 8036, Springer 2013, ISBN 978-3-642-39997-8 [contents] - 8037Frank Dehne, Roberto Solis-Oba, Jörg-Rüdiger Sack:
Algorithms and Data Structures - 13th International Symposium, WADS 2013, London, ON, Canada, August 12-14, 2013. Proceedings. Lecture Notes in Computer Science 8037, Springer 2013, ISBN 978-3-642-40103-9 [contents] - 8038Simon K. S. Cheung, Joseph Fong, Wilfred Fong, Fu Lee Wang, Lam For Kwok:
Hybrid Learning and Continuing Education - 6th International Conference, ICHL 2013, Toronto, ON, Canada, August 12-14, 2013. Proceedings. Lecture Notes in Computer Science 8038, Springer 2013, ISBN 978-3-642-39749-3 [contents] - 8039G. Alan Wang, Xiaolong Zheng, Michael Chau, Hsinchun Chen:
Intelligence and Security Informatics - Pacific Asia Workshop, PAISI 2013, Beijing, China, August 3, 2013. Proceedings. Lecture Notes in Computer Science 8039, Springer 2013, ISBN 978-3-642-39692-2 [contents] - 8040Daniel Zeng, Christopher C. Yang, Vincent S. Tseng, Chunxiao Xing, Hsinchun Chen, Fei-Yue Wang, Xiaolong Zheng:
Smart Health - International Conference, ICSH 2013, Beijing, China, August 3-4, 2013. Proceedings. Lecture Notes in Computer Science 8040, Springer 2013, ISBN 978-3-642-39843-8 [contents] - 8041Mingzheng Wang:
Knowledge Science, Engineering and Management - 6th International Conference, KSEM 2013, Dalian, China, August 10-12, 2013. Proceedings. Lecture Notes in Computer Science 8041, Springer 2013, ISBN 978-3-642-39786-8 [contents] - 8042Ran Canetti, Juan A. Garay:
Advances in Cryptology - CRYPTO 2013 - 33rd Annual Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2013. Proceedings, Part I. Lecture Notes in Computer Science 8042, Springer 2013, ISBN 978-3-642-40040-7 [contents] - 8043Ran Canetti, Juan A. Garay:
Advances in Cryptology - CRYPTO 2013 - 33rd Annual Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2013. Proceedings, Part II. Lecture Notes in Computer Science 8043, Springer 2013, ISBN 978-3-642-40083-4 [contents] - 8044Natasha Sharygina, Helmut Veith:
Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings. Lecture Notes in Computer Science 8044, Springer 2013, ISBN 978-3-642-39798-1 [contents] - 8045Roderick Murray-Smith:
Mobile Social Signal Processing - First International Workshop, MSSP 2010, Lisbon, Portugal, September 7, 2010, Invited Papers. Lecture Notes in Computer Science 8045, Springer 2014, ISBN 978-3-642-54324-1 [contents] - 8046Jean-Marc Pierson, Georges Da Costa, Lars Dittmann:
Energy Efficiency in Large Scale Distributed Systems - COST IC0804 European Conference, EE-LSDS 2013, Vienna, Austria, April 22-24, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8046, Springer 2013, ISBN 978-3-642-40516-7 [contents] - 8047Richard C. Wilson, Edwin R. Hancock, Adrian G. Bors, William A. P. Smith:
Computer Analysis of Images and Patterns - 15th International Conference, CAIP 2013, York, UK, August 27-29, 2013, Proceedings, Part I. Lecture Notes in Computer Science 8047, Springer 2013, ISBN 978-3-642-40260-9 [contents] - 8048Richard C. Wilson, Edwin R. Hancock, Adrian G. Bors, William A. P. Smith:
Computer Analysis of Images and Patterns - 15th International Conference, CAIP 2013, York, UK, August 27-29, 2013, Proceedings, Part II. Lecture Notes in Computer Science 8048, Springer 2013, ISBN 978-3-642-40245-6 [contents] - 8049Zhiming Liu, Jim Woodcock, Huibiao Zhu:
Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings. Lecture Notes in Computer Science 8049, Springer 2013, ISBN 978-3-642-39717-2 [contents] - 8050Zhiming Liu, Jim Woodcock, Huibiao Zhu:
Unifying Theories of Programming and Formal Engineering Methods - International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures. Lecture Notes in Computer Science 8050, Springer 2013, ISBN 978-3-642-39720-2 [contents] - 8051Zhiming Liu, Jim Woodcock, Huibiao Zhu:
Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday. Lecture Notes in Computer Science 8051, Springer 2013, ISBN 978-3-642-39697-7 [contents] - 8052Pedro R. D'Argenio, Hernán C. Melgratti:
CONCUR 2013 - Concurrency Theory - 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings. Lecture Notes in Computer Science 8052, Springer 2013, ISBN 978-3-642-40183-1 [contents] - 8053Víctor A. Braberman, Laurent Fribourg:
Formal Modeling and Analysis of Timed Systems - 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings. Lecture Notes in Computer Science 8053, Springer 2013, ISBN 978-3-642-40228-9 [contents] - 8054Kaustubh R. Joshi, Markus Siegle, Mariëlle Stoelinga, Pedro R. D'Argenio:
Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings. Lecture Notes in Computer Science 8054, Springer 2013, ISBN 978-3-642-40195-4 [contents] - 8055Hendrik Decker, Lenka Lhotská, Sebastian Link, Josef Basl, A Min Tjoa:
Database and Expert Systems Applications - 24th International Conference, DEXA 2013, Prague, Czech Republic, August 26-29, 2013. Proceedings, Part I. Lecture Notes in Computer Science 8055, Springer 2013, ISBN 978-3-642-40284-5 [contents] - 8056Hendrik Decker, Lenka Lhotská, Sebastian Link, Josef Basl, A Min Tjoa:
Database and Expert Systems Applications - 24th International Conference, DEXA 2013, Prague, Czech Republic, August 26-29, 2013. Proceedings, Part II. Lecture Notes in Computer Science 8056, Springer 2013, ISBN 978-3-642-40172-5 [contents] - 8057Ladjel Bellatreche, Mukesh K. Mohania:
Data Warehousing and Knowledge Discovery - 15th International Conference, DaWaK 2013, Prague, Czech Republic, August 26-29, 2013. Proceedings. Lecture Notes in Computer Science 8057, Springer 2013, ISBN 978-3-642-40130-5 [contents] - 8058Steven Furnell, Costas Lambrinoudakis, Javier López:
Trust, Privacy, and Security in Digital Business - 10th International Conference, TrustBus 2013, Prague, Czech Republic, August 28-29, 2013. Proceedings. Lecture Notes in Computer Science 8058, Springer 2013, ISBN 978-3-642-40342-2 [contents] - 8059Abdelkader Hameurlain, J. Wenny Rahayu, David Taniar:
Data Management in Cloud, Grid and P2P Systems - 6th International Conference, Globe 2013, Prague, Czech Republic, August 28-29, 2013. Proceedings. Lecture Notes in Computer Science 8059, Springer 2013, ISBN 978-3-642-40052-0 [contents] - 8060Miroslav Bursa, Sami Khuri, M. Elena Renda:
Information Technology in Bio- and Medical Informatics - 4th International Conference, ITBAM 2013, Prague, Czech Republic, August 28, 2013. Proceedings. Lecture Notes in Computer Science 8060, Springer 2013, ISBN 978-3-642-40092-6 [contents] - 8061Andrea Ko, Christine Leitner, Herbert Leitold, Alexander Prosser:
Technology-Enabled Innovation for Democracy, Government and Governance - Second Joint International Conference on Electronic Government and the Information Systems Perspective, and Electronic Democracy, EGOVIS/EDEM 2013, Prague, Czech Republic, August 26-28, 2013, Proceedings. Lecture Notes in Computer Science 8061, Springer 2013, ISBN 978-3-642-40159-6 [contents] - 8062Vladimír Marík, Jose L. Martinez Lastra, Petr Skobelev:
Industrial Applications of Holonic and Multi-Agent Systems - 6th International Conference, HoloMAS 2013, Prague, Czech Republic, August 26-28, 2013. Proceedings. Lecture Notes in Computer Science 8062, Springer 2013, ISBN 978-3-642-40089-6 [contents] - 8063João Lourenço, Eitan Farchi:
Multicore Software Engineering, Performance, and Tools - International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings. Lecture Notes in Computer Science 8063, Springer 2013, ISBN 978-3-642-39954-1 [contents] - 8064Nathan F. Lepora, Anna Mura, Holger G. Krapp, Paul F. M. J. Verschure, Tony J. Prescott:
Biomimetic and Biohybrid Systems - Second International Conference, Living Machines 2013, London, UK, July 29 - August 2, 2013. Proceedings. Lecture Notes in Computer Science 8064, Springer 2013, ISBN 978-3-642-39801-8 [contents] - 8065Ngoc Thanh Nguyen:
Transactions on Computational Collective Intelligence XI. Lecture Notes in Computer Science 8065, Springer 2013, ISBN 978-3-642-41775-7 [contents] - 8066Andrej Brodnik, Alejandro López-Ortiz, Venkatesh Raman, Alfredo Viola:
Space-Efficient Data Structures, Streams, and Algorithms - Papers in Honor of J. Ian Munro on the Occasion of His 66th Birthday. Lecture Notes in Computer Science 8066, Springer 2013, ISBN 978-3-642-40272-2 [contents] - 8067Sebastian Rudolph, Georg Gottlob, Ian Horrocks, Frank van Harmelen:
Reasoning Web. Semantic Technologies for Intelligent Data Access - 9th International Summer School 2013, Mannheim, Germany, July 30 - August 2, 2013. Proceedings. Lecture Notes in Computer Science 8067, Springer 2013, ISBN 978-3-642-39783-7 [contents] - 8068Carlos Iván Chesñevar, Eva Onaindia, Sascha Ossowski, George A. Vouros:
Agreement Technologies - Second International Conference, AT 2013, Beijing, China, August 1-2, 2013. Proceedings. Lecture Notes in Computer Science 8068, Springer 2013, ISBN 978-3-642-39859-9 [contents] - 8069Ashutosh Natraj, Stephen Cameron, Chris Melhuish, Mark Witkowski:
Towards Autonomous Robotic Systems - 14th Annual Conference, TAROS 2013, Oxford, UK, August 28-30, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8069, Springer 2014, ISBN 978-3-662-43644-8 [contents] - 8070Leszek Gasieniec, Frank Wolter:
Fundamentals of Computation Theory - 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings. Lecture Notes in Computer Science 8070, Springer 2013, ISBN 978-3-642-40163-3 [contents] - 8071Leonid Libkin, Ulrich Kohlenbach, Ruy J. G. B. de Queiroz:
Logic, Language, Information, and Computation - 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings. Lecture Notes in Computer Science 8071, Springer 2013, ISBN 978-3-642-39991-6 [contents] - 8072Giuseppe Bianchi, Andrey I. Lyakhov, Evgeny M. Khorov:
Wireless Access Flexibility - First International Workshop, WiFlex 2013, Kaliningrad, Russia, September 4-6, 2013. Proceedings. Lecture Notes in Computer Science 8072, Springer 2013, ISBN 978-3-642-39804-9 [contents] - 8073Jeng-Shyang Pan, Marios M. Polycarpou, Michal Wozniak, André C. P. L. F. de Carvalho, Héctor Quintián-Pardo, Emilio Corchado:
Hybrid Artificial Intelligent Systems - 8th International Conference, HAIS 2013, Salamanca, Spain, September 11-13, 2013. Proceedings. Lecture Notes in Computer Science 8073, Springer 2013, ISBN 978-3-642-40845-8 [contents] - 8074Maria A. Wimmer, Marijn Janssen, Hans Jochen Scholl:
Electronic Government - 12th IFIP WG 8.5 International Conference, EGOV 2013, Koblenz, Germany, September 16-19, 2013. Proceedings. Lecture Notes in Computer Science 8074, Springer 2013, ISBN 978-3-642-40357-6 [contents] - 8075Maria A. Wimmer, Efthimios Tambouris, Ann Macintosh:
Electronic Participation - 5th IFIP WG 8.5 International Conference, ePart 2013, Koblenz, Germany, September 17-19, 2013. Proceedings. Lecture Notes in Computer Science 8075, Springer 2013, ISBN 978-3-642-40345-3 [contents] - 8076Matthias Klusch, Matthias Thimm, Marcin Paprzycki:
Multiagent System Technologies - 11th German Conference, MATES 2013, Koblenz, Germany, September 16-20, 2013. Proceedings. Lecture Notes in Computer Science 8076, Springer 2013, ISBN 978-3-642-40775-8 [contents] - 8077Ingo J. Timm, Matthias Thimm:
KI 2013: Advances in Artificial Intelligence - 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013. Proceedings. Lecture Notes in Computer Science 8077, Springer 2013, ISBN 978-3-642-40941-7 [contents] - 8078Weiru Liu, V. S. Subrahmanian, Jef Wijsen:
Scalable Uncertainty Management - 7th International Conference, SUM 2013, Washington, DC, USA, September 16-18, 2013. Proceedings. Lecture Notes in Computer Science 8078, Springer 2013, ISBN 978-3-642-40380-4 [contents] - 8079Juhani Karhumäki, Arto Lepistö, Luca Q. Zamboni:
Combinatorics on Words - 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings. Lecture Notes in Computer Science 8079, Springer 2013, ISBN 978-3-642-40578-5 [contents] - 8080Traian Muntean, Dimitrios Poulakis, Robert Rolland:
Algebraic Informatics - 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings. Lecture Notes in Computer Science 8080, Springer 2013, ISBN 978-3-642-40662-1 [contents] - 8081Anders Heyden, Fredrik Kahl, Carl Olsson, Magnus Oskarsson, Xue-Cheng Tai:
Energy Minimization Methods in Computer Vision and Pattern Recognition - 9th International Conference, EMMCVPR 2013, Lund, Sweden, August 19-21, 2013. Proceedings. Lecture Notes in Computer Science 8081, Springer 2013, ISBN 978-3-642-40394-1 [contents] - 8082Ivan Habernal, Václav Matousek:
Text, Speech, and Dialogue - 16th International Conference, TSD 2013, Pilsen, Czech Republic, September 1-5, 2013. Proceedings. Lecture Notes in Computer Science 8082, Springer 2013, ISBN 978-3-642-40584-6 [contents] - 8083Costin Badica, Ngoc Thanh Nguyen, Marius Brezovan:
Computational Collective Intelligence. Technologies and Applications - 5th International Conference, ICCCI 2013, Craiova, Romania, September 11-13, 2013, Proceedings. Lecture Notes in Computer Science 8083, Springer 2013, ISBN 978-3-642-40494-8 [contents] - 8084Günther Ruhe, Yuanyuan Zhang:
Search Based Software Engineering - 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings. Lecture Notes in Computer Science 8084, Springer 2013, ISBN 978-3-642-39741-7 [contents] - 8085Frank Nielsen, Frédéric Barbaresco:
Geometric Science of Information - First International Conference, GSI 2013, Paris, France, August 28-30, 2013. Proceedings. Lecture Notes in Computer Science 8085, Springer 2013, ISBN 978-3-642-40019-3 [contents] - 8086Guido Bertoni, Jean-Sébastien Coron:
Cryptographic Hardware and Embedded Systems - CHES 2013 - 15th International Workshop, Santa Barbara, CA, USA, August 20-23, 2013. Proceedings. Lecture Notes in Computer Science 8086, Springer 2013, ISBN 978-3-642-40348-4 [contents] - 8087Krishnendu Chatterjee, Jirí Sgall:
Mathematical Foundations of Computer Science 2013 - 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings. Lecture Notes in Computer Science 8087, Springer 2013, ISBN 978-3-642-40312-5 [contents] - 8088Walter Binder, Eric Bodden, Welf Löwe:
Software Composition - 12th International Conference, SC@STAF 2013, Budapest, Hungary, June 19, 2013. Proceedings. Lecture Notes in Computer Science 8088, Springer 2013, ISBN 978-3-642-39613-7 [contents] - 8089Reiko Heckel, Stefan Milius:
Algebra and Coalgebra in Computer Science - 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings. Lecture Notes in Computer Science 8089, Springer 2013, ISBN 978-3-642-40205-0 [contents] - 8090Hongen Liao, Cristian A. Linte, Ken Masamune, Terry M. Peters, Guoyan Zheng:
Augmented Reality Environments for Medical Imaging and Computer-Assisted Interventions - 6th International Workshop, MIAR 2013 and 8th International Workshop, AE-CAI 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013. Proceedings. Lecture Notes in Computer Science 8090, Springer 2013, ISBN 978-3-642-40842-7 [contents] - 8091Yuhua Luo:
Cooperative Design, Visualization, and Engineering - 10th International Conference, CDVE 2013, Alcudia, Mallorca, Spain, September 22-25, 2013. Proceedings. Lecture Notes in Computer Science 8091, Springer 2013, ISBN 978-3-642-40839-7 [contents] - 8092Trond Aalberg, Christos Papatheodorou, Milena Dobreva, Giannis Tsakonas, Charles J. Farrugia:
Research and Advanced Technology for Digital Libraries - International Conference on Theory and Practice of Digital Libraries, TPDL 2013, Valletta, Malta, September 22-26, 2013. Proceedings. Lecture Notes in Computer Science 8092, Springer 2013, ISBN 978-3-642-40500-6 [contents] - 8093Florian Daniel, George A. Papadopoulos, Philippe Thiran:
Mobile Web and Information Systems - 10th International Conference, MobiWIS 2013, Paphos, Cyprus, August 26-29, 2013. Proceedings. Lecture Notes in Computer Science 8093, Springer 2013, ISBN 978-3-642-40275-3 [contents] - 8094Florian Daniel, Jianmin Wang, Barbara Weber:
Business Process Management - 11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013. Proceedings. Lecture Notes in Computer Science 8094, Springer 2013, ISBN 978-3-642-40175-6 [contents] - 8095Davinia Hernández Leo, Tobias Ley, Ralf Klamma, Andreas Harrer:
Scaling up Learning for Sustained Impact - 8th European Conference, on Technology Enhanced Learning, EC-TEL 2013, Paphos, Cyprus, September 17-21, 2013. Proceedings. Lecture Notes in Computer Science 8095, Springer 2013, ISBN 978-3-642-40813-7 [contents] - 8096Prasad Raghavendra, Sofya Raskhodnikova, Klaus Jansen, José D. P. Rolim:
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques - 16th International Workshop, APPROX 2013, and 17th International Workshop, RANDOM 2013, Berkeley, CA, USA, August 21-23, 2013. Proceedings. Lecture Notes in Computer Science 8096, Springer 2013, ISBN 978-3-642-40327-9 [contents] - 8097Felix Wolf, Bernd Mohr, Dieter an Mey:
Euro-Par 2013 Parallel Processing - 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings. Lecture Notes in Computer Science 8097, Springer 2013, ISBN 978-3-642-40046-9 [contents] - 8098Mario A. Nascimento, Timos K. Sellis, Reynold Cheng, Jörg Sander, Yu Zheng, Hans-Peter Kriegel, Matthias Renz, Christian Sengstock:
Advances in Spatial and Temporal Databases - 13th International Symposium, SSTD 2013, Munich, Germany, August 21-23, 2013. Proceedings. Lecture Notes in Computer Science 8098, Springer 2013, ISBN 978-3-642-40234-0 [contents] - 8099Bart De Decker, Jana Dittmann, Christian Kraetzer, Claus Vielhauer:
Communications and Multimedia Security - 14th IFIP TC 6/TC 11 International Conference, CMS 2013, Magdeburg, Germany, September 25-26, 2013. Proceedings. Lecture Notes in Computer Science 8099, Springer 2013, ISBN 978-3-642-40778-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-12 21:07 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:
