> Verlagsreihe
-
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
-
7907:
Developments in language theory 17th international conference, DLT 2013, Marne-la-Vallée, France, June 18 - 21, 2013 ; proceedings Marie-Pierre Béal ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2013
-
8019 : Lecture notes in artificial intelligence:
Engineering psychology and cognitive ergonomics 1 Understanding human cognition / Don Harris (ed.) Don Harris (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2013
-
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
-
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
-
7387:
Web engineering 12th International Conference, ICWE 2012, Berlin, Germany, July 23-27, 2012 ; proceedings Marco Brambilla ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2012
-
7053:
Security and intelligent information systems international joint confererence, SIIS 2011, Warsaw, Poland, June 13 - 14, 2011 ; revised selected papers Pascal Bouvry ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2012
-
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
-
7034:
Graph drawing 19th International Symposium, GD 2011, Eindhoven, The Netherlands, September 21 - 23, 2011 ; revised selected papers Marc van Kreveld ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2012
-
6993:
Theory of security and applications joint workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011 ; revised selected papers Sebastian Mödersheim; Catuscia Palamidessi (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2012
-
7143:
Perception and machine intelligence first Indo-Japanese conference, PerMIn 2012, Kolkata, India, January 12 - 13, 2011 ; proceedings Malay K. Kundu ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2012
-
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
-
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
-
7057 : Lecture notes in artificial intelligence:
Principles and practice of multi-agent systems 13th international conference, PRIMA 2010, Kolkata, India, November 12 - 15, 2010 ; revised selected papers Nirmit Desai ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2012
-
7068 : Lecture notes in artificial intelligence:
Advanced agent technology AAMAS 2011 workshops, AMPLE, AOSE, ARMS, DOCM3AS, ITMAS, Taipei, Taiwan, May 2 - 6, 2011 ; revised selected papers Francien Dechesne ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2012
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
7035:
Financial cryptography and data security 15th international conference, FC 2011, Gros Islet, St. Lucia, February 28 - March 4, 2011 ; revised selected papers George Danezis (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2012
-
7039:
Open problems in network security IFIP WG 11.4 international workshop, iNetSec 2011, Lucerne, Switzerland, June 9 ; revised selected papers Jan Camenisch ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2012
-
7103 : Lecture notes in artificial intelligence:
Agents and data mining interaction 7th international workshop, ADMI 2011, Taipei, Taiwan, May 2 - 6, 2011 ; revised selected papers Longbing Cao ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2012
-
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
-
7158:
Wireless sensor networks 9th European Conference, EWSN 2012, Trento, Italy, February 15 - 17, 2012 ; proceedings Gian Pietro Picco; Wendi Heinzelmann (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2012
-
7224:
Advances in information retrieval 34th European conference on IR research, ECIR 2012, Barcelona, Spain, April 1 - 5, 2012 ; proceedings Ricardo Baeza-Yates ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2012
-
6974:
Affective computing and intelligent interaction Pt. 1 Sidney D'Mello ... (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7017:
Algorithms and architectures for parallel processing Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7016:
Algorithms and architectures for parallel processing Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7062:
Neural information processing Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7064:
Neural information processing Pt. 3
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7014:
Advances in intelligent data analysis 10 10th international symposium, IDA 2011, Porto, Portugal, October 29 - 31, 2011; proceedings / João Gama ... (eds.)
Berlin; Heidelberg: Springer, 2011
-
7044:
On the Move to Meaningful Internet Systems: OTM 2011 Pt.1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7094 : Lecture notes in artificial intelligence:
Advances in artificial intelligence Pt. 1
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
-
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
-
7063:
Neural information processing Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6730 : Journal Subline:
Transactions on data hiding and multimedia security 6
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
7121 : Lecture notes in artificial intelligence:
Advanced data mining and applications Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7077:
Swarm, evolutionary, and memetic computing Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6975:
Affective computing and intelligent interaction Pt. 2 Sidney D'Mello ... (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7031:
The Semantic Web -- ISWC 2011 Pt. 1
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
-
7088:
Advances in image and video technology Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7101 : Lecture notes in artificial intelligence:
Intelligent robotics and applications Pt. 1 Sabina Jeschke ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7076:
Swarm, evolutionary, and memetic computing Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
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
-
7032:
The Semantic Web - ISWC 2011 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
-
7102 : Lecture notes in artificial intelligence:
Intelligent robotics and applications Pt. 2 Sabina Jeschke ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
7120 : Lecture notes in artificial intelligence:
Advanced data mining and applications Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6970 : Journal Subline:
Transactions on computational science 14 Special issue on Voronoi diagrams and Delaunay triangulation
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
-
6577 : Lecture notes in bioinformatics:
Research in computational molecular biology 15th annual international conference, RECOMB 2011, Vancouver, BC, Canada, March 28-31, 2011 ; proceedings Vineet Bafna; S. Cenk Sahinalp (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6562 Lecture notes in artificial intelligence:
Human language technology challenges for computer science and linguistics : 4th Language and Technology Conference, LTC 2009, Poznań, Poland, November 6-8, 2009 ; revised selected papers Zygmunt Vetulani (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6547 : Lecture notes in artificial intelligence:
Applications of declarative programming and knowledge management 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009: revised selected papers Salvador Abreu; Dietmar Seipel (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
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
-
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
-
6657 : Lecture notes in artificial intelligence:
Advances in artificial intelligence 24th Canadian Conference on Artificial Intelligence, Canadian AI 2011, St. John's, Canada, May 25-27, 2011 ; proceedings Cory Butz; Pawan Lingras (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6633:
Information security theory and practice security and privacy of mobile devices in wireless communication ; 5th IFIP WG 11.2 international workshop, WISTP 2011, Heraklion, Crete, Greece, June 1-3, 2011 ; proceedings Claudio A. Ardagna; Jiangying Zhou (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6636:
Combinatorial image analysis 14th international workshop, IWCIA 2011, Madrid, Spain, May 23-25, 2011 ; proceedings Jake K. Aggarwal ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
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
-
6701:
Network optimization 5th international conference, INOC 2011, Hamburg, Germany, June 13-16, 2011 ; proceedings Julia Pahl, Torsten Reiners, Stefan Voß (eds.)
Berlin; Heidelberg: Springer, [2011]
-
6654:
End-user development third international symposium, IS-EUD 2011, Torre Canne, (BR), Italy, June 7-10, 2011 ; proceedings Maria Francesca Costabile ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6715:
Applied cryptography and network security 9th international conference, ACNS 2011, Nerja, Spain, June 7-10, 2011 ; proceedings Javier Lopez; Gene Tsudik (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6731:
Advances in self-organizing maps 8th international workshop, WSOM 2011, Espoo, Finland, June 13-15, 2011 ; proceedings Jorma Laaksonen; Timo Honkela (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
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
-
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
-
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
-
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
-
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
-
6618 : Lecture notes in artificial intelligence:
Logic, language, and computation 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009 ; revised selected papers Nick Bezhanishvili ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6844:
Algorithms and data structures 12th international symposium, WADS 2011, New York, NY, USA, August 15-17, 2011 ; proceedings Frank Dehne; John Iacono; Jörg-Rüdiger Sack (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6795:
Developments in language theory 15th international conference, DLT 2011, Milano, Italy, July 19-22, 2011 ; proceedings Giancarlo Mauri; Alberto Leporati (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
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
-
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
-
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
-
6846:
Electronic government 10th IFIP WG 8.5 international conference, EGOV 2011, Delft, The Netherlands, August 29 - September 2, 2011 ; proceedings Marijn Janssen ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6845:
Approximation, randomization, and combinatorial optimization algorithms and techniques ; 14th international workshop, APPROX 2011, and 15th international workshop, RANDOM 2011, Princeton, NJ, USA, August 17-19, 2011 ; proceedings Leslie Ann Goldberg ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6914:
Fundamentals of computation theory 18th international symposium, FCT 2011, Oslo, Norway, August 22-25, 2011 ; proceedings Olaf Owe; Martin Steffen; Jan Arne Telle (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
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
-
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
-
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
-
6752 : Lecture notes in artificial intelligence:
Autonomous and intelligent systems Second International Conference, AIS 2011, Burnaby, BC, Canada, June 22 - 24, 2011; proceedings Mohamed Kamel ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
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
-
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
-
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
-
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
-
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
-
6545 : State-of-the-Art Survey:
Digital privacy PRIME - privacy and identity management for europe Jan Camenisch ... (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
-
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
-
6521 : Lecture Notes in Artificial Intelligence:
Logic and its applications 4th Indian conference, ICLA 2011, Delhi, India, January 5 - 11, 2011 ; proceedings Mohua Banerjee; Anil Seth (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6515:
Computers and games 7th international conference, CG 2010, Kanazawa, Japan, September 24-26, 2010 ; revised selected papers H. Jaap van der Herik; Hiroyuki Iida; Aske Plaat (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6491 : Tutorial:
Generative and transformational techniques in software engineering III International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009 ; revised papers João M. Fernandes ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
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
-
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
-
6528:
Formal verification of object-oriented software International Conference FoVeOOS 2010, Paris, France, June 28-30, 2010 ; revised selected papers Bernhard Beckert; Claude Marché (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6531:
Information security 13th international conference, ISC 2010, Boca Raton, FL, USA, October 25-28, 2010 ; revised selected papers Mike Burmester ... (eds.)
Heidelberg [u.a.]: Springer, 2011
-
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
-
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
-
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
-
6560 : Journal subline:
Transactions on Computational Collective Intelligence 3
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6591 : Lecture notes in artificial intelligence:
Intelligent information and database systems Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6592 : Lecture notes in artificial intelligence:
Intelligent information and database systems Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6587:
Database systems for advanced applications Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6588:
Database systems for advanced applications Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6625:
Applications of evolutionary computation Pt. 2 EvoCOMNET, EvoFIN, EvoHOT, EvoMUSART, EvoSTIM, and EvoTRANSLOG
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6624:
Applications of Evolutionary Computation Pt. 1 EvoCOMPLEX, EvoGAMES, EvoIASP, EvoINTELLIGENCE, EvoNUM, and EvoSTOC
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6619 : Lecture notes in artificial intelligence:
Declarative agent languages and technologies 8 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2011; revised selected and invited papers / Andrea Omicini ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6640:
NETWORKING 2011 Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6641:
NETWORKING 2011 : 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
-
6635 : Lecture notes in artificial intelligence:
Advances in knowledge discovery and data mining Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6676:
Advances in neural networks - ISNN 2011 Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6675:
Advances in neural networks - ISNN 2011 Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6677:
Advances in neural networks - ISNN 2011 Pt. 3
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6644:
The semantic web: research and applications Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6643:
The Semantic Web: Research and Applications Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6678 : Lecture notes in artificial intelligence:
Hybrid artificial intelligent systems Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6679 : Lecture notes in artificial intelligence:
Hybrid artificial intelligent systems Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6687:
4th International Work-conference on the Interplay Between Natural and Artificial Computation, IWINAC 2011 Pt. 2 New challenges on bioinspired applications
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6686:
4th International Work-conference on the Interplay Between Natural and Artificial Computation, IWINAC 2011 Pt. 1 Foundations on natural and artificial computation
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6541 : Lecture notes in artificial intelligence:
COIN 2010 International Workshops, COINAAMAS 2010, Toronto, Canada, May 2010, COIN@MALLOW 2010, Lyon, France, August 2010 revised selected papers Marina De Vos ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6692:
Advances in Computational Intelligence : Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6691:
Advances in Computational Intelligence Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6729:
Advances in swarm intelligence Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6754:
Image analysis and recognition Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6704 : Lecture notes in artificial intelligence:
Modern approaches in applied intelligence Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6786:
Computational science and its applications - ICCSA 2011 Pt. 5
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6783:
Computational science and its applications - ICCSA 2011 Pt. 2
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
-
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
-
6750 : Journal Subline:
Transactions on computational science 13
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6854:
Computer Analysis of Images and Patterns Pt. 1 Pedro Real ... (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6791:
Artificial neural networks and machine learning Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6753:
Image analysis and recognition Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6703 : Lecture notes in artificial intelligence:
Modern approaches in applied intelligence Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6782:
Computational science and its applications - ICCSA 2011 Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6785:
Computational science and its applications - ICCSA 2011 Pt. 4
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6771:
Human interface and the management of information 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
-
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
-
6755:
Automata, languages and programming 1 Luca Aceto ... (Eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6948:
Human-computer interaction - INTERACT 2011 Pt. 3
[Berlin]; Heidelberg [u.a.]: Springer, 2011
-
6949:
Human-Computer Interaction - INTERACT 2011 Pt. 4
[Berlin]; Heidelberg [u.a.]: Springer, 2011
-
6947:
Human-Computer Interaction - INTERACT 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
-
6891:
Medical image computing and computer-assisted intervention - MICCAI 2011 Pt. 1 Gabor Fichtinger ... (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
-
7003 : Lecture notes in artificial intelligence:
Artificial intelligence and computational intelligence 2 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
-
6882 : Lecture notes in artificial intelligence:
Knowledge based and intelligent information and engineering systems Pt. 2
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
-
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
-
6792:
Artificial neural networks and machine learning Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6765:
Universal access in human-computer interaction Pt. 1 Design for all and eInclusion
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6773:
Virtual and mixed reality Pt. 1 New trends
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6761:
Human-computer interaction Pt. 1 Design and development approaches
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6769:
Design, user experience, and usability Pt. 1
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
-
6892:
Medical image computing and computer-assisted intervention - MICCAI 2011 Pt. 2 Gabor Fichtinger ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6893:
Medical image computing and computer-assisted intervention - MICCAI 2011 Pt. 3 Gabor Fichtinger ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6855:
Computer Analysis of Images and Patterns Pt. 2 Pedro Real ... (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
6939:
Advances in visual computing Pt. 2 George Bebis ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6784:
Computational science and its applications - ICCSA 2011 Pt. 3
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6766:
Universal access in human-computer interaction Pt. 2 Users diversity
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
-
6764:
Human-Computer Interaction Pt. 4 Users and applications
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6660 : Journal subline:
Transactions on Computational Collective Intelligence 4
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6756:
Automata, languages and programming 2 Luca Aceto ... (Eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
6758 : Journal Subline:
Transactions on edutainment 6
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6946:
Human-Computer Interaction - INTERACT 2011 Pt. 1
[Berlin]; Heidelberg [u.a.]: Springer, 2011
-
6911 : Lecture notes in artificial intelligence:
Machine Learning and Knowledge Discovery in Databases Pt. 1 Dimitrios Gunopulos ... (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6912 : Lecture notes in artificial intelligence:
Machine Learning and Knowledge Discovery in Databases Pt. 2 Dimitrios Gunopulos ... (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6883 : Lecture notes in artificial intelligence:
Knowledge-Based and Intelligent Information and Engineering Systems Pt. 3
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6910 : Journal subline:
Transactions on Computational Collective Intelligence 5
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
-
6728:
Advances in swarm intelligence Pt. 1
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
-
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
-
6530 : Jounal Subline:
Transactions on edutainment 5
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6608:
Computational linguistics and intelligent text processing Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6609:
Computational linguistics and intelligent text processing Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6493:
Computer vision - ACCV 2010 Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6510 : Journal Subline:
Transactions on pattern languages of programming 2 Special issue on applying patterns
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6878:
The mathematics of language 12th Biennial Conference, MOL 12Nara, Japan, September 6-8, 2011, Proceedings Makoto Kanazawa ... (eds.)
Heidelberg [u.a.]: Springer, 2011
-
6875 : Festschrift:
Dependable and historic computing essays dedicated to Brian Randell on the occasion of his 75th birthday Cliff B. Jones ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6943 : Lecture notes in artificial intelligence:
Adaptive and intelligent systems Second International Conference, ICAIS 2011, Klagenfurt, Austria, September 6 - 8, 2011; proceedings Abdelhamid Bouchachia (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6746 : Lecture notes in artificial intelligence:
Knowledge, information, and creativity support systems 5th International Conference, KICSS 2010, Chiang Mai, Thailand, November 25 - 27, 2010; revised selected papers Thanaruk Theeramunkong ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
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
-
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
-
6605:
Tools and algorithms for the construction and analysis of systems 17th international conference, TACAS 2011, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011 ; proceedings Parosh Aziz Abdulla; K. Rustan M. Leino (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6606:
Requirements engineering: foundation for software quality 17th international working cConference, REFSQ 2011, Essen, Germany, March 28-30, 2011 ; proceedings Daniel Berry; Xavier Franch (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
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
-
6673:
Information theoretic security 5th international conference, ICITS 2011, Amsterdam, The Netherlands, May 21-24, 2011 ; proceedings Serge Fehr (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6646:
Advances in grid and pervasive computing 6th international conference, GPC 2011, Oulu, Finland, May 11-13, 2011 ; proceedings Jukka Riekki; Mika Ylianttila; Minyi Guo (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
6723:
Distributed applications and interoperable systems 11th IFIP WG 6.1 international conference, DAIS 2011, Reykjavik, Iceland, June 6-9, 2011 ; proceedings Pascal Felber; Romain Rouvoy (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6659 : Tutorial:
Formal methods for eternal networked software systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011 ; advanced lectures Marco Bernardo; Valérie Issarny (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
6696:
Pervasive computing 9th international conference, Pervasive 2011, San Francisco, USA, June 12-15, 2011 ; proceedings Kent Lyons; Jeffrey Hightower; Elaine M. Huang (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6733:
Fast software encryption 18th international workshop, FSE 2011, Lyngby, Denmark, February 13-16, 2011 ; revised selected papers Antoine Joux (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6744:
Pattern recognition and machine intelligence 4th international conference, PReMI 2011, Moscow, Russia, June 27-July 1, 2011 ; proceedings Sergei O. Kuznetsov ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6707:
Theory and practice of model transformations 4th international conference, ICMT 2011, Zürich, Switzerland, June 27-28, 2011 ; proceedings Jordi Cabot; Eelco Visser (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
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
-
6716 : Sublibrary 3, Information systems and applications, incl. Internet/Web, and HCI:
Natural language processing and information systems 16th International Conference on Applications of Natural Language to Information Systems, NLDB 2011, Alicante, Spain, June 28-30, 2011 ; proceedings Rafael Mun︢oz ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6757:
Web engineering 11th international conference, ICWE 2011, Paphos, Cyprus, June 20-24, 2011 ; proceedings Sören Auer ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6736 : Lecture notes in artificial intelligence:
Logical aspects of computational linguistics 6th international conference, LACL 2011, Montpellier, France, June 29 - July 1, 2011 ; proceedings Sylvain Pogodalla; Jean-Philippe Prost (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6747 : Lecture notes in artificial intelligence:
Artificial intelligence in medicine 13th Conference on Artificial Intelligence in Medicine, AIME 2011, Bled, Slovenia, July 2-6, 2011 ; proceedings Mor Peleg; Nada Lavrač; Carlo Combi (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6807:
Implementation and application of automata 16th international conference, CIAA 2011, Blois, France, July 13-16, 2011 ; proceedings Béatrice Bouchou-Markhoff ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
6823:
Model checking software 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011 ; proceedings Alex Groce; Madanlal Musuvathi (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
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
-
6820 : Lecture notes in artificial intelligence:
Modeling decisions for artificial intelligence 8th international conference, MDAI 2011, Changsha, Hunan, China, July 28-30, 2011 ; proceedings Vicenç Torra ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6700 : Lecture notes in artificial intelligence:
Logic and grammar essays dedicated to Alain Lecomte on the occasion of his 60th birthday Sylvain Pogodalla; Myriam Quatrini; Christian Retoré (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
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
-
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
-
6551:
Web services and formal methods 7th international workshop, WS-FM 2010, Hoboken, NJ, USA, September 16 - 17, 2010 ; revised selected papers Mario Bravetti; Tevfik Bultan (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6561:
Formal aspects of security and trust 7th international Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010 ; revised selected papers Pierpaolo Degano; Sandro Etalle; Joshua Guttman (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
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
-
6556 : Lecture notes in artificial intelligence:
RoboCup 2010: Robot Soccer World Cup XIV Javier Ruiz-del-Solar; Eric Chown; Paul G. Plöger (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6611:
Advances in information retrieval 33rd European Conference on IR Resarch, ECIR 2011, Dublin, Ireland, April 18-21, 2011 ; proceedings Paul Clough ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
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
-
6621:
Genetic programming 14th European conference, EuroGP 2011, Torino, Italy, April 27-29, 2011 ; proceedings Sara Silva ... (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
-
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
-
6714:
Unconventional computation 10th international conference, UC 2011, Turku, Finland, June 6-10, 2011 ; proceedings Christian S. Calude ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6688:
Image analysis 17th Scandinavian conference, SCIA 2011, Ystad, Sweden, May 2011 ; proceedings Anders Heyden; Fredrik Kahl (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6669:
Pattern recognition and image analysis 5th Iberian conference, IbPRIA 2011, Las Palmas de Gran Canaria, Spain, June 8-10, 2011 ; proceedings Jordi Vitrià; João M. Sanches (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6638:
Language and automata theory and applications 5th international conference, LATA 2011, Tarragona, Spain, May 26-31, 2011 ; proceedings Adrian-Horia Dediu ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
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
-
6698:
Modelling foundations and applications 7th European Conference, ECMFA 2011, Birmingham, UK, June 6-9, 2011 ; proceedings Robert B. France ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6742:
Algebraic informatics 4th international conference, CAI 2011, [held at RISC], Linz, Austria, June 21-24, 2011 ; proceedings [RISC]. Franz Winkler (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
6812:
Information security and privacy 16th Australisian conference, ACISP 2011, Melbourne, Australia, July 11-13, 2011 ; proceedings Udaya Parampalli; Philip Hawkes (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6748:
Optical supercomputing third international workshop, OSC 2010, Bertinoro, Italy, November 17-19, 2010 ; revised selected papers Shlomi Dolev ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
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
-
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
-
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
-
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
-
6859:
Algebra and coalgebra in computer science 4th international conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011 ; proceedings Andrea Corradini ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6864:
Data management in grid and peer-to-peer systems 4th international conference, Globe 2011, Toulouse, France, September 1-2, 2011 ; proceedings Abdelkader Hameurlain ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6907:
Mathematical foundations of computer science 2011 36th international symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011 ; proceedings Filip Murlak; Piotr Sankowski (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6578:
Reconfigurable computing: architectures, tools and applications 7th international symposium, ARC 2011, Belfast, UK, March 23-25, 2011 ; proceedings Andreas Koch ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6384 : Lecture notes in artificial intelligence:
Recent advances in constraints 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009 ; revised selected papers Javier Larrosa; Barry OŚullivan (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
5897 : Lecture notes in artificial intelligence:
Computing with instinct rediscovering artificial intelligence Yang Cai (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6612:
Web technologies and applications 13th Asia-Pacific Web Conference, APWeb 2011, Beijing, Chiina, April 18-20, 2011 ; proceedings Xiaoyong Du ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
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
-
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
-
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
-
6656:
The future internet future internet assembly 2011: achievements and technological promises John Domingue ... (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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
6749:
Intelligence and security informatics Pacific asia workshop, PAISI 2011, Beijing, China, July 9, 2011 ; proceedings Michael Chau ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6793 : Lecture notes in artificial intelligence:
Automated reasoning with analytic tableaux and related methods 20th international conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011 ; proceedings Kai Brünnler; George Metcalfe (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6806:
Computer aided verification 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011 ; proceedings Ganesh Gopalakrishnan; Shaz Qadeer (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6615:
Security protocols XVI 16th international workshop, Cambridge, UK, April 16-18, 2008 ; revised selected papers Bruce Christianson ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
6818:
Data and applications security and privacy XXV 25th annual IFIP WG 11.3 conference, DBSec 2011, Richmond, VA, USA, July 11-13, 2011 ; proceedings Yingjiu Li (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6814 : Lecture notes in artificial intelligence:
Computational logic in multi-agent systems 12th international workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011 ; proceedings João Leite ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6825:
Artificial immune systems 10th international conference, ICARIS 2011, Cambridge, UK, July 18-21, 2011 ; proceedings Piezro Liò; Giuseppe Nicosia; Thomas Stibor (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
6711:
Public key infrastructures, services and applications 7th European workshop , EuroPKI 2010, Athens, Greece, September 23 - 24, 2010 ; revised selected papers Jan Camenisch ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
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
-
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
-
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
-
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
-
6038 : State-of-the-art-survey:
Agent-oriented software engineering 10 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11 - 12, 2009; revised selected papers / Marie-Pierre Gleizes ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6492:
Computer Vision - ACCV 2010 Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6494:
Computer vision - ACCV 2010 Pt. 3
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6495:
Computer vision - ACCV 2010 Pt. 4
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6593:
Adaptive and natural computing algorithms 1 Andrej Drobnikar ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6594:
Adaptive and natural computing algorithms 2 Andrej Drobnikar ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
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
-
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
-
6575 : Lecture notes in bioinformatics:
Transactions on computational systems biology 13
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
-
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
-
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
-
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
-
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
-
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
-
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
-
6909:
Advances in databases and information systems 15th international conference, ADBIS 2011, Vienna, Austria, September 20-23, 2011 ; proceedings Johann Eder; Maria Bielikova; A Min Tjoa (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6879:
Computer security - ESORICS 2011 16th European Symposium on Research in Computer Security, Leuven, Belgium, September 12 - 14, 2011 proceedings Vijay Atluri ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6950 : Advanced research in computing and software science:
Distributed computing 25th international symposium, DISC 2011, Rome, Italy, September 20-22, 2011 ; proceedings David Peleg (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6985:
Network and parallel computing 8th IFIP International Conference, NPC 2011, Changsha, China, October 21-23, 2011 ; proceedings Erik Altman ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6960:
Recent advances in the message passing interface 18th European MPI Users Group Meeting, EuroMPI 2011, Santorini, Greece, September 18-21, 2011 ; proceedings Yiannis Cotronis ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6959:
Formal methods for industrial critical systems 16th international workshop, FMICS 2011, Trento, Italy, August 29 - 30, 2011 ; proceedings Gwen Salaün; Bernhard Schätz (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
6998:
Conceptual modeling - ER 2011 30th international conference, ER 2011, Brussels, Belgium, October 31 - November 3, 2011 ; proceedings Manfred A. Jeusfeld; Lois Delcambre, Tok Wang Ling (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
6977:
Computer performance engineering 8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, UK, October 12-13, 2011 ; proceedings Nigel Thomas (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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