> 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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
5897 : Lecture notes in artificial intelligence:
Computing with instinct rediscovering artificial intelligence Yang Cai (ed.)
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
6545 : State-of-the-Art Survey:
Digital privacy PRIME - privacy and identity management for europe Jan Camenisch ... (eds.)
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
6784:
Computational science and its applications - ICCSA 2011 Pt. 3
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6786:
Computational science and its applications - ICCSA 2011 Pt. 5
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6763:
Human-computer interaction Pt. 3 Towards mobile and intelligent interaction environments
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6660 : Journal subline:
Transactions on Computational Collective Intelligence 4
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
-
6947:
Human-Computer Interaction - INTERACT 2011 Pt. 2
[Berlin]; Heidelberg [u.a.]: Springer, 2011
-
6854:
Computer Analysis of Images and Patterns Pt. 1 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
-
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
-
6913 : Lecture notes in artificial intelligence:
Machine Learning and Knowledge Discovery in Databases Pt. 3 Dimitrios Gunopulos ... (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6468:
Computer vision - ACCV 2010 Workshops Pt. 1 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
-
6974:
Affective computing and intelligent interaction Pt. 1 Sidney D'Mello ... (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6975:
Affective computing and intelligent interaction Pt. 2 Sidney D'Mello ... (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6522:
Distributed computing and networking 12th international conference, ICDCN 2011, Bangalore, India, January 2 - 5, 2011 ; proceedings Marcos K. Aguilera ... (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
-
6785:
Computational science and its applications - ICCSA 2011 Pt. 4
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6782:
Computational science and its applications - ICCSA 2011 Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6762:
Human-computer interaction Pt. 2 Interaction techniques and environments
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6764:
Human-Computer Interaction Pt. 4 Users and applications
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6768:
Universal access in human-computer interaction Pt. 4 Applications and services
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6600 : Journal Subline:
Transactions on rough sets 14
Berlin; Heidelberg: Springer, 2011
-
6756:
Automata, languages and programming 2 Luca Aceto ... (Eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6860:
Database and expert systems applications Pt. 1 Abdelkader Hameurlain ... (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6861:
Database and expert systems applications Pt. 2 Abdelkader Hameurlain ... (ed.)
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
-
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
-
6758 : Journal Subline:
Transactions on edutainment 6
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6946:
Human-Computer Interaction - INTERACT 2011 Pt. 1
[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
-
6893:
Medical image computing and computer-assisted intervention - MICCAI 2011 Pt. 3 Gabor Fichtinger ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6855:
Computer Analysis of Images and Patterns Pt. 2 Pedro Real ... (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6469:
Computer vision - ACCV 2010 Workshops Pt. 2 Reinhard Koch ... (eds.)
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
-
6978:
Image Analysis and Processing - ICIAP 2011 Pt. 1 Giuseppe Maino .... (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6923 : Lecture notes in artificial intelligence:
Computational collective intelligence Pt. 2
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
6592 : Lecture notes in artificial intelligence:
Intelligent information and database systems Pt. 2
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
-
6634 : Lecture notes in artificial intelligence:
Advances in knowledge discovery and data mining Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6643:
The Semantic Web: Research and Applications 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
-
6692:
Advances in Computational Intelligence : Pt. 2
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
-
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
-
6560 : Journal subline:
Transactions on Computational Collective Intelligence 3
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
-
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
-
6678 : Lecture notes in artificial intelligence:
Hybrid artificial intelligent systems Pt. 1
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
-
6729:
Advances in swarm intelligence Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6753:
Image analysis and recognition Pt. 1
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
-
6703 : Lecture notes in artificial intelligence:
Modern approaches in applied intelligence Pt. 1
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
-
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
-
6588:
Database systems for advanced applications Pt. 2
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
-
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
-
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
-
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
-
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
-
6878:
The mathematics of language 12th Biennial Conference, MOL 12Nara, Japan, September 6-8, 2011, Proceedings Makoto Kanazawa ... (eds.)
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
-
6587:
Database systems for advanced applications Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6641:
NETWORKING 2011 : Pt. 2
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
-
6675:
Advances in neural networks - ISNN 2011 Pt. 1
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
-
7066:
Visual Informatics: Sustaining Research and Innovations Pt.1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7067:
Visual Informatics: Sustaining Research and Innovations 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
-
7087:
Advances in image and video technology Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7044:
On the Move to Meaningful Internet Systems: OTM 2011 Pt.1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7094 : Lecture notes in artificial intelligence:
Advances in artificial intelligence 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
-
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
-
6730 : Journal Subline:
Transactions on data hiding and multimedia security 6
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7045:
On the Move to Meaningful Internet Systems: OTM 2011 Pt. 2
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
-
7063:
Neural information processing Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7088:
Advances in image and video technology Pt. 2
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
-
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
-
7062:
Neural information processing Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7064:
Neural information processing Pt. 3
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
-
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
-
7121 : Lecture notes in artificial intelligence:
Advanced data mining and applications Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
6580:
Transactions on aspect oriented software development 8 / Shmuel Katz ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6761:
Human-computer interaction Pt. 1 Design and development approaches
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
-
6765:
Universal access in human-computer interaction Pt. 1 Design for all and eInclusion
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6766:
Universal access in human-computer interaction Pt. 2 Users diversity
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6774:
Virtual and mixed reality Pt. 2 Systems and applications
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
-
6910 : Journal subline:
Transactions on Computational Collective Intelligence 5
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
-
6987:
Web information systems and mining Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6979:
Image Analysis and Processing - ICIAP 2011 Pt. 2 Giuseppe Maino .... (ed.)
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
-
7003 : Lecture notes in artificial intelligence:
Artificial intelligence and computational intelligence 2 Hepu Deng ... (eds.)
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
-
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
-
6598:
System analysis and modeling: about models 6th international workshop, SAM 2010, Oslo, Norway, October 4-5, 2010 ; revised selected papers Frank Alexander Kraemer; Peter Herrmann (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
-
6706:
Tests and proofs 5th international conference, TAP 2011, Zürich, Switzerland, June 30-July 1, 2011 ; proceedings Martin Gogolla; Burkhart Wolff (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6778:
Online communities and social computing 4th international conference, OCSC 2011, held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011 ; proceedings A. Ant Ozok ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6777:
Digital human modeling third international conference, ICDHM 2011, held as part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011 ; proceedings Vincent G. Duffy (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6685 : Lecture notes in bioinformatic:
Computational intelligence methods for bioinformatics and biostatistics 7th international meeting, CIBB 2010, Palermo, Italy, September 16-18, 2010 ; revised selected papers Riccardo Rizzo; Paulo J. G. Lisboa (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6759:
Product-focused software process improvement 12th international conference, PROFES 2011, Torre Canne, Italy, June 20-22, 2011 ; proceedings Danilo Caivano ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6743 : Lecture notes in artificial intelligence:
Rough sets, fuzzy sets, data mining and granular computing 13th international conference, RSFDGrC 2011, Moscow, Russia, June 25-27, 2011 ; proceedings Sergei O. Kuznetsov ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6780 : Lecture notes in artificial intelligence:
Foundations of augmented cognition directing the future of adaptive systems ; 6th international conference, FAC 2011 ; held as part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011 ; proceedings Dylan D. Schmorrow; Cali M. Fidopoastis (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6735:
Models of computation in context 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011 ; proceedings Benedikt Löwe ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6804 : Lecture notes in artificial intelligence:
Foundations of intelligent systems 19th international symposium, ISMIS 2011, Warsaw, Poland, June 28-30, 2011 ; proceedings Marzena Kryszkiewicz ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6705:
Objects, models, components, patterns 49th international conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011 ; proceedings Judith Bishop ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6737:
Progress in Cryptology - AFRICACRYPT 2011 4th International Conference on Cryptology in Africa, Dakar, Senegal, July 5-7, 2011 ; proceedings Abderrahmane Nitaj ... (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
-
6811:
Ad-hoc, mobile and wireless networks 10th international conference, ADHOC-NOW 2011, Paderborn, Germany, July 18-20, 2011 ; proceedings Hannes Frey ... (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
-
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
-
6824 : Lecture notes in artificial intelligence:
Intelligent computer mathematics 18th symposium, Calculemus 2011 and 10th international conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011 ; proceedings James H. Davenport ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6650 : State-of-the-Art Survey:
Studies in complexity and cryptography miscellanea on the interplay between randomness and computation Oded Goldreich et al. In collaboration with Lidor Avigad
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
-
6748:
Optical supercomputing third international workshop, OSC 2010, Bertinoro, Italy, November 17-19, 2010 ; revised selected papers Shlomi Dolev ... (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
-
6711:
Public key infrastructures, services and applications 7th European workshop , EuroPKI 2010, Athens, Greece, September 23 - 24, 2010 ; revised selected papers Jan Camenisch ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6863:
Trust, privacy and security in digital business 8th international conference, TrustBus 2011, Toulouse, France, August 29 - September 2, 2011 ; proceedings Steven Furnell ... (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
-
6864:
Data management in grid and peer-to-peer systems 4th international conference, Globe 2011, Toulouse, France, September 1-2, 2011 ; proceedings Abdelkader Hameurlain ... (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
-
6848 : Tutorial:
Reasoning web semantic technologies for the web of data ; 7th international summer school 2011, Galway, Ireland, August 23 - 27, 2011 ; tutorial lectures Axel Polleres ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6901:
CONCUR 2011 - concurrency theory 22nd international conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011 ; proceedings Joost-Pieter Katoen; Barbara König (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
-
6843:
Wireless algorithms, systems, and applications 6th international conference, WASA 2011, Chengdu, China, August 11-13, 2011 ; proceedings Yu Cheng ... (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
-
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
-
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
-
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
-
6917:
Cryptographic hardware and embedded systems - CHES 2011 13th international workshop, Nara, Japan, September 28 - October 1, 2011 ; proceedings Bart Preneel; Tsuyoshi Takagi (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6956:
Search based software engineering third international symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011 ; proceedings Myra B. Cohen; Mel Ó Cinnéide (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6857 : Lecture notes in artificial intelligence:
Fuzzy logic and applications 9th international workshop, WILF 2011, Trani, Italy, August 29-31, 2011 ; proceedings Anna Maria Fanelli; Witold Pedrycz; Alfredo Petrosino (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6909:
Advances in databases and information systems 15th international conference, ADBIS 2011, Vienna, Austria, September 20-23, 2011 ; proceedings Johann Eder; Maria Bielikova; A Min Tjoa (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6879:
Computer security - ESORICS 2011 16th European Symposium on Research in Computer Security, Leuven, Belgium, September 12 - 14, 2011 proceedings Vijay Atluri ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6950 : Advanced research in computing and software science:
Distributed computing 25th international symposium, DISC 2011, Rome, Italy, September 20-22, 2011 ; proceedings David Peleg (ed.)
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
-
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
-
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
-
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
-
6952:
Photogrammetric image analysis ISPRS conference, PIA 2011, Munich, Germany, October 5-7, 2011 ; proceedings Uwe Stilla, Franz Rottensteiner, Helmut Mayer... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6954 : Lecture notes in artificial intelligence:
Rough sets and knowledge technology 6th international conference, RSKT 2011, Banff, Canada, October 9-12, 2011 ; proceedings Jing Tao Yao ... (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
-
6998:
Conceptual modeling - ER 2011 30th international conference, ER 2011, Brussels, Belgium, October 31 - November 3, 2011 ; proceedings Manfred A. Jeusfeld; Lois Delcambre, Tok Wang Ling (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6992 : Lecture notes in artificial intelligence:
Algorithmic decision theory second international conference, ADT 2011, Piscataway, NJ, USA, October 26-28, 2011 ; proceedings Ronen I. Brafman; Fred S. Roberts; Alexis Tsoukiàs (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
-
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
-
7000 : Festschrift:
Formal modeling: actors, open systems, biological systems essays dedicated to Carolyn Talcott on the occasion of her 70th birthday Gul Agha; Oilivier Danvy; José Meseguer (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7021:
Formal methods: foundations and applications 14th Brazilian symposium, SBMF 2011, Sao Paulo, September 26-30 2011 ; proceedings Adenilso Simao; Carroll Morgan (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7015 : Lecture notes in artificial intelligence:
Advances in nonlinear speech processing 5th International Conference on Nonlinear Speech Processing, NoLISP 2011, Las Palmas de Gran Canaria, Spain, November 7-9, 2011 ; proceedings Carlos M. Travieso-González; Jesús B. Alonso-Hernández (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7047 : Lecture notes in artificial intelligence:
Agents in principle, agents in practice 14th international conference, PRIMA 2011, Wollongong, Australia, November 16-18, 2011 ; proceedings David Kinny ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7040:
Ambient intelligence Second international joint conference, AmI 2011, Amsterdam, The Netherlands, November 16-18, 2011 ; proceedings David V. Keyson ... (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
-
7083:
SDL 2011: integrating system and software modeling 15th International SDL Forum, Toulouse, France, July 5 - 7, 2011 ; revised papers Iulian Ober; Ilena Ober (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
-
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
-
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
-
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
-
6986:
Graph-theoretic concepts in computer science 37th international workshop, WG 2011, Teplá Monastery, Czech Republic, June 21-24, 2011 ; revised papers Petr Kolman; Jan Kratochvíl (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7109:
Principles of distributed systems 15th international conference, OPODIS 2011, Toulouse, France, December 13-16, 2011 ; proceedings Antonio Fernández Anta ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6682 : Lecture notes in artificial intelligence:
Agent and multi-agent systems: technologies and applications 5th KES international conference, KES-AMSTA 2011, Manchester, UK, June 29-July 1, 2011 ; proceedings James OŚhea ... (eds.)
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
-
6581 : Lecture notes in artificial intelligence:
Knowledge processing and data analysis first international conference, KONT 2007, Novosibirsk, Russia, September 14-16, 2007, and first international conference, KPP 2007, Darmstadt, Germany, September 28-30, 2007 ; revised selected papers Karl Erich Wolff ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6717 : Lecture notes in artificial intelligence:
Symbolic and quantitative approaches to reasoning with uncertainty 11th European conference, ECSQARU 2011, Belfast, UK, June 29-July 1, 2011 ; proceedings Weiru Liu (ed.)
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
-
6813:
ECOOP 2011 - object-oriented programming 25th European conference, Lancaster, UK, July 25-29, 2011 ; proceedings Mira Mezini (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6828 : Lecture notes in artificial intelligence:
Conceptual structures for discovering knowledge 19th International Conference on Conceptual Structures, ICCS 2011, Derby, UK, July 25-29, 2011 ; proceedings Simon Andrews ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6822 : Lecture notes in artificial intelligence:
Languages, methodologies, and development tools for multi-agent systems third international workshop, LADS 2010, Lyon, France, August 30-September 1, 2010 ; revised selected papers Mehdi Dastani ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6815:
Smart graphics 11th International Symposium on Smart Graphics, Bremen, Germany, July 18-20, 2011 ; proceedings Lutz Dickmann ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6816:
Functional and constraint logic programming 20th international workshop, WFLP 2011, Odense, Denmark, July 19, 2011 ; proceedings Herbert Kuchen (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6837:
Hybrid learning 4th international conference, ICHL 2011, Hong Kong, China, August 10-12, 2011 ; proceedings Reggie Kwan ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6830 : Lecture notes in artificial intelligence:
Artificial general intelligence 4th international conference, AGI 2011, Mountain View, CA, USA, August 3-6, 2011 ; proceedings Jürgen Schmidhuber, Kristinn R. Thórisson; Moshe Looks (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6869:
Smart spaces and next generation wired/wireless networking 11th international conference, NEW2AN 2011 and 4th Conference on Smart Spaces, RuSMART 2011, St. Petersburg, Russia, August 22-15, 2011 ; proceedings Sergey Balandin; Yevgeni Koucheryavy; Honglin Hu (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6846:
Electronic government 10th IFIP WG 8.5 international conference, EGOV 2011, Delft, The Netherlands, August 29 - September 2, 2011 ; proceedings Marijn Janssen ... (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
-
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
-
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
-
6819:
Energy minimazation methods in computer vision and pattern recognition 8th international conference, EMMCVPR 2011, St. Petersburg, Russia, July 25-27, 2011 ; proceedings Yuri Boykov ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6841:
Advances in cryptology - CRYPTO 2011 31th Annual Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2011 ; proceedings Phillip Rogaway (ed.)
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
-
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
-
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
-
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
-
6895 : Lecture notes in artificial intelligence:
Intelligent virtual agents 11th international conference, IVA 2011, Reykjavik, Iceland, September 15-17, 2011 ; proceedings Hannes Högni Vilhjálmsson ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6887 : Advanced research in computing and software science:
Static analysis 18th international symposium, SAS 2011, Venice, Italy, September 14-16, 2011 ; proceedings Eran Yahav (ed.)
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
-
6874:
Cooperative design, visualization, and engineering 8th international conference, CDVE 2011, Hong Kong, China, September 11-14, 2011 ; proceedings Yuhua Luo (ed.)
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
-
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
-
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
-
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
-
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
-
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
-
6973 : Lecture notes in artificial intelligence:
Multiagent system technologies 9th German conference, MATES 2011, Berlin, Germany, Oktober 6 - 7, 2011 ; proceedings Franziska Klügl; Sascha Ossowski (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
-
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
-
7020 : Festschrift:
Algebraic foundations in computer science essays dedicated to Symeon Bozapalidis on the occasion of his retirement Werner Kuich; George Rahonis (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6877 : Lecture notes in artificial intelligence:
Automated deduction in geometry 8th international workshop, ADG 2010, Munich, Germany, July 22-24, 2010 ; revised papers Pascal Schreck; Julien Narboux; Jürgen Richter-Gebert (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
-
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
-
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
-
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
-
7084:
Service-oriented computing 9th international conference, ICSOC 2011, Paphos, Cyprus, December 5-8, 2011 ; proceedings Gerti Kappel; Zakaria Maamar; Hamid R. Motahari-Nezhad (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7049:
Middleware 2011 ACM/IFIP/USENIX 12th International Middleware Conference, Lisbon, Portugal, December 12-16, 2011 ; proceedings Fabio Kon; Anne-Marie Kermarrec (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
-
6690:
Typed lambda calculi and applications 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011 ; proceedings Luke Ong (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
-
6738 : Lecture notes in artificial intelligence:
Artificial intelligence in education 15th international conference, AIED 2011, Auckland, New Zealand, June 28-July 1, 2011 ; proceedings Gautam Biswas ... (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
-
6823:
Model checking software 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011 ; proceedings Alex Groce; Madanlal Musuvathi (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
-
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
-
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
-
6700 : Lecture notes in artificial intelligence:
Logic and grammar essays dedicated to Alain Lecomte on the occasion of his 60th birthday Sylvain Pogodalla; Myriam Quatrini; Christian Retoré (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
-
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
-
6932:
Comparative evaluation of focused retrieval 9th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2010, Vught, The Netherlands, December 13 - 15, 2010 ; revised selected papers Shlomo Geva; Jaap Kamps; Ralf Schenkel; Andrew Trotman (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6885:
Computer algebra in scientific computing 13th international workshop, CASC 2011, Kassel, Germany, September 5-9, 2011 ; proceedings Vladimir P. Gerdt ... (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
-
6929 : Lecture notes in artificial intelligence:
Scalable uncertainty management 5th international conference, SUM 2011, Dayton, OH, USA, October 10-13, 2011 ; proceedings Salem Benferhat; John Grant (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6903:
Software architecture 5th European conference, ECSA 2011, Essen, Germany, September 13-16, 2011 ; proceedings Ivica Crnkovic; Volker Gruhn; Matthias Book (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6915:
Advanced concepts for intelligent vision systems 13th international conference, ACIVS 2011, Ghent, Belgium, August 22-25, 2011 ; proceedings Jacques Blanc-Talon ... (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
-
6965:
Advanced parallel processing technologies 9th international symposium, APPT 2011, Shanghai, China, September 26-27, 2011 ; proceedings Olivier Temam; Pen-Chung Yew; Binyu Zang (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6958:
Information hiding 13th international conference, IH 2011, Prague, Czech Republic, May 18-20, 2011 ; revised selected papers Tomáš Filler ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7009:
Machine learning in medical imaging second international workshop, MLMI 2011, held in conjunction with MICCAI 2011, Toronto, Canada, September 18, 2011 ; proceedings Kenji Suzuki ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6985:
Network and parallel computing 8th IFIP International Conference, NPC 2011, Changsha, China, October 21-23, 2011 ; proceedings Erik Altman ... (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
-
6959:
Formal methods for industrial critical systems 16th international workshop, FMICS 2011, Trento, Italy, August 29 - 30, 2011 ; proceedings Gwen Salaün; Bernhard Schätz (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
-
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
-
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
-
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
-
7058:
Information quality in e-health 7th Conference of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2011, Graz, Austria, November 25-26, 2011 ; proceedings Andreas Holzinger; Klaus-Martin Simonic (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7071:
Post-quantum cryptography 4th international workshop, PQCrypto 2011, Taipei, Taiwan, November 29 - December 2, 2011 ; proceedings Bo-Yin Yang (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7060:
Motion in games 4th international conference, MIG 2011, Edinburgh, United Kingdom, November 13-15, 2011 ; proceedings Jan M. Allbeck; Petros Faloutsos (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
-
7069:
Interactive storytelling 4th International Conference on Interactive Digital Storytelling, ICIDS 2011, Vancouver, Canada, November 28- December 1, 2011 ; proceedings Mei Si ... (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
-
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
-
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
-
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
-
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
-
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
-
7114:
Security protocols XIX 19th international workshop, Cambridge, UK, March 28-30, 2011 ; revised selected papers Bruce Christianson ... (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
-
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
-
6707:
Theory and practice of model transformations 4th international conference, ICMT 2011, Zürich, Switzerland, June 27-28, 2011 ; proceedings Jordi Cabot; Eelco Visser (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
-
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
-
6787:
User modeling, adaption, and personalization 19th international conference, UMAP 2011, Girona, Spain, July 11-15, 2011 ; proceedings Joseph A. Konstan ... (eds.)
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
-
6716 : Sublibrary 3, Information systems and applications, incl. Internet/Web, and HCI:
Natural language processing and information systems 16th International Conference on Applications of Natural Language to Information Systems, NLDB 2011, Alicante, Spain, June 28-30, 2011 ; proceedings Rafael Mun︢oz ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6757:
Web engineering 11th international conference, ICWE 2011, Paphos, Cyprus, June 20-24, 2011 ; proceedings Sören Auer ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6796:
Structural information and communication complexity 18th international colloquium, SIROCCO 2011, Gdańsk, Poland, June 26-29, 2011 ; proceedings Adrian Kosowski ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6710:
Security and trust management 6th international workshop, STM 2010, Athens, Greece, September 23-24, 2010 ; revised selected papers Jorge Cuellar ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6618 : Lecture notes in artificial intelligence:
Logic, language, and computation 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009 ; revised selected papers Nick Bezhanishvili ... (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
-
6842:
Computing and combinatorics 17th annual international conference, COCOON 2011, Dallas, TX, USA, August 14-16, 2011 ; proceedings Bin Fu; Ding-Zhu Du (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
-
6831:
Combinatorial optimization and applications 5th international conference, COCOA 2011, Zhangjiajie, China, August 4-6, 2011 ; proceedings Weifan Wang; Xuding Zhu; Ding-Zhu Du (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6810 : Lecture notes in artificial intelligence:
Logic and games on automatic structures playing with quantifiers and decompositions Łukasz Kaiser
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
-
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
-
6851:
Haptic and audio interaction design 6th international workshop, HAID 2011, Kusatu, Japan, August 25-26, 2011 ; proceedings Eric W. Cooper ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6833 : Lecture notes in bioinformatics:
Algorithms in bioinformatics 11th international workshop, WABI 2011, Saarbrücken, Germany, September 5-7, 2011 ; proceedings Teresa M. Przytycka; Marie-France Sagot (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6835:
Pattern recognition 33rd DAGM symposium, Frankfurt/Main, Germany, August 31 - September 2, 2011 ; proceedings Rudolf Mester; Michael Felsberg (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
-
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