> Verlagsreihe
-
12212:
Automated driving and in-vehicle experience design
Cham: Springer, [2020]
-
12213:
Driving behavior, urban and smart mobility
Cham: Springer, [2020]
-
9733:
Human-computer interaction Part 3 Novel user experiences Masaaki Kurosu (ed.)
[Cham]: Springer, [2016]
-
9707:
Reliability, safety, and security of railway systems modelling, analysis, verification, and certification : first international conference, RSSRail 2016, Paris, France, June 28-30, 2016 : proceedings Thierry Lecomte, Ralf Pinger, Alexander Romanovsky (eds.)
[Cham]; Heidelberg: $nSpringer, [2016]
-
8512:
Human-computer interaction 3 Applications and services HCI International 2014, Heraklion, Crete, Greece, June 22 - 27, 2014. Masaaki Kurosu (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2014
-
8019 : Lecture notes in artificial intelligence:
Engineering psychology and cognitive ergonomics 1 Understanding human cognition / Don Harris (ed.) Don Harris (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2013
-
7907:
Developments in language theory 17th international conference, DLT 2013, Marne-la-Vallée, France, June 18 - 21, 2013 ; proceedings Marie-Pierre Béal ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2013
-
7387:
Web engineering 12th International Conference, ICWE 2012, Berlin, Germany, July 23-27, 2012 ; proceedings Marco Brambilla ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2012
-
6817:
Adaptive multimedia retrieval context, exploration, and fusion; 8th International Workshop, AMR 2010, Linz, Austria, August 17 - 18, 2010; revised selected papers Marcin Detyniecki ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2012
-
7039:
Open problems in network security IFIP WG 11.4 international workshop, iNetSec 2011, Lucerne, Switzerland, June 9 ; revised selected papers Jan Camenisch ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2012
-
6411 : SL 2, Programming and software engineering:
Data engineering and management second international conference, ICDEM 2010, Tiruchirappalli, India, July 29 - 31, 2010 ; revised selected papers Rajkumar Kannan ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2012
-
7103 : Lecture notes in artificial intelligence:
Agents and data mining interaction 7th international workshop, ADMI 2011, Taipei, Taiwan, May 2 - 6, 2011 ; revised selected papers Longbing Cao ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2012
-
7149:
Practical aspects of declarative languages 14th international symposium, PADL 2012, Philadelphia, PA, January 23 - 24, 2012 ; proceedings Claudio Russo; Neng-Fa Zhou (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2012
-
7035:
Financial cryptography and data security 15th international conference, FC 2011, Gros Islet, St. Lucia, February 28 - March 4, 2011 ; revised selected papers George Danezis (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2012
-
6888:
Foundations and practice of security 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12 - 13, 2011 ; revised selected papers Joaquin Garcia-Alfaro; Pascal Lafourcade (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2012
-
7160 : Festschrift:
Computation, physics and beyond International Workshop on Theoretical Computer Science, WTCS 2012 ; dedicated to Cristian S. Calude on the occasion of his 60th birthday ; Auckland, New Zealand, February 21 - 24, 2012 ; revised selected and invited papers Michael J. Dinneen ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2012
-
7154:
Distributed computing and internet technology 8th international conference, ICDCIT 2012, Bhubaneswar, India, February 2 - 4, 2012 ; proceedings R. Ramanujam; Srini Ramaswamy (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2012
-
7224:
Advances in information retrieval 34th European conference on IR research, ECIR 2012, Barcelona, Spain, April 1 - 5, 2012 ; proceedings Ricardo Baeza-Yates ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2012
-
6924 : Lecture notes in artificial intelligence:
Knowledge representation for health-care AIME 2011 workshop KR4HC 2011, Bled, Slovenia, July 6, 2011 ; revised selected papers David Riaño ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2012
-
7152:
Verified software: theories, tools, experiments 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28 - 29, 2012 ; proceedings Rajeev Joshi ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2012
-
7184:
Membrane computing 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011 ; revised selected papers Marian Gheorghe ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2012
-
7158:
Wireless sensor networks 9th European Conference, EWSN 2012, Trento, Italy, February 15 - 17, 2012 ; proceedings Gian Pietro Picco; Wendi Heinzelmann (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2012
-
7143:
Perception and machine intelligence first Indo-Japanese conference, PerMIn 2012, Kolkata, India, January 12 - 13, 2011 ; proceedings Malay K. Kundu ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2012
-
7131:
Advances in multimedia modeling 18th international conference, MMM 2012, Klagenfurt, Austria, January 4-6, 2012 ; proceedings Klaus Schoeffmann ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2012
-
6920:
Curves and surfaces 7th International Conference Curves and Surfaces 2010, Avignon, France, June 24 - 30, 2010 ; revised selected papers Jean-Daniel Boissonnat ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2012
-
7068 : Lecture notes in artificial intelligence:
Advanced agent technology AAMAS 2011 workshops, AMPLE, AOSE, ARMS, DOCM3AS, ITMAS, Taipei, Taiwan, May 2 - 6, 2011 ; revised selected papers Francien Dechesne ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2012
-
6993:
Theory of security and applications joint workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011 ; revised selected papers Sebastian Mödersheim; Catuscia Palamidessi (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2012
-
7034:
Graph drawing 19th International Symposium, GD 2011, Eindhoven, The Netherlands, September 21 - 23, 2011 ; revised selected papers Marc van Kreveld ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2012
-
7055:
RFID security and privacy 7th international workshop RFIDSec 2011, Amherst, MA, USA, June 26 - 28, 2011 ; revised selected papers Ari Juels ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2012
-
7129:
Distributed computing and networking 13th international conference, ICDCN 2012, Hong Kong, China, January 3-6, 2012 ; proceedings Luciano Bononi ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2012
-
7053:
Security and intelligent information systems international joint confererence, SIIS 2011, Warsaw, Poland, June 13 - 14, 2011 ; revised selected papers Pascal Bouvry ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2012
-
7057 : Lecture notes in artificial intelligence:
Principles and practice of multi-agent systems 13th international conference, PRIMA 2010, Kolkata, India, November 12 - 15, 2010 ; revised selected papers Nirmit Desai ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2012
-
7117:
he semantic web: ESWC 2011 workshops ESWC 2011 workshops, Heraklion, Greece, May 29 - 30, 2011 ; revised selected papers Raúl García-Castro ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2012
-
6840 : Lecture notes in bioinformatics:
Bio-inspired computing and applications 7th International Conference on Intelligent Computing, ICIC 2011, Zhengzhou, China, August 11 - 14. 2011; revised papers De-Shuang Huang ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2012
-
6839 : Lecture notes in artificial intelligence:
Advanced intelligent Computing theories and applications with aspects of artificial intelligence; 7th International Conference, ICIC 2011, Zhengzhou, China, August 11 - 14, 2011; revised selected papers De-Shuang Huang ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2012
-
7007 : Tutorial:
Empirical software engineering and verification International Summer Schools, LASER 2008-2010, Elba Island, Italy; revised tutorial lectures Bertrand meyer ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2012
-
6752 : Lecture notes in artificial intelligence:
Autonomous and intelligent systems Second International Conference, AIS 2011, Burnaby, BC, Canada, June 22 - 24, 2011; proceedings Mohamed Kamel ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6990 : Journal Subline:
Transactions on large-scale data- and knowledge-centered systems 4 Special issue on database systems for biomedical applications
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7067:
Visual Informatics: Sustaining Research and Innovations Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7094 : Lecture notes in artificial intelligence:
Advances in artificial intelligence Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7121 : Lecture notes in artificial intelligence:
Advanced data mining and applications Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6530 : Jounal Subline:
Transactions on edutainment 5
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6609:
Computational linguistics and intelligent text processing Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6594:
Adaptive and natural computing algorithms 2 Andrej Drobnikar ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6591 : Lecture notes in artificial intelligence:
Intelligent information and database systems Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6634 : Lecture notes in artificial intelligence:
Advances in knowledge discovery and data mining Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6675:
Advances in neural networks - ISNN 2011 Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6729:
Advances in swarm intelligence Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6754:
Image analysis and recognition Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6791:
Artificial neural networks and machine learning Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6792:
Artificial neural networks and machine learning Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6560 : Journal subline:
Transactions on Computational Collective Intelligence 3
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6592 : Lecture notes in artificial intelligence:
Intelligent information and database systems Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6588:
Database systems for advanced applications Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6686:
4th International Work-conference on the Interplay Between Natural and Artificial Computation, IWINAC 2011 Pt. 1 Foundations on natural and artificial computation
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6691:
Advances in Computational Intelligence Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6703 : Lecture notes in artificial intelligence:
Modern approaches in applied intelligence Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
5233 : State-of-the-Art Survey:
Network performance engingeering a handbook on convergent multi-service networks and next generation Internet Demetres D. Kouvatsos (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6849:
Advances in spatial and temporal databases 12th International Symposium, SSTD 2011, Minneapolis, MN, USA, August 24 - 26, 2011; proceedings Dieter Pfoser ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6832 : Lecture notes in bioinformatics:
Advances in bioinformatics and computational biology 6th Brazilian Symposium on Bioinformatics, BSB 2011, Brasília, Brazil, August 10 - 12, 2011; proceedings Osmar Norberto de Souza ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6684:
Exploring music contents 7th International Symposium, CMMR 2010, Málaga, Spain, June 21-24, 2010. Revised Papers Sølvi Ystad ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6875 : Festschrift:
Dependable and historic computing essays dedicated to Brian Randell on the occasion of his 75th birthday Cliff B. Jones ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7012:
Multimodal brain image analysis First International Workshop, MBIA 2011, held in Conjunction with MICCAI 2011, Toronto, Canada, September 18, 2011; proceedings Tianming Liu ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7011:
Security aspects in information technology First International Conference, InfoSecHiComNet 2011, Haldia, India, October 19 - 22, 2011; proceedings Marc Joye ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6751:
Analytical and stochastic modeling techniques and applications 18th International Conference, ASMTA 2011, Venice, Italy, June 20 - 22, 2011; proceedings Khalid Al-Begain ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6741:
Advanced information systems engineering 23rd International Conference, CAiSE 2011, London, UK, June 20 - 24, 2011; proceedings Haralambos Mouratidis ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6776:
Human centered design Second International Conference, HCD 2011, held as part of HCI International 2011, Orlando, FL, USA, July 9 - 14, 2011; proceedings Masaaki Kurosu (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6664:
FM 2011: formal methods 17th International Symposium on Formal Methods, Limerick, Ireland, June 20 - 24, 2011; proceedings Michael Butler ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6764:
Human-Computer Interaction Pt. 4 Users and applications
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6769:
Design, user experience, and usability Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6772:
Human Interface and the Management of Information Pt. 2 / Gavriel Salvendy ... (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6763:
Human-computer interaction Pt. 3 Towards mobile and intelligent interaction environments
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6774:
Virtual and mixed reality Pt. 2 Systems and applications
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6670 : Journal Subline:
Transactions on computational science 12 Special issue on cyberworlds
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6790 : Journal Subline:
Transactions on large-scale data- and knowledge-centered systems 3 Special issue on data and knowledge management in Grid and PSP systems
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6860:
Database and expert systems applications Pt. 1 Abdelkader Hameurlain ... (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6948:
Human-computer interaction - INTERACT 2011 Pt. 3
[Berlin]; Heidelberg [u.a.]: Springer, 2011
-
6949:
Human-Computer Interaction - INTERACT 2011 Pt. 4
[Berlin]; Heidelberg [u.a.]: Springer, 2011
-
6858:
Foundations of security analysis and design 6 FOSAD tutorial lectures / Alessandro Aldini ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6946:
Human-Computer Interaction - INTERACT 2011 Pt. 1
[Berlin]; Heidelberg [u.a.]: Springer, 2011
-
6891:
Medical image computing and computer-assisted intervention - MICCAI 2011 Pt. 1 Gabor Fichtinger ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6892:
Medical image computing and computer-assisted intervention - MICCAI 2011 Pt. 2 Gabor Fichtinger ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6854:
Computer Analysis of Images and Patterns Pt. 1 Pedro Real ... (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6855:
Computer Analysis of Images and Patterns Pt. 2 Pedro Real ... (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6883 : Lecture notes in artificial intelligence:
Knowledge-Based and Intelligent Information and Engineering Systems Pt. 3
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7002 : Lecture notes in artificial intelligence:
Artificial intelligence and computational intelligence 1 Hepu Deng ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7004 : Lecture notes in artificial intelligence:
Artificial intelligence and computational intelligence 3 Hepu Deng ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6786:
Computational science and its applications - ICCSA 2011 Pt. 5
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6770:
Design, user experience and usability Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6771:
Human interface and the management of information Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6766:
Universal access in human-computer interaction Pt. 2 Users diversity
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6580:
Transactions on aspect oriented software development 8 / Shmuel Katz ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6762:
Human-computer interaction Pt. 2 Interaction techniques and environments
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6853:
Euro-Par 2011 Parallel Processing 2 Emmanuel Jeannot ... (eds.)
Heidelberg [u.a.]: Springer, 2011
-
6750 : Journal Subline:
Transactions on computational science 13
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6913 : Lecture notes in artificial intelligence:
Machine Learning and Knowledge Discovery in Databases Pt. 3 Dimitrios Gunopulos ... (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6988:
Web information systems and mining Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6979:
Image Analysis and Processing - ICIAP 2011 Pt. 2 Giuseppe Maino .... (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6884 : Lecture notes in artificial intelligence:
Knowledge based and intelligent information and engineering systems Pt. 4
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6585 : State-of-the-Art Survey:
Search computing trends and developments Stefano Ceri ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6783:
Computational science and its applications - ICCSA 2011 Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6785:
Computational science and its applications - ICCSA 2011 Pt. 4
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6784:
Computational science and its applications - ICCSA 2011 Pt. 3
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6768:
Universal access in human-computer interaction Pt. 4 Applications and services
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6765:
Universal access in human-computer interaction Pt. 1 Design for all and eInclusion
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6773:
Virtual and mixed reality Pt. 1 New trends
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6761:
Human-computer interaction Pt. 1 Design and development approaches
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6660 : Journal subline:
Transactions on Computational Collective Intelligence 4
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6756:
Automata, languages and programming 2 Luca Aceto ... (Eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6600 : Journal Subline:
Transactions on rough sets 14
Berlin; Heidelberg: Springer, 2011
-
6947:
Human-Computer Interaction - INTERACT 2011 Pt. 2
[Berlin]; Heidelberg [u.a.]: Springer, 2011
-
6758 : Journal Subline:
Transactions on edutainment 6
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6893:
Medical image computing and computer-assisted intervention - MICCAI 2011 Pt. 3 Gabor Fichtinger ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6911 : Lecture notes in artificial intelligence:
Machine Learning and Knowledge Discovery in Databases Pt. 1 Dimitrios Gunopulos ... (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6912 : Lecture notes in artificial intelligence:
Machine Learning and Knowledge Discovery in Databases Pt. 2 Dimitrios Gunopulos ... (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6987:
Web information systems and mining Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6978:
Image Analysis and Processing - ICIAP 2011 Pt. 1 Giuseppe Maino .... (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7003 : Lecture notes in artificial intelligence:
Artificial intelligence and computational intelligence 2 Hepu Deng ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6910 : Journal subline:
Transactions on Computational Collective Intelligence 5
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6881 : Lecture notes in artificial intelligence:
Knowledge Based and Intelligent Information and Engineering Systems Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6882 : Lecture notes in artificial intelligence:
Knowledge based and intelligent information and engineering systems Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6788 : State-of-the-art-survey:
Agent-Oriented Software Engineering 11 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010; revised selected papers / Danny Weyns ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6974:
Affective computing and intelligent interaction Pt. 1 Sidney D'Mello ... (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
5591 : Lecture notes in artificial intelligence:
Formal grammar 14th International Conference, FG 2009, Bordeaux, France, July 25 - 26, 2009; revised selected papers Philippe de Groote; Markus Egg; Laura Kallmeyer (eds.)
Berlin, Heidelberg: Springer, 2011
-
6782:
Computational science and its applications - ICCSA 2011 Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6767:
Universal access in human-computer interaction Pt. 3 Context diversity
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6755:
Automata, languages and programming 1 Luca Aceto ... (Eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6852:
Euro-Par 2011 Parallel Processing 1 Emmanuel Jeannot ... (eds.)
Heidelberg [u.a.]: Springer, 2011
-
6861:
Database and expert systems applications Pt. 2 Abdelkader Hameurlain ... (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6468:
Computer vision - ACCV 2010 Workshops Pt. 1 Reinhard Koch ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6469:
Computer vision - ACCV 2010 Workshops Pt. 2 Reinhard Koch ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6938:
Advances in visual computing Pt. 1 George Bebis ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6939:
Advances in visual computing Pt. 2 George Bebis ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6975:
Affective computing and intelligent interaction Pt. 2 Sidney D'Mello ... (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7016:
Algorithms and architectures for parallel processing Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7017:
Algorithms and architectures for parallel processing Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6922 : Lecture notes in artificial intelligence:
Computational collective intelligence Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6923 : Lecture notes in artificial intelligence:
Computational collective intelligence Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7031:
The Semantic Web -- ISWC 2011 Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7032:
The Semantic Web - ISWC 2011 Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7101 : Lecture notes in artificial intelligence:
Intelligent robotics and applications Pt. 1 Sabina Jeschke ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7076:
Swarm, evolutionary, and memetic computing Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6970 : Journal Subline:
Transactions on computational science 14 Special issue on Voronoi diagrams and Delaunay triangulation
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6525 : Lecture notes in artificial intelligence:
Agents for games and simulations 2 [Papers presented at AGS 2010 ...] / Frank Dignum (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6532 : Lecture notes in artificial intelligence:
Multi-agent-based simulation 11 International Workshop, MABS 2010, Toronto, Canada, May 11, 2010; revised selected papers / Tibor Bosse ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6492:
Computer Vision - ACCV 2010 Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6493:
Computer vision - ACCV 2010 Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7062:
Neural information processing Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7066:
Visual Informatics: Sustaining Research and Innovations Pt.1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7063:
Neural information processing Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6730 : Journal Subline:
Transactions on data hiding and multimedia security 6
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7088:
Advances in image and video technology Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7087:
Advances in image and video technology Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7014:
Advances in intelligent data analysis 10 10th international symposium, IDA 2011, Porto, Portugal, October 29 - 31, 2011; proceedings / João Gama ... (eds.)
Berlin; Heidelberg: Springer, 2011
-
7044:
On the Move to Meaningful Internet Systems: OTM 2011 Pt.1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7095 : Lecture notes in artificial intelligence:
Advances in Soft Computing Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7102 : Lecture notes in artificial intelligence:
Intelligent robotics and applications Pt. 2 Sabina Jeschke ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7077:
Swarm, evolutionary, and memetic computing Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7120 : Lecture notes in artificial intelligence:
Advanced data mining and applications Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6523:
Advances in Multimedia Modeling 17th International Multimedia Modeling Conference, MMM 2011, Taipei, Taiwan, January 5-7, 2011, Proceedings, Part I Pt. 1 Kuo-Tien Lee, Wen-Hsiang Tsai, Hong-Yuan Mark Liao, Tsuhan Chen, Jun-Wei Hsieh, Chien-Cheng Tseng (Eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6524:
Advances in Multimedia Modeling 17th International Multimedia Modeling Conference, MMM 2011, Taipei, Taiwan, January 5-7, 2011, Proceedings, Part I Pt. 2 Kuo-Tien Lee, Wen-Hsiang Tsai, Hong-Yuan Mark Liao, Tsuhan Chen, Jun-Wei Hsieh, Chien-Cheng Tseng (Eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6499 : Journal Subline:
Transactions on rough sets 13
Heidelberg [u.a.]: Springer, 2011
-
6608:
Computational linguistics and intelligent text processing Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6038 : State-of-the-art-survey:
Agent-oriented software engineering 10 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11 - 12, 2009; revised selected papers / Marie-Pierre Gleizes ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6593:
Adaptive and natural computing algorithms 1 Andrej Drobnikar ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6943 : Lecture notes in artificial intelligence:
Adaptive and intelligent systems Second International Conference, ICAIS 2011, Klagenfurt, Austria, September 6 - 8, 2011; proceedings Abdelhamid Bouchachia (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6746 : Lecture notes in artificial intelligence:
Knowledge, information, and creativity support systems 5th International Conference, KICSS 2010, Chiang Mai, Thailand, November 25 - 27, 2010; revised selected papers Thanaruk Theeramunkong ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6587:
Database systems for advanced applications Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6625:
Applications of evolutionary computation Pt. 2 EvoCOMNET, EvoFIN, EvoHOT, EvoMUSART, EvoSTIM, and EvoTRANSLOG
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6624:
Applications of Evolutionary Computation Pt. 1 EvoCOMPLEX, EvoGAMES, EvoIASP, EvoINTELLIGENCE, EvoNUM, and EvoSTOC
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6619 : Lecture notes in artificial intelligence:
Declarative agent languages and technologies 8 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2011; revised selected and invited papers / Andrea Omicini ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6640:
NETWORKING 2011 Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6635 : Lecture notes in artificial intelligence:
Advances in knowledge discovery and data mining Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6676:
Advances in neural networks - ISNN 2011 Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6687:
4th International Work-conference on the Interplay Between Natural and Artificial Computation, IWINAC 2011 Pt. 2 New challenges on bioinspired applications
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6541 : Lecture notes in artificial intelligence:
COIN 2010 International Workshops, COINAAMAS 2010, Toronto, Canada, May 2010, COIN@MALLOW 2010, Lyon, France, August 2010 revised selected papers Marina De Vos ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6692:
Advances in Computational Intelligence : Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6753:
Image analysis and recognition Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6789 : Lecture notes in artificial intelligence:
Multidisciplinary aspects of time and time perception COST TD0904 International Workshop, Athens, Greece, October 7-8, 2010 ; revised selected papers Argiro Vatakis; Anna Esposito; Maria Giagkou; Fred Cummins; Georgios Papadelis (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6579:
Passive and active measurement 12th international conference, PAM 2011, Atlanta, GA, USA, March 20-22, 2011 ; proceedings Neil Spring; George F. Riley (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6597:
Theory of cryptography 8th Theory of Cryptography Conference, TCC 2011, Providence, RI, USA, March 28-30, 2011 ; proceedings Yuval Ishai (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6606:
Requirements engineering: foundation for software quality 17th international working cConference, REFSQ 2011, Essen, Germany, March 28-30, 2011 ; proceedings Daniel Berry; Xavier Franch (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6556 : Lecture notes in artificial intelligence:
RoboCup 2010: Robot Soccer World Cup XIV Javier Ruiz-del-Solar; Eric Chown; Paul G. Plöger (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6612:
Web technologies and applications 13th Asia-Pacific Web Conference, APWeb 2011, Beijing, Chiina, April 18-20, 2011 ; proceedings Xiaoyong Du ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6630:
Experimental algorithms 10th International Symposium, SEA 2011, Kolimpari, Chania, Crete, Greece, May 5-7, 2011 ; proceedings Panos M. Pardalos; Steffen Rebennack (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6559:
Functional and constraint logic programming 19th international workshop, WFLP 2010, Madrid, Spain, January 17, 2010 ; revised selected papers Julio Mariño (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6639:
Coding and cryptology third international workshop, IWCC 2011, Qingdao, China, May 30-June 3, 2011 ; proceedings Yeow Meng Chee ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6642 : Lecture Notes in Artificial Intelligence:
Logic, language, information and computation 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20 ; proceedings Lev D. Beklemishev; Ruy de Queiroz (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6659 : Tutorial:
Formal methods for eternal networked software systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011 ; advanced lectures Marco Bernardo; Valérie Issarny (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6584:
Information security and cryptology 6th international conference, Inscrypt 2010, Shanghai, China, October 20-24, 2010 ; revised selected papers Xuejia Lai ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6701:
Network optimization 5th international conference, INOC 2011, Hamburg, Germany, June 13-16, 2011 ; proceedings Julia Pahl, Torsten Reiners, Stefan Voß (eds.)
Berlin; Heidelberg: Springer, [2011]
-
6654:
End-user development third international symposium, IS-EUD 2011, Torre Canne, (BR), Italy, June 7-10, 2011 ; proceedings Maria Francesca Costabile ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6715:
Applied cryptography and network security 9th international conference, ACNS 2011, Nerja, Spain, June 7-10, 2011 ; proceedings Javier Lopez; Gene Tsudik (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6731:
Advances in self-organizing maps 8th international workshop, WSOM 2011, Espoo, Finland, June 13-15, 2011 ; proceedings Jorma Laaksonen; Timo Honkela (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6669:
Pattern recognition and image analysis 5th Iberian conference, IbPRIA 2011, Las Palmas de Gran Canaria, Spain, June 8-10, 2011 ; proceedings Jordi Vitrià; João M. Sanches (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6638:
Language and automata theory and applications 5th international conference, LATA 2011, Tarragona, Spain, May 26-31, 2011 ; proceedings Adrian-Horia Dediu ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6727:
Top productivity through software reuse 12th International Conference on Software Reuse, ICSR 2011, Pohang, South Korea, June 13-17, 2011 ; proceedings Klaus Schmid (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6641:
NETWORKING 2011 : Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6677:
Advances in neural networks - ISNN 2011 Pt. 3
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6644:
The semantic web: research and applications Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6643:
The Semantic Web: Research and Applications Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6678 : Lecture notes in artificial intelligence:
Hybrid artificial intelligent systems Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6679 : Lecture notes in artificial intelligence:
Hybrid artificial intelligent systems Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6728:
Advances in swarm intelligence Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6704 : Lecture notes in artificial intelligence:
Modern approaches in applied intelligence Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6567:
Wireless sensor networks 8th European conference, EWSN 2011, Bonn, Germany, February 23-25, 2011 ; proceedings Pedro José Marrón; Kamin Whitehouse (eds.)
Heidelberg [u.a.]: Springer, 2011
-
6578:
Reconfigurable computing: architectures, tools and applications 7th international symposium, ARC 2011, Belfast, UK, March 23-25, 2011 ; proceedings Andreas Koch ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6551:
Web services and formal methods 7th international workshop, WS-FM 2010, Hoboken, NJ, USA, September 16 - 17, 2010 ; revised selected papers Mario Bravetti; Tevfik Bultan (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6561:
Formal aspects of security and trust 7th international Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010 ; revised selected papers Pierpaolo Degano; Sandro Etalle; Joshua Guttman (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
5897 : Lecture notes in artificial intelligence:
Computing with instinct rediscovering artificial intelligence Yang Cai (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6576:
Evolutionary multi-criterion optimization 6th international conference, EMO 2011, Ouro Preto, Brazil, April 5-8, 2011 ; proceedings Ricardo H. C. Takahashi ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6607:
Discrete geometry for computer imagery 16th IAPR international conference, DGCI 2011, Nancy, France, April 6-8, 2011 ; proceedings Isabelle Debled-Rennesson ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6611:
Advances in information retrieval 33rd European Conference on IR Resarch, ECIR 2011, Dublin, Ireland, April 18-21, 2011 ; proceedings Paul Clough ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6622:
Evolutionary computation in combinatorial optimization 11th European conference, EvoCOP 2011, Torino, Italy, April 27-29, 2011 ; proceedings Peter Merz; Jin-Kao Hao (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6613:
Traffic monitoring and analysis third international workshop, TMA 2011, Vienna, Austria, April 27, 2011 ; proceedings Jordi Domingo-Pascual; Yuval Shavitt; Steve Uhlig (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6582 : State-of-the-Art Survey:
Rigorous software engineering for service-oriented systems results of the SENSORIA project on software engineering for service-oriented computing Martin Wirsing; Matthias Hölzl (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6617:
NASA formal methods third international symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011 ; proceedings Mihaela Bobaru ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6628 : Lecture notes in artificial intelligence:
Formal concept analysis 9th international conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011 ; proceedings Petko Valtchev; Robert Jäschke (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6564:
Logic-based program synthesis and transformation 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010; revised selected papers María Alpuente (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6610 : Festschrift:
Computation, cooperation, and life essays dedicated to Gheorghe Pǎun on the occasion of his 60th birthday Jozef Kelemen; Alica Kelemenová (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6646:
Advances in grid and pervasive computing 6th international conference, GPC 2011, Oulu, Finland, May 11-13, 2011 ; proceedings Jukka Riekki; Mika Ylianttila; Minyi Guo (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6645 : Lecture notes in artificial intelligence:
Logic programming and nonmonotonic reasoning 11th international conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011 ; proceedings James P. Delgrande; Wolfgang Faber (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6656:
The future internet future internet assembly 2011: achievements and technological promises John Domingue ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6661:
Combinatorial pattern matching 22nd annual symposium, CPM 2011, Palermo, Italy, June 27-29, 2011 ; proceedings Raffaele Giancarlo; Giovanni Manzini (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6301 : Lecture notes in artificial intelligence:
Automated deduction in geometry 7th international workshop, ADG 2008, Shanghai, China, September 22-24, 2008 ; revised papers Thomas Sturm; Christoph Zengler (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6663:
Relational and algebraic methods in computer science 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30-June 3, 2011 ; proceedings Harrie de Swart (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6627:
Models in software engineering workshops and symposia at MODELS 2010, Olso, Norway, October 3-8, 2010 ; reports and revised selected papers Juergen Dingel; Arnor Solberg (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6505 : Lecture notes in artificial intelligence:
Ludics, dialogue and interaction PRELUDE project - 2006-2009 ; revised selected papers Alain Lecomte; Samuel Tronçon (eds.)
Heidelberg [u.a.]: Springer, 2011
-
6460:
Combinatorial algorithms 21st international workshop, IWOCA 2010, London, UK, July 26-28, 2010 ; revised selected papers Costas S. Iliopoulos; William F. Smyth (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6602:
Programming languages and systems 20th European Symposium on Programming, ESOP 2011, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011 ; proceedings Gilles Barthe (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6603:
Fundamental approaches to software engineering 14th international conference, FASE 2011, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011 ; proceedings Dimitra Giannakopoulou; Fernando Orejas (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6549 : Lecture Notes in Artificial Intelligence:
Privacy and security issues in data mining and machine learning international ECML/PKDD workshop, PSDML 2010, Barcelona, Spain, September 24, 2010 ; revised selected papers Christos Dimitrakakis ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6577 : Lecture notes in bioinformatics:
Research in computational molecular biology 15th annual international conference, RECOMB 2011, Vancouver, BC, Canada, March 28-31, 2011 ; proceedings Vineet Bafna; S. Cenk Sahinalp (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6562 Lecture notes in artificial intelligence:
Human language technology challenges for computer science and linguistics : 4th Language and Technology Conference, LTC 2009, Poznań, Poland, November 6-8, 2009 ; revised selected papers Zygmunt Vetulani (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6547 : Lecture notes in artificial intelligence:
Applications of declarative programming and knowledge management 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009: revised selected papers Salvador Abreu; Dietmar Seipel (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6570 : Festschrift:
Rainbow of computer science dedicated to Hermann Maurer on the occasion if His 70th birthday Cristian S. Calude ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6655:
Integer programming and combinatorial optimization 15th international conference, IPCO 2011, New York, NY, USA, June 15-17, 2011 ; proceedings Oktay Günlük; Gerhard J. Woeginger (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6050 : Lecture Notes in Artificial Intelligence:
Knowledge-driven multimedia information extraction and ontology evolution bridging the semantic gap Georgios Paliouras; Constantine D. Spyropoulos; George Tsatsaronis (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6648:
Theory and applications of models of computation 8th annual conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011 ; proceedings Mitsunori Ogihara ... (eds.)
Berlin; Heidelberg: Springer, 2011
-
6721:
Coordination models and languages 13th international conference, coordination 2011, Reykjavik, Iceland, June 6 - 9, 2011 ; proceedings Wolfgang De Meuter; Gruia-Catalin Roman (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6698:
Modelling foundations and applications 7th European Conference, ECMFA 2011, Birmingham, UK, June 6-9, 2011 ; proceedings Robert B. France ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6742:
Algebraic informatics 4th international conference, CAI 2011, [held at RISC], Linz, Austria, June 21-24, 2011 ; proceedings [RISC]. Franz Winkler (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6689:
Information processing in computer-assisted interventions second international conference, IPCAI 2011, Berlin, Germany, June 22, 2011 ; proceedings Russell H. Taylor; Guang-Zhong Yang (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6657 : Lecture notes in artificial intelligence:
Advances in artificial intelligence 24th Canadian Conference on Artificial Intelligence, Canadian AI 2011, St. John's, Canada, May 25-27, 2011 ; proceedings Cory Butz; Pawan Lingras (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6633:
Information security theory and practice security and privacy of mobile devices in wireless communication ; 5th IFIP WG 11.2 international workshop, WISTP 2011, Heraklion, Crete, Greece, June 1-3, 2011 ; proceedings Claudio A. Ardagna; Jiangying Zhou (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6636:
Combinatorial image analysis 14th international workshop, IWCIA 2011, Madrid, Spain, May 23-25, 2011 ; proceedings Jake K. Aggarwal ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6649:
Wired/wireless internet communications 9th IFIP TC 6 International Conference, WWIC 2011, Vilanova i la Geltrú, Spain, June 15-17, 2011 ; proceedings Xavier Masip-Bruin ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6695:
Theory and application of satisfiability testing - SAT 2011 14th international conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011 ; proceedings Karem A. Sakallah ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6726 : Lecture notes in artificial intelligence:
Mathematics and computation in music third international conference, MCM 2011, Paris, France, June 15-17, 2011 ; proceedings Carlos Agon ; Moreno Andreatta ; Gérard Assayag ; Emmanuel Amiot ; Jean Bresson ; John Mandereau (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6740:
Trust and trustworthy computing 4th international conference, TRUST 2011, Pittsburgh, PA, USA, June 22-24, 2011 ; proceedings Jonathan M. McCune ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6489 : Lecture notes in artificial intelligence:
Inductive logic programming 20th international conference, ILP 2010, Florence, Italy, June 27-30, 2010 ; revised papers Paolo Frasconi; Francesca A. Lisi (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6723:
Distributed applications and interoperable systems 11th IFIP WG 6.1 international conference, DAIS 2011, Reykjavik, Iceland, June 6-9, 2011 ; proceedings Pascal Felber; Romain Rouvoy (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6207 : Lecture notes in artificial intelligence:
Language, games, and evolution trends in current research on language and game theory ; [two conferences, one organized at ESSLLI in 2007 on Language Games Evolution, and the other organized at the ZAS in Berlin on Games Decisions in Pragmatics in 2008] Anton Benz ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6521 : Lecture Notes in Artificial Intelligence:
Logic and its applications 4th Indian conference, ICLA 2011, Delhi, India, January 5 - 11, 2011 ; proceedings Mohua Banerjee; Anil Seth (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6515:
Computers and games 7th international conference, CG 2010, Kanazawa, Japan, September 24-26, 2010 ; revised selected papers H. Jaap van der Herik; Hiroyuki Iida; Aske Plaat (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6513:
Information security applications 11th international workshop, WISA 2010, Jeju Island, Korea, August 24-26, 2010 ; revised selected papers Yongwha Chung; Moti Yung (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6491 : Tutorial:
Generative and transformational techniques in software engineering III International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009 ; revised papers João M. Fernandes ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6512 : Lecture notes in artificial intelligence:
Knowledge representation for health-care ECAI 2010 workshop KR4HC 2010, Lisbon, Portugal, August 17, 2010 ; revised selected papers David Riaño ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6531:
Information security 13th international conference, ISC 2010, Boca Raton, FL, USA, October 25-28, 2010 ; revised selected papers Mike Burmester ... (eds.)
Heidelberg [u.a.]: Springer, 2011
-
6517 : Lecture notes in artificial intelligence:
Vagueness in communication international workshop, ViC 2009, held as part of ESSLLI 2009, Bordeaux, France, July 20 - 24, 2009 ; revised selected papers Rick Nouwen; Robert van Rooij; Uli Sauerland; Hans-Christian Schmitz (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6545 : State-of-the-Art Survey:
Digital privacy PRIME - privacy and identity management for europe Jan Camenisch ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6526:
Digital watermarking 9th International Workshop IWDW 2010, Seoul, Korea, October 1-3, 2010 ; revised selected papers Hyoung-Joong Kim; Yun-Qing Shi; Mauro Barni (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6518:
DNA computing and molecular programming 16th international conference, DNA 16, Hong Kong, China, June 14-17, 2010 ; revised selected papers Yasubumi Sakakibara; Yongli Mi (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6534:
Approximation and online algorithms 8th international workshop, WAOA 2010, Liverpool, UK, September 9-10, 2010 ; revised papers Klaus Jansen; Roberto Solis-Oba (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6552:
WALCOM: algorithms and computation 5th international workshop, WALCOM 2011, New Delhi, India, February 18-20, 2011 ; proceedings Naoki Katoh; Amit Kumar (eds.)
Heidelberg [u.a.]: Springer, 2011
-
6528:
Formal verification of object-oriented software International Conference FoVeOOS 2010, Paris, France, June 28-30, 2010 ; revised selected papers Bernhard Beckert; Claude Marché (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6502:
Graph drawing 18th international symposium, GD 2010, Konstanz, Germany, September 21-24, 2010 ; revised selected papers Ulrik Brandes; Sabine Cornelsen (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6529:
Human-computer interaction, tourism and cultural heritage first international workshop, HCITOCH 2010, Brescello, Italy, September 7 - 8, 2010 ; revised selected papers Francisco V. Cipolla Ficarra; Carlos de Castro Lozano; Emma Nicol; Andreas Kratky; Miguel Cipolla-Ficarra (eds.)
Heidelberg [u.a.]: Springer, 2011
-
6781 : Lecture notes in artificial intelligence:
Engineering psychology and cognitive ergonomics 9th international conference, EPCE 2011, held as part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011 ; proceedings Don Harris (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6712:
Critical information infrastructures security 5th international workshop, CRITIS 2010, Athens, Greece, September 23-24, 2010 ; revised papers Christos Xenakis ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6696:
Pervasive computing 9th international conference, Pervasive 2011, San Francisco, USA, June 12-15, 2011 ; proceedings Kent Lyons; Jeffrey Hightower; Elaine M. Huang (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6733:
Fast software encryption 18th international workshop, FSE 2011, Lyngby, Denmark, February 13-16, 2011 ; revised selected papers Antoine Joux (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6708:
Software composition 10th international conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011 ; proceedings Sven Apel ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6801:
Information processing in medical imaging 22nd international conference, IPMI 2011, Kloster Irsee, Germany, July 3 - 8, 2011 ; proceedings Gábor@Székely ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6066 : Lecture notes in artificial intelligence:
Collaborative agents - research and development International Workshops CARE@AI09 2009/CARE@IAT10 2010, Melbourne, Australia, December 1, 2009 and Toronto, Canada, August 31, 2010 ; revised selected papers Christian Guttmann; Frank Dignum; Michael Georgeff (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6818:
Data and applications security and privacy XXV 25th annual IFIP WG 11.3 conference, DBSec 2011, Richmond, VA, USA, July 11-13, 2011 ; proceedings Yingjiu Li (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6814 : Lecture notes in artificial intelligence:
Computational logic in multi-agent systems 12th international workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011 ; proceedings João Leite ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6825:
Artificial immune systems 10th international conference, ICARIS 2011, Cambridge, UK, July 18-21, 2011 ; proceedings Piezro Liò; Giuseppe Nicosia; Thomas Stibor (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6794:
Privacy enhancing technologies 11th international symposium, PETS 2011, Waterloo, Canada, July 27-29, 2011 ; proceedings Simone Fischer-Hübner ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6844:
Algorithms and data structures 12th international symposium, WADS 2011, New York, NY, USA, August 15-17, 2011 ; proceedings Frank Dehne; John Iacono; Jörg-Rüdiger Sack (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6795:
Developments in language theory 15th international conference, DLT 2011, Milano, Italy, July 19-22, 2011 ; proceedings Giancarlo Mauri; Alberto Leporati (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6812:
Information security and privacy 16th Australisian conference, ACISP 2011, Melbourne, Australia, July 11-13, 2011 ; proceedings Udaya Parampalli; Philip Hawkes (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6808:
Descriptional complexity of formal systems 13 international workshop, DCFS 2011, Limburg, Germany, July 25-27, 2011 ; proceedings Markus Holzer; Martin Kutrib; Giovanni Pighizzini (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6859:
Algebra and coalgebra in computer science 4th international conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011 ; proceedings Andrea Corradini ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6546:
Trends in functional programming 11th international symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010 ; revised selected papers Rex Page; Zoltán Horváth; Viktória Zsók (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6899:
Spatial information theory 10th international conference, COSIT 2011, Belfast, ME, USA ; proceedings Max Egenhofer ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6699 : Hot Topics:
Advanced language technologies for digital libraries international workshops on NLP4DL 2009, Viareggio, Italy, June 15, 2009 and AT4DL 2009, Trento, Italy, September 8, 2009 Raffaella Bernardi; Sally Chambers; Björn Gottfried; Frédérique Segond; Ilya Zaihrayeu (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6867:
Holonic and multi-agent systems for manufacturing 5th International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2011, Toulouse, France, August 29-31, 2011 ; proceedings Vladimír Mařík; Pavel Vrba; Paulo Leitão (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6873:
Parallel computing technologies 11th international conference, PaCT 2011, Kazan, Russia, September 19 - 23, 2011 ; proceedings Victor Malyshkin (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6856:
Towards autonomous robotic systems 12th annual conference, TAROS 2011, Sheffield, UK, August 31 - September 2, 2011 ; proceedings Roderich Groß ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6916:
Theoretical aspects of computing - ICTAC 2011 8th international colloquium, Johannesburg, South Africa, August 31-September 2, 2011 ; proceedings Antonio Cerone ; Pekka Pihlajasaari (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6870 : Lecture notes in artificial intelligence:
Advances in data mining applications and theoretical aspects ; 11th industrial conference, ICDM 2011, New York, NY, USA, August 30 - September 3, 2011 ; proceedings Petra Perner (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6962:
Computer vision systems 8th international conference, ICVS 2011, Sophia Antipolis, France, September 20-22, 2011 ; proceedings James L. Crowley; Bruce A. Draper; Monique Thonnat (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6968:
Software engineering for resilient systems third international workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011 ; proceedings Elena A. Troubitsyna (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6702:
Datalog reloaded first international workshop, Datalog 2010, Oxford, UK, March 16-19, 2010 ; revised selected papers Oege de Moor ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6945:
Reachability problems 5th international workshop, RP 2011, Genoa, Italy, September 28-30, 2011 ; proceedings Giorgio Delzanno ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6967 : Lecture notes in artificial intelligence:
Modeling and using context 7th international and interdisciplinary conference, CONTEXT 2011, Karlsruhe, Germany, September 26-30, 2011 ; proceedings Michael Beigl ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6980:
Provable security 5th International Conference, ProvSec 2011, Xi'an, China, October 16-18, 2011 ; proceedings Xavier Boyen; Xiaofeng Chen (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6918:
Model and data engineering first international conference, MEDI 2011, Óbidos, Portugal, September 28-30, 2011 ; proceedings Ladjel Bellatreche; Filipe Mota Pinto (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7006 : Lecture notes in artificial intelligence:
KI 2011: advances in artificial intelligence 34th Annual German Conference on AI, Berlin, Germany, October 4 - 7,2011 ; proceedings Joscha Bach; Stefan Edelkamp (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6960:
Recent advances in the message passing interface 18th European MPI Users Group Meeting, EuroMPI 2011, Santorini, Greece, September 18-21, 2011 ; proceedings Yiannis Cotronis ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7005:
Similarity-based pattern recognition first international workshop, SIMBAD 2011, Venice, Italy, September 28-30, 2011 ; proceedings Marcello Pelillo; Edwin R. Hancock (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6926 : Lecture notes in artificial intelligence:
Discovery science 14th international conference, DS 2011, Espoo, Finland, October 5-7, 2011 ; proceedings Tapio Elomaa; Jaakko Hollmén; Heikki Mannila (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6925 : Lecture notes in artificial intelligence:
Algorithmic learning theory 22nd international conference, ALT 2011, Espoo, Finland, October 5-7, 2011 ; proceedings Jyrki Kivinen ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6977:
Computer performance engineering 8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, UK, October 12-13, 2011 ; proceedings Nigel Thomas (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6982:
Algorithmic game theory 4th international symposium, SAGT 2011, Amalfi, Italy, October 17-19, 2011 ; proceedings Giuseppe Persiano (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7008:
Digital libraries: for cultural heritage, knowledge dissemination, and future creation 13th International Conference on Asia-Pacific Digital Libraries, ICADL 2011, Beijing, China, October 24-27, 2011 ; proceedings Chunxiao Xing; Fabia Crestani; Andreas Rauber (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7046:
On the move to meaningful internet systems: OTM 2011 workshops confederated international workshops and posters: EI2N+NSF ICE, ICSP+INBAST, ISDE, ORM, OTMA, SWWS+MONET+SeDeS, and VADER 2011, Hersonissos, Crete, Greece, October 17 - 21, 2011 ; proceedings Robert Meersman ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7038:
Advances in information and computer security 6th international workshop, IWSEC 2011, Tokyo, Japan, November 8 - 10, 2011 ; proceedings Tetsu Iwata; Masakatsu Nishigaki (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7052:
Quantum interaction 5th international symposium, QI 2011, Aberdeen, UK, June 26-29, 2011 ; revised selected papers Dawei Song ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7033:
Computational geometry, graphs and applications 9th international conference,CGGA 2010, Dalian, China, November 3-6, 2010 ; revised selected papers Jin Akiyama ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6802:
Trusted systems second international conference, INTRUST 2010, Beijing, China, December 13-15, 2010 ; revised selected papers Liqun Chen; Moti Yung (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7098:
Biometric recognition 6th Chinese conference, CCBR 2011, Beijing, China, December 3-4, 2011 ; proceedings Zhenan Sun ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7065:
Human behavior unterstanding second international workshop, HBU 2011, Amsterdam, The Netherlands, November 16, 2011 ; proceedings Albert Ali Salah; Bruno Lepri (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7090:
Internet and network economics 7th international workshop, WINE 2011, Singapore, December 11-14, 2011 ; proceedings Ning Chen; Edith Elkind; Elias Koutsoupias (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7074:
Algorithms and computation 22nd international symposium, ISAAC 2011, Yokohama, Japan, December 5-8, 2011 ; proceedings Takao Asano ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6797 : Lecture notes in artificial intelligence:
New frontiers in artificial intelligence JSAI-isAI 2010 Workshops LENLS, JURISIN, AMBN, ISS, Tokyo, Japan, November 18 - 19, 2010 ; revised selected papers Takashi Onoda ... (eds.)
Berlin; Heidelberg: Springer, 2011
-
6668:
Virtual colonoscopy and abdominal imaging computational challenges and clinical opportunities : second international workshop, held in conjunction with MICCAI 2010, Beijing, China, September 20, 2010 ; revised selected papers Hiroyuki Yoshida; Wenli Cai (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7048:
Advances in Web-based learning - ICWL 2011 10th international conference, Hong Kong, China, December 8-10, 2011 ; proceedings Howard Leung ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6384 : Lecture notes in artificial intelligence:
Recent advances in constraints 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009 ; revised selected papers Javier Larrosa; Barry OŚullivan (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6596:
Communication technologies for vehicles third international workshop, Nets4Cars/Nets4Trains 2011, Oberpfaffenhofen, Germany, March 23 - 24, 2011 ; proceedings Thomas Strang ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6604:
Foundations of software science and computational structures 14th international conference, FOSSACS 2011, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011 ; proceedings Martin Hofmann (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6605:
Tools and algorithms for the construction and analysis of systems 17th international conference, TACAS 2011, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011 ; proceedings Parosh Aziz Abdulla; K. Rustan M. Leino (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6621:
Genetic programming 14th European conference, EuroGP 2011, Torino, Italy, April 27-29, 2011 ; proceedings Sara Silva ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6626:
Computational color imaging third international workshop, CCIW 2011, Milan, Italy, April 20-21, 2011 ; proceedings Raimondo Schettini ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6631:
GeoSpatial semantics 4th international conference, GeoS 2011, Brest, France, May 12 - 13, 2011 ; proceedings Christophe Claramunt; Sergei Levashkin (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6572 : Lecture notes in artificial intelligence:
Model checking and artificial intelligence 6th international workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010 ; revised selected and invited papers Ron van der Meyden; Jan-Georg Smaus (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6565 : Lecture notes in artificial intelligence:
Logic programming, knowledge representation, and nonmonotonic reasoning essays dedicated to Michael Gelfond on the occasion of his 65th birthday Marcello Balduccini; Tran Cao Son (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6673:
Information theoretic security 5th international conference, ICITS 2011, Amsterdam, The Netherlands, May 21-24, 2011 ; proceedings Serge Fehr (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6665:
OpenMP in the petascale era 7th International Workshop on OpenMP, IWOMP 2011, Chicago, Il, USA, June 13-15, 2011 ; proceedings Barbara M. Chapman ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6666:
Functional imaging and modeling of the heart 6th international conference, FIMH 2011, New York City, NY, USA, May 25-27, 2011 ; proceedings Dimitris N. Metaxas; Leon Axel (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6672:
Information security practice and experience 7th international conference, ISPEC 2011, Guangzhou, China, May 30-June 1, 2011 ; proceedings Feng Bao; Jian Weng (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6713:
Multiple classifier systems 10th international workshop, MCS 2011, Naples, Italy, June 15-17, 2011 ; proceedings Carlo Sansone ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6718:
Pattern recognition third Mexican conference, MCPR 2011, Cancun, Mexico, June 29-July 2, 2011 ; proceedings José Francicso Martínez-Trinidad ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6674 : Lecture Notes in Bioinformatics:
Bioinformatics research and applications 7th international symposium, ISBRA 2011, Changsha, China, May 27-29, 2011 ; proceedings Jianer Chen; Jianxin Wang; Alexander Zelikovsky (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6714:
Unconventional computation 10th international conference, UC 2011, Turku, Finland, June 6-10, 2011 ; proceedings Christian S. Calude ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6688:
Image analysis 17th Scandinavian conference, SCIA 2011, Ystad, Sweden, May 2011 ; proceedings Anders Heyden; Fredrik Kahl (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6732:
Algorithms and models for the web graph 8th international workshop, WAW 2011, Atlanta, GA, USA, May 27-29, 2011 ; proceedings Alan Frieze; Paul Horn (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6680 : Lecture notes in artificial intelligence:
Tools for teaching logic third international congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011 ; proceedings Patrick Blackburn ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7092:
Cryptology and network security 10th International Conference, CANS 2011, Sanya, China, December 10 - 12, 2011; proceedings Dongdai Lin ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7086:
Certified programs and proofs First International Conference, CPP 2011, Kenting, Taiwan, December 7 - 9, 2011; proceedings Jean-Pierre Jouannaud ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6744:
Pattern recognition and machine intelligence 4th international conference, PReMI 2011, Moscow, Russia, June 27-July 1, 2011 ; proceedings Sergei O. Kuznetsov ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6749:
Intelligence and security informatics Pacific asia workshop, PAISI 2011, Beijing, China, July 9, 2011 ; proceedings Michael Chau ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6793 : Lecture notes in artificial intelligence:
Automated reasoning with analytic tableaux and related methods 20th international conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011 ; proceedings Kai Brünnler; George Metcalfe (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6806:
Computer aided verification 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011 ; proceedings Ganesh Gopalakrishnan; Shaz Qadeer (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6615:
Security protocols XVI 16th international workshop, Cambridge, UK, April 16-18, 2008 ; revised selected papers Bruce Christianson ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6803 : Lecture notes in artificial intelligence:
Automated deduction - CADE-23 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31- August 5, 2011 ; proceedings Nikolaj Bjørner; Viorica Sofronie-Stokkermans (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6736 : Lecture notes in artificial intelligence:
Logical aspects of computational linguistics 6th international conference, LACL 2011, Montpellier, France, June 29 - July 1, 2011 ; proceedings Sylvain Pogodalla; Jean-Philippe Prost (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6747 : Lecture notes in artificial intelligence:
Artificial intelligence in medicine 13th Conference on Artificial Intelligence in Medicine, AIME 2011, Bled, Slovenia, July 2-6, 2011 ; proceedings Mor Peleg; Nada Lavrač; Carlo Combi (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6807:
Implementation and application of automata 16th international conference, CIAA 2011, Blois, France, July 13-16, 2011 ; proceedings Béatrice Bouchou-Markhoff ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6820 : Lecture notes in artificial intelligence:
Modeling decisions for artificial intelligence 8th international conference, MDAI 2011, Changsha, Hunan, China, July 28-30, 2011 ; proceedings Vicenç Torra ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6798 : Lecture notes in artificial intelligence:
A hybrid deliberative layer for robotic agents fusing DL reasoning with HTN planning in autonomous robots Ronny Hartanto
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6898:
Interactive theorem proving second international conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011 ; proceedings Marko Van Eekelen ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6845:
Approximation, randomization, and combinatorial optimization algorithms and techniques ; 14th international workshop, APPROX 2011, and 15th international workshop, RANDOM 2011, Princeton, NJ, USA, August 17-19, 2011 ; proceedings Leslie Ann Goldberg ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6914:
Fundamentals of computation theory 18th international symposium, FCT 2011, Oslo, Norway, August 22-25, 2011 ; proceedings Olaf Owe; Martin Steffen; Jan Arne Telle (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6907:
Mathematical foundations of computer science 2011 36th international symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011 ; proceedings Filip Murlak; Piotr Sankowski (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6871:
Machine learning and data mining in pattern recognition 7th international conference, MLDM 2011, New York, NY, USA, August 30-September 3, 2011 ; proceedings Petra Perner (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6880 : Lecture notes in artificial intelligence:
Case-based reasoning research and development 19th International Conference on Case-Based Reasoning, ICCBR 2011, London, UK, September 12-15, 2011 ; proceedings Ashwin Ram; Nirmalie Wiratunga (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6908:
Availability, reliability and security for business, enterprise and health information systems IFIP WG 8.4/8.9 International Cross Domain Conference and Workshop [on Multidisciplinary Research and Practice for Business, Enterprise and Health Information Systems ; held in conjunction with] ARES 2011 ; Vienna, Austria, August 22 - 26, 2011 ; proceedings ; [co-located with the International Workshop on Security and Cognitive Informatics for Homeland Defense (SeCIHD)] A Min Tjoa ... (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6931:
Advances in information retrieval theory third international conference, ICTIR 2011, Bertinoro, Italy, September 12-14, 2011 ; proceedings Giambattista Amati; Fabio Crestani (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6834 : State of the art survey:
Semantics in data and knowledge bases 4th international workshop, SDKB 2010, Bordeaux, France, July 5, 2010 ; revised selected papers Klaus-Dieter Schewe; Bernhard Thalheim (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6906:
Autonomic and trusted computing 8th international conference, ATC 2011, Banff, Canada, September 2-4, 2011 ; proceedings Jose M. Alcaraz Calero ... (eds.)
Berlin; Heidelberg: Springer, 2011
-
6862:
Data warehousing and knowledge discovery 13th international conference, DaWaK 2011, Toulouse, France, August/September, 2011 ; proceedings Alfredo Cuzzocrea; Umeshwar Dayal (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6836:
Text, speech and dialogue 14th international conference, TSD 2011, Pilsen, Czech Republic, September 1-5, 2011 ; proceedings Ivan Habernal; Václav Matoušek (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6933:
Secure data management 8th VLDB workshop, SDM 2011, Seattle, WA, USA, September 2, 2011 ; proceedings Willem Jonker; Milan Petković (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6897:
Web-age information management 12th international conference, WAIM 2011, Wuhan, China, September 14 - 16, 2011 ; proceedings Haixun Wang ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6955:
Energy-aware communications 17th international workshop, EUNICE 2011, Dresden, Germany, September 5-7, 2011 ; proceedings Ralf Lehnert (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6904 : Lecture notes in artificial intelligence:
Analysis of social media and ubiquitous data international workshops MSM 2010, Toronto, Canada, June 13, 2010, and MUSE 2010, Barcelona, Spain, September 20, 2010 ; revised selected papers Martin Atzmueller ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6889 : Lecture notes in artificial intelligence:
Brain informatics international conference, BI 2011, Lanzhou, China, September 7-9, 2011 ; proceedings Bin Hu ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6890:
Active media technology 7th international conference, AMT 2011, Lanzhou, China, September 7-9, 2011 ; proceedings Ning Zhong ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6905:
Ubiquitous intelligence and computing 8th international conference, UIC 2011, Banff, Canada, September 2 - 4, 2011 ; proceedings Ching-Hsien Hsu ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6937:
DNA computing and molecular programming 17th international conference, DNA 17, Pasadena, CA, USA, September 19 - 23, 2011 ; proceedings Luca Cardelli; William Shih (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6961:
Recent advances in intrusion detection 14th international symposium, RAID 2011, Menlo Park, CA, USA, September 20 - 21, 2011 ; proceedings Robin Sommer; Davide Balzarotti; Gregor Maier (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6942:
Algorithms - ESA 2011 19th annual European symposium, Saarbrücken, Germany, September 5-9, 2011 ; proceedings Camil Demetrescu; Magnus M. Halldórsson (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6886:
Multiple access communications 4th International Workshop, MACOM 2011, Trento, Italy, September 12-13, 2011 ; proceedings Claudio Sacchi ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6876:
Principles and practice of constraint programming - CP 2011 17th international conference, CP 2011, Perugia, Italy, September 12-16, 2011 ; proceedings Jimmy Lee (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6969:
Collaboration and technology 17th international conference, CRIWG 2011, Paraty, Brazil, October 2-7, 2011 ; proceedings Adriana S. Vivacqua; Carl Gutwin; Marcos R. S. Borges (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6951:
Integrated circuit and system design power and timing modeling, optimization, and simulation ; 21st international workshop, PATMOS 2011, Madrid, Spain, September 26 - 29, 2011 ; proceedings José L. Ayala; Braulio García-Cámara; Manuel Prieto; Martino Ruggiero; Gilles Sicard (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6953 : Lecture notes in artificial intelligence:
Logic, rationality, and interaction third international workshop, LORI 2011, Guangzhou, China, October 10-13, 2011 ; proceedings Hans van Ditmarsch; Jérôme Lang; Shier Ju (Eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6971:
Computational logistics second international conference, ICCL 2011, Hamburg, Germany, September 19 - 22, 2011 ; proceedings Jürgen W. Böse ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6919:
Formal modeling and analysis of timed systems 9th international conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011 ; proceedings Uli Fahrenberg; Stavros Tripakis (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6829:
Information security and cryptology - ICISC 2010 13th international conference, Seoul, Korea, December 1-3, 2010 ; revised selected papers Kyung-Hyune Rhee; DaeHun Nyang (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6989 : Lecture notes in artificial intelligence:
Frontiers of combining systems 8th international symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011 ; proceedings Cesare Tinelli; Viorica Sofronie-Stokkermans (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6996:
Automated technolgoy for verification and analysis 9th international symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011 ; proceedings Tevfik Bultan; Pao-Ann Hsiung (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6997:
Web information system engineering - WISE 2011 12th international conference, Sydney, Australia, October 13-14, 2011, proceedings Athman Bouguettaya; Manfred Hauswirth; Ling Liu (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6966 : Sublibrary SL 3, Information systems and application, incl. internet/web and HCI:
Research and advanced technology for digital libraries International Conference on Theory and Practice of Digital Libraries, TPDL 2011, Berlin, Germany, September 26-28, 2011 ; proceedings Stefan Gradmann ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6972:
Entertainment computing - ICEC 2011 10th international conference, ICEC 2011, Vancouver, Canada, October 5-8, 2011 ; proceedings Junia Anacleto ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7019:
Testing software and systems 23rd IFIP WG 6.1 international conference, ICTSS 2011, Paris, France, November 7-10, 2011 ; proceedings Burhart Wolff; Fatiha Zai̇di (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6838:
Advanced intelligent computing 7th international conference, ICIC 2010, Chengzhou, China, August 11-14, 2011 ; revised selected papers De-Shuang Huang ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7022 : Lecture notes in artificial intelligence:
Flexible query answering systems 9th international conference, FQAS 2011, Ghent, Belgium, October 26-28, 2011 ; proceedings Henning Christiansen ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7026 : Lecture notes in artificial intelligence:
Progress in artificial intelligence 15th Portuguese Conference on Artificial Intelligence, EPIA 2011, Lisbon, Portugal, October 10-13, 2011 ; proceedings Luis Antunes; H. Sofia Pinto (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7001:
Information security 14th international conference, ISC 2011, Xi'an, China, October 26-29, 2011 ; proceedings Xuejia Lai; Jianying Zhou; Hui Li (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7082 : State-of-the-Art Survey:
Video processing and computational video international seminar, Dagstuhl Castle, Germany, October 10-15, 2010 ; revised papers Daniel Cremers ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7027 : Lecture notes in artificial intelligence:
Integrated uncertainty in knowledge modelling and decision making International Symposium, IUKM 2011, Hangzhou, China, October 28-30, 2011 ; proceedings Yongchuan Tang; Van-Nam Huynh; Jonathan Lawry (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7043:
Information and communication security 13th international conference, ICICS 2011, Beijing, China, November 23-26, 2011 ; proceedings Sihan Qing ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7030:
Information computing and applications second international conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011 ; proceedings Baoxiang Liu; Chunlai Chai (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6957 : State-of-the-Art Survey:
Formal methods for components and objects 9th international symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 ; revised papers Bernhard K. Aichernig; Frank S. de Boer; Marcello M. Bonsangue (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7023 : Lecture notes in artificial intelligence:
Advances in artificial intelligence 14th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2011, La Laguna, Spain, November 7-11, 2011 ; proceedings Jose A. Lozano; José A. Gámez; José A. Moreno (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7036 : Lecture Notes in Bioinformatics:
Pattern recognition in bioinformatics 6th IAPR international conference, PRIB 2011, Delft, The Netherlands, November 2-4, 2011 ; proceedings Marco Loog ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7089:
Cryptography and coding 13th IMA international conference, IMACC 2011, Oxford, UK, December 2011 ; proceedings Liqun Chen (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7072 : Lecture notes in artificial intelligence:
Social robotics third international conference, ICSR 2011, Amsterdam, The Netherlands, November 24-25, 2011 ; proceedings Bilge Mutlu ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7093:
Information systems security 7th international conference, ICISS 2011, Kolkata, India, December 15 - 19, 2011 ; proceedings Sushil Jajodia; Chandan Mazumdar (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6683:
Learning and intelligent optimization 5th international conference, LION 5, Rome, Italy, January 17-21, 2011 ; selected papers Carlos A. Coello Coello (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7097:
Information retrieval technology 7th Asia Information Retrieval Societies Conference, AIRS 2011, Dubai, United Arab Emirates, December 18-20, 2011 ; proceedings Mohamed Vall ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7078:
Programming languages and systems 9th Asian symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011 ; proceedings Hongseok Yang (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7080 : Lecture notes in artificial intelligence:
Multi-disciplinary trends in artificial intelligence 5th international workshop, MIWAI 2011, Hyderabad, India, December 7-9, 2011 ; proceedings Chattrakul Sombattheera ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7108:
Databases in networked information systems 7th international workshop, DNIS 2011, Aizu-Wakamatsu, Japan, December 12-14, 2011 ; proceedings Shinji Kikuchi ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6800:
Analysis of verbal and nonverbal communication and enactment the processing issues ; COST 2102 international conference, Budapest, Hungary, September 7-10, 2010 ; revised selected papers Anna Esposito; Alessandro Vinciarelli; Klára Vicsi; Catherine Pelachaud; Anton Nijholt (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7099 : Lecture notes in artificial intelligence:
Anaphora processing and applications 8th Discourse Anaphora and Anaphor Resolution Colloquium, DAARC 2011, Faro, Portugal, October 6-7, 2011 , revised selected papers Iris Hendrickx ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7091 : Lecture notes in artificial intelligence:
Knowledge science, engineering and management 5th international conference, KSEM 2011, Irvine, CA, USA, December 12-14, 2011 ; proceedings Hui Xiong; W. B. Lee (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011