> Publishers' series
-
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
-
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
-
7053:
Security and intelligent information systems international joint confererence, SIIS 2011, Warsaw, Poland, June 13 - 14, 2011 ; revised selected papers Pascal Bouvry ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2012
-
7057 : Lecture notes in artificial intelligence:
Principles and practice of multi-agent systems 13th international conference, PRIMA 2010, Kolkata, India, November 12 - 15, 2010 ; revised selected papers Nirmit Desai ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2012
-
7117:
he semantic web: ESWC 2011 workshops ESWC 2011 workshops, Heraklion, Greece, May 29 - 30, 2011 ; revised selected papers Raúl García-Castro ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2012
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
7387:
Web engineering 12th International Conference, ICWE 2012, Berlin, Germany, July 23-27, 2012 ; proceedings Marco Brambilla ... (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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
6702:
Datalog reloaded first international workshop, Datalog 2010, Oxford, UK, March 16-19, 2010 ; revised selected papers Oege de Moor ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6945:
Reachability problems 5th international workshop, RP 2011, Genoa, Italy, September 28-30, 2011 ; proceedings Giorgio Delzanno ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6967 : Lecture notes in artificial intelligence:
Modeling and using context 7th international and interdisciplinary conference, CONTEXT 2011, Karlsruhe, Germany, September 26-30, 2011 ; proceedings Michael Beigl ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
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
-
6925 : Lecture notes in artificial intelligence:
Algorithmic learning theory 22nd international conference, ALT 2011, Espoo, Finland, October 5-7, 2011 ; proceedings Jyrki Kivinen ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
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
-
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
-
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
-
7082 : State-of-the-Art Survey:
Video processing and computational video international seminar, Dagstuhl Castle, Germany, October 10-15, 2010 ; revised papers Daniel Cremers ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7027 : Lecture notes in artificial intelligence:
Integrated uncertainty in knowledge modelling and decision making International Symposium, IUKM 2011, Hangzhou, China, October 28-30, 2011 ; proceedings Yongchuan Tang; Van-Nam Huynh; Jonathan Lawry (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
7089:
Cryptography and coding 13th IMA international conference, IMACC 2011, Oxford, UK, December 2011 ; proceedings Liqun Chen (ed.)
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
-
6821 : Festschrift:
Performance evaluation of computer and communication systems milestones and future challenges ; IFIP WG 6.3/7.3 international workshop, PERFORM 2010, in honor of Günter Haring on the occasion of his emeritus celebration, Vienna, Austria, October 14-16, 2010 ; revised selected papers Karin Anna Hummel; Helmut Hlavacs; Wilfried Gansterer (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
-
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
-
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
-
7099 : Lecture notes in artificial intelligence:
Anaphora processing and applications 8th Discourse Anaphora and Anaphor Resolution Colloquium, DAARC 2011, Faro, Portugal, October 6-7, 2011 , revised selected papers Iris Hendrickx ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7091 : Lecture notes in artificial intelligence:
Knowledge science, engineering and management 5th international conference, KSEM 2011, Irvine, CA, USA, December 12-14, 2011 ; proceedings Hui Xiong; W. B. Lee (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6785:
Computational science and its applications - ICCSA 2011 Pt. 4
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6762:
Human-computer interaction Pt. 2 Interaction techniques and environments
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6767:
Universal access in human-computer interaction Pt. 3 Context diversity
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6771:
Human interface and the management of information Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6773:
Virtual and mixed reality Pt. 1 New trends
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6772:
Human Interface and the Management of Information Pt. 2 / Gavriel Salvendy ... (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6755:
Automata, languages and programming 1 Luca Aceto ... (Eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6756:
Automata, languages and programming 2 Luca Aceto ... (Eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6790 : Journal Subline:
Transactions on large-scale data- and knowledge-centered systems 3 Special issue on data and knowledge management in Grid and PSP systems
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6948:
Human-computer interaction - INTERACT 2011 Pt. 3
[Berlin]; Heidelberg [u.a.]: Springer, 2011
-
6946:
Human-Computer Interaction - INTERACT 2011 Pt. 1
[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
-
6987:
Web information systems and mining Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6939:
Advances in visual computing Pt. 2 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
-
7016:
Algorithms and architectures for parallel processing Pt. 1
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
-
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
-
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
-
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
-
6708:
Software composition 10th international conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011 ; proceedings Sven Apel ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6801:
Information processing in medical imaging 22nd international conference, IPMI 2011, Kloster Irsee, Germany, July 3 - 8, 2011 ; proceedings Gábor@Székely ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
6906:
Autonomic and trusted computing 8th international conference, ATC 2011, Banff, Canada, September 2-4, 2011 ; proceedings Jose M. Alcaraz Calero ... (eds.)
Berlin; Heidelberg: Springer, 2011
-
6862:
Data warehousing and knowledge discovery 13th international conference, DaWaK 2011, Toulouse, France, August/September, 2011 ; proceedings Alfredo Cuzzocrea; Umeshwar Dayal (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6836:
Text, speech and dialogue 14th international conference, TSD 2011, Pilsen, Czech Republic, September 1-5, 2011 ; proceedings Ivan Habernal; Václav Matoušek (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6933:
Secure data management 8th VLDB workshop, SDM 2011, Seattle, WA, USA, September 2, 2011 ; proceedings Willem Jonker; Milan Petković (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6897:
Web-age information management 12th international conference, WAIM 2011, Wuhan, China, September 14 - 16, 2011 ; proceedings Haixun Wang ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6955:
Energy-aware communications 17th international workshop, EUNICE 2011, Dresden, Germany, September 5-7, 2011 ; proceedings Ralf Lehnert (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6889 : Lecture notes in artificial intelligence:
Brain informatics international conference, BI 2011, Lanzhou, China, September 7-9, 2011 ; proceedings Bin Hu ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6890:
Active media technology 7th international conference, AMT 2011, Lanzhou, China, September 7-9, 2011 ; proceedings Ning Zhong ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6905:
Ubiquitous intelligence and computing 8th international conference, UIC 2011, Banff, Canada, September 2 - 4, 2011 ; proceedings Ching-Hsien Hsu ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6937:
DNA computing and molecular programming 17th international conference, DNA 17, Pasadena, CA, USA, September 19 - 23, 2011 ; proceedings Luca Cardelli; William Shih (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6961:
Recent advances in intrusion detection 14th international symposium, RAID 2011, Menlo Park, CA, USA, September 20 - 21, 2011 ; proceedings Robin Sommer; Davide Balzarotti; Gregor Maier (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
6783:
Computational science and its applications - ICCSA 2011 Pt. 2
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
-
6769:
Design, user experience, and usability Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6766:
Universal access in human-computer interaction Pt. 2 Users diversity
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6670 : Journal Subline:
Transactions on computational science 12 Special issue on cyberworlds
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6852:
Euro-Par 2011 Parallel Processing 1 Emmanuel Jeannot ... (eds.)
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
-
6949:
Human-Computer Interaction - INTERACT 2011 Pt. 4
[Berlin]; Heidelberg [u.a.]: Springer, 2011
-
6858:
Foundations of security analysis and design 6 FOSAD tutorial lectures / Alessandro Aldini ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6758 : Journal Subline:
Transactions on edutainment 6
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6854:
Computer Analysis of Images and Patterns Pt. 1 Pedro Real ... (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
-
6988:
Web information systems and mining Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6979:
Image Analysis and Processing - ICIAP 2011 Pt. 2 Giuseppe Maino .... (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6788 : State-of-the-art-survey:
Agent-Oriented Software Engineering 11 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010; revised selected papers / Danny Weyns ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
7013:
Informatics in schools contributing to 21st century education ; 5th International Conference on Informatics in Schools: Situation, Evolution and Perspectives, ISSEP 2011, Bratislava, Slovakia, October 26-29, 2011 ; proceedings Ivan Kalaš; Roland T. Mittermeir (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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
6782:
Computational science and its applications - ICCSA 2011 Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6580:
Transactions on aspect oriented software development 8 / Shmuel Katz ... (eds.)
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
-
6660 : Journal subline:
Transactions on Computational Collective Intelligence 4
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
-
6892:
Medical image computing and computer-assisted intervention - MICCAI 2011 Pt. 2 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
-
6468:
Computer vision - ACCV 2010 Workshops Pt. 1 Reinhard Koch ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6469:
Computer vision - ACCV 2010 Workshops Pt. 2 Reinhard Koch ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6910 : Journal subline:
Transactions on Computational Collective Intelligence 5
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
-
6884 : Lecture notes in artificial intelligence:
Knowledge based and intelligent information and engineering systems Pt. 4
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
-
6644:
The semantic web: research and applications Pt. 2
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
-
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
-
6692:
Advances in Computational Intelligence : Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6753:
Image analysis and recognition Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6704 : Lecture notes in artificial intelligence:
Modern approaches in applied intelligence Pt. 2
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
-
6530 : Jounal Subline:
Transactions on edutainment 5
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
-
6593:
Adaptive and natural computing algorithms 1 Andrej Drobnikar ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6493:
Computer vision - ACCV 2010 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
-
6641:
NETWORKING 2011 : Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6676:
Advances in neural networks - ISNN 2011 Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6677:
Advances in neural networks - ISNN 2011 Pt. 3
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
-
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
-
6575 : Lecture notes in bioinformatics:
Transactions on computational systems biology 13
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
-
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
-
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
-
7062:
Neural information processing Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7063:
Neural information processing 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
-
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
-
7044:
On the Move to Meaningful Internet Systems: OTM 2011 Pt.1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7076:
Swarm, evolutionary, and memetic computing Pt. 1
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
-
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
-
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
-
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
-
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
-
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
-
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
-
6656:
The future internet future internet assembly 2011: achievements and technological promises John Domingue ... (eds.)
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
-
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
-
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
-
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
-
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
-
6512 : Lecture notes in artificial intelligence:
Knowledge representation for health-care ECAI 2010 workshop KR4HC 2010, Lisbon, Portugal, August 17, 2010 ; revised selected papers David Riaño ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6531:
Information security 13th international conference, ISC 2010, Boca Raton, FL, USA, October 25-28, 2010 ; revised selected papers Mike Burmester ... (eds.)
Heidelberg [u.a.]: Springer, 2011
-
6528:
Formal verification of object-oriented software International Conference FoVeOOS 2010, Paris, France, June 28-30, 2010 ; revised selected papers Bernhard Beckert; Claude Marché (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6502:
Graph drawing 18th international symposium, GD 2010, Konstanz, Germany, September 21-24, 2010 ; revised selected papers Ulrik Brandes; Sabine Cornelsen (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
6721:
Coordination models and languages 13th international conference, coordination 2011, Reykjavik, Iceland, June 6 - 9, 2011 ; proceedings Wolfgang De Meuter; Gruia-Catalin Roman (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6698:
Modelling foundations and applications 7th European Conference, ECMFA 2011, Birmingham, UK, June 6-9, 2011 ; proceedings Robert B. France ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
6545 : State-of-the-Art Survey:
Digital privacy PRIME - privacy and identity management for europe Jan Camenisch ... (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
-
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
-
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
-
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
-
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
-
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
-
6050 : Lecture Notes in Artificial Intelligence:
Knowledge-driven multimedia information extraction and ontology evolution bridging the semantic gap Georgios Paliouras; Constantine D. Spyropoulos; George Tsatsaronis (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6648:
Theory and applications of models of computation 8th annual conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011 ; proceedings Mitsunori Ogihara ... (eds.)
Berlin; Heidelberg: Springer, 2011
-
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
-
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
-
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
-
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
-
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
-
6663:
Relational and algebraic methods in computer science 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30-June 3, 2011 ; proceedings Harrie de Swart (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6627:
Models in software engineering workshops and symposia at MODELS 2010, Olso, Norway, October 3-8, 2010 ; reports and revised selected papers Juergen Dingel; Arnor Solberg (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
6564:
Logic-based program synthesis and transformation 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010; revised selected papers María Alpuente (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6610 : Festschrift:
Computation, cooperation, and life essays dedicated to Gheorghe Pǎun on the occasion of his 60th birthday Jozef Kelemen; Alica Kelemenová (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
6639:
Coding and cryptology third international workshop, IWCC 2011, Qingdao, China, May 30-June 3, 2011 ; proceedings Yeow Meng Chee ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6642 : Lecture Notes in Artificial Intelligence:
Logic, language, information and computation 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20 ; proceedings Lev D. Beklemishev; Ruy de Queiroz (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6659 : Tutorial:
Formal methods for eternal networked software systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011 ; advanced lectures Marco Bernardo; Valérie Issarny (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
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
-
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
-
6878:
The mathematics of language 12th Biennial Conference, MOL 12Nara, Japan, September 6-8, 2011, Proceedings Makoto Kanazawa ... (eds.)
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
-
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
-
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
-
6624:
Applications of Evolutionary Computation Pt. 1 EvoCOMPLEX, EvoGAMES, EvoIASP, EvoINTELLIGENCE, EvoNUM, and EvoSTOC
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6619 : Lecture notes in artificial intelligence:
Declarative agent languages and technologies 8 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2011; revised selected and invited papers / Andrea Omicini ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6635 : Lecture notes in artificial intelligence:
Advances in knowledge discovery and data mining Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6675:
Advances in neural networks - ISNN 2011 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
-
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