> Publishers' series
-
12213:
Driving behavior, urban and smart mobility
Cham: Springer, [2020]
-
12212:
Automated driving and in-vehicle experience design
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
-
7129:
Distributed computing and networking 13th international conference, ICDCN 2012, Hong Kong, China, January 3-6, 2012 ; proceedings Luciano Bononi ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2012
-
7131:
Advances in multimedia modeling 18th international conference, MMM 2012, Klagenfurt, Austria, January 4-6, 2012 ; proceedings Klaus Schoeffmann ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2012
-
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
-
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
-
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
-
7160 : Festschrift:
Computation, physics and beyond International Workshop on Theoretical Computer Science, WTCS 2012 ; dedicated to Cristian S. Calude on the occasion of his 60th birthday ; Auckland, New Zealand, February 21 - 24, 2012 ; revised selected and invited papers Michael J. Dinneen ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2012
-
7154:
Distributed computing and internet technology 8th international conference, ICDCIT 2012, Bhubaneswar, India, February 2 - 4, 2012 ; proceedings R. Ramanujam; Srini Ramaswamy (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2012
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
7103 : Lecture notes in artificial intelligence:
Agents and data mining interaction 7th international workshop, ADMI 2011, Taipei, Taiwan, May 2 - 6, 2011 ; revised selected papers Longbing Cao ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2012
-
6888:
Foundations and practice of security 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12 - 13, 2011 ; revised selected papers Joaquin Garcia-Alfaro; Pascal Lafourcade (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2012
-
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
-
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
-
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
-
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
-
7387:
Web engineering 12th International Conference, ICWE 2012, Berlin, Germany, July 23-27, 2012 ; proceedings Marco Brambilla ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2012
-
6984:
Social informatics third international conference, SocInfo 2011, Singapore, October 6-8, 2011 ; proceedings Anwitaman Datta ... (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
-
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
-
7000 : Festschrift:
Formal modeling: actors, open systems, biological systems essays dedicated to Carolyn Talcott on the occasion of her 70th birthday Gul Agha; Oilivier Danvy; José Meseguer (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7021:
Formal methods: foundations and applications 14th Brazilian symposium, SBMF 2011, Sao Paulo, September 26-30 2011 ; proceedings Adenilso Simao; Carroll Morgan (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
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
-
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
-
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
-
7098:
Biometric recognition 6th Chinese conference, CCBR 2011, Beijing, China, December 3-4, 2011 ; proceedings Zhenan Sun ... (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
-
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
-
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
-
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
-
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
-
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
-
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
-
6641:
NETWORKING 2011 : Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6644:
The semantic web: research and applications Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6643:
The Semantic Web: Research and Applications Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6687:
4th International Work-conference on the Interplay Between Natural and Artificial Computation, IWINAC 2011 Pt. 2 New challenges on bioinspired applications
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6541 : Lecture notes in artificial intelligence:
COIN 2010 International Workshops, COINAAMAS 2010, Toronto, Canada, May 2010, COIN@MALLOW 2010, Lyon, France, August 2010 revised selected papers Marina De Vos ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6691:
Advances in Computational Intelligence Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6754:
Image analysis and recognition 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
-
6764:
Human-Computer Interaction Pt. 4 Users and applications
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6773:
Virtual and mixed reality Pt. 1 New trends
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
-
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
-
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
-
6977:
Computer performance engineering 8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, UK, October 12-13, 2011 ; proceedings Nigel Thomas (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6982:
Algorithmic game theory 4th international symposium, SAGT 2011, Amalfi, Italy, October 17-19, 2011 ; proceedings Giuseppe Persiano (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7008:
Digital libraries: for cultural heritage, knowledge dissemination, and future creation 13th International Conference on Asia-Pacific Digital Libraries, ICADL 2011, Beijing, China, October 24-27, 2011 ; proceedings Chunxiao Xing; Fabia Crestani; Andreas Rauber (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
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
-
7043:
Information and communication security 13th international conference, ICICS 2011, Beijing, China, November 23-26, 2011 ; proceedings Sihan Qing ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7083:
SDL 2011: integrating system and software modeling 15th International SDL Forum, Toulouse, France, July 5 - 7, 2011 ; revised papers Iulian Ober; Ilena Ober (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
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
-
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
-
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
-
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
-
6585 : State-of-the-Art Survey:
Search computing trends and developments Stefano Ceri ... (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
-
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
-
6634 : Lecture notes in artificial intelligence:
Advances in knowledge discovery and data mining Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6678 : Lecture notes in artificial intelligence:
Hybrid artificial intelligent systems Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6679 : Lecture notes in artificial intelligence:
Hybrid artificial intelligent systems Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6692:
Advances in Computational Intelligence : Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6792:
Artificial neural networks and machine learning Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6782:
Computational science and its applications - ICCSA 2011 Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6763:
Human-computer interaction Pt. 3 Towards mobile and intelligent interaction 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
-
6770:
Design, user experience and usability Pt. 2
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
-
6774:
Virtual and mixed reality Pt. 2 Systems and applications
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6600 : Journal Subline:
Transactions on rough sets 14
Berlin; Heidelberg: 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
-
7041:
Software engineering and formal methods 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 ; proceedings Gilles Barthe; Alberto Pardo; Gerardo Schneider (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
-
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
-
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
-
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
-
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
-
7074:
Algorithms and computation 22nd international symposium, ISAAC 2011, Yokohama, Japan, December 5-8, 2011 ; proceedings Takao Asano ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
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
-
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
-
6640:
NETWORKING 2011 Pt. 1
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
-
6728:
Advances in swarm intelligence Pt. 1
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
-
6761:
Human-computer interaction Pt. 1 Design and development approaches
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6769:
Design, user experience, and usability Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6783:
Computational science and its applications - ICCSA 2011 Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6580:
Transactions on aspect oriented software development 8 / Shmuel Katz ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6785:
Computational science and its applications - ICCSA 2011 Pt. 4
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6660 : Journal subline:
Transactions on Computational Collective Intelligence 4
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6755:
Automata, languages and programming 1 Luca Aceto ... (Eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
5233 : State-of-the-Art Survey:
Network performance engingeering a handbook on convergent multi-service networks and next generation Internet Demetres D. Kouvatsos (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6751:
Analytical and stochastic modeling techniques and applications 18th International Conference, ASMTA 2011, Venice, Italy, June 20 - 22, 2011; proceedings Khalid Al-Begain ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6664:
FM 2011: formal methods 17th International Symposium on Formal Methods, Limerick, Ireland, June 20 - 24, 2011; proceedings Michael Butler ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6741:
Advanced information systems engineering 23rd International Conference, CAiSE 2011, London, UK, June 20 - 24, 2011; proceedings Haralambos Mouratidis ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6776:
Human centered design Second International Conference, HCD 2011, held as part of HCI International 2011, Orlando, FL, USA, July 9 - 14, 2011; proceedings Masaaki Kurosu (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
6582 : State-of-the-Art Survey:
Rigorous software engineering for service-oriented systems results of the SENSORIA project on software engineering for service-oriented computing Martin Wirsing; Matthias Hölzl (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6617:
NASA formal methods third international symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011 ; proceedings Mihaela Bobaru ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
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
-
6645 : Lecture notes in artificial intelligence:
Logic programming and nonmonotonic reasoning 11th international conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011 ; proceedings James P. Delgrande; Wolfgang Faber (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6656:
The future internet future internet assembly 2011: achievements and technological promises John Domingue ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
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
-
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
-
6732:
Algorithms and models for the web graph 8th international workshop, WAW 2011, Atlanta, GA, USA, May 27-29, 2011 ; proceedings Alan Frieze; Paul Horn (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6680 : Lecture notes in artificial intelligence:
Tools for teaching logic third international congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011 ; proceedings Patrick Blackburn ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
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
-
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
-
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
-
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
-
6649:
Wired/wireless internet communications 9th IFIP TC 6 International Conference, WWIC 2011, Vilanova i la Geltrú, Spain, June 15-17, 2011 ; proceedings Xavier Masip-Bruin ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6695:
Theory and application of satisfiability testing - SAT 2011 14th international conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011 ; proceedings Karem A. Sakallah ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6726 : Lecture notes in artificial intelligence:
Mathematics and computation in music third international conference, MCM 2011, Paris, France, June 15-17, 2011 ; proceedings Carlos Agon ; Moreno Andreatta ; Gérard Assayag ; Emmanuel Amiot ; Jean Bresson ; John Mandereau (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
6736 : Lecture notes in artificial intelligence:
Logical aspects of computational linguistics 6th international conference, LACL 2011, Montpellier, France, June 29 - July 1, 2011 ; proceedings Sylvain Pogodalla; Jean-Philippe Prost (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6807:
Implementation and application of automata 16th international conference, CIAA 2011, Blois, France, July 13-16, 2011 ; proceedings Béatrice Bouchou-Markhoff ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
6952:
Photogrammetric image analysis ISPRS conference, PIA 2011, Munich, Germany, October 5-7, 2011 ; proceedings Uwe Stilla, Franz Rottensteiner, Helmut Mayer... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6954 : Lecture notes in artificial intelligence:
Rough sets and knowledge technology 6th international conference, RSKT 2011, Banff, Canada, October 9-12, 2011 ; proceedings Jing Tao Yao ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
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
-
6515:
Computers and games 7th international conference, CG 2010, Kanazawa, Japan, September 24-26, 2010 ; revised selected papers H. Jaap van der Herik; Hiroyuki Iida; Aske Plaat (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6513:
Information security applications 11th international workshop, WISA 2010, Jeju Island, Korea, August 24-26, 2010 ; revised selected papers Yongwha Chung; Moti Yung (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6491 : Tutorial:
Generative and transformational techniques in software engineering III International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009 ; revised papers João M. Fernandes ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
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
-
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
-
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
-
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
-
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
-
7069:
Interactive storytelling 4th International Conference on Interactive Digital Storytelling, ICIDS 2011, Vancouver, Canada, November 28- December 1, 2011 ; proceedings Mei Si ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7089:
Cryptography and coding 13th IMA international conference, IMACC 2011, Oxford, UK, December 2011 ; proceedings Liqun Chen (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7107:
Progress in cryptology - INDOCRYPT 2011 12th International Conference on Cryptology in India, Chennai, India, December 11-14, 2011 ; proceedings Daniel J. Bernstein; Sanjit Chatterjee (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7097:
Information retrieval technology 7th Asia Information Retrieval Societies Conference, AIRS 2011, Dubai, United Arab Emirates, December 18-20, 2011 ; proceedings Mohamed Vall ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
7108:
Databases in networked information systems 7th international workshop, DNIS 2011, Aizu-Wakamatsu, Japan, December 12-14, 2011 ; proceedings Shinji Kikuchi ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7114:
Security protocols XIX 19th international workshop, Cambridge, UK, March 28-30, 2011 ; revised selected papers Bruce Christianson ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6789 : Lecture notes in artificial intelligence:
Multidisciplinary aspects of time and time perception COST TD0904 International Workshop, Athens, Greece, October 7-8, 2010 ; revised selected papers Argiro Vatakis; Anna Esposito; Maria Giagkou; Fred Cummins; Georgios Papadelis (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6625:
Applications of evolutionary computation Pt. 2 EvoCOMNET, EvoFIN, EvoHOT, EvoMUSART, EvoSTIM, and EvoTRANSLOG
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6676:
Advances in neural networks - ISNN 2011 Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6675:
Advances in neural networks - ISNN 2011 Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6677:
Advances in neural networks - ISNN 2011 Pt. 3
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
-
6729:
Advances in swarm intelligence Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6753:
Image analysis and recognition Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6791:
Artificial neural networks and machine learning 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
-
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
-
6765:
Universal access in human-computer interaction Pt. 1 Design for all and eInclusion
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6766:
Universal access in human-computer interaction Pt. 2 Users diversity
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6756:
Automata, languages and programming 2 Luca Aceto ... (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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
6517 : Lecture notes in artificial intelligence:
Vagueness in communication international workshop, ViC 2009, held as part of ESSLLI 2009, Bordeaux, France, July 20 - 24, 2009 ; revised selected papers Rick Nouwen; Robert van Rooij; Uli Sauerland; Hans-Christian Schmitz (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6545 : State-of-the-Art Survey:
Digital privacy PRIME - privacy and identity management for europe Jan Camenisch ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
6066 : Lecture notes in artificial intelligence:
Collaborative agents - research and development International Workshops CARE@AI09 2009/CARE@IAT10 2010, Melbourne, Australia, December 1, 2009 and Toronto, Canada, August 31, 2010 ; revised selected papers Christian Guttmann; Frank Dignum; Michael Georgeff (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6818:
Data and applications security and privacy XXV 25th annual IFIP WG 11.3 conference, DBSec 2011, Richmond, VA, USA, July 11-13, 2011 ; proceedings Yingjiu Li (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6814 : Lecture notes in artificial intelligence:
Computational logic in multi-agent systems 12th international workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011 ; proceedings João Leite ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
6813:
ECOOP 2011 - object-oriented programming 25th European conference, Lancaster, UK, July 25-29, 2011 ; proceedings Mira Mezini (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6828 : Lecture notes in artificial intelligence:
Conceptual structures for discovering knowledge 19th International Conference on Conceptual Structures, ICCS 2011, Derby, UK, July 25-29, 2011 ; proceedings Simon Andrews ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6700 : Lecture notes in artificial intelligence:
Logic and grammar essays dedicated to Alain Lecomte on the occasion of his 60th birthday Sylvain Pogodalla; Myriam Quatrini; Christian Retoré (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6845:
Approximation, randomization, and combinatorial optimization algorithms and techniques ; 14th international workshop, APPROX 2011, and 15th international workshop, RANDOM 2011, Princeton, NJ, USA, August 17-19, 2011 ; proceedings Leslie Ann Goldberg ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6914:
Fundamentals of computation theory 18th international symposium, FCT 2011, Oslo, Norway, August 22-25, 2011 ; proceedings Olaf Owe; Martin Steffen; Jan Arne Telle (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
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
-
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
-
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
-
6833 : Lecture notes in bioinformatics:
Algorithms in bioinformatics 11th international workshop, WABI 2011, Saarbrücken, Germany, September 5-7, 2011 ; proceedings Teresa M. Przytycka; Marie-France Sagot (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6835:
Pattern recognition 33rd DAGM symposium, Frankfurt/Main, Germany, August 31 - September 2, 2011 ; proceedings Rudolf Mester; Michael Felsberg (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6899:
Spatial information theory 10th international conference, COSIT 2011, Belfast, ME, USA ; proceedings Max Egenhofer ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6699 : Hot Topics:
Advanced language technologies for digital libraries international workshops on NLP4DL 2009, Viareggio, Italy, June 15, 2009 and AT4DL 2009, Trento, Italy, September 8, 2009 Raffaella Bernardi; Sally Chambers; Björn Gottfried; Frédérique Segond; Ilya Zaihrayeu (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6867:
Holonic and multi-agent systems for manufacturing 5th International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2011, Toulouse, France, August 29-31, 2011 ; proceedings Vladimír Mařík; Pavel Vrba; Paulo Leitão (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6873:
Parallel computing technologies 11th international conference, PaCT 2011, Kazan, Russia, September 19 - 23, 2011 ; proceedings Victor Malyshkin (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6856:
Towards autonomous robotic systems 12th annual conference, TAROS 2011, Sheffield, UK, August 31 - September 2, 2011 ; proceedings Roderich Groß ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
6904 : Lecture notes in artificial intelligence:
Analysis of social media and ubiquitous data international workshops MSM 2010, Toronto, Canada, June 13, 2010, and MUSE 2010, Barcelona, Spain, September 20, 2010 ; revised selected papers Martin Atzmueller ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6889 : Lecture notes in artificial intelligence:
Brain informatics international conference, BI 2011, Lanzhou, China, September 7-9, 2011 ; proceedings Bin Hu ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6890:
Active media technology 7th international conference, AMT 2011, Lanzhou, China, September 7-9, 2011 ; proceedings Ning Zhong ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
6670 : Journal Subline:
Transactions on computational science 12 Special issue on cyberworlds
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6790 : Journal Subline:
Transactions on large-scale data- and knowledge-centered systems 3 Special issue on data and knowledge management in Grid and PSP systems
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6853:
Euro-Par 2011 Parallel Processing 2 Emmanuel Jeannot ... (eds.)
Heidelberg [u.a.]: Springer, 2011
-
6947:
Human-Computer Interaction - INTERACT 2011 Pt. 2
[Berlin]; Heidelberg [u.a.]: Springer, 2011
-
6892:
Medical image computing and computer-assisted intervention - MICCAI 2011 Pt. 2 Gabor Fichtinger ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6893:
Medical image computing and computer-assisted intervention - MICCAI 2011 Pt. 3 Gabor Fichtinger ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6750 : Journal Subline:
Transactions on computational science 13
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
-
6883 : Lecture notes in artificial intelligence:
Knowledge-Based and Intelligent Information and Engineering Systems Pt. 3
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6468:
Computer vision - ACCV 2010 Workshops Pt. 1 Reinhard Koch ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6469:
Computer vision - ACCV 2010 Workshops Pt. 2 Reinhard Koch ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6938:
Advances in visual computing Pt. 1 George Bebis ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6882 : Lecture notes in artificial intelligence:
Knowledge based and intelligent information and engineering systems Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6922 : Lecture notes in artificial intelligence:
Computational collective intelligence Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6923 : Lecture notes in artificial intelligence:
Computational collective intelligence Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7044:
On the Move to Meaningful Internet Systems: OTM 2011 Pt.1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7094 : Lecture notes in artificial intelligence:
Advances in artificial intelligence Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
6852:
Euro-Par 2011 Parallel Processing 1 Emmanuel Jeannot ... (eds.)
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
-
6854:
Computer Analysis of Images and Patterns Pt. 1 Pedro Real ... (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6910 : Journal subline:
Transactions on Computational Collective Intelligence 5
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6975:
Affective computing and intelligent interaction Pt. 2 Sidney D'Mello ... (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7087:
Advances in image and video technology Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7045:
On the Move to Meaningful Internet Systems: OTM 2011 Pt. 2
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
-
6855:
Computer Analysis of Images and Patterns Pt. 2 Pedro Real ... (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6988:
Web information systems and mining Pt. 2
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
-
7002 : Lecture notes in artificial intelligence:
Artificial intelligence and computational intelligence 1 Hepu Deng ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7004 : Lecture notes in artificial intelligence:
Artificial intelligence and computational intelligence 3 Hepu Deng ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6881 : Lecture notes in artificial intelligence:
Knowledge Based and Intelligent Information and Engineering Systems Pt. 1
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
-
7016:
Algorithms and architectures for parallel processing Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7017:
Algorithms and architectures for parallel processing Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7062:
Neural information processing Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7063:
Neural information processing Pt. 2
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
-
7066:
Visual Informatics: Sustaining Research and Innovations Pt.1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7067:
Visual Informatics: Sustaining Research and Innovations Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7095 : Lecture notes in artificial intelligence:
Advances in Soft Computing Pt. 2
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
6546:
Trends in functional programming 11th international symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010 ; revised selected papers Rex Page; Zoltán Horváth; Viktória Zsók (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6851:
Haptic and audio interaction design 6th international workshop, HAID 2011, Kusatu, Japan, August 25-26, 2011 ; proceedings Eric W. Cooper ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
6949:
Human-Computer Interaction - INTERACT 2011 Pt. 4
[Berlin]; Heidelberg [u.a.]: Springer, 2011
-
6758 : Journal Subline:
Transactions on edutainment 6
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6891:
Medical image computing and computer-assisted intervention - MICCAI 2011 Pt. 1 Gabor Fichtinger ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6911 : Lecture notes in artificial intelligence:
Machine Learning and Knowledge Discovery in Databases Pt. 1 Dimitrios Gunopulos ... (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6913 : Lecture notes in artificial intelligence:
Machine Learning and Knowledge Discovery in Databases Pt. 3 Dimitrios Gunopulos ... (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6978:
Image Analysis and Processing - ICIAP 2011 Pt. 1 Giuseppe Maino .... (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6979:
Image Analysis and Processing - ICIAP 2011 Pt. 2 Giuseppe Maino .... (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7003 : Lecture notes in artificial intelligence:
Artificial intelligence and computational intelligence 2 Hepu Deng ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6974:
Affective computing and intelligent interaction Pt. 1 Sidney D'Mello ... (ed.)
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
-
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
-
7014:
Advances in intelligent data analysis 10 10th international symposium, IDA 2011, Porto, Portugal, October 29 - 31, 2011; proceedings / João Gama ... (eds.)
Berlin; Heidelberg: Springer, 2011
-
7064:
Neural information processing Pt. 3
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7031:
The Semantic Web -- ISWC 2011 Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7088:
Advances in image and video technology Pt. 2
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
-
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
-
6610 : Festschrift:
Computation, cooperation, and life essays dedicated to Gheorghe Pǎun on the occasion of his 60th birthday Jozef Kelemen; Alica Kelemenová (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6646:
Advances in grid and pervasive computing 6th international conference, GPC 2011, Oulu, Finland, May 11-13, 2011 ; proceedings Jukka Riekki; Mika Ylianttila; Minyi Guo (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
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
-
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
-
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
-
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