> Verlagsreihe
-
Driving behavior, urban and smart mobility
Cham: Springer, [2020]
-
Automated driving and in-vehicle experience design
Cham: Springer, [2020]
-
Human-computer interaction Part 3 Novel user experiences Masaaki Kurosu (ed.)
[Cham]: Springer, [2016]
-
Algorithm engineering selected results and surveys Lasse Kliemann, Peter Sanders (eds.)
Cham, Switzerland: Springer, [2016]
-
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
-
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
-
Engineering psychology and cognitive ergonomics 1 Understanding human cognition / Don Harris (ed.) Don Harris (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2013
-
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
-
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
-
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
-
Web engineering 12th International Conference, ICWE 2012, Berlin, Germany, July 23-27, 2012 ; proceedings Marco Brambilla ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2012
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
The mathematics of language 12th Biennial Conference, MOL 12Nara, Japan, September 6-8, 2011, Proceedings Makoto Kanazawa ... (eds.)
Heidelberg [u.a.]: Springer, 2011
-
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
-
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
-
Transactions on edutainment 5
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
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
-
Computational linguistics and intelligent text processing Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Computer vision - ACCV 2010 Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Adaptive and natural computing algorithms 1 Andrej Drobnikar ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Database systems for advanced applications Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Database systems for advanced applications Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Applications of evolutionary computation Pt. 2 EvoCOMNET, EvoFIN, EvoHOT, EvoMUSART, EvoSTIM, and EvoTRANSLOG
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Transactions on pattern languages of programming 2 Special issue on applying patterns
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Adaptive and natural computing algorithms 2 Andrej Drobnikar ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Transactions on computational systems biology 13
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Computational linguistics and intelligent text processing Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Computer vision - ACCV 2010 Pt. 4
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Intelligent information and database systems Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Intelligent information and database systems Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Computer Vision - ACCV 2010 Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Computer vision - ACCV 2010 Pt. 3
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Transactions on Computational Collective Intelligence 3
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Applications of Evolutionary Computation Pt. 1 EvoCOMPLEX, EvoGAMES, EvoIASP, EvoINTELLIGENCE, EvoNUM, and EvoSTOC
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
Cooperative design, visualization, and engineering 8th international conference, CDVE 2011, Hong Kong, China, September 11-14, 2011 ; proceedings Yuhua Luo (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Algorithmic learning theory 22nd international conference, ALT 2011, Espoo, Finland, October 5-7, 2011 ; proceedings Jyrki Kivinen ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
Reachability problems 5th international workshop, RP 2011, Genoa, Italy, September 28-30, 2011 ; proceedings Giorgio Delzanno ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Computational logistics second international conference, ICCL 2011, Hamburg, Germany, September 19 - 22, 2011 ; proceedings Jürgen W. Böse ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Provable security 5th International Conference, ProvSec 2011, Xi'an, China, October 16-18, 2011 ; proceedings Xavier Boyen; Xiaofeng Chen (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
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
-
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
-
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
-
Algorithmic game theory 4th international symposium, SAGT 2011, Amalfi, Italy, October 17-19, 2011 ; proceedings Giuseppe Persiano (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
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
-
Static analysis 18th international symposium, SAS 2011, Venice, Italy, September 14-16, 2011 ; proceedings Eran Yahav (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Scalable uncertainty management 5th international conference, SUM 2011, Dayton, OH, USA, October 10-13, 2011 ; proceedings Salem Benferhat; John Grant (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
Distributed computing 25th international symposium, DISC 2011, Rome, Italy, September 20-22, 2011 ; proceedings David Peleg (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Integrated circuit and system design power and timing modeling, optimization, and simulation ; 21st international workshop, PATMOS 2011, Madrid, Spain, September 26 - 29, 2011 ; proceedings José L. Ayala; Braulio García-Cámara; Manuel Prieto; Martino Ruggiero; Gilles Sicard (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
Cryptography and coding 13th IMA international conference, IMACC 2011, Oxford, UK, December 2011 ; proceedings Liqun Chen (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Biometric recognition 6th Chinese conference, CCBR 2011, Beijing, China, December 3-4, 2011 ; proceedings Zhenan Sun ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
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
-
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
-
Algorithms and computation 22nd international symposium, ISAAC 2011, Yokohama, Japan, December 5-8, 2011 ; proceedings Takao Asano ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
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
-
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
-
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
-
Security protocols XIX 19th international workshop, Cambridge, UK, March 28-30, 2011 ; revised selected papers Bruce Christianson ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
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
-
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
-
Ludics, dialogue and interaction PRELUDE project - 2006-2009 ; revised selected papers Alain Lecomte; Samuel Tronçon (eds.)
Heidelberg [u.a.]: Springer, 2011
-
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
-
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
-
RoboCup 2010: Robot Soccer World Cup XIV Javier Ruiz-del-Solar; Eric Chown; Paul G. Plöger (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
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
-
Euro-Par 2011 Parallel Processing 1 Emmanuel Jeannot ... (eds.)
Heidelberg [u.a.]: Springer, 2011
-
Human-computer interaction - INTERACT 2011 Pt. 3
[Berlin]; Heidelberg [u.a.]: Springer, 2011
-
Medical image computing and computer-assisted intervention - MICCAI 2011 Pt. 3 Gabor Fichtinger ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Knowledge Based and Intelligent Information and Engineering Systems Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Web information systems and mining Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Advances in visual computing Pt. 1 George Bebis ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Artificial intelligence and computational intelligence 1 Hepu Deng ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Affective computing and intelligent interaction Pt. 2 Sidney D'Mello ... (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Computational collective intelligence Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Computational collective intelligence Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Neural information processing Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
The Semantic Web -- ISWC 2011 Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
The Semantic Web - ISWC 2011 Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Advances in image and video technology Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Advances in image and video technology Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Advances in Soft Computing Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Intelligent robotics and applications Pt. 2 Sabina Jeschke ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Advanced data mining and applications Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
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
-
Digital privacy PRIME - privacy and identity management for europe Jan Camenisch ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Swarm, evolutionary, and memetic computing Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Swarm, evolutionary, and memetic computing Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Transactions on computational science 13
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Foundations of security analysis and design 6 FOSAD tutorial lectures / Alessandro Aldini ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Transactions on edutainment 6
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Human-Computer Interaction - INTERACT 2011 Pt. 1
[Berlin]; Heidelberg [u.a.]: Springer, 2011
-
Medical image computing and computer-assisted intervention - MICCAI 2011 Pt. 1 Gabor Fichtinger ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Medical image computing and computer-assisted intervention - MICCAI 2011 Pt. 2 Gabor Fichtinger ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Knowledge based and intelligent information and engineering systems Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Image Analysis and Processing - ICIAP 2011 Pt. 1 Giuseppe Maino .... (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Image Analysis and Processing - ICIAP 2011 Pt. 2 Giuseppe Maino .... (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Artificial intelligence and computational intelligence 2 Hepu Deng ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Visual Informatics: Sustaining Research and Innovations Pt.1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Advanced data mining and applications Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
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
-
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
-
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
-
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
-
Transactions on computational science 14 Special issue on Voronoi diagrams and Delaunay triangulation
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Database and expert systems applications Pt. 1 Abdelkader Hameurlain ... (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Knowledge-Based and Intelligent Information and Engineering Systems Pt. 3
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Computer Analysis of Images and Patterns Pt. 1 Pedro Real ... (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Machine Learning and Knowledge Discovery in Databases Pt. 2 Dimitrios Gunopulos ... (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Machine Learning and Knowledge Discovery in Databases Pt. 3 Dimitrios Gunopulos ... (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
Neural information processing Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Neural information processing Pt. 3
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Visual Informatics: Sustaining Research and Innovations Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Transactions on data hiding and multimedia security 6
Berlin; Heidelberg [u.a.]: Springer, 2011
-
On the Move to Meaningful Internet Systems: OTM 2011 Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Advances in artificial intelligence Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Advances in Computational Intelligence : Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Computational science and its applications - ICCSA 2011 Pt. 3
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Modern approaches in applied intelligence Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Artificial neural networks and machine learning Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Universal access in human-computer interaction Pt. 3 Context diversity
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Human interface and the management of information Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
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
-
Image analysis and recognition Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Human-Computer Interaction Pt. 4 Users and applications
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Universal access in human-computer interaction Pt. 4 Applications and services
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Design, user experience, and usability Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Design, user experience and usability Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Universal access in human-computer interaction Pt. 1 Design for all and eInclusion
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Transactions on Computational Collective Intelligence 4
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Virtual and mixed reality Pt. 1 New trends
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Transactions on rough sets 14
Berlin; Heidelberg: Springer, 2011
-
Virtual and mixed reality Pt. 2 Systems and applications
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
Computational science and its applications - ICCSA 2011 Pt. 4
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Computational science and its applications - ICCSA 2011 Pt. 5
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Image analysis and recognition Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Transactions on aspect oriented software development 8 / Shmuel Katz ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Human-computer interaction Pt. 3 Towards mobile and intelligent interaction environments
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Human Interface and the Management of Information Pt. 2 / Gavriel Salvendy ... (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Automata, languages and programming 2 Luca Aceto ... (Eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
Modern approaches in applied intelligence Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Computational science and its applications - ICCSA 2011 Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Computational science and its applications - ICCSA 2011 Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Artificial neural networks and machine learning Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Human-computer interaction Pt. 1 Design and development approaches
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Human-computer interaction Pt. 2 Interaction techniques and environments
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Universal access in human-computer interaction Pt. 2 Users diversity
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Automata, languages and programming 1 Luca Aceto ... (Eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Transactions on computational science 12 Special issue on cyberworlds
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
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
-
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
-
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
-
Computing with instinct rediscovering artificial intelligence Yang Cai (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
Euro-Par 2011 Parallel Processing 2 Emmanuel Jeannot ... (eds.)
Heidelberg [u.a.]: Springer, 2011
-
Database and expert systems applications Pt. 2 Abdelkader Hameurlain ... (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Human-Computer Interaction - INTERACT 2011 Pt. 4
[Berlin]; Heidelberg [u.a.]: Springer, 2011
-
Human-Computer Interaction - INTERACT 2011 Pt. 2
[Berlin]; Heidelberg [u.a.]: Springer, 2011
-
Computer Analysis of Images and Patterns Pt. 2 Pedro Real ... (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Machine Learning and Knowledge Discovery in Databases Pt. 1 Dimitrios Gunopulos ... (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Transactions on Computational Collective Intelligence 5
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Knowledge based and intelligent information and engineering systems Pt. 4
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Computer vision - ACCV 2010 Workshops Pt. 1 Reinhard Koch ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Computer vision - ACCV 2010 Workshops Pt. 2 Reinhard Koch ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Web information systems and mining Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Advances in visual computing Pt. 2 George Bebis ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Artificial intelligence and computational intelligence 3 Hepu Deng ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Affective computing and intelligent interaction Pt. 1 Sidney D'Mello ... (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Transactions on large-scale data- and knowledge-centered systems 4 Special issue on database systems for biomedical applications
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Algorithms and architectures for parallel processing Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Algorithms and architectures for parallel processing Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
On the Move to Meaningful Internet Systems: OTM 2011 Pt.1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Intelligent robotics and applications Pt. 1 Sabina Jeschke ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Advances in knowledge discovery and data mining Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Advances in neural networks - ISNN 2011 Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
The semantic web: research and applications Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
The Semantic Web: Research and Applications Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Hybrid artificial intelligent systems Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Agents for games and simulations 2 [Papers presented at AGS 2010 ...] / Frank Dignum (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
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
-
Transactions on rough sets 13
Heidelberg [u.a.]: Springer, 2011
-
Network performance engingeering a handbook on convergent multi-service networks and next generation Internet Demetres D. Kouvatsos (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
NETWORKING 2011 : Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Advances in neural networks - ISNN 2011 Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Hybrid artificial intelligent systems Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
NETWORKING 2011 Pt. 1
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Advances in knowledge discovery and data mining Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Advances in swarm intelligence Pt. 2
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
Multiple classifier systems 10th international workshop, MCS 2011, Naples, Italy, June 15-17, 2011 ; proceedings Carlo Sansone ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
Hybrid learning 4th international conference, ICHL 2011, Hong Kong, China, August 10-12, 2011 ; proceedings Reggie Kwan ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
ECOOP 2011 - object-oriented programming 25th European conference, Lancaster, UK, July 25-29, 2011 ; proceedings Mira Mezini (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
Energy-aware communications 17th international workshop, EUNICE 2011, Dresden, Germany, September 5-7, 2011 ; proceedings Ralf Lehnert (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Brain informatics international conference, BI 2011, Lanzhou, China, September 7-9, 2011 ; proceedings Bin Hu ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
Active media technology 7th international conference, AMT 2011, Lanzhou, China, September 7-9, 2011 ; proceedings Ning Zhong ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
Security protocols XVI 16th international workshop, Cambridge, UK, April 16-18, 2008 ; revised selected papers Bruce Christianson ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
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
-
Smart graphics 11th International Symposium on Smart Graphics, Bremen, Germany, July 18-20, 2011 ; proceedings Lutz Dickmann ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
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
-
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
-
Parallel computing technologies 11th international conference, PaCT 2011, Kazan, Russia, September 19 - 23, 2011 ; proceedings Victor Malyshkin (ed.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
Multiple access communications 4th International Workshop, MACOM 2011, Trento, Italy, September 12-13, 2011 ; proceedings Claudio Sacchi ... (eds.)
Berlin; Heidelberg [u.a.]: Springer, 2011
-
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
-
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
-
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