> 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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
7387:
Web engineering 12th International Conference, ICWE 2012, Berlin, Germany, July 23-27, 2012 ; proceedings Marco Brambilla ... (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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
6585 : State-of-the-Art Survey:
Search computing trends and developments Stefano Ceri ... (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
-
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
-
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
-
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
-
6530 : Jounal Subline:
Transactions on edutainment 5
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
-
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
-
6499 : Journal Subline:
Transactions on rough sets 13
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
-
6608:
Computational linguistics and intelligent text processing Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6609:
Computational linguistics and intelligent text processing Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6493:
Computer vision - ACCV 2010 Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6593:
Adaptive and natural computing algorithms 1 Andrej Drobnikar ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6594:
Adaptive and natural computing algorithms 2 Andrej Drobnikar ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6492:
Computer Vision - ACCV 2010 Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6495:
Computer vision - ACCV 2010 Pt. 4
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
-
6494:
Computer vision - ACCV 2010 Pt. 3
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6510 : Journal Subline:
Transactions on pattern languages of programming 2 Special issue on applying patterns
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6575 : Lecture notes in bioinformatics:
Transactions on computational systems biology 13
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6587:
Database systems for advanced applications 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
-
6678 : Lecture notes in artificial intelligence:
Hybrid artificial intelligent systems Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6729:
Advances in swarm intelligence Pt. 2
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
-
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
-
6676:
Advances in neural networks - ISNN 2011 Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6643:
The Semantic Web: Research and Applications Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6728:
Advances in swarm intelligence Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6754:
Image analysis and recognition Pt. 2
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
-
6704 : Lecture notes in artificial intelligence:
Modern approaches in applied intelligence Pt. 2
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
-
6624:
Applications of Evolutionary Computation Pt. 1 EvoCOMPLEX, EvoGAMES, EvoIASP, EvoINTELLIGENCE, EvoNUM, and EvoSTOC
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6641:
NETWORKING 2011 : Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6675:
Advances in neural networks - ISNN 2011 Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6677:
Advances in neural networks - ISNN 2011 Pt. 3
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6692:
Advances in Computational Intelligence : Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6691:
Advances in Computational Intelligence Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6753:
Image analysis and recognition Pt. 1
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
6902:
Web resoning and rule systems 5th international conference, RR 2011, Galway, Ireland, August 29-30, 2011 ; proceedings Sebastian Rudolph; Claudio Gutierrez (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
-
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
-
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
-
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
-
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
-
6934 :Lecture notes in artificial intelligence:
AI*IA 2011: Artificial intelligence around man and beyond XIIth International Conference of the Italian Association for Artificial Intelligence, Palermo, Italy, September 15-17, 2011 ; proceedings Roberto Pirrone; Filippo Sorbello (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
-
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
-
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
-
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
-
6984:
Social informatics third international conference, SocInfo 2011, Singapore, October 6-8, 2011 ; proceedings Anwitaman Datta ... (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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
7106 : Lecture notes in artificial intelligence:
AI 2011: advances in artificial intelligence 24th Australasian joint conference, Perth, Australia, December 5-8, 2011 ; proceedings Dianhui Wang; Mark Reynolds (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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
6935:
Convergence and hybrid information technology 5th international conference, ICHIT 2011, Daejeon, Korea, September 22 - 24, 2011 ; proceedings Geuk Lee; Daniel Howard; Dominik Śle̜zak (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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
6964:
Towards ubiquitous learning 6th European Conference on Technology Anhanced Learning, EC-TEL 2011, Palermo, Italy, September 20-23, 2011 ; proceedings Carlos Delgado Kloos ... (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
-
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
-
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
-
6945:
Reachability problems 5th international workshop, RP 2011, Genoa, Italy, September 28-30, 2011 ; proceedings Giorgio Delzanno ... (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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
7056:
Combinatorial algorithms 22nd international workshop, IWOCA 2011, Victoria, BC, Canada, July 20 - 22, 2011 ; revised selected papers Costas S. Iliopoulos ... (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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
7105:
Future generation information technology third international conference, FGIT 2011 in conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011 ; proceedings Tai-hoon Kim ... (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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
6656:
The future internet future internet assembly 2011: achievements and technological promises John Domingue ... (eds.)
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
6520 : State-of-the-Art Survey:
The evolution of conceptual modeling from a historical perspective towards the future of conceptual modeling ; [Dagstuhl Seminar on the Evolution of Conceptual Modeling, (Schloss Dagstuhl, April 2008)] Roland Kaschek; Lois Delcambre (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
-
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
-
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
-
6560 : Journal subline:
Transactions on Computational Collective Intelligence 3
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
-
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
-
6644:
The semantic web: research and applications Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6679 : Lecture notes in artificial intelligence:
Hybrid artificial intelligent systems 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
-
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
-
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
-
6791:
Artificial neural networks and machine learning Pt. 1
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
5897 : Lecture notes in artificial intelligence:
Computing with instinct rediscovering artificial intelligence Yang Cai (ed.)
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
6784:
Computational science and its applications - ICCSA 2011 Pt. 3
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6762:
Human-computer interaction Pt. 2 Interaction techniques and environments
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6768:
Universal access in human-computer interaction Pt. 4 Applications and services
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6769:
Design, user experience, and usability Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6771:
Human interface and the management of information Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6660 : Journal subline:
Transactions on Computational Collective Intelligence 4
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6600 : Journal Subline:
Transactions on rough sets 14
Berlin; Heidelberg: 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