Livro Autor Link do Livro CIÊNCIA DA COMPUTAÇÃO

Transcrição

CIÊNCIA DA COMPUTAÇÃO
Livro
Autor
Link do Livro
Abstract State Machines, David Hutchison, Takeo Kanade, Josef
B and Z
Kittler, Jon M. Kleinberg, Friedemann
Mattern, John C. Mitchell, Moni Naor,
Oscar Nierstrasz, C. Pandu Rangan,
Bernhard Steffen, Madhu Sudan,
Demetri Terzopoulos, Doug Tygar,
http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-87602-1
Moshe Y. Vardi, Gerhard Weikum,
Egon Börger, Michael Butler, Jonathan
P. Bowen, Paul Boca.
Achievements in
Sergei Gorlatch, Marian Bubak,
European Research on Thierry Priol.
Grid Systems
Active Knowledge
Frank Lillehagen, John Krogstie.
Modeling of Enterprises
Ada 2005 Rationale
John Barnes.
Adaptive Agents and
Karl Tuyls, Ann Nowe, Zahia
Multi-Agent Systems III. Guessoum, Daniel Kudenko.
Adaptation and MultiAgent Learning
Adaptive Hypermedia
and Adaptive WebBased Systems
David Hutchison, Takeo Kanade, Josef
Wolfgang Nejdl, Judy Kay, Pearl Pu,
Eelco Herder.
Adaptive Multimedial
Retrieval: Retrieval,
User, and Semantics
Nozha Boujemaa, Marcin Detyniecki,
Andreas Nürnberger.
Ad-hoc, Mobile and
Wireless Networks
David Coudert, David Simplot-Ryl, Ivan
Stojmenovic.
Advanced Autonomic
Networking and
Communication
Monique Calisti, Sven Meer, John
Strassner.
Advanced Concepts for
Intelligent Vision
Systems
http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-88457-6
Jacques Blanc-Talon, Salah
Bourennane, Wilfried Philips, Dan
Popescu, Paul Scheunders.
Advanced Data Mining
and Applications
Jaime G. Carbonell, Jörg Siekmann,
Changjie Tang, Charles X. Ling,
Xiaofang Zhou, Nick J. Cercone, Xue Li.
Advanced Data
Warehouse Design
Advanced Information
Systems Engineering
Elzbieta Malinowski, Esteban Zimányi.
Zohra Bellahsène, Michel Léonard.
Advanced Intelligent
Jaime G. Carbonell, Jörg Siekmann, DeComputing Theories and Shuang Huang, Donald C. Wunsch,
Applications. With
Daniel S. Levine, Kang-Hyun Jo.
Aspects of Artificial
Intelligence
De-Shuang Huang, Donald C. Wunsch,
Computing Theories and Daniel S. Levine, Kang-Hyun Jo.
Applications. With
Aspects of
Contemporary
Intelligent Computing
Techniques
Computing Theories and
Applications. With
Aspects of Theoretical
and Methodological
Issues
Moshe Y. Vardi, Gerhard Weikum, DeShuang Huang, Donald C. Wunsch,
Daniel S. Levine, Kang-Hyun Jo.
Advanced Methods for Ngoc Thanh Nguyen.
Inconsistent Knowledge
Management
Advanced Web and
NetworkTechnologies,
and Applications
Yoshiharu Ishikawa, Jing He,
Guandong Xu, Yong Shi, Guangyan
Huang, Chaoyi Pang, Qing Zhang,
Guoren Wang.
Advances in Ad Hoc
Networking
Pedro Cuenca, Carlos Guerrero,
Ramon Puigjaner, Bartomeu Serra.
Advances in Applied Self- Mikhail Prokopenko.
organizing Systems
Advances in Artificial
Sabine Bergler.
Intelligence
Intelligence - SBIA 2008 Gerson Zaverucha, Augusto Loureiro
Costa.
Intelligence - IBERAMIA Hector Geffner, Rui Prada, Isabel
2008
Machado Alexandre, Nuno David.
Advances in
Bioinformatics and
Computational Biology
Sorin Istrail, Pavel Pevzner, Michael S.
Waterman, Ana L. C. Bazzan, Mark
Craven, Natália F. Martins.
Advances in Biometrics
Nalini K. Ratha, Venu Govindaraju.
Advances in Blended
Learning
Elvis Wai Chung Leung, Fu Lee Wang,
Langfang Miao, Jianmin Zhao, Jifeng
He.
Advances in Case-Based Jaime G. Carbonell, J\"org Siekmann,
Reasoning
Klaus-Dieter Althoff, Ralph Bergmann, http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85501-9
Mirjam Minor, Alexandre Hanft.
Advances in
Computation and
Intelligence
Lishan Kang, Zhihua Cai, Xuesong Yan,
Yong Liu.
Advances in Computer Tarek Sobh.
and Information
Sciences and Engineering
Advances in Conceptual David Hutchison, Takeo Kanade, Josef
Modeling - Challenges
and Opportunities
Moshe Y. Vardi, Gerhard Weikum, IlYeol Song, Mario Piattini, Yi-Ping
Phoebe Chen, Sven Hartmann, Fabio
Grandi, Juan Trujillo, Andreas L.
Opdahl, Fernando Ferri, Patrizia
Grifoni, Maria Chiara Caschera,
Colette Rolland, Carson Woo, Camille
Salinesi, Esteban Zimányi, Christophe
Claramunt, Flavius Frasincar, GeertJan Houben, Philippe Thiran.
Advances in Cryptology - David Hutchison, Takeo Kanade, Josef
ASIACRYPT 2008
Josef Pieprzyk.
Advances in Cryptology - David Hutchison, Takeo Kanade, Josef
CRYPTO 2008
David Wagner.
Advances in Cryptology - Nigel Smart.
EUROCRYPT 2008
Advances in Data
Jaime G. Carbonell, J\"org Siekmann,
Mining. Medical
Petra Perner.
Applications, ECommerce, Marketing,
and Theoretical Aspects
Advances in Databases David Hutchison, Takeo Kanade, Josef
and Information Systems Kittler, Jon M. Kleinberg, Friedemann
Paolo Atzeni, Albertas Caplinskas,
Hannu Jaakkola.
Advances in Digital
Forensics IV
Advances in Enterprise
Engineering I
Indrajit Ray, Sujeet Shenoi.
Jan L. G. Dietz, Antonia Albani, Joseph
Barjis.
Advances in Geometric Falai Chen, Bert Jüttler.
Modeling and Processing
Advances in Grid and
Pervasive Computing
Song Wu, Laurence T. Yang, Tony Li
Xu.
Advances in Information David Hutchison, Takeo Kanade, Josef
and Computer Security Kittler, Jon M. Kleinberg, Friedemann
Kanta Matsuura, Eiichiro Fujisaki.
Advances in Information Jerzy Peja , Khalid Saeed.
Processing and
Protection
Advances in Information Craig Macdonald, Iadh Ounis, Vassilis
Retrieval
Plachouras, Ian Ruthven, Ryen W.
White.
Advances in Information Gabor Magyar, Gabor Knapp, Wita
System Development
Wojtkowski, W. Gregory Wojtkowski, http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-70760-0
Jo e Zupan i .
Advances in Information David Avison, George M. Kasper,
Systems Research,
Barbara Pernici, Isabel Ramos, Dewald
Education and Practice Roode.
Advances in Knowledge Takashi Washio, Einoshin Suzuki, Kai
Discovery and Data
Ming Ting, Akihiro Inokuchi.
Mining
Advances in Mass Data
Analysis of Images and
Signals in Medicine,
Biotechnology,
Chemistry and Food
Industry
Petra Perner, Ovidio Salvetti.
Advances in
Patrick Siarry, Zbigniew Michalewicz.
Metaheuristics for Hard
Optimization
Advances in Multilingual David Hutchison, Takeo Kanade, Josef
and Multimodal
Information Retrieval
Carol Peters, Valentin Jijkoun, Thomas
Mandl, Henning Müller, Douglas W.
Oard, Anselmo Peñas, Vivien Petras,
Diana Santos.
Advances in Multimedia David Hutchison, Takeo Kanade, Josef
Information Processing - Kittler, Jon M. Kleinberg, Friedemann
PCM 2008
Yueh-Min Ray Huang, Changsheng Xu,
Kuo-Sheng Cheng, Jar-Ferr Kevin Yang,
M. N. S. Swamy, Shipeng Li, Jen-Wen
Ding.
Advances in Multimedia Shin ichi Satoh, Frank Nack, Minoru
Modeling
Etoh.
Advances in Natural
Language Processing
Bengt Nordström, Aarne Ranta.
Advances in Neural
Networks - ISNN 2008
Fuchun Sun, Jianwei Zhang, Ying Tan,
Jinde Cao, Wen Yu.
Advances in Neural
Networks - ISNN 2008
Fuchun Sun, Jianwei Zhang, Ying Tan,
Jinde Cao, Wen Yu.
Advances in Software
Engineering
Egon Börger, Antonio Cisternino.
Advances in Visual
Computing
George Bebis, Richard Boyle, Bahram http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-89638-8
Parvin, Darko Koracin, Paolo
Remagnino, Fatih Porikli, Jörg Peters,
James Klosowski, Laura Arns, Yu Ka
Chun, Theresa-Marie Rhyne, Laura
Monroe.
Advances in Visual
Computing
George Bebis, Richard Boyle, Bahram http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-89645-6
Parvin, Darko Koracin, Paolo
Remagnino, Fatih Porikli, Jörg Peters,
James Klosowski, Laura Arns, Yu Ka
Chun, Theresa-Marie Rhyne, Laura
Monroe.
Advances in Web Based Howard Leung, Frederick Li, Rynson
Learning - ICWL 2007
Lau, Qing Li.
Advances in Web Based David Hutchison, Takeo Kanade, Josef
Learning - ICWL 2008
Frederick Li, Jianmin Zhao, Timothy K.
Shih, Rynson Lau, Qing Li, Dennis
McLeod.
Advances in Ad Hoc and Deying Li, Maggie Xiaoyan Cheng.
Sensor Networks
Affect and Emotion in
Human-Computer
Interaction
Christian Peter, Russell Beale.
Agent and Multi-Agent
Systems: Technologies
and Applications
Ngoc Thanh Nguyen, Geun Sik Jo,
Robert J. Howlett, L
Agent Technology and eHealth
Agent-Oriented
Information Systems IV
Roberta Annicchiarico, Ulises Cortés,
Cristina Urdiales.
Manuel Kolp, Brian Henderson-Sellers,
Haralambos Mouratidis, Alessandro
Garcia, Aditya K. Ghose, Paolo
Bresciani.
Agent-Oriented Software Michael Luck, Lin Padgham.
Engineering VIII
Agents and Peer-to-Peer Sam Joseph, Zoran Despotovic,
Computing
Gianluca Moro, Sonia Bergamaschi.
Agile Processes in
Software Engineering
and Extreme
Programming
Pekka Abrahamsson, Richard
Baskerville, Kieran Conboy, Brian
Agile Software
Engineering
AI 2008: Advances in
Artificial Intelligence
Yael Dubinsky, Orit Hazzan.
Ajax in Oracle
JDeveloper
Algebraic Biology
Deepak Vohra.
Algebraic Methodology
and Software
Technology
José Meseguer, Grigore Ro u.
The Algorithm Design
Manual
Algorithm Theory SWAT 2008
Algorithmic Aspects in
Information and
Management
Steven S. Skiena.
Algorithmic Aspects of
Wireless Sensor
Networks
Sándor P. Fekete.
Algorithmic Aspects of
Wireless Sensor
Networks
Algorithmic Game
Theory
Algorithmic Learning
Theory
Miros aw Kuty owski, Jacek Cicho ,
Przemys aw Kubiak.
Algorithmic Number
Theory
Algorithms - ESA 2008
Alfred J. Poorten, Andreas Stein.
Wayne Wobcke, Mengjie Zhang.
Katsuhisa Horimoto, Georg
Regensburger, Markus Rosenkranz,
Hiroshi Yoshida.
Joachim Gudmundsson.
Rudolf Fleischer, Jinhui Xu.
Burkhard Monien, Ulf-Peter
Schroeder.
Yoav Freund, László Györfi, György
Turán, Thomas Zeugmann.
Moshe Y. Vardi, Gerhard Weikum, Dan
Halperin, Kurt Mehlhorn.
Algorithms and
Anu G. Bourgeois, S. Q. Zheng.
Architectures for Parallel
Processing
Algorithms and
Computation
Seok-Hee Hong, Hiroshi Nagamochi,
Takuro Fukunaga.
Algorithms and Data
Structures
Algorithms and Models
for the Web-Graph
Kurt Mehlhorn, Peter Sanders.
Algorithms and
Programming
Algorithms in
Bioinformatics
Algorithms in Invariant
Theory
Ambient Intelligence
An Introduction to PHP
for Scientists and
Engineers
Analysis and Design of
Information Systems
William Aiello, Andrei Broder,
Jeannette Janssen, Evangelos Milios.
Waterman, Keith A. Crandall, Jens
Lagergren.
Bernd Sturmfels.
Emile Aarts, James L. Crowley, Boris
Ruyter, Heinz Gerhäuser, Alexander
Pflaum, Janina Schmidt, Reiner
Wichert.
David R. Brooks.
Arthur M. Langer.
Analytical and Stochastic Khalid Al-Begain, Armin Heindl, Miklós
Modeling Techniques
Telek.
and Applications
Anatomy Ontologies for Albert Burger, Duncan Davidson,
Bioinformatics
Richard Baldock.
Ant Colony Optimization David Hutchison, Takeo Kanade, Josef
and Swarm Intelligence Kittler, Jon M. Kleinberg, Friedemann
Marco Dorigo, Mauro Birattari,
Christian Blum, Maurice Clerc, Thomas
Stützle, Alan F. T. Winfield.
Applications and
Richard Ellis, Tony Allen, Miltos
Innovations in Intelligent Petridis.
Systems XV
Applications and Theory Kees M. Hee, Rüdiger Valk.
of Petri Nets
Applications of
Mario Giacobini, Anthony Br
Evolutionary Computing
Applications of Graph
Transformations with
Industrial Relevance
Andy Schürr, Manfred Nagl, Albert
Zündorf.
Applied Cryptography
and Network Security
Steven M. Bellovin, Rosario Gennaro,
Angelos Keromytis, Moti Yung.
Approximation and
Online Algorithms
Approximation,
Randomization and
Combinatorial
Optimization. Algorithms
and Techniques
Christos Kaklamanis, Martin Skutella.
Ashish Goel, Klaus Jansen, José D. P.
Rolim, Ronitt Rubinfeld.
Arabic and Chinese
David Doermann, Stefan Jaeger.
Handwriting Recognition
Architecting Dependable David Hutchison, Takeo Kanade, Josef
Systems V
Rogério Lemos, Felicita
Giandomenico, Cristina Gacek, Henry
Muccini, Marlon Vieira.
Architecture of
Computing Systems ARCS 2008
Argumentation in MultiAgent Systems
Uwe Brinkschulte, Theo Ungerer,
Christian Hochberger, Rainer G.
Spallek.
Iyad Rahwan, Simon Parsons, Chris
Reed.
Arithmetic of Finite
Fields
Joachim Gathen, José Luis Imaña,
Çetin Kaya Koç.
The Art of Artificial
Evolution
Articulated Motion and
Deformable Objects
Juan Romero, Penousal Machado.
Francisco J. Perales, Robert B. Fisher.
Artificial Evolution
Artificial Immune
Systems
Nicolas Monmarché, El-Ghazali Talbi,
Pierre Collet, Marc Schoenauer,
Evelyne Lutton.
Peter J. Bentley, Doheon Lee,
Sungwon Jung.
Artificial Intelligence and
Soft Computing - ICAISC
2008
Artificial Intelligence in
Theory and Practice II
Leszek Rutkowski, Ryszard
Tadeusiewicz, Lotfi A. Zadeh, Jacek M. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-69572-1
Zurada.
Max Bramer.
Artificial Intelligence:
Methodology, Systems,
and Applications
Danail Dochev, Marco Pistore, Paolo
Traverso.
Artificial Intelligence:
Theories, Models and
Applications
John Darzentas, George A. Vouros,
Spyros Vosinakis, Argyris Arnellos.
Artificial Neural
Networks - ICANN 2008 Kittler, Jon M. Kleinberg, Friedemann
Véra K rková, Roman Neruda, Jan
Koutník.
Artificial Neural
Networks - ICANN 2008 Kittler, Jon M. Kleinberg, Friedemann
Véra K rková, Roman Neruda, Jan
Koutník.
Artificial Neural
Networks in Pattern
Recognition
Automata, Languages
and Programming
Lionel Prevost, Simone Marinai,
Friedhelm Schwenker.
Automata, Languages
and Programming
Luca Aceto, Ivan Damgård, Leslie Ann
Goldberg, Magnús M. Halldórsson,
Anna Ingólfsdóttir, Igor Walukiewicz.
Luca Aceto, Ivan Damgård, Leslie Ann
Goldberg, Magnús M. Halldórsson,
Anna Ingólfsdóttir, Igor Walukiewicz.
Automated MultiOmar Javed, Mubarak Shah
Camera Surveillance:
Algorithms and Practice
Automated Reasoning
Alessandro Armando, Peter
Baumgartner, Gilles Dowek.
Automated Technology
for Verification and
Analysis
Sungdeok (Steve) Cha, Jin-Young Choi,
Moonzoo Kim, Insup Lee, Mahesh
Viswanathan.
Automatic Program
Development
Olivier Danvy, Harry Mairson, Fritz
Henglein, Alberto Pettorossi.
Automatic Speech
Recognition on Mobile
Devices and over
Communication
Networks
Zheng-Hua Tan, Børge Lindberg.
Autonomic and Trusted Chunming Rong, Martin Gilje Jaatun,
Computing
Frode Eika Sandnes, Laurence T. Yang, http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-69294-2
Jianhua Ma.
Balancing Agility and
Formalism in Software Kittler, Jon M. Kleinberg, Friedemann
Engineering
Bertrand Meyer, Jerzy R. Nawrocki,
Bartosz Walter.
Bézier and Splines in
Sambhunath Biswas, Brian C. Lovell.
Image Processing and
Machine Vision
Bidding Strategies in
Marius Walliser, Stefan Brantschen,
Agent-Based Continuous Monique Calisti, Marc Herbstritt.
Double Auctions
Bioinformatics
Volker Sperschneider.
Bioinformatics Research Ion M ndoiu, Raj Sunderraman,
and Applications
Alexander Zelikovsky.
Bioinformatics Research Mourad Elloumi, Josef Küng, Michal
and Development
Linial, Robert F. Murphy, Kristan
Schneider, Cristian Toma.
Bio-Inspired Computing David Hutchison, Takeo Kanade, Josef
and Communication
Pietro Liò, Eiko Yoneki, Jon Crowcroft,
Dinesh C. Verma.
Biologically-Inspired
Mike Hinchey, Anastasia Pagnoni,
Collaborative Computing Franz J. Rammig, Hartmut Schmeck.
Biomedical Simulation
Fernando Bello, P. J. Eddie Edwards.
Biometrics and Identity
Management
Moshe Y. Vardi, Gerhard Weikum, Ben
Schouten, Niels Christian Juul, Andrzej
Drygajlo, Massimo Tistarelli.
Biosurveillance and
Biosecurity
Waterman, Daniel Zeng, Hsinchun
Chen, Henry Rolka, Bill Lober.
Botnet Detection
Wenke Lee, Cliff Wang, David Dagon.
A Brief History of
Computing
The Burrows-Wheeler
Transform: Data
Compression, Suffix
Arrays, and Pattern
Matching
Business Information
Systems
Gerard O Regan.
Business Process
Management
Marlon Dumas, Manfred Reichert,
Ming-Chien Shan.
Business Process
Management
Workshops
CASCOM: Intelligent
Service Coordination in
the Semantic Web
Arthur Hofstede, Boualem Benatallah,
Hye-Young Paik.
Cellular Automata
Hiroshi Umeo, Shin Morishita,
Katsuhiro Nishinari, Toshihiko
Komatsuzaki, Stefania Bandini.
Donald Adjeroh, Tim Bell, Amar
Mukherjee.
Witold Abramowicz, Dieter Fensel.
Monique Calisti, Marius Walliser,
Stefan Brantschen, Marc Herbstritt,
Michael Schumacher, Helko Schuldt,
Helkki Helin.
Central European
Functional Programming Kittler, Jon M. Kleinberg, Friedemann
School
Zoltán Horváth, Rinus Plasmeijer,
Anna Soós, Viktória Zsók.
The Challenge of
Anticipation
Giovanni Pezzulo, Martin V. Butz,
Cristiano Castelfranchi, Rino Falcone.
Challenges for Next
Generation Network
Operations and Service
Management
Moshe Y. Vardi, Gerhard Weikum, Yan
Ma, Deokjai Choi, Shingo Ata.
Changing Television
Environments
Manfred Tscheligi, Marianna Obrist,
Artur Lugmayr.
The China Information
Technology Handbook
Coding Theory and
Applications
Ángela Barbero.
Cognition,
Communication and
Interaction
Cognitive Vision
Satinder Gill.
Collaborative and
Distributed Chemical
Engineering. From
Understanding to
Substantial Design
Process Support
Manfred Nagl, Wolfgang Marquardt.
Barbara Caputo, Markus Vincze.
Collaborative Networks: Luis M. Camarinha-Matos, Hamideh
Reference Modeling
Afsarmanesh.
Combinatorial Image
Analysis
Combinatorial
Optimization and
Applications
Valentin E. Brimkov, Reneta P.
Barneva, Herbert A. Hauptman.
Boting Yang, Ding-Zhu Du, Cao An
Wang.
Combinatorial Pattern
Matching
The Common
Component Modeling
Example
Paolo Ferragina, Gad M. Landau.
Comparative Genomics
Waterman, Craig E. Nelson, Stéphane http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-87988-6
Vialette.
edited b
Compiler Construction
Andreas Rausch, Ralf Reussner,
Raffaela Mirandola, Franti ek Plá il.
Complexity of
Constraints
Nadia Creignou, Phokion G. Kolaitis,
Heribert Vollmer.
Component-Based
Michel R. V. Chaudron, Clemens
Szyperski, Ralf Reussner.
Computable Models of
the Law
Pompeu Casanovas, Giovanni Sartor,
Núria Casellas, Rossella Rubino.
Computational Forensics David Hutchison, Takeo Kanade, Josef
Sargur N. Srihari, Katrin Franke.
Computational
Geometry
Mark Berg, Otfried Cheong, Marc
Kreveld, Mark Overmars.
Computational
Geometry and Graph
Theory
Hiro Ito, Mikio Kano, Naoki Katoh,
Yushi Uno.
Computational
Intelligence: Research
Frontiers
Computational
Linguistics and
Intelligent Text
Processing
Computational Logic in
Multi-Agent Systems
Jacek M. Zurada, Gary G. Yen, Jun
Wang.
Alexander Gelbukh.
Fariba Sadri, Ken Satoh.
Computational Methods Sorin Istrail, Pavel Pevzner, Michael S.
in Systems Biology
Waterman, Monika Heiner, Adelinde http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-88561-0
M. Uhrmacher.
Computational
Processing of the
António Teixeira, Vera Lúcia Strube
Portuguese Language
Lima, Luís Caldas Oliveira, Paulo
Quaresma.
Computational Science - Marian Bubak, Geert Dick Albada, Jack
ICCS 2008
Dongarra, Peter M. A. Sloot.
ICCS 2008
ICCS 2008
Computational Science
and Its Applications ICCSA 2008
Osvaldo Gervasi, Beniamino
Murgante, Antonio Laganà, David
Taniar, Youngsong Mun, Benjamino
Murgante, David Taniar.
Computational Science
and Its Applications ICCSA 2008
Osvaldo Gervasi, Beniamino
Murgante, Antonio Laganà, David
Taniar, You
Computer Aided
Verification
Aarti Gupta, Sharad Malik.
Computer And
Daoliang Li.
Computing Technologies
In Agriculture, Volume I
Computer And
Daoliang Li.
Computing Technologies
In Agriculture, Volume II
Computer Graphics for
Artists: An Introduction
Andrew Paquette.
Computer Mathematics Jaime G. Carbonell, J\"org Siekmann,
Deepak Kapur.
Computer Music
Modeling and Retrieval. Kittler, Jon M. Kleinberg, Friedemann
Sense of Sounds
Richard Kronland-Martinet, Sølvi
Ystad, Kristoffer Jensen.
Computer Performance David Hutchison, Takeo Kanade, Josef
Engineering
Nigel Thomas, Carlos Juiz.
Computer Safety,
Reliability, and Security
Michael D. Harrison, Mark-Alexander
Sujan.
Computer Science Edward A. Hirsch, Alexander A.
Theory and Applications Razborov, Alexei Semenov, Anatol
Slissenko.
Computer Science Logic David Hutchison, Takeo Kanade, Josef
Michael Kaminski, Simone Martini.
Computer Security ESORICS 2008
Sushil Jajodia, Javier Lopez.
Computer Supported
Cooperative Work in
Design IV
Weiming Shen, Jianming Yong, Yun
Yang, Jean-Paul A. Barthès, Junzhou
Luo.
Computer Vision - ECCV David Hutchison, Takeo Kanade, Josef
2008
David Forsyth, Philip Torr, Andrew
Zisserman.
2008
Zisserman.
2008
Zisserman.
2008
Zisserman.
Computer Vision
Systems
Computer-Aided
Innovation (CAI)
Computer-Human
Interaction
Antonios Gasteratos, Markus Vincze,
John K. Tsotsos.
Gaetano Cascini.
Computers and
Education
Computers and Games
António José Mendes, Isabel Pereira,
Rogério Costa.
Moshe Y. Vardi, Gerhard Weikum, H.
Jaap Herik, Xinhe Xu, Zongmin Ma,
Mark H. M. Winands.
Seongil Lee, Hyunseung Choo, Sungdo
Ha, In Chul Shin.
Computers Helping
People with Special
Needs
Klaus Miesenberger, Joachim Klaus,
Wolfgang Zagler, Arthur Karshmer.
Computing and
Combinatorics
Concept Lattices and
Their Applications
Xiaodong Hu, Jie Wang.
Conceptual Modeling ER 2008
Qing Li, Stefano Spaccapietra, Eric Yu,
Antoni Olivé.
Sadok Ben Yahia, Engelbert Mephu
Nguifo, Radim Belohlavek.
Conceptual Structures: Jaime G. Carbonell, J\"org Siekmann,
Knowledge Visualization Peter Eklund, Ollivier Haemmerlé.
and Reasoning
A Concise Introduction
to Data Compression
David Salomon.
A Concise Introduction
to Languages and
Machines
Alan P. Parkes.
A Concise Introduction Pankaj Jalote
to Software Engineering
http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-23921-5978-1-84800-301-9
CONCUR 2008 Concurrency Theory
Franck Breugel, Marsha Chechik.
Concurrency, Graphs
and Models
Constraint Handling
Rules
Pierpaolo Degano, Rocco Nicola, José
Meseguer.
Tom Schrijvers, Thom Frühwirth.
Constructing Ambient
Intelligence
Contributions to
Simulation Speed-Up
Max Mühlhäuser, Alois Ferscha, Erwin
Aitenbichler.
Eugen Lamers.
Cooperative Design,
Visualization, and
Engineering
Yuhua Luo.
Cooperative Information Jaime G. Carbonell, J\"org Siekmann,
Agents XII
Matthias Klusch, Michal P chou ek,
Axel Polleres.
Coordination Models
and Languages
Doug Lea, Gianluigi Zavattaro.
Coordination,
Organizations,
Institutions, and Norms
in Agent Systems III
Jaime Simão Sichman, Julian Padget,
Sascha Ossowski, Pablo Noriega.
Countering Counterfeit
Trade
Crowd Simulation
Thorsten Staake, Elgar Fleisch.
Daniel Thalmann, Soraia Raupp
Musse.
Cryptanalytic Attacks on Song Y. Yan.
RSA
Cryptographic Hardware David Hutchison, Takeo Kanade, Josef
and Embedded Systems - Kittler, Jon M. Kleinberg, Friedemann
CHES 2008
Elisabeth Oswald, Pankaj Rohatgi.
Cryptology and Network David Hutchison, Takeo Kanade, Josef
Security
Matthew K. Franklin, Lucas Chi Kwong
Hui, Duncan S. Wong.
Data Analysis, Machine
Learning and
Applications
Data and Applications
Security XXII
Christine Preisach, Han
Data Management in
Grid and Peer-to-Peer
Systems
Abdelkader Hameurlain.
Vijay Atluri.
Data Warehousing and
Knowledge Discovery
Moshe Y. Vardi, Gerhard Weikum, IlYeol Song, Johann Eder, Tho Manh
Nguyen.
Database and Expert
Systems Applications
Sourav S. Bhowmick, Josef Küng,
Roland Wagner.
Database Systems for
Advanced Applications
Jayant R. Haritsa, Ramamohanarao
Kotagiri, Vikram Pudi.
Data Integration in the
Life Sciences
Decision Procedures
Amos Bairoch, Sarah Cohen-Boulakia,
Christine Froidevaux.
Daniel Kroening, Ofer Strichman.
Declarative Agent
Languages and
Technologies V
Defence Industry
Applications of
Autonomous Agents and
Multi-Agent Systems
Matteo Baldoni, Tran Cao Son, M.
Birna Riemsdijk, Michael Winikoff.
Deontic Logic in
Computer Science
Ron Meyden, Leendert Torre.
Dependability Metrics
Irene Eusgeld, Felix C. Freiling, Ralf
Reussner.
G. Rozenberg, Th. Bäck, A.E. Eiben,
J.N. Kok, H.P. Spaink, Philip F.
Hingston, Luigi C. Barone, Zbigniew
Michalewicz.
John S. Gero, Ashok K. Goel.
Design by Evolution
Michal P chou ek, Simon G.
Thompson, Holger Voos.
Design Computing and
Cognition '08
Detection of Intrusions David Hutchison, Takeo Kanade, Josef
and Malware, and
Vulnerability Assessment Mattern, John C. Mitchell, Moni Naor,
Diego Zamboni.
The Developer's Guide
to Debugging
Thorsten Grötker, Ulrich Holtmann,
Holger Keding, Markus Wloka.
Developing Ambient
Intelligence
Developments in
Language Theory
Antonio Maña, Carsten Rudolph.
Developments in
Telecommunications
Gerhard Rufa.
Masami Ito, Masafumi Toyama.
Diagrammatic
Representation and
Inference
Digital Convergence Libraries of the Future
Gem Stapleton, John Howse, John Lee. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-87729-5
Rae Earnshaw, John Vince.
Digital Human Modeling Jaime G. Carbonell, Jörg Siekmann,
Yang Cai.
Digital Image Processing
in Java
Digital Libraries:
Universal and Ubiquitous Kittler, Jon M. Kleinberg, Friedemann
Access to Information
George Buchanan, Masood
Masoodian, Sally Jo Cunningham.
Digital Mammography
Elizabeth A. Krupinski.
Digital Watermarking
Moshe Y. Vardi, Gerhard Weikum, Yun
Q. Shi, Hyoung-Joong Kim, Stefan
Katzenbeisser.
Digitally Archiving
Cultural Objects
Discovery Science
Katsushi Ikeuchi, Daisuke Miyazaki.
Jean-François Boulicaut, Michael R.
Berthold, Tamás Horváth.
Discrete Geometry for
Computer Imagery
David Coeurjolly, Isabelle Sivignon,
Laure Tougne, Florent Dupont.
Dissemination of
Information in Optical
Networks
Distributed and Parallel
Systems
Distributed Applications
and Interoperable
Systems
Subir Bandyopadhyay.
Distributed Computing
Gadi Taubenfeld.
Distributed Computing
and Networking
Shrisha Rao, Mainak Chatterjee,
Prasad Jayanti, C. Siva Ram Murthy,
Sanjoy Kumar Saha.
Péter Kacsuk, Róbert Lovas, Zsolt
Németh.
René Meier, Sotirios Terzis.
Distributed Computing in Sotiris E. Nikoletseas, Bogdan S.
Sensor Systems
Chlebus, David B. Johnson, Bhaskar Kr http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-69169-3
Distributed Embedded
Systems: Design,
Middleware and
Resources
Distributed Search by
Constrained Agents
Bernd Kleinjohann, Wayne Wolf, Lisa
Kleinjohann, Bernd Kleinjohann,
Wayne Wolf, Lisa Kleinjohann.
Amnon Meisels.
DNA Computing
Max H. Garzon, Hao Yan.
DNA Computing Models Karl-Heinz Zimmermann, Israel
Martínez-Pérez, Zoya Ignatova.
Do-All Computing in
Chryssis Georgiou, Alexander A.
Distributed Systems
Shvartsman.
Dynamic Brain - from
Neural Spikes to
Behaviors
Maria Marinaro, Silvia Scarpetta, Yoko
Yamaguchi.
http://www.springerlink.com/openurl.asp?genre=book&eisbn=978-0-387-73637-2
E-Business and
Telecommunication
Networks
E-Commerce and Web
Technologies
Joaquim Filipe, Mohammad S.
Obaidat.
ECOOP 2008 - ObjectOriented Programming
Moshe Y. Vardi, Gerhard Weikum, Jan
Vitek.
E-Government Ict
Professionalism and
Competences Service
Science
Electronic Government
Antonino Mazzeo, Roberto Bellini,
Gianmario Motta.
Elementary Logic
Embedded Computer
Systems: Architectures,
Modeling, and
Simulation
Robert Lover.
Mladen Berekovi , Nikitas
Dimopoulos, Stephan Wong.
Embedded Robotics
Thomas Bräunl.
Giuseppe Psaila, Roland Wagner.
Maria A. Wimmer, Hans J. Scholl,
Enrico Ferro.
Emerging Technologies Jaime G. Carbonell, J\"org Siekmann,
and Information Systems Miltiadis D. Lytras, John M. Carroll,
for the Knowledge
Ernesto Damiani, Robert D. Tennyson. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-87780-6
Society
Emerging Web Services
Technology, Volume II
Monique Calisti, Marius Walliser,
Stefan Brantschen, Marc Herbstritt,
Thomas Gschwind, Cesare Pautasso.
Encyclopedia of
Geographical
Information Systems,
Science and Services
Shashi Shekhar, Hui Xiong.
Encyclopedia of
Multimedia
Encyclopedia of
Algorithms
End-to-End Quality of
Service Over
Heterogeneous
Networks
Engineering
Environment-Mediated
Multi-Agent Systems
Borko Furht.
Engineering Interactive
Systems
Peter Forbrig, Fabio Paternò.
Engineering Interactive
Systems
Moshe Y. Vardi, Gerhard Weikum, Jan
Gulliksen, Morton Borup Harning,
Philippe Palanque, Gerrit C. Veer,
Janet Wesson.
Ming-Yang Kao.
Torsten Braun, Thomas Staub, Michel
Diaz, José Enríquez-Gabeiras.
Danny Weyns, Sven A. Brueckner, Yves http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85028-1
Demazeau.
Engineering Societies in Jaime G. Carbonell, Jörg Siekmann,
the Agents World VIII
Alexander Artikis, Gregory M. P.
O Hare, Kostas Stathis, George
Vouros.
Enterprise Applications Daniel J. Veit, Dennis Kundisch, Tim
and Services in the
Weitzel, Christof
Finance Industry
Enterprise Information
Systems
Yannis Manolopoulos, Joaquim Filipe,
Panos Constantopoulos, José
Cordeiro.
Euro-Par 2007
Workshops: Parallel
Processing
Luc Bougé, Martti Forsell, Jesper
Larsson Träff, Achim Streit, Wolfgang
Ziegler, Michael Alexander, Stephen http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-78472-2
Childs.
Euro-Par 2008 - Parallel David Hutchison, Takeo Kanade, Josef
Processing
Emilio Luque, Tomàs Margalef,
Domingo Benítez.
Evolutionary
Jano Hemert, Carlos Cotta.
Computation in
Combinatorial
Optimization
Evolutionary
Elena Marchiori, Jason H. Moore.
Computation, Machine
Learning and Data
Mining in Bioinformatics
Evolvable Systems: From David Hutchison, Takeo Kanade, Josef
Biology to Hardware
Gregory S. Hornby, Luká Sekanina,
Pauline C. Haddow.
Experimental Algorithms Catherine C. McGeoch.
Fast Software Encryption David Hutchison, Takeo Kanade, Josef
Kaisa Nyberg.
Fifth Ifip International
Conference On
Theoretical Computer
Science ¿ Tcs 2008
Giorgio Ausiello, Juhani Karhumäki,
Giancarlo Mauri, Luke Ong.
Financial Cryptography
and Data Security
Gene Tsudik.
FM 2008: Formal
Methods
Focused Access to XML
Documents
Jorge Cuellar, Tom Maibaum, Kaisa
Sere.
Norbert Fuhr, Jaap Kamps, Mounia
Lalmas, Andrew Trotman.
Formal Concept Analysis Raoul Medina, Sergei Obiedkov.
Formal Methods and
Shaoying Liu, Tom Maibaum, Keijiro
Araki.
Formal Methods and
Testing
Robert M. Hierons, Jonathan P.
Bowen, Mark Harman.
Formal Methods for
Components and
Objects
Frank S. Boer, Marcello M. Bonsangue,
Susanne Graf, Willem-Paul Roever.
Formal Methods for
Computational Systems
Biology
Formal Methods for
Industrial Critical
Systems
Formal Methods for
Open Object-Based
Distributed Systems
Formal Methods in
Systems Biology
Formal Modeling and
Analysis of Timed
Systems
Marco Bernardo, Pierpaolo Degano,
Gianluigi Zavattaro.
Formal Techniques for
Networked and
Distributed Systems FORTE 2008
Foundations of 3D
Graphics Programming
Kenji Suzuki, Teruo Higashino, Keiichi
Yasumoto, Khaled El-Fakih.
Foundations of
Information and
Knowledge Systems
Foundations of
Intelligent Systems
Foundations of Software
Science and
Computational
Structures
From Animals to Animats
10
Sven Hartmann, Gabriele KernIsberner.
From Grids to Service
and Pervasive
Computing
Thierry Priol, Marco Vanneschi.
Stefan Leue, Pedro Merino.
Gilles Barthe, Frank S. Boer.
Jasmin Fisher.
Franck Cassez, Claude Jard.
Chunyang Chen, Jim X. Chen.
Aijun An, Stan Matwin, Zbigniew W.
Ra , Dominik l zak.
Roberto Amadio
Minoru Asada, John C. T. Hallam, Jeanhttp://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-69133-4
Arcady Meyer, Jun Tani.
Frontiers in Algorithmics Franco P. Preparata, Xiaodong Wu,
Jianping Yin.
Fun and Games
Panos Markopoulos, Boris Ruyter,
Wijnand IJsselsteijn, Duncan Rowland.
Functional and Logic
Jacques Garrigue, Manuel V.
Programming
Hermenegildo.
Fundamental
José Fiadeiro, Paola Inverardi
Approaches to Software
Engineering
The Future of Identity in Simone Fischer Hübner, Penny
the Information Society Duquenoy, Albin Zuccato et al.
Generative and
Transformational
Techniques in Software
Engineering II
Moshe Y. Vardi, Gerhard Weikum, Ralf
Lämmel, Joost Visser, João Saraiva.
Genetic Programming
Michael O Neill, Leonardo Vanneschi,
Steven Gustafson, Anna Isabel
Esparcia Alcázar, Ivanoe Falco,
Antonio
Rick Riolo, Terence Soule, Bill Worzel.
Genetic Programming
Theory and Practice V
Geographic Information David Hutchison, Takeo Kanade, Josef
Science
Thomas J. Cova, Harvey J. Miller, Kate
Beard, Andrew U. Frank, Michael F.
Goodchild.
Geometric Algebra for
Computer Graphics
John Vince.
GeoSensor Networks
Silvia Nittel, Alexandros Labrinidis,
Anthony Stefanidis.
Global E-Security
Hamid Jahankhani, Kenneth Revett,
Dominic Palmer-Brown.
Grammatical Inference: Jaime G. Carbonell, J\"org Siekmann,
Algorithms and
Alexander Clark, François Coste,
Applications
Laurent Miclet.
Graph Drawing
Graph Transformations
Seok-Hee Hong, Takao Nishizeki, Wu
Quan.
Hartmut Ehrig, Reiko Heckel, Grzegorz
Rozenberg, Gabriele Taentzer.
Graph-based Knowledge Michel Chein, Marie-Laure Mugnier ;
Representation
edited by Lakhmi Jain, Xindong Wu.
Graphics Recognition.
Recent Advances and
New Opportunities
Wenyin Liu, Josep Lladós, Jean-Marc
Ogier.
Graph-Theoretic
Concepts in Computer
Science
Hajo Broersma, Thomas Erlebach,
Tom Friedetzky, Daniel Paulusma.
Grid Computing
Sergei Gorlatch, Paraskevi
Fragopoulou, Thierry Priol.
Jörn Altmann, Dirk Neumann, Thomas
Fahringer.
Grid Economics and
Business Models
Grid Middleware and
Services
Groupware: Design,
Implementation, and
Use
Domenico Talia, Ramin Yahyapour,
Wolfgang Ziegler.
Robert O. Briggs, Pedro Antunes, GertJan Vreede, Aaron S. Read.
Guide to Advanced
Forrest Shull, Janice Singer, Dag I. K.
Empirical Software
Sjøberg.
Engineering
Handbook of Biometrics Anil K. Jain, Patrick Flynn, Arun A.
Ross.
Handbook of Database Michael Gertz, Sushil Jajodia.
Security
Haptic and Audio
Interaction Design
Antti Pirhonen, Stephen Brewster.
Haptics: Perception,
Devices and Scenarios
Manuel Ferre.
Hardware and Software: Karen Yorav.
Verification and Testing
HCI and Usability for
Education and Work
Andreas Holzinger.
Heterogeneous Objects
Modelling and
Applications
High Confidence
Software Reuse in Large
Systems
Alexander Pasko, Valery Adzhiev,
Peter Comninos.
High Performance
Computing - HiPC 2008
Ponnuswamy Sadayappan, Manish
Parashar, Ramamurthy Badrinath,
Viktor K. Prasanna.
High Performance
Computing for
Computational Science VECPAR 2008
José M. Laginha M. Palma, Patrick R.
Amestoy, Michel Daydé, Marta
Mattoso, João Correia Lopes.
Hong Mei.
High Performance
Per Stenström, Michel Dubois,
Embedded Architectures Manolis Katevenis, Rajiv Gupta, Theo http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-77559-1
and Compilers
Ungerer.
High-Performance
Computing
History of Computing
and Education 3 (Hce3)
Jesús Labarta, Kazuki Joe, Toshinori
Sato.
John Impagliazzo.
Home Networking
Khaldoun Agha, Xavier Carcelle, Guy
Pujolle.
Human Ear Recognition
by Computer
Human Motion
Human-Computer
Interaction Symposium
Bodo Rosenhahn, Reinhard Klette,
Dimitris Metaxas.
Peter Forbrig, Fabio Paternò, Annelise
Mark Pejtersen, Peter Forbrig, Fabio http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-09677-3
Paternò, Annelise Mark Pejtersen.
Hybrid Learning and
Education
Joseph Fong, Reggie Kwan, Fu Lee
Wang.
Hybrid Metaheuristics
María J. Blesa, Christian Blum, Carlos
Cotta, Antonio J. Fernández, José E.
Gallardo, Andrea Roli, Michael
Sampels.
Hybrid Systems:
Computation and
Control
Magnus Egerstedt, Bud Mishra.
Hypercomputation
Image Analysis and
Recognition
Image and Signal
Processing
Apostolos Syropoulos
Aurélio Campilho, Mohamed Kamel.
Abderrahim Elmoataz, Olivier Lezoray,
Fathallah Nouboud, Dris Mammass.
Implementation and
Application of Functional Kittler, Jon M. Kleinberg, Friedemann
Languages
Moshe Y. Vardi, Gerhard Weikum, Olaf
Chitil, Zoltán Horváth, Viktória Zsók.
Implementation and
Applications of
Automata
Oscar H. Ibarra, Bala Ravikumar.
Implementing Semantic Dieter Fensel, Mick Kerrigan, Michal
Web Services
Zaremba.
Improvements in System Felix Redmill, Tom Anderson.
Safety
Inductive Logic
Programming
Inductive Logic
Programming
Hendrik Blockeel, Jan Ramon, Jude
Shavlik, Prasad Tadepalli.
Filip elezný, Nada Lavra .
Informatics Education - Rolan
Supporting
Computational Thinking
Information Access
Maristella Agosti.
through Search Engines
and Digital Libraries
Information and
Communications
Security
Liqun Chen, Mark D. Ryan, Guilin
Wang.
Information Hiding
Kaushal Solanki, Kenneth Sullivan,
Upamanyu Madhow.
Information Networking. David Hutchison, Takeo Kanade, Josef
Towards Ubiquitous
Networking and Services Mattern, John C. Mitchell, Moni Naor,
Teresa Vazão, Mário M. Freire, Ilyoung
Chong.
Technology
Information Security
Hang Li, Ting Liu, Wei-Ying Ma,
Tetsuya Sakai, Kam-Fai Wong,
Guodong Zhou.
Tzong-Chen Wu, Chin-Laung Lei,
Vincent Rijmen, Der-Tsai Lee.
Information Security and David Hutchison, Takeo Kanade, Josef
Cryptology
Dingyi Pei, Moti Yung, Dongdai Lin,
Chuankun Wu.
Information Security and Yi Mu, Willy Susilo, Jennifer Seberry.
Privacy
Liqun Chen, Yi Mu, Willy Susilo.
Practice and Experience
Theory and Practices.
Smart Devices,
Convergence and Next
Generation Networks
Jose A. Onieva, Damien Sauveron,
Serge Chaumette, Dieter Gollmann,
Konstantinos Markantonakis.
Information Systems and Roland Kaschek, Christian Kop, Claudia
e-Business Technologies St
Information Systems
Security
Moshe Y. Vardi, Gerhard Weikum, R.
Sekar, Arun K. Pujari.
Information Technology Michael Barrett, Eliza
in the Service Economy:
Challenges and
Possibilities for the
21<Superscript>st</Sup
erscript> Century
Information Theoretic
Security
Reihaneh Safavi-Naini.
Information Visualization David Hutchison, Takeo Kanade, Josef
Andreas Kerren, John T. Stasko, JeanDaniel Fekete, Chris North.
Innovation in
Américo Azevedo.
Manufacturing Networks
Innovations and
Khaled Elleithy.
Advanced Techniques in
Systems, Computing
Sciences and Software
Engineering
Innovations for
Requirement Analysis.
From Stakeholders'
Needs to Formal Designs
Barbara Paech, Craig Martell.
Innovative Techniques in Magued Iskander.
Instruction Technology,
E-learning, Eassessment, and
Education
Insider Attack and Cyber Salvatore J. Stolfo, Steven M. Bellovin,
Security
Angelos D. Keromytis, Shlomo
Hershkop, Sean W. Smith, Sara
Sinclair.
Integer Programming
Andrea Lodi, Alessandro Panconesi,
and Combinatorial
Giovanni Rinaldi.
Optimization
Integrated Graphic and
Computer Modelling
Adrian Thomas.
Integration of AI and OR Laurent Perron, Michael A. Trick.
Techniques in Constraint
Programming for
Combinatorial
Optimization Problems
Intelligence and Security David Hutchison, Takeo Kanade, Josef
Informatics
Daniel Ortiz-Arroyo, Henrik Legind
Larsen, Daniel Dajun Zeng, David
Hicks, Gerhard Wagner.
Intelligence and Security Christopher C. Yang, Hsinchun Chen,
Informatics
Michael Chau, Kuiyu Chang,
Intelligent Agents and
Multi-Agent Systems
Intelligent Computer
Mathematics
The Duy Bui, Tuong Vinh Ho, Quang
Thuy Ha.
Serge Autexier, John Campbell, Julio
Rubio, Volker Sorge, Masakazu Suzuki, http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85109-7
Freek Wiedijk.
Intelligent Data
Engineering and
Automated Learning IDEAL 2008
Colin Fyfe, Dongsup Kim, Soo-Young
Lee, Hujun Yin.
Intelligent Engineering
Systems and
Computational
Cybernetics
J. A. Tenreiro Machado, Béla Pátkai,
Imre J. Rudas.
Intelligent Robotics and Jaime G. Carbonell, Jörg Siekmann,
Applications
Caihua Xiong, Honghai Liu, Yongan
Huang, Youlun Xiong.
Intelligent Robotics and Jaime G. Carbonell, Jörg Siekmann,
Applications
Caihua Xiong, Honghai Liu, Yongan
Huang, Youlun Xiong.
Intelligent Tutoring
Systems
Beverley P. Woolf, Esma Aïmeur,
Roger Nkambou, Susanne Lajoie.
Intelligent Virtual Agents Jaime G. Carbonell, J\"org Siekmann,
Helmut Prendinger, James Lester,
Mitsuru Ishizuka.
Interactive Curve
Modeling
Interactive Media: The
Semiotics of Embodied
Interaction
M. Sarfraz.
Interactive Storytelling
Ulrike Spierling, Nicolas Szilas.
Interactive Systems.
Design, Specification,
and Verification
Moshe Y. Vardi, Gerhard Weikum, T.
C. Nicholas Graham, Philippe
Palanque.
Internet and Network
Economics
Christos Papadimitriou, Shuzhong
Zhang.
The Internet of Things
Christian Floerkemeier, Marc
Langheinrich, Elgar Fleisch,
Friedemann Mattern, Sanjay E. Sarma.
Introduction to
Computer Graphics
Introduction to
Geometric Computing
Frank Klawonn.
Shaleph O'Neill.
Sherif Ghali.
An Introduction to
Ming Li, Paul Vitányi ; edited by David
Kolmogorov Complexity Gries, Fred B. Schneider.
and Its Applications, 3
Introduction to Video
Search Engines
David C. Gibbon, Zhu Liu.
Intrusion Detection
Luigi V. Mancini, Roberto Pietro.
Systems
IP Networking over Next- Linghang Fan, Haitham Cruickshank,
Generation Satellite
Zhili Sun.
Systems
IP Operations and
Management
Moshe Y. Vardi, Gerhard Weikum, Nail
Akar, Michal Pioro, Charalabos Skianis.
Issues in Multi-Agent
Systems
The IT Measurement
Compendium
Antonio Moreno, Juan Pavón.
ITIL® Version 3 at a
Glance
John O. Long.
Manfred Bundschuh, Carol Dekkers.
Job Scheduling
Strategies for Parallel
Processing
Journal on Data
Semantics X
Journal on Data
Semantics XI
Eitan Frachtenberg, Uwe
Schwiegelshohn.
KI 2008: Advances in
Andreas R. Dengel, Karsten Berns,
Thomas M. Breuel, Frank Bomarius,
Thomas R. Roth-Berghofer.
Stefano Spaccapietra.
Stefano Spaccapietra, Jeff Z. Pan,
Philippe Thiran, Terry Halpin, Steffen
Staab, Vojtech Svatek, Pavel Shvaiko,
John Roddick.
Knowledge Cartography Lakhmi Jain, Xindong Wu, Alexandra
Okada, Simon Buckingham Shum,
Tony Sherborne.
Knowledge Engineering: Jaime G. Carbonell, Jörg Siekmann,
Practice and Patterns
Aldo Gangemi, Jérôme Euzenat.
Knowledge Management David Riaño.
for Health Care
Procedures
Knowledge Management Mark Ackerman, Rose Dieng-Kuntz,
In Action
Carla Simone, Volker Wulf.
Knowledge Processing
with Interval and Soft
Computing
Vladik Kreinovich, Andre Korvin, R.
Baker Kearfott, Chenyi Hu.
Knowledge-Based
Intelligent Information Ignac Lovrek, Robert J. Howlett,
and Engineering Systems Lakhmi C. Jain.
Knowledge-Based
Knowledge-Based
Language and Automata David Hutchison, Takeo Kanade, Josef
Theory and Applications Kittler, Jon M. Kleinberg, Friedemann
Carlos Martín-Vide, Friedrich Otto,
Henning Fernau.
Languages and
Compilers for Parallel
Computing
José Nelson Amaral.
Languages and
Compilers for Parallel
Computing
Vikram Adve, María Jesús Garzarán,
Paul Petersen.
Languages,
Methodologies and
Development Tools for
Multi-Agent Systems
Mehdi Dastani, Amal Fallah
Seghrouchni, João Leite, Paolo
Torroni.
Large-Scale Knowledge Takenobu Tokunaga, Antonio Ortega.
Resources. Construction
and Application
Large-Scale Scientific
Computing
Ivan Lirkov, Svetozar Margenov, Jerzy
Wa niewski.
LATIN 2008: Theoretical Eduardo Sany Laber, Claudson
Informatics
Bornstein, Loana Tito Nogueira,
Luerbio Faria.
Lean Business Systems Tomasz Koch.
and Beyond
Learning and Intelligent David Hutchison, Takeo Kanade, Josef
Optimization
Vittorio Maniezzo, Roberto Battiti,
Jean-Paul Watson.
Learning Classifier
Systems
Jaume Bacardit, Ester BernadóMansilla, Martin V. Butz, Tim Kovacs,
Xavier Llorà, Keiki Takadama.
Learning to Live in the
Knowledge Society
Michael Kendall, Brian Samways.
Literature-based
Discovery
Logic and Theory of
Algorithms
J. Mackenzie Owen, Peter Bruza, Marc
Weeber.
Arnold Beckmann, Costas
Dimitracopoulos, Benedikt Löwe.
Logic for Computer
Scientists
Logic for Programming,
Artificial Intelligence,
and Reasoning
Iliano Cervesato, Helmut Veith, Andrei http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-89438-4
Voronkov.
Logic Programming
Maria Garcia de la Banda, Enrico
Pontelli.
Logic, Language,
Information and
Computation
Logical and Relational
Learning
Wilfrid Hodges, Ruy Queiroz.
Logic-Based Program
Synthesis and
Transformation
Andy King.
Logics in Artificial
Intelligence
Steffen Hölldobler, Carsten Lutz,
Heinrich Wansing.
Dines Bjørner, Martin C. Henson.
Logics of Specification
Languages
Dov M. Gabbay, Jörg Siekmann, A.
Bundy, J. G. Carbonell, M. Pinkal, H.
Uszkoreit, M. Veloso, W. Wahlster, M. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-20040-6
J. Wooldridge, Luc De Raedt.
Machine Learning
Kaizhu Huang, Haiqin Yang, Irwin King,
Michael Lyu.
Machine Learning and
Knowledge Discovery in Walter Daelemans, Bart Goethals,
Databases
Katharina Morik.
Machine Learning and
Knowledge Discovery in Walter Daelemans, Bart Goethals,
Databases
Katharina Morik.
Machine Learning for
Audio, Image and Video
Analysis
Machine Learning
Techniques for
Multimedia
Multimodal Interaction
Francesco Camastra, Alessandro
Vinciarelli.
Multimodal Interaction
Andrei Popescu-Belis, Steve Renals,
Hervé Bourlard.
Machine Learning
Techniques for
Multimedia
Making Globally
Distributed Software
Development a Success
Story
Making Grids Work
Matthieu Cord, Pádraig Cunningham.
Yihong Gong, Wei Xu.
Andrei Popescu-Belis, Rainer
Stiefelhagen.
Qing Wang, Dietmar Pfahl, David M.
Raffo.
Marco Danelutto, Paraskevi
Fragopoulou, Vladimir Getov.
Management of
Converged Multimedia
Networks and Services
George Pavlou, Toufik Ahmed, Tasos
Dagiuklas.
Managing Large-Scale
Service Deployment
Moshe Y. Vardi, Gerhard Weikum, Filip
Turck, Wolfgang Kellerer, George
Kormentzas.
Markov Models for
Pattern Recognition
Massively Multi-Agent
Technology
Gernot A. Fink.
Nadeem Jamali, Paul Scerri, Toshiharu http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85448-7
Sugawara.
Mathematical
Foundations of
Computer Science 2008 Mattern, John C. Mitchell, Moni Naor,
Edward Ochma ski, Jerzy Tyszkiewicz.
Mathematical Linguistics András Kornai.
Mathematical Methods David Hutchison, Takeo Kanade, Josef
in Computer Science
Jacques Calmet, Willi Geiselmann,
Jörn Müller-Quade.
Mathematical Tools for Lakhmi C. Jain, Xindong Wu.
Data Mining
Mathematics of Program David Hutchison, Takeo Kanade, Josef
Construction
Philippe Audebaud, Christine PaulinMohring.
Maturing Usability
Effie Lai-Chong Law, Ebba Thora
Hvannberg, Gilbert Cockton.
Medical Image
Computing and
Computer-Assisted
Intervention - MICCAI
2008
Dimitris Metaxas, Leon Axel, Gabor
Fichtinger, Gábor Székely.
Medical Image
Computing and
Computer-Assisted
Intervention - MICCAI
2008
Dimitris Metaxas, Leon Axel, Gabor
Fichtinger, Gábor Székely.
Medical Imaging and
Augmented Reality
Takeyoshi Dohi, Ichiro Sakuma,
Hongen Liao.
Medical Imaging and
Informatics
Xiaohong Gao, Henning Müller, Martin
J. Loomes, Richard Comley, Shuqian
Luo.
Methods and Tools for Luis M. Camarinha-Matos, Hamideh
Collaborative Networked Afsarmanesh, Martin Ollus.
Organizations
MICAI 2008: Advances in Jaime G. Carbonell, Jörg Siekmann,
Alexander Gelbukh, Eduardo F.
Morales.
Micro-Assembly
Svetan Ratchev, Sandra Koelemeijer.
Technologies and
Applications
Microsoft Dynamics NAV Paul M. Diffenderfer, Samir El-Assal.
Middleware 2008
Valérie Issarny, Richard Schantz.
Mining Complex Data
Zbigniew W. Ra , Shusaku Tsumoto,
Djamel Zighed.
Fosca Giannotti, Dino Pedreschi.
Mobility, Data Mining
and Privacy
Model Checking
Software
Klaus Havelund, Rupak Majumdar,
Jens Palsberg.
Model Driven
Architecture Foundations and
Applications
Model Driven
Engineering Languages
and Systems
Ina Schieferdecker, Alan Hartman.
Model-Based Software
and Data Integration
Ralf-Detlef Kutsche, Nikola Milanovic.
Krzysztof Czarnecki, Ileana Ober, JeanMichel Bruel, Axel Uhl, Markus Völter.
Model-Driven
Development of Reliable Kittler, Jon M. Kleinberg, Friedemann
Automotive Services
Manfred Broy, Ingolf H. Krüger,
Michael Meisinger.
Model-Driven Testing
Modeling
Communication with
Robots and Virtual
Humans
Modeling Decisions for
Paul Baker, Zhen Ru Dai, Jens
Grabowski, Øystein Haugen, Ina
Schieferdecker, Clay Williams.
edited b
Vicenç Torra, Yasuo Narukawa.
Modeling Semantic Web Jos Bruijn, Dieter Fensel, Mick
Services
Kerrigan, Uwe Keller, Holger Lausen, http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-68169-4
James Scicluna.
Modelling Autonomic
Communications
Environments
Sven Meer, Mark Burgess, Spyros
Denazis.
Modelling, Computation Hoai An Le Thi, Pascal Bouvry, Tao
and Optimization in
Pham Dinh.
Information Systems and
Management Sciences
Models in Software
Engineering
The Modern Algebra of
Holger Giese.
A Modern Approach to
Intelligent Animation
Yueting Zhuang, Yunhe Pan, Jun Xiao.
Sándor Dominich.
A Modular Calculus for Michel Schellekens.
the Average Cost of Data
Structuring
Motion in Games
Arjan Egges, Arno Kamphuis, Mark
Overmars.
Moving Wearable
Technology into the
Mainstream
Multiaccess,
Reservations & Queues
Joseph L. Dvorak.
Multiagent System
Technologies
Multi-Agent-Based
Simulation VIII
Multimodal Processing
and Interaction
Dee Denteneer, Johan S. H.
Leeuwaarden ; edited by Frank
Toolenaar.
Ralph Bergmann, Gabriela Lindemann, http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-87804-9
Stefan Kirn, Michal P chou ek.
Luis Antunes, Mario Paolucci, Emma
Norling.
Petros Maragos, Alexandros
Potamianos, Patrick Gros
Multimodal
Technologies for
Perception of Humans
Rainer Stiefelhagen, Rachel Bowers,
Jonathan
Multiobjective
Optimization
Jürgen Branke, Kalyanmoy Deb, Kaisa
Miettinen, Roman Sowi ski.
Multiobjective Problem Joshua Knowles, David Corne,
Solving from Nature
Kalyanmoy Deb, Deva Raj Chair.
Natural Language and
Information Systems
Epaminondas Kapetanios, Vijaya
Negotiation, Auctions,
Henner Gimpel, Nicholas R. Jennings,
and Market Engineering Gregory E. Kersten, Axel Ockenfels,
Christof Weinhardt.
Network and Parallel
Computing
Moshe Y. Vardi, Gerhard Weikum, Jian
Cao, Minglu Li, Min-You Wu, Jinjun
Chen.
Network Performance
Analysis
Alan Holt.
Network-Based
Information Systems
Makoto Takizawa, Leonard Barolli,
Tomoya Enokido.
Networked RFID
George Roussos.
Networked RFID Systems Damith C. Ranasinghe, Peter H. Cole.
and Lightweight
Cryptography
http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-23921-5978-1-84800-152-7
NETWORKING 2008 Ad
Hoc and Sensor
Networks, Wireless
Networks, Next
Generation Internet
Amitabha Das, Hung Keng Pung,
Francis Bu Sung Lee, Lawrence Wai
Choong Wong.
Neural Information
Processing
Masumi Ishikawa, Kenji Doya, Hiroyuki
Miyamoto, Takeshi Yamakawa
Neural Information
Processing
Masumi Ishikawa, Kenji Doya, Hiroyuki
Miyamoto, Takeshi Yamakawa.
New Computational
Paradigms
New Frontiers for
Entertainment
Computing
New Frontiers in Applied
S. Barry Cooper, Benedikt Löwe,
Andrea Sorbi.
Paolo Ciancarini, Ryohei Nakatsu,
Matthias Rauterberg, Marco Roccetti. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-09700-8
New Frontiers in
Ken Satoh, Akihiro Inokuchi, Katashi
Nagao, Takahiro Kawamura.
New Stream Cipher
Designs
Next Generation
Teletraffic and
Wired/Wireless
Advanced Networking
Matthew Robshaw, Olivier Billet.
ed
Sergey Balandin, Dmitri Moltchanov,
Yevgeni Koucheryavy.
Nonlinear
John A. Lee, Michel Verleysen.
Dimensionality
Reduction
Object-Oriented
Michael Cebulla.
Technology. ECOOP
2007 Workshop Reader
Objects, Components,
Models and Patterns
Will Aalst, John Mylopoulos, Norman
M. Sadeh, Michael J. Shaw, Clemens
Szyperski, Richard F. Paige, Bertrand
Meyer.
On the Move to
Meaningful Internet
Systems: OTM 2008
Robert Meersman, Zahir Tari.
On the Move to
Meaningful Internet
Systems: OTM 2008
Robert Meersman, Zahir Tari.
On the Move to
Meaningful Internet
Systems: OTM 2008
Workshops
Robert Meersman, Zahir Tari, Pilar
Herrero.
Ontology Management
Martin Hepp, Pieter Leenheer, Aldo
Moor, York Sure.
Open IT-Based
Gonzalo León, Ana M. Bernardos, José
Innovation: Moving
R. Casar, Karlheinz Kautz, Janice I.
Towards Cooperative IT Gross.
Transfer and Knowledge
Diffusion
The Open Knowlege
Society. A Computer
Science and Information
Systems Manifesto
Miltiadis D. Lytras, John M. Carroll,
Ernesto Damiani, Robert D. Tennyson,
David Avison, Gottfried Vossen,
Patricia Ordonez De Pablos.
Open Source
Development,
Communities and
Quality
OpenGL Graphics
Through Applications
Barbara Russo, Ernesto Damiani, Scott
Hissam, Björn Lundell, Giancarlo Succi. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-09683-4
OpenMP in a New Era of
Parallelism
OpenMP Shared
Memory Parallel
Programming
Optical SuperComputing
Rudolf Eigenmann, Bronis R. Supinski.
Pairing-Based
Cryptography - Pairing
2008
Steven D. Galbraith, Kenneth G.
Paterson.
Robert Whitrow.
Matthias S. Mueller, Barbara M.
Chapman, Bronis R. Supinski, Allen D. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-68554-8
Malony, Michael Voss.
Shlomi Dolev, Tobias Haist, Mihai
Oltean.
Parallel Problem Solving David Hutchison, Takeo Kanade, Josef
from Nature - PPSN X
Günter Rudolph, Thomas Jansen,
Simon Lucas, Carlo Poloni, Nicola
Beume.
Parallel Processing and
Applied Mathematics
Roman Wyrzykowski, Jack Dongarra,
Konrad Karczewski, Jerzy Wasniewski. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-68105-2
Parameterized and Exact Martin Grohe, Rolf Niedermeier.
Computation
Parsing Techniques 2
Dick Grune, Ceriel J. H. Jacobs.
Parsing the Turing Test
Passive and Active
Network Measurement
Pattern Recognition
Pattern Recognition in
Bioinformatics
Robert Epstein, Gary Roberts, Grace
Beber.
Mark Claypool, Steve Uhlig.
Gerhard Rigoll.
Waterman, Madhu Chetty, Alioune
Ngom, Shandar Ahmad.
Pedagogically Founded Jaime G. Carbonell, Jörg Siekmann.
Courseware Generation
for Web-Based Learning
Perception in
edited
Multimodal Dialogue
Systems
Performance Evaluation: Samuel Kounev, Ian Gorton, Kai Sachs.
Metrics, Models and
Benchmarks
Performance Modeling
and Engineering
Zhen Liu, Cathy H. Xia.
Persuasive Technology
Harri Oinas-Kukkonen, Per Hasle,
Marja Harjumaa, Katarina Segerståhl, http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-68500-5
Peter Øhrstrøm.
Pervasive Collaborative
Networks
Luis M. Camarinha-Matos, Willy
Picard.
Pervasive Computing
Jadwiga Indulska, Donald J. Patterson,
Tom Rodden, Max Ott.
Pervasive Computing
Jadwiga Indulska, Donald J. Patterson,
Tom Rodden, Max Ott.
Pillars of Computer
Science
Arnon Avron, Nachum Dershowitz,
Alexander Rabinovich.
Policies and Research in Elisabeth Leeuw, Simone FischerIdentity Management
Hübner, Jimmy Tseng, John Borking.
Post-Quantum
Cryptography
Johannes Buchmann, Jintai Ding.
Practical Aspects of
Declarative Languages
Paul Hudak, David S. Warren.
Practical Aspects of
Knowledge Management Kittler, Jon M. Kleinberg, Friedemann
Randy Goebel, Jörg Siekmann,
Wolfgang Wahlster, Takahira
Yamaguchi.
A Practical Programming David Hutchison, Takeo Kanade, Josef
Model for the Multi-Core Kittler, Jon M. Kleinberg, Friedemann
Era
Barbara Chapman, Weiming Zheng,
Guang R. Gao, Mitsuhisa Sato, Eduard
Ayguadé, Dongsheng Wang.
Precision Landmark
Location for Machine
Vision and
Photogrammetry
Preferences and
Similarities
Brian S.R. Armstrong, José A.
Gutierrez.
PRICAI 2008: Trends in
Jaime G. Carbonell, Jörg Siekmann, Tuhttp://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-89196-3
Bao Ho, Zhi-Hua Zhou.
Giulio Maier, Jean Salençon, Wilhelm
Schneider, Bernhard Schrefler, Paolo
Serafini, Giacomo Riccia, Didier
Dubois, Rudolf Kruse, Hans-Joachim
Lenz.
Principles and Practice of David Hutchison, Takeo Kanade, Josef
Constraint Programming Kittler, Jon M. Kleinberg, Friedemann
Peter J. Stuckey.
Principles of Distributed David Hutchison, Takeo Kanade, Josef
Systems
Theodore P. Baker, Alain Bui,
Sébastien Tixeuil.
Principles of Protocol
Design
Principles of Spin
Principles, Systems and
Applications of IP
Telecommunications.
Services and Security for
Next Generation
Networks
Robin Sharp.
Privacy Enhancing
Technologies
Nikita Borisov, Ian Goldberg.
Mordechai Ben-Ari.
Henning Schulzrinne, Radu State,
Saverio Niccolini.
Privacy in Statistical
Databases
Josep Domingo-Ferrer, Yücel Sayg n.
Privacy, Security, and
Trust in KDD
Francesco Bonchi, Elena Ferrari,
Bradley Malin, Yücel Saygin.
Privacy-Preserving Data
Mining:
Privacy-Respecting
Intrusion Detection
Probabilistic Inductive
Logic Programming
Charu C. Aggarwal, Philip S. Yu.
Probing Experience
Joyce H. D. M. Westerink, Martin
Ouwerkerk, Thérése J. M. Overbeek,
W. Frank Pasveer, Boris Ruyter.
Ulrich Flegel.
Luc Raedt, Paolo Frasconi, Kristian
Kersting, Stephen Muggleton.
Problem Solving for
Wireless Sensor
Networks
Luis Redondo-López, Aggeliki Prayati,
Juan-Manuel López-Navarro, JoséFernán Martínez-Ortega, Ana-Belén http://springerlink.com/openurl.asp?genre=book&isbn=978-1-84800-202-9
García-Hernando .
Proceedings of The IFIP
Tc 11 23 "rd"
International
Conference
Product-Focused
Software Process
Improvement
Programming Languages
Sushil Jajodia, Pierangela Samarati,
Stelvio Cimato, Sushil Jajodia,
Pierangela Samarati, Stelvio Cimato.
Andreas Jedlitschka, Outi Salo.
Kent Lee.
Programming Languages David Hutchison, Takeo Kanade, Josef
and Systems
Moshe Y. Vardi, Gerhard Weikum, G.
Ramalingam.
Programming Languages Sophia Drossopoulou
and Systems
Programming MultiAgent Systems
Mehdi Dastani, Amal El Fallah
Seghrouchni, Alessandro Ricci,
Michael Winikoff.
Progress in Cryptology - David Hutchison, Takeo Kanade, Josef
INDOCRYPT 2008
Dipanwita Roy Chowdhury, Vincent
Rijmen, Abhijit Das.
Progress in Cryptology - Serge Vaudenay.
AFRICACRYPT 2008
Progress in Pattern
Recognition, Image
Analysis and Applications Mattern, John C. Mitchell, Moni Naor,
José Ruiz-Shulcloper, Walter G.
Kropatsch.
Progress in WWW
Research and
Development
Provable Security
Yanchun Zhang, Ge Yu, Elisa Bertino,
Guandong Xu.
Provenance and
Annotation of Data and
Processes
Juliana Freire, David Koop, Luc
Moreau.
Joonsang Baek, Feng Bao, Kefei Chen,
Xuejia Lai.
Public Key Cryptography - Ronald Cramer.
PKC 2008
Public Key Infrastructure Stig F. Mjølsnes, Sjouke Mauw,
Sokratis K. Katsikas.
Qualità dei Dati
Carlo Batini, Monica Scannapieco.
Quality of Software
Architectures. Models
and Architectures
Steffen Becker, Frantisek Plasil, Ralf
Reussner.
Rationale-Based
Janet E. Burge, John M. Carroll,
Raymond McCall, Ivan Mistrik.
Reasoning Web
Cristina Baroglio, Piero A. Bonatti, Jan
Ma uszy ski, Massimo Marchiori, Axel
Polleres, Sebastian Schaffert.
Recent Advances in
Constraints
François Fages, Francesca Rossi,
Sylvain Soliman.
Recent Advances in
Intrusion Detection
Richard Lippmann, Engin Kirda, Ari
Trachtenberg.
Recent Advances in
Parallel Virtual Machine
and Message Passing
Interface
Alexey Lastovetsky, Tahar Kechadi,
Jack Dongarra.
Recent Advances in
Reinforcement Learning Sertan Girgin, Manuel Loth, Rémi
Munos, Philippe Preux, Daniil Ryabko.
Reconfigurable
Computing:
Architectures, Tools and
Applications
Roger Woods, Katherine Compton,
Christos Bouganis, Pedro C. Diniz.
Reflections on the
Teaching of
Programming
Jens Bennedsen, Michael E.
Caspersen, Michael Kölling.
Relations and Kleene
Algebra in Computer
Science
Reliable Implementation
of Real Number
Algorithms: Theory and
Practice
Rudolf Berghammer, Bernhard Möller,
Georg Struth
Peter Hertling, Christoph M.
Hoffmann, Wolfram Luther, Nathalie
Revol.
Reliable Software
Fabrice Kordon, Tullio Vardanega.
Technologies - AdaEurope 2008
Requirements
Barbara Paech, Colette Rolland.
Engineering: Foundation
for Software Quality
Requirements
Management
Colin Hood, Simon Wiedemann,
Stefan Fichtinger, Urte Pautz.
Research and Advanced David Hutchison, Takeo Kanade, Josef
Technology for Digital
Libraries
Birte Christensen-Dalsgaard, Donatella
Castelli, Bolette Ammitzbøll Jurik, Joan
Lippincott.
Research and
Max Bramer, Frans Coenen, Miltos
Development in
Petridis.
Intelligent Systems XXIV
Research and Practical
Issues of Enterprise
Information Systems II
Li D. Xu, A. Min Tjoa, Sohail S.
Chaudhry.
Research and Practical
Issues of Enterprise
Information Systems II
Volume 1
Li D. Xu, A. Min Tjoa, Sohail S.
Chaudhry.
Research in
Computational
Molecular Biology
Research in Cryptology
Martin Vingron, Limsoon Wong.
Resilient Networks and
Services
David Hausheer, Jürgen Schönwälder.
Stefan Lucks, Ahmad-Reza Sadeghi,
Christopher Wolf.
Resources, Co-Evolution Mark S. Ackerman, Christine A.
and Artifacts
Halverson, Thomas Erickson, Wendy http://www.springerlink.com/openurl.asp?genre=book&isbn=978-1-84628-900-2
A. Kellogg.
Rewriting Techniques
and Applications
Andrei Voronkov.
Rightshore!
Rigid Body Dynamics
Algorithms
Wolfgang Messner, Anja Hendel,
Frank Thun.
Roy Featherstone.
RoboCup 2007: Robot
Soccer World Cup XI
Ubbo Visser, Fernando Ribeiro,
Takeshi Ohashi, Frank Dellaert.
Robot Vision
Gerald Sommer, Reinhard Klette.
Robotica Mobile
Carlo Ghezzi, Paolo Ancilotti, Carlo
Batini, Stefano Ceri, Antonio Corradi,
Alberto Bimbo, Evelina Lamma, Paola http://www.springerlink.com/openurl.asp?genre=book&isbn=978-88-470-0385-9
Mello, Ugo Montanari, Paolo Prinetto,
Ulrich Nehmzow.
Rough Sets and Current Jaime G. Carbonell, Jörg Siekmann,
Trends in Computing
Chien-Chung Chan, Jerzy W. Grzymala- http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-88423-1
Busse, Wojciech P. Ziarko.
Rough Sets and
Knowledge Technology
Guoyin Wang, Tianrui Li, Jerzy W.
Grzymala-Busse, Duoqian Miao,
Andrzej Skowron, Yiyu Yao.
Rule Representation,
Interchange and
Reasoning on the Web
Nick Bassiliades, Guido Governatori,
Adrian Paschke.
Runtime Verification
Martin Leucker.
Safeguards in a World of David Wright, Serge Gutwirth, Michael
Ambient Intelligence
Friedewald, Elena Vildjiounaite, Yves http://www.springerlink.com/openurl.asp?genre=book&isbn=978-1-4020-6661-0
Punie.
Scalable Uncertainty
Management
Sergio Greco, Thomas Lukasiewicz.
Scaling Topic Maps
Lutz Maicher, Lars Marius Garshol.
Scientific and Statistical David Hutchison, Takeo Kanade, Josef
Database Management Kittler, Jon M. Kleinberg, Friedemann
Bertram Ludäscher, Nikos Mamoulis.
Secure Data
Management
Willem Jonker, Milan Petkovi .
Secure Transaction
Protocol Analysis
Moshe Y. Vardi, Gerhard Weikum.
Securing Biometrics
Applications
Charles A. Shoniregun, Stephen
Crosier.
Security and
Cryptography for
Networks
Rafail Ostrovsky, Roberto Prisco, Ivan
Visconti.
Security for
Sushil Jajodia.
Telecommunications
Networks
Self-Organizing Systems David Hutchison, Takeo Kanade, Josef
Karin Anna Hummel, James P. G.
Sterbenz.
Self-Sustaining Systems
Robert Hirschfeld, Kim Rose.
Semantic Grid: Model,
Methodology, and
Applications
Zhao-hui Wu, Hua-jun Chen.
Semantic Multimedia
David Duke, Lynda Hardman, Alex
Hauptmann, Dietrich Paulus, Steffen
Staab.
Semantic Multimedia
and Ontologies
Yiannis Kompatsiaris, Paola Hobson.
Semantic Service
Provisioning
Dominik Kuropka, Steffen Staab, Peter
Tröger, Mathias Weske.
The Semantic Web
M. J. Carey, S. Ceri, P. Bernstein, U.
Dayal, C. Faloutsos, J. C. Freytag, G.
Gardarin, W. Jonker, V.
Krishnamurthy, M.-A. Neimat, P.
Valduriez, G. Weikum, K.-Y. Whang, J.
Widom.
The Semantic Web
John Domingue, Chutiporn Anutariya.
Real-world Applications Jorge Cardoso, Martin Hepp, Miltiadis
of Semantic Web
D. Lytras.
Technology and
Ontologies
The Semantic Web ISWC 2008
Amit Sheth, Steffen Staab, Mike Dean,
Massimo Paolucci, Diana Maynard,
Timothy Finin, Krishnaprasad
Thirunarayan.
Semantic Web,
Ontologies and
Databases
Vassilis Christophides, Martine
Collard, Claudio Gutierrez.
The Semantic Web:
Research and
Applications
Semantics in Data and
Knowledge Bases
Sean Bechhofer, Manfred Hauswirth,
Jörg Hoffmann, Manolis Koubarakis. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-68233-2
Klaus-Dieter Schewe, Bernhard
Thalheim.
Sequences and Their
Applications - SETA 2008 Kittler, Jon M. Kleinberg, Friedemann
Solomon W. Golomb, Matthew G.
Parker, Alexander Pott, Arne
Winterhof.
Service Availability
Takashi Nanya, Fumihiro Maruyama,
András Pataricza, Miroslaw Malek.
Service-Oriented
Computing - ICSOC 2008 Kittler, Jon M. Kleinberg, Friedemann
Athman Bouguettaya, Ingolf Krueger,
Tiziana Margaria.
Service-Oriented
Computing: Agents,
Semantics, and
Engineering
Sets, Logic and Maths for
Computing
Ryszard Kowalczyk, Michael Huhns,
Matthias Klusch, Zakaria Maamar,
Quoc Bao Vo.
David Makinson.
Sharing Data,
Information and
Knowledge
Signal Processing for
Image Enhancement and
Multimedia Processing
Alex Gray, Keith Jeffery, Jianhua Shao.
Ernesto Damiani, Kokou Yétongnon,
Peter Schelkens, Albert Dipanda, Louis
Legrand, Richard Chbeir.
Simulated Evolution and David Hutchison, Takeo Kanade, Josef
Learning
Xiaodong Li, Michael Kirley, Mengjie http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-89693-7
Zhang, David Green, Vic Ciesielski,
Hussein Abbass, Zbigniew
Michalewicz, Tim Hendtlass,
Kalyanmoy Deb, Kay Chen Tan, Jürgen
Branke, Yuhui Shi.
Simulation, Modeling,
and Programming for
Autonomous Robots
Stefano Carpin, Itsuki Noda, Enrico
Pagello, Monica Reggiani, Oskar Stryk. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-89075-1
Smart Card Research and David Hutchison, Takeo Kanade, Josef
Advanced Applications Kittler, Jon M. Kleinberg, Friedemann
Gilles Grimaud, François-Xavier
Standaert.
Smart Cards, Tokens,
Security and
Applications
Smart Graphics
Keith E. Mayes, Konstantinos
Markantonakis.
Andreas Butz, Brian Fisher, Antonio
Krüger, Patrick Olivier, Marc Christie.
Smart Homes and Health Sumi Helal, Simanta Mitra, Johnny
Telematics
Wong, Carl K. Chang, Mounir
Mokhtari.
Smart Sensing and
Context
Daniel Roggen, Clemens Lombriser,
Gerhard Tröster, Gerd Kortuem, Paul
Havinga.
Social Computing,
Behavioral Modeling,
and Prediction
Huan Liu, John J. Salerno, Michael J.
Young.
Social Dimensions Of
Information And
Communication
Technology Policy
Chrisanthi Avgerou, Matthew L. Smith,
Peter Besselaar.
SOFSEM 2008: Theory
and Practice of
Computer Science
Viliam Geffert, Juhani Karhumäki,
Alberto Bertoni, Bart Preneel, Pavol
Návrat, Mária Bieliková.
Soft Computing for
Knowledge Discovery
and Data Mining
Oded Maimon, Lior Rokach.
Software and Data
Technologies
Software Architecture
Joaquim Filipe, Boris Shishkov, Markus
Helfert.
Moshe Y. Vardi, Gerhard Weikum, Ron
Morrison, Dharini Balasubramaniam,
Katrina Falkner.
Software Architecture
Zheng Qin, Xiang Zheng, Jiankuan
Xing.
Cesare Pautasso, Éric Tanter.
Software Composition
Software Evolution
Software Process and
Product Measurement
Tom Mens, Serge Demeyer.
Reiner R. Dumke, René Braungarten,
Günter Büren, Alain Abran, Juan J.
Cuadrado-Gallego.
Software Process and
Product Measurement
Juan J. Cuadrado-Gallego, René
Braungarten, Reiner R. Dumke, Alain
Abran.
Software Process
Improvement
Rory V. O Connor, Nathan Baddoo,
Kari Smolander, Richard Messnarz.
Software Technologies
for Embedded and
Ubiquitous Systems
Uwe Brinkschulte, Tony Givargis,
Stefano Russo.
Software-Intensive
Systems and New
Computing Paradigms
Martin Wirsing, Jean-Pierre Banâtre,
Matthias Hölzl, Axel Rauschmayer.
Spatial Cognition VI.
Learning, Reasoning, and Christian Freksa, Nora S. Newcombe,
Talking about Space
Peter Gärdenfors, Stefan Wölfl.
Stabilization, Safety, and David Hutchison, Takeo Kanade, Josef
Security of Distributed Kittler, Jon M. Kleinberg, Friedemann
Systems
Sandeep Kulkarni, André Schiper.
Static Analysis
María Alpuente, Germán Vidal.
Statistical Models of
Shape
Stepping into Virtual
Reality
Stochastic Discrete Event
Systems
Structural Information
and Communication
Complexity
Chris Taylor, Carole Twining, Rhodri
Davies.
Mario A. A. Gutiérrez, Frédéric Vexo,
Daniel Thalmann.
Armin Zimmermann.
Alexander A. Shvartsman, Pascal
Felber.
Structural, Syntactic, and David Hutchison, Takeo Kanade, Josef
Statistical Pattern
Recognition
Niels Vitoria Lobo, Takis Kasparis,
Fabio Roli, James T. Kwok, Michael
Georgiopoulos, Georgios C.
Anagnostopoulos, Marco Loog.
Support Vector
Michael Jordan, Jon Kleinberg,
Machines
Bernhard Schölkopf.
Surgical Scene
Matthias Harders.
Generation for Virtual
Reality-Based Training in
Medicine
Survey of Text Mining II Michael W. Berry, Malu Castellanos.
G. Rozenberg, Th. Bäck, A.E. Eiben,
J.N. Kok, H.P. Spaink, Christian Blum,
Daniel Merkle.
Systems and
Latifa Boursas, Mark Carlson,
Virtualization
Wolfgang Hommel, Michelle Sibilla,
Management. Standards Kes Wold.
and New Technologies
Swarm Intelligence
Technologies for ELearning and Digital
Entertainment
Telecommunications
Modeling, Policy, and
Technology
Temporal Logic and
State Systems
TestGoal
The Testing Network
Zhigeng Pan, Xiaopeng Zhang,
Abdennour Rhalibi, Woontack Woo, Yi http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-69734-3
S. Raghavan, Bruce Golden, Edward
Wasil.
Fred Kröger, Stephan Merz.
Derk-Jan De Grood.
Pierre Henry.
Testing of Software and Kenji Suzuki, Teruo Hig
Communicating Systems
Tests and Proofs
Bernhard Beckert, Reiner Hähnle.
Text, Speech and
Dialogue
Petr Sojka, Ale Horák, Ivan Kope ek, http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-87390-7
Karel Pala.
Theorem Proving in
Higher Order Logics
Otmane Ait Mohamed, César Muñoz,
Sofiène Tahar.
Theoretical Aspects of
Computing - ICTAC 2008 Kittler, Jon M. Kleinberg, Friedemann
John S. Fitzgerald, Anne E.
Haxthausen, Husnu Yenigun.
Theory and Applications Manindra Agrawal, Dingzhu Du,
of Models of
Zhenhua Duan, Angsheng Li.
Computation
Theory and Applications Hans Kleine Büning, Xishun Zhao.
of Satisfiability Testing SAT 2008
Theory and Practice of Antonio Vallecillo, Jeff Gray, Alfonso
Model Transformations Pierantonio.
Theory of Cryptography Ran Canetti.
Theory of Quantum
Computation,
Communication, and
Cryptography
Yasuhito Kawano, Michele Mosca.
Thesis Projects
Mikael Berndtsson, Jörgen Hansson,
Björn Olsson, Björn Lundell.
Time-Dependent
Scheduling
Wilfried Brauer, Juraj Hromkovi ,
Grzegorz Rozenberg, Arto Salomaa.
Times of Convergence.
Technologies Across
Learning Contexts
Pierre Dillenbourg, Marcus Specht.
Tools and Algorithms for C.R. Ramakrishnan, Jakob Rehof
the Construction and
Analysis of Systems
Tools for High
Michael Resch, Rainer Keller, Valentin
Performance Computing Himmler, Bett
Topics in Cryptology - CT- Tal Malkin.
RSA 2008
Toward Artificial
Rene V. Mayorga, Leonid I. Perlovsky.
Sapience
Towards a Service-Based David Hutchison, Takeo Kanade, Josef
Internet
Petri Mähönen, Klaus Pohl, Thierry
Priol.
Towards AffordanceBased Robot Control
Erich Rome, Joachim Hertzberg, Georg
Dorffner.
Towards Sustainable
Society on Ubiquitous
Networks
Makoto Oya, Ryuya Uda, Chizuko
Yasunobu.
Transactions on
Marina L. Gavrilova, C. J. Kenneth Tan.
Computational Science I
Transactions on
Computational Science II Kittler, Jon M. Kleinberg, Friedemann
Marina L. Gavrilova, C. J. Kenneth Tan,
Yingxu Wang, Yiyu Yao, Guoyin Wang.
Transactions on
Biology IX
Transactions on
Biology X
Waterman, Corrado Priami.
Transactions on Data
Hiding and Multimedia
Security III
Yun Q. Shi.
Transactions on
Edutainment I
Zhigeng Pan, Adrian David Cheok,
Wolfgang Müller, Abdennour Rhalibi. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-69737-4
Transactions on Petri
Nets and Other Models
of Concurrency I
Kurt Jensen, Wil M. P. Aalst, Jonathan
Billington.
Waterman, Corrado Priami, Falko
Dressler, Ozgur B. Akan, Alioune
Ngom.
Transactions on Rough
Sets IX
James F. Peters, Andrzej Skowron,
Henryk Rybi ski.
Transactions on Rough
Sets VIII
James F. Peters, Andrzej Skowron.
Transdisciplinary Digital Randy Adams, Steve Gibson, Stefan
Art. Sound, Vision and
Müller Arisona.
the New Screen
Trust in Agent Societies
Wolfgang Wahlster, Rino Falcone,
Suzanne K. Barber, Jordi Sabater-Mir,
Munindar P. Singh.
Trust Management II
Yücel Karabulut, John Mitchell, Peter
Herrmann, Christian Damsgaard
Jensen.
Steven Furnell, Sokratis K. Katsikas,
Antonio Lioy.
Trust, Privacy and
Security in Digital
Business
Trusted Computing Challenges and
Applications
Peter Lipp, Ahmad-Reza Sadeghi,
Klaus-Michael Koch.
Trustworthy Global
Computing
Types for Proofs and
Programs
Ubiquitous Intelligence
and Computing
Gilles Barthe, Cédric Fournet.
Marino Miculan, Ivan Scagnetto, Furio
Honsell.
Frode Eika Sandnes, Yan Zhang,
Chunming Rong, Laurence T. Yang,
Jianhua Ma.
UMTS Radio Network
Hans-Florian Geerdes.
Planning: Mastering Cell
Coupling for Capacity
Optimization
Uncertainty Reasoning
for the Semantic Web I
Paulo Cesar G. Costa, Claudia
d Amato, Nicola Fanizzi, Kathryn B.
Laskey, Kenneth J. Laskey, Thomas
Lukasiewicz, Matthias Nickles, Michael
Pool.
Unconventional
Computing
Cristian S. Calude, José Félix Costa,
Rudolf Freund, Marion Oswald,
Grzegorz Rozenberg.
Understanding Planning Malte Helmert.
Tasks
Unfoldings
Javier Esparza, Keijo Heljanko.
Unifying Perspectives in Danica Kragic, Ville Kyrki.
Computational and
Robot Vision
User Interfaces for
Wearable Computers
Hendrik Witt.
Value-Range Analysis of
C Programs
Verbal and Nonverbal
Features of HumanHuman and HumanMachine Interaction
Wolfgang Wahlster, Anna Esposito,
Nikolaos G. Bourbakis, Nikolaos
Avouris, Ioannis Hatzilygeroudis.
Verification, Model
Checking, and Abstract
Interpretation
Francesco Logozzo, Doron A. Peled,
Lenore D. Zuck.
Verified Software:
Theories, Tools,
Experiments
Natarajan Shankar, Jim Woodcock.
Verified Software:
Theories, Tools,
Experiments
Virtual Systems and
Multimedia
Bertrand Meyer, Jim Woodcock.
Theodor G. Wyeld, Sarah Kenderdine,
Michael Docherty.
Visual Data Mining
Simeon J. Simoff, Michael H. Böhlen,
Arturas Mazeika.
Visual Information
Systems. Web-Based
Visual Information
Search and Management
Monica Sebillo, Giuliana Vitiello,
Gerald Schaefer.
Visualization for
Computer Security
John R. Goodall, Gregory Conti, KwanLiu Ma.
Visualization for
Jin Zhang.
VizSEC 2007
John R. Goodall, Gregory Conti, Kwanhttp://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-78242-1
Liu Ma.
Giovanni De Micheli, Salvador Mir,
Ricardo Reis
VLSI-SoC: Research
Trends in VLSI and
Systems on Chip
Vulnerability Analysis
and Defense for the
Internet
Abhishek Singh, Baibhav Singh, Hirosh
Joseph.
WALCOM: Algorithms
and Computation
Shin-ichi Nakano, Md. Saidur Rahman.
Web Accessibility
John Karat, Jean Vanderdonckt,
Gregory Abowd, Gaëlle Calvary, John
Carroll, Gilbert Cockton, Mary
Czerwinski, Steve Feiner, Elizabeth
Furtado, Kristina Höök, Robert Jacob,
Robin Jeffries, Peter Johnson, Kumiyo
Nakakoji, Philippe Palanque, Oscar
Pastor, Fabio Paternò, Costin
Pribeanu, Marilyn Salzman, Chris
Schmandt, Markus Stolze, Gerd
Szwillus, Manfred Tscheligi, Gerrit van
der Veer, Schumin Zhai, Simon Harper,
Yeliz Yesilada.
Web and Wireless
Geographical
Information Systems
Michela Bertolotto, Cyril Ray, Xiang Li.
Web Component
Development with Zope
3
Web Engineering:
Modelling and
Implementing Web
Applications
Web Information
Systems and
Technologies
Web Information
Systems Engineering WISE 2008
Web Information
Systems Engineering WISE 2008 Workshops
Philipp Weitershausen.
Gustavo Rossi, Oscar Pastor, Daniel
Schwabe, Luis Olsina.
Will Aalst, John Mylopoulos, Norman
M. Sadeh, Michael J. Shaw, Clemens http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-68257-8
Szyperski, Joaquim Filipe, José
Cordeiro.
James Bailey, David Maier, KlausDieter Schewe, Bernhard Thalheim,
Xiaoyang Sean Wang.
Sven Hartmann, Xiaofang Zhou,
Markus Kirchberg.
Web Reasoning and Rule David Hutchison, Takeo Kanade, Josef
Systems
Diego Calvanese, Georg Lausen.
The Web Resource
Space Model
Web Search
Web Services and
Formal Methods
Wiki
Hai Zhuge.
J. Mackenzie Owen, Amanda Spink,
Michael Zimmer.
Marlon Dumas, Reiko Heckel.
Anja Ebersbach, Markus Glaser,
Richard Heigl, Alexander Warta.
Wired/Wireless Internet Jarmo Harju, Geert Heijenk, Peter
Communications
Langendörfer, Vasilios A. Siris.
Wireless Algorithms,
Systems, and
Applications
Yingshu Li, Dung T. Huynh, Sajal K.
Das, Ding-Zhu Du.
Wireless and Mobile
Networking
Wireless Sensor and
Actor Networks II
Wireless Sensor
Networks
Zoubir Mammeri.
Ali Miri.
Roberto Verdone.
Wireless Sensor
Networks and
Applications
Wireless Systems and
Mobility in Next
Generation Internet
Yingshu Li, My T. Thai, Weili Wu.
Writing mental ray
shaders
25 Years of Model
Checking
Andy Kopra ; edited by Rolf Herken.
Llorenç Cerdà-Alabern.
Orna Grumberg, Helmut Veith.

Livro Autor Link do Livro CIÊNCIA DA COMPUTAÇÃO

Transcrição

Documentos relacionados

Salveaza ca PDF

Hingst Indeks * MODEL SKOVÅ FJH 762 4 0 134 .67 5 FAUST

Rangliste Raiffeisen Schüler-OL-Cup

Carbon Management Integration at Road Freight Service Providers

adm e economia