61
Livro Autor Link do Livro Abstract State Machines, B and Z David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-87602-1 Achievements in European Research on Grid Systems Sergei Gorlatch, Marian Bubak, Thierry Priol. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-72811-7 Active Knowledge Modeling of Enterprises Frank Lillehagen, John Krogstie. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-79415-8 Ada 2005 Rationale John Barnes. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-79700-5 Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi- Agent Learning Karl Tuyls, Ann Nowe, Zahia Guessoum, Daniel Kudenko. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-77947-6 Adaptive Hypermedia and Adaptive Web- Based Systems David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Wolfgang Nejdl, Judy Kay, Pearl Pu, Eelco Herder. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-70984-8 Adaptive Multimedial Retrieval: Retrieval, User, and Semantics Nozha Boujemaa, Marcin Detyniecki, Andreas Nürnberger. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-79859-0 Ad-hoc, Mobile and Wireless Networks David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, David Coudert, David Simplot-Ryl, Ivan Stojmenovic. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85208-7 Advanced Autonomic Networking and Communication Monique Calisti, Sven Meer, John Strassner. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-7643-8568-2 Advanced Concepts for Intelligent Vision Systems David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Jacques Blanc-Talon, Salah Bourennane, Wilfried Philips, Dan Popescu, Paul Scheunders. http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-88457-6 Advanced Data Mining and Applications Jaime G. Carbonell, Jörg Siekmann, Changjie Tang, Charles X. Ling, Xiaofang Zhou, Nick J. Cercone, Xue Li. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-88191-9 CIÊNCIA DA COMPUTAÇÃO

CIÊNCIA DA COMPUTAÇÃO Livro Autor Link do Livro200.19.105.194/udesc/arquivos/id_submenu/53/springer_computacao.pdf · Livro Autor Link do Livro Abstract State Machines, B and Z

  • Upload
    vandan

  • View
    214

  • Download
    0

Embed Size (px)

Citation preview

Page 1: CIÊNCIA DA COMPUTAÇÃO Livro Autor Link do Livro200.19.105.194/udesc/arquivos/id_submenu/53/springer_computacao.pdf · Livro Autor Link do Livro Abstract State Machines, B and Z

Livro Autor Link do LivroAbstract State Machines, B and Z

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-87602-1

Achievements in European Research on Grid Systems

Sergei Gorlatch, Marian Bubak, Thierry Priol. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-72811-7

Active Knowledge Modeling of Enterprises

Frank Lillehagen, John Krogstie.http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-79415-8

Ada 2005 Rationale John Barnes. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-79700-5Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning

Karl Tuyls, Ann Nowe, Zahia Guessoum, Daniel Kudenko.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-77947-6

Adaptive Hypermedia and Adaptive Web-Based Systems

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Wolfgang Nejdl, Judy Kay, Pearl Pu, Eelco Herder.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-70984-8

Adaptive Multimedial Retrieval: Retrieval, User, and Semantics

Nozha Boujemaa, Marcin Detyniecki, Andreas Nürnberger. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-79859-0

Ad-hoc, Mobile and Wireless Networks

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, David Coudert, David Simplot-Ryl, Ivan Stojmenovic.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85208-7

Advanced Autonomic Networking and Communication

Monique Calisti, Sven Meer, John Strassner. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-7643-8568-2

Advanced Concepts for Intelligent Vision Systems

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Jacques Blanc-Talon, Salah Bourennane, Wilfried Philips, Dan Popescu, Paul Scheunders.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-88457-6

Advanced Data Mining and Applications

Jaime G. Carbonell, Jörg Siekmann, Changjie Tang, Charles X. Ling, Xiaofang Zhou, Nick J. Cercone, Xue Li.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-88191-9

CIÊNCIA DA COMPUTAÇÃO

Page 2: CIÊNCIA DA COMPUTAÇÃO Livro Autor Link do Livro200.19.105.194/udesc/arquivos/id_submenu/53/springer_computacao.pdf · Livro Autor Link do Livro Abstract State Machines, B and Z

Advanced Data Warehouse Design

Elzbieta Malinowski, Esteban Zimányi. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-74404-7

Advanced Information Systems Engineering

Zohra Bellahsène, Michel Léonard.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-69533-2

Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence

Jaime G. Carbonell, Jörg Siekmann, De-Shuang Huang, Donald C. Wunsch, Daniel S. Levine, Kang-Hyun Jo. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85983-3

Advanced Intelligent Computing Theories and Applications. With Aspects of Contemporary Intelligent Computing Techniques

De-Shuang Huang, Donald C. Wunsch, Daniel S. Levine, Kang-Hyun Jo.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85929-1

Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, De-Shuang Huang, Donald C. Wunsch, Daniel S. Levine, Kang-Hyun Jo.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-87440-9

Advanced Methods for Inconsistent Knowledge Management

Ngoc Thanh Nguyen.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-1-84628-888-3

Advanced Web and NetworkTechnologies, and Applications

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Yoshiharu Ishikawa, Jing He, Guandong Xu, Yong Shi, Guangyan Huang, Chaoyi Pang, Qing Zhang, Guoren Wang.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-89375-2

Advances in Ad Hoc Networking

Pedro Cuenca, Carlos Guerrero, Ramon Puigjaner, Bartomeu Serra. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-09489-2

Advances in Applied Self-organizing Systems

Mikhail Prokopenko.http://www.springerlink.com/openurl.asp?genre=book&isbn=978-1-84628-981-1

Advances in Artificial Intelligence

Sabine Bergler. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-68821-1

Advances in Artificial Intelligence - SBIA 2008

Jaime G. Carbonell, Jörg Siekmann, Gerson Zaverucha, Augusto Loureiro Costa.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-88189-6

Advances in Artificial Intelligence - IBERAMIA 2008

Jaime G. Carbonell, Jörg Siekmann, Hector Geffner, Rui Prada, Isabel Machado Alexandre, Nuno David.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-88308-1

Advances in Bioinformatics and Computational Biology

Sorin Istrail, Pavel Pevzner, Michael S. Waterman, Ana L. C. Bazzan, Mark Craven, Natália F. Martins.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85556-9

Advances in Biometrics Nalini K. Ratha, Venu Govindaraju. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-1-84628-920-0

Page 3: CIÊNCIA DA COMPUTAÇÃO Livro Autor Link do Livro200.19.105.194/udesc/arquivos/id_submenu/53/springer_computacao.pdf · Livro Autor Link do Livro Abstract State Machines, B and Z

Advances in Blended Learning

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Elvis Wai Chung Leung, Fu Lee Wang, Langfang Miao, Jianmin Zhao, Jifeng He.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-89961-7

Advances in Case-Based Reasoning

Jaime G. Carbonell, J\"org Siekmann, Klaus-Dieter Althoff, Ralph Bergmann, Mirjam Minor, Alexandre Hanft.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85501-9

Advances in Computation and Intelligence

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Lishan Kang, Zhihua Cai, Xuesong Yan, Yong Liu.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-92136-3

Advances in Computer and Information Sciences and Engineering

Tarek Sobh.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-1-4020-8740-0

Advances in Conceptual Modeling - Challenges and Opportunities

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Il-Yeol 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, Geert-Jan Houben, Philippe Thiran.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-87990-9

Advances in Cryptology - ASIACRYPT 2008

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Josef Pieprzyk.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-89254-0

Advances in Cryptology - CRYPTO 2008

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, David Wagner.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85173-8

Advances in Cryptology - EUROCRYPT 2008

Nigel Smart.http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-78966-6

Page 4: CIÊNCIA DA COMPUTAÇÃO Livro Autor Link do Livro200.19.105.194/udesc/arquivos/id_submenu/53/springer_computacao.pdf · Livro Autor Link do Livro Abstract State Machines, B and Z

Advances in Data Mining. Medical Applications, E-Commerce, Marketing, and Theoretical Aspects

Jaime G. Carbonell, J\"org Siekmann, Petra Perner.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-70717-2

Advances in Databases and Information Systems

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Paolo Atzeni, Albertas Caplinskas, Hannu Jaakkola.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85712-9

Advances in Digital Forensics IV

Indrajit Ray, Sujeet Shenoi. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-84926-3

Advances in Enterprise Engineering I

Jan L. G. Dietz, Antonia Albani, Joseph Barjis. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-68643-9

Advances in Geometric Modeling and Processing

Falai Chen, Bert Jüttler.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-79245-1

Advances in Grid and Pervasive Computing

Song Wu, Laurence T. Yang, Tony Li Xu. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-68081-9

Advances in Information and Computer Security

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Kanta Matsuura, Eiichiro Fujisaki.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-89597-8

Advances in Information Processing and Protection

Jerzy Peja , Khalid Saeed.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-73136-0

Advances in Information Retrieval

Craig Macdonald, Iadh Ounis, Vassilis Plachouras, Ian Ruthven, Ryen W. White.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-78645-0

Advances in Information System Development

Gabor Magyar, Gabor Knapp, Wita Wojtkowski, W. Gregory Wojtkowski, Jo e Zupan i .

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-70760-0

Advances in Information Systems Research, Education and Practice

David Avison, George M. Kasper, Barbara Pernici, Isabel Ramos, Dewald Roode. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-09681-0

Advances in Knowledge Discovery and Data Mining

Takashi Washio, Einoshin Suzuki, Kai Ming Ting, Akihiro Inokuchi. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-68124-3

Advances in Mass Data Analysis of Images and Signals in Medicine, Biotechnology, Chemistry and Food Industry

Jaime G. Carbonell, J\"org Siekmann, Petra Perner, Ovidio Salvetti.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-70714-1

Advances in Metaheuristics for Hard Optimization

Patrick Siarry, Zbigniew Michalewicz.http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-72959-4

Page 5: CIÊNCIA DA COMPUTAÇÃO Livro Autor Link do Livro200.19.105.194/udesc/arquivos/id_submenu/53/springer_computacao.pdf · Livro Autor Link do Livro Abstract State Machines, B and Z

Advances in Multilingual and Multimodal Information Retrieval

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Carol Peters, Valentin Jijkoun, Thomas Mandl, Henning Müller, Douglas W. Oard, Anselmo Peñas, Vivien Petras, Diana Santos.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85759-4

Advances in Multimedia Information Processing - PCM 2008

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Yueh-Min Ray Huang, Changsheng Xu, Kuo-Sheng Cheng, Jar-Ferr Kevin Yang, M. N. S. Swamy, Shipeng Li, Jen-Wen Ding.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-89795-8

Advances in Multimedia Modeling

Shin ichi Satoh, Frank Nack, Minoru Etoh. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-77407-5

Advances in Natural Language Processing

Jaime G. Carbonell, J\"org Siekmann, Bengt Nordström, Aarne Ranta. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85286-5

Advances in Neural Networks - ISNN 2008

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Fuchun Sun, Jianwei Zhang, Ying Tan, Jinde Cao, Wen Yu.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-87733-2

Advances in Neural Networks - ISNN 2008

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Fuchun Sun, Jianwei Zhang, Ying Tan, Jinde Cao, Wen Yu.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-87731-8

Advances in Software Engineering

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Egon Börger, Antonio Cisternino.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-89761-3

Page 6: CIÊNCIA DA COMPUTAÇÃO Livro Autor Link do Livro200.19.105.194/udesc/arquivos/id_submenu/53/springer_computacao.pdf · Livro Autor Link do Livro Abstract State Machines, B and Z

Advances in Visual Computing

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, George Bebis, Richard Boyle, Bahram Parvin, Darko Koracin, Paolo Remagnino, Fatih Porikli, Jörg Peters, James Klosowski, Laura Arns, Yu Ka Chun, Theresa-Marie Rhyne, Laura Monroe.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-89638-8

Advances in Visual Computing

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, George Bebis, Richard Boyle, Bahram Parvin, Darko Koracin, Paolo Remagnino, Fatih Porikli, Jörg Peters, James Klosowski, Laura Arns, Yu Ka Chun, Theresa-Marie Rhyne, Laura Monroe.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-89645-6

Advances in Web Based Learning - ICWL 2007

Howard Leung, Frederick Li, Rynson Lau, Qing Li. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-78138-7

Advances in Web Based Learning - ICWL 2008

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Frederick Li, Jianmin Zhao, Timothy K. Shih, Rynson Lau, Qing Li, Dennis McLeod.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85032-8

Advances in Ad Hoc and Sensor Networks

Deying Li, Maggie Xiaoyan Cheng.http://springerlink.com/openurl.asp?genre=book&isbn=978-0-387-68565-6

Affect and Emotion in Human-Computer Interaction

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Christian Peter, Russell Beale.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85098-4

Agent and Multi-Agent Systems: Technologies and Applications

Ngoc Thanh Nguyen, Geun Sik Jo, Robert J. Howlett, L http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-78581-1

Agent Technology and e-Health

Roberta Annicchiarico, Ulises Cortés, Cristina Urdiales.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-7643-8546-0

Agent-Oriented Information Systems IV

Manuel Kolp, Brian Henderson-Sellers, Haralambos Mouratidis, Alessandro Garcia, Aditya K. Ghose, Paolo Bresciani.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-77989-6

Agent-Oriented Software Engineering VIII

Michael Luck, Lin Padgham.http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-79487-5

Agents and Peer-to-Peer Computing

Sam Joseph, Zoran Despotovic, Gianluca Moro, Sonia Bergamaschi. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-79704-3

Page 7: CIÊNCIA DA COMPUTAÇÃO Livro Autor Link do Livro200.19.105.194/udesc/arquivos/id_submenu/53/springer_computacao.pdf · Livro Autor Link do Livro Abstract State Machines, B and Z

Agile Processes in Software Engineering and Extreme Programming

Pekka Abrahamsson, Richard Baskerville, Kieran Conboy, Brian

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-68254-7

Agile Software Engineering

Yael Dubinsky, Orit Hazzan. http://springerlink.com/openurl.asp?genre=book&isbn=978-1-84800-198-5

AI 2008: Advances in Artificial Intelligence

Jaime G. Carbonell, Jörg Siekmann, Wayne Wobcke, Mengjie Zhang. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-89377-6

Ajax in Oracle JDeveloper

Deepak Vohra. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-77595-9

Algebraic Biology David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Katsuhisa Horimoto, Georg Regensburger, Markus Rosenkranz, Hiroshi Yoshida.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85100-4

Algebraic Methodology and Software Technology

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, José Meseguer, Grigore Ro u.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-79979-5

The Algorithm Design Manual

Steven S. Skiena. http://springerlink.com/openurl.asp?genre=book&isbn=978-1-84800-069-8

Algorithm Theory - SWAT 2008

Joachim Gudmundsson. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-69900-2

Algorithmic Aspects in Information and Management

Rudolf Fleischer, Jinhui Xu.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-68865-5

Algorithmic Aspects of Wireless Sensor Networks

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Sándor P. Fekete.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-92861-4

Algorithmic Aspects of Wireless Sensor Networks

Mirosaw Kuty owski, Jacek Cicho , Przemysaw Kubiak. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-77870-7

Algorithmic Game Theory

Burkhard Monien, Ulf-Peter Schroeder.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-79308-3

Algorithmic Learning Theory

Jaime G. Carbonell, Jörg Siekmann, Yoav Freund, László Györfi, György Turán, Thomas Zeugmann.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-87986-2

Algorithmic Number Theory

Alfred J. Poorten, Andreas Stein. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-79455-4

Algorithms - ESA 2008 David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Dan Halperin, Kurt Mehlhorn.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-87743-1

Algorithms and Architectures for Parallel Processing

Anu G. Bourgeois, S. Q. Zheng.http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-69500-4

Page 8: CIÊNCIA DA COMPUTAÇÃO Livro Autor Link do Livro200.19.105.194/udesc/arquivos/id_submenu/53/springer_computacao.pdf · Livro Autor Link do Livro Abstract State Machines, B and Z

Algorithms and Computation

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Seok-Hee Hong, Hiroshi Nagamochi, Takuro Fukunaga.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-92181-3

Algorithms and Data Structures

Kurt Mehlhorn, Peter Sanders. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-77977-3

Algorithms and Models for the Web-Graph

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, William Aiello, Andrei Broder, Jeannette Janssen, Evangelos Milios.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-78807-2

Algorithms and Programming

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-8176-4760-5

Algorithms in Bioinformatics

Sorin Istrail, Pavel Pevzner, Michael S. Waterman, Keith A. Crandall, Jens Lagergren.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-87360-0

Algorithms in Invariant Theory

Bernd Sturmfels. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-211-77416-8

Ambient Intelligence David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Emile Aarts, James L. Crowley, Boris Ruyter, Heinz Gerhäuser, Alexander Pflaum, Janina Schmidt, Reiner Wichert.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-89616-6

An Introduction to PHP for Scientists and Engineers

David R. Brooks.http://springerlink.com/openurl.asp?genre=book&isbn=978-1-84800-236-4

Analysis and Design of Information Systems

Arthur M. Langer.http://www.springerlink.com/openurl.asp?genre=book&isbn=978-1-84628-654-4

Analytical and Stochastic Modeling Techniques and Applications

Khalid Al-Begain, Armin Heindl, Miklós Telek.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-68980-5

Anatomy Ontologies for Bioinformatics

Albert Burger, Duncan Davidson, Richard Baldock. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-1-84628-884-5

Ant Colony Optimization and Swarm Intelligence

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Marco Dorigo, Mauro Birattari, Christian Blum, Maurice Clerc, Thomas Stützle, Alan F. T. Winfield.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-87526-0

Applications and Innovations in Intelligent Systems XV

Richard Ellis, Tony Allen, Miltos Petridis. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-1-84800-085-8

Applications and Theory of Petri Nets

Kees M. Hee, Rüdiger Valk. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-68745-0

Page 9: CIÊNCIA DA COMPUTAÇÃO Livro Autor Link do Livro200.19.105.194/udesc/arquivos/id_submenu/53/springer_computacao.pdf · Livro Autor Link do Livro Abstract State Machines, B and Z

Applications of Evolutionary Computing

Mario Giacobini, Anthony Brhttp://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-78760-0

Applications of Graph Transformations with Industrial Relevance

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Andy Schürr, Manfred Nagl, Albert Zündorf.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-89019-5

Applied Cryptography and Network Security

Steven M. Bellovin, Rosario Gennaro, Angelos Keromytis, Moti Yung. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-68913-3

Approximation and Online Algorithms

Christos Kaklamanis, Martin Skutella. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-77917-9

Approximation, Randomization and Combinatorial Optimization. Algorithms and Techniques

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Ashish Goel, Klaus Jansen, José D. P. Rolim, Ronitt Rubinfeld.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85362-6

Arabic and Chinese Handwriting Recognition

David Doermann, Stefan Jaeger.http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-78198-1

Architecting Dependable Systems V

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Rogério Lemos, Felicita Giandomenico, Cristina Gacek, Henry Muccini, Marlon Vieira.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85570-5

Architecture of Computing Systems - ARCS 2008

Uwe Brinkschulte, Theo Ungerer, Christian Hochberger, Rainer G. Spallek.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-78152-3

Argumentation in Multi-Agent Systems

Iyad Rahwan, Simon Parsons, Chris Reed. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-78914-7

Arithmetic of Finite Fields

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Joachim Gathen, José Luis Imaña, Çetin Kaya Koç.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-69498-4

The Art of Artificial Evolution

Juan Romero, Penousal Machado. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-72876-4

Articulated Motion and Deformable Objects

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Francisco J. Perales, Robert B. Fisher.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-70516-1

Page 10: CIÊNCIA DA COMPUTAÇÃO Livro Autor Link do Livro200.19.105.194/udesc/arquivos/id_submenu/53/springer_computacao.pdf · Livro Autor Link do Livro Abstract State Machines, B and Z

Artificial Evolution Nicolas Monmarché, El-Ghazali Talbi, Pierre Collet, Marc Schoenauer, Evelyne Lutton.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-79304-5

Artificial Immune Systems

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Peter J. Bentley, Doheon Lee, Sungwon Jung.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85071-7

Artificial Intelligence and Soft Computing - ICAISC 2008

Leszek Rutkowski, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Zurada.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-69572-1

Artificial Intelligence in Theory and Practice II

Max Bramer.http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-09694-0

Artificial Intelligence: Methodology, Systems, and Applications

Jaime G. Carbonell, J\"org Siekmann, Danail Dochev, Marco Pistore, Paolo Traverso.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85775-4

Artificial Intelligence: Theories, Models and Applications

Jaime G. Carbonell, Jörg Siekmann, John Darzentas, George A. Vouros, Spyros Vosinakis, Argyris Arnellos.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-87880-3

Artificial Neural Networks - ICANN 2008

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Véra K rková, Roman Neruda, Jan Koutník.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-87535-2

Artificial Neural Networks - ICANN 2008

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Véra K rková, Roman Neruda, Jan Koutník.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-87558-1

Artificial Neural Networks in Pattern Recognition

Lionel Prevost, Simone Marinai, Friedhelm Schwenker. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-69938-5

Automata, Languages and Programming

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Luca Aceto, Ivan Damgård, Leslie Ann Goldberg, Magnús M. Halldórsson, Anna Ingólfsdóttir, Igor Walukiewicz.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-70582-6

Automata, Languages and Programming

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Luca Aceto, Ivan Damgård, Leslie Ann Goldberg, Magnús M. Halldórsson, Anna Ingólfsdóttir, Igor Walukiewicz.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-70574-1

Page 11: CIÊNCIA DA COMPUTAÇÃO Livro Autor Link do Livro200.19.105.194/udesc/arquivos/id_submenu/53/springer_computacao.pdf · Livro Autor Link do Livro Abstract State Machines, B and Z

Automated Multi-Camera Surveillance: Algorithms and Practice

Omar Javed, Mubarak Shah

http://springerlink.com/openurl.asp?genre=book&isbn=978-0-387-78880-7

Automated Reasoning Jaime G. Carbonell, J\"org Siekmann, Alessandro Armando, Peter Baumgartner, Gilles Dowek.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-71069-1

Automated Technology for Verification and Analysis

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Sungdeok (Steve) Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-88386-9

Automatic Program Development

Olivier Danvy, Harry Mairson, Fritz Henglein, Alberto Pettorossi. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-1-4020-6584-2

Automatic Speech Recognition on Mobile Devices and over Communication Networks

Zheng-Hua Tan, Børge Lindberg.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-1-84800-142-8

Autonomic and Trusted Computing

Chunming Rong, Martin Gilje Jaatun, Frode Eika Sandnes, Laurence T. Yang, Jianhua Ma.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-69294-2

Balancing Agility and Formalism in Software Engineering

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Bertrand Meyer, Jerzy R. Nawrocki, Bartosz Walter.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85278-0

Bézier and Splines in Image Processing and Machine Vision

Sambhunath Biswas, Brian C. Lovell.http://www.springerlink.com/openurl.asp?genre=book&isbn=978-1-84628-956-9

Bidding Strategies in Agent-Based Continuous Double Auctions

Marius Walliser, Stefan Brantschen, Monique Calisti, Marc Herbstritt. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-7643-8729-7

Bioinformatics Volker Sperschneider. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-78505-7Bioinformatics Research and Applications

Ion M ndoiu, Raj Sunderraman, Alexander Zelikovsky. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-79449-3

Bioinformatics Research and Development

Mourad Elloumi, Josef Küng, Michal Linial, Robert F. Murphy, Kristan Schneider, Cristian Toma.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-70598-7

Bio-Inspired Computing and Communication

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Pietro Liò, Eiko Yoneki, Jon Crowcroft, Dinesh C. Verma.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-92190-5

Biologically-Inspired Collaborative Computing

Mike Hinchey, Anastasia Pagnoni, Franz J. Rammig, Hartmut Schmeck. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-09654-4

Page 12: CIÊNCIA DA COMPUTAÇÃO Livro Autor Link do Livro200.19.105.194/udesc/arquivos/id_submenu/53/springer_computacao.pdf · Livro Autor Link do Livro Abstract State Machines, B and Z

Biomedical Simulation David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Fernando Bello, P. J. Eddie Edwards.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-70520-8

Biometrics and Identity Management

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Ben Schouten, Niels Christian Juul, Andrzej Drygajlo, Massimo Tistarelli.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-89990-7

Biosurveillance and Biosecurity

Sorin Istrail, Pavel Pevzner, Michael S. Waterman, Daniel Zeng, Hsinchun Chen, Henry Rolka, Bill Lober.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-89745-3

Botnet Detection Wenke Lee, Cliff Wang, David Dagon. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-68766-7

A Brief History of Computing

Gerard ORegan. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-1-84800-083-4

The Burrows-Wheeler Transform: Data Compression, Suffix Arrays, and Pattern Matching

Donald Adjeroh, Tim Bell, Amar Mukherjee.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-78908-8

Business Information Systems

Witold Abramowicz, Dieter Fensel.http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-79395-3

Business Process Management

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Marlon Dumas, Manfred Reichert, Ming-Chien Shan.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85757-0

Business Process Management Workshops

Arthur Hofstede, Boualem Benatallah, Hye-Young Paik. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-78237-7

CASCOM: Intelligent Service Coordination in the Semantic Web

Monique Calisti, Marius Walliser, Stefan Brantschen, Marc Herbstritt, Michael Schumacher, Helko Schuldt, Helkki Helin.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-7643-8574-3

Cellular Automata David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Hiroshi Umeo, Shin Morishita, Katsuhiro Nishinari, Toshihiko Komatsuzaki, Stefania Bandini.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-79991-7

Page 13: CIÊNCIA DA COMPUTAÇÃO Livro Autor Link do Livro200.19.105.194/udesc/arquivos/id_submenu/53/springer_computacao.pdf · Livro Autor Link do Livro Abstract State Machines, B and Z

Central European Functional Programming School

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Zoltán Horváth, Rinus Plasmeijer, Anna Soós, Viktória Zsók.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-88058-5

The Challenge of Anticipation

Jaime G. Carbonell, Jörg Siekmann, Giovanni Pezzulo, Martin V. Butz, Cristiano Castelfranchi, Rino Falcone.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-87701-1

Challenges for Next Generation Network Operations and Service Management

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Yan Ma, Deokjai Choi, Shingo Ata.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-88622-8

Changing Television Environments

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Manfred Tscheligi, Marianna Obrist, Artur Lugmayr.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-69477-9

The China Information Technology Handbook http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-77742-9

Coding Theory and Applications

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Ángela Barbero.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-87447-8

Cognition, Communication and Interaction

Satinder Gill.http://www.springerlink.com/openurl.asp?genre=book&isbn=978-1-84628-926-2

Cognitive Vision David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Barbara Caputo, Markus Vincze.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-92780-8

Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process Support

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Manfred Nagl, Wolfgang Marquardt.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-70551-2

Page 14: CIÊNCIA DA COMPUTAÇÃO Livro Autor Link do Livro200.19.105.194/udesc/arquivos/id_submenu/53/springer_computacao.pdf · Livro Autor Link do Livro Abstract State Machines, B and Z

Collaborative Networks: Reference Modeling

Luis M. Camarinha-Matos, Hamideh Afsarmanesh. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-79425-9

Combinatorial Image Analysis

Valentin E. Brimkov, Reneta P. Barneva, Herbert A. Hauptman.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-78274-2

Combinatorial Optimization and Applications

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Boting Yang, Ding-Zhu Du, Cao An Wang.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85096-0

Combinatorial Pattern Matching

Paolo Ferragina, Gad M. Landau. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-69066-5

The Common Component Modeling Example

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Andreas Rausch, Ralf Reussner, Raffaela Mirandola, Franti ek Plá il.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85288-9

Comparative Genomics Sorin Istrail, Pavel Pevzner, Michael S. Waterman, Craig E. Nelson, Stéphane Vialette.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-87988-6

Compiler Construction edited b http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-78790-7

Complexity of Constraints

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Nadia Creignou, Phokion G. Kolaitis, Heribert Vollmer.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-92799-0

Component-Based Software Engineering

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Michel R. V. Chaudron, Clemens Szyperski, Ralf Reussner.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-87890-2

Computable Models of the Law

Jaime G. Carbonell, Jörg Siekmann, Pompeu Casanovas, Giovanni Sartor, Núria Casellas, Rossella Rubino. http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85568-2

Computational Forensics David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Sargur N. Srihari, Katrin Franke.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85302-2

Computational Geometry

Mark Berg, Otfried Cheong, Marc Kreveld, Mark Overmars.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-77973-5

Page 15: CIÊNCIA DA COMPUTAÇÃO Livro Autor Link do Livro200.19.105.194/udesc/arquivos/id_submenu/53/springer_computacao.pdf · Livro Autor Link do Livro Abstract State Machines, B and Z

Computational Geometry and Graph Theory

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Hiro Ito, Mikio Kano, Naoki Katoh, Yushi Uno.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-89549-7

Computational Intelligence: Research Frontiers

Jacek M. Zurada, Gary G. Yen, Jun Wang. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-68858-7

Computational Linguistics and Intelligent Text Processing

Alexander Gelbukh.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-78134-9

Computational Logic in Multi-Agent Systems

Jaime G. Carbonell, Jörg Siekmann, Fariba Sadri, Ken Satoh. http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-88832-1

Computational Methods in Systems Biology

Sorin Istrail, Pavel Pevzner, Michael S. Waterman, Monika Heiner, Adelinde M. Uhrmacher.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-88561-0

Computational Processing of the Portuguese Language

Jaime G. Carbonell, Jörg Siekmann, António Teixeira, Vera Lúcia Strube Lima, Luís Caldas Oliveira, Paulo Quaresma.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85979-6

Computational Science - ICCS 2008

Marian Bubak, Geert Dick Albada, Jack Dongarra, Peter M. A. Sloot. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-69383-3

Computational Science - ICCS 2008

Marian Bubak, Geert Dick Albada, Jack Dongarra, Peter M. A. Sloot. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-69386-4

Computational Science - ICCS 2008

Marian Bubak, Geert Dick Albada, Jack Dongarra, Peter M. A. Sloot. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-69388-8

Computational Science and Its Applications - ICCSA 2008

Osvaldo Gervasi, Beniamino Murgante, Antonio Laganà, David Taniar, Youngsong Mun, Benjamino Murgante, David Taniar.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-69838-8

Computational Science and Its Applications - ICCSA 2008

Osvaldo Gervasi, Beniamino Murgante, Antonio Laganà, David Taniar, You

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-69840-1

Computer Aided Verification

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Aarti Gupta, Sharad Malik.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-70543-7

Computer And Computing Technologies In Agriculture, Volume I

Daoliang Li.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-77250-9

Computer And Computing Technologies In Agriculture, Volume II

Daoliang Li.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-77252-3

Computer Graphics for Artists: An Introduction

Andrew Paquette.http://www.springerlink.com/openurl.asp?genre=book&isbn=978-1-84800-140-4

Computer Mathematics Jaime G. Carbonell, J\"org Siekmann, Deepak Kapur.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-87826-1

Page 16: CIÊNCIA DA COMPUTAÇÃO Livro Autor Link do Livro200.19.105.194/udesc/arquivos/id_submenu/53/springer_computacao.pdf · Livro Autor Link do Livro Abstract State Machines, B and Z

Computer Music Modeling and Retrieval. Sense of Sounds

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Richard Kronland-Martinet, Sølvi Ystad, Kristoffer Jensen.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85034-2

Computer Performance Engineering

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Nigel Thomas, Carlos Juiz.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-87411-9

Computer Safety, Reliability, and Security

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Michael D. Harrison, Mark-Alexander Sujan.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-87697-7

Computer Science - Theory and Applications

Edward A. Hirsch, Alexander A. Razborov, Alexei Semenov, Anatol Slissenko.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-79708-1

Computer Science Logic David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Michael Kaminski, Simone Martini.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-87530-7

Computer Security - ESORICS 2008

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Sushil Jajodia, Javier Lopez.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-88312-8

Computer Supported Cooperative Work in Design IV

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Weiming Shen, Jianming Yong, Yun Yang, Jean-Paul A. Barthès, Junzhou Luo.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-92718-1

Page 17: CIÊNCIA DA COMPUTAÇÃO Livro Autor Link do Livro200.19.105.194/udesc/arquivos/id_submenu/53/springer_computacao.pdf · Livro Autor Link do Livro Abstract State Machines, B and Z

Computer Vision - ECCV 2008

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, David Forsyth, Philip Torr, Andrew Zisserman.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-88681-5

Computer Vision - ECCV 2008

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, David Forsyth, Philip Torr, Andrew Zisserman.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-88685-3

Computer Vision - ECCV 2008

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, David Forsyth, Philip Torr, Andrew Zisserman.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-88689-1

Computer Vision - ECCV 2008

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, David Forsyth, Philip Torr, Andrew Zisserman.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-88692-1

Computer Vision Systems

Antonios Gasteratos, Markus Vincze, John K. Tsotsos.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-79546-9

Computer-Aided Innovation (CAI)

Gaetano Cascini. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-09696-4

Computer-Human Interaction

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Seongil Lee, Hyunseung Choo, Sungdo Ha, In Chul Shin.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-70584-0

Computers and Education

António José Mendes, Isabel Pereira, Rogério Costa.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-1-84628-928-6

Computers and Games David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, H. Jaap Herik, Xinhe Xu, Zongmin Ma, Mark H. M. Winands.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-87607-6

Page 18: CIÊNCIA DA COMPUTAÇÃO Livro Autor Link do Livro200.19.105.194/udesc/arquivos/id_submenu/53/springer_computacao.pdf · Livro Autor Link do Livro Abstract State Machines, B and Z

Computers Helping People with Special Needs

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Klaus Miesenberger, Joachim Klaus, Wolfgang Zagler, Arthur Karshmer.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-70539-0

Computing and Combinatorics

Xiaodong Hu, Jie Wang. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-69732-9

Concept Lattices and Their Applications

Sadok Ben Yahia, Engelbert Mephu Nguifo, Radim Belohlavek. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-78920-8

Conceptual Modeling - ER 2008

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Qing Li, Stefano Spaccapietra, Eric Yu, Antoni Olivé.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-87876-6

Conceptual Structures: Knowledge Visualization and Reasoning

Jaime G. Carbonell, J\"org Siekmann, Peter Eklund, Ollivier Haemmerlé.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-70595-6

A Concise Introduction to Data Compression

David Salomon.http://www.springerlink.com/openurl.asp?genre=book&isbn=978-1-84800-071-1

A Concise Introduction to Languages and Machines

Alan P. Parkes.

http://springerlink.com/openurl.asp?genre=book&isbn=978-1-84800-120-6

A Concise Introduction to Software Engineering

Pankaj Jalote

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-23921-5978-1-84800-301-9

CONCUR 2008 - Concurrency Theory

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Franck Breugel, Marsha Chechik.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85360-2

Concurrency, Graphs and Models

Pierpaolo Degano, Rocco Nicola, José Meseguer.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-68676-7

Constraint Handling Rules

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Tom Schrijvers, Thom Frühwirth.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-92242-1

Constructing Ambient Intelligence

Max Mühlhäuser, Alois Ferscha, Erwin Aitenbichler.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85378-7

Contributions to Simulation Speed-Up

Eugen Lamers.http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-8348-0524-9

Page 19: CIÊNCIA DA COMPUTAÇÃO Livro Autor Link do Livro200.19.105.194/udesc/arquivos/id_submenu/53/springer_computacao.pdf · Livro Autor Link do Livro Abstract State Machines, B and Z

Cooperative Design, Visualization, and Engineering

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Yuhua Luo.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-88010-3

Cooperative Information Agents XII

Jaime G. Carbonell, J\"org Siekmann, Matthias Klusch, Michal P chou ek, Axel Polleres.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85833-1

Coordination Models and Languages

Doug Lea, Gianluigi Zavattaro.http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-68264-6

Coordination, Organizations, Institutions, and Norms in Agent Systems III

Jaime Simão Sichman, Julian Padget, Sascha Ossowski, Pablo Noriega.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-79002-0

Countering Counterfeit Trade

Thorsten Staake, Elgar Fleisch. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-76946-0

Crowd Simulation Daniel Thalmann, Soraia Raupp Musse.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-1-84628-824-1

Cryptanalytic Attacks on RSA

Song Y. Yan. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-48741-0

Cryptographic Hardware and Embedded Systems - CHES 2008

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Elisabeth Oswald, Pankaj Rohatgi.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85052-6

Cryptology and Network Security

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Matthew K. Franklin, Lucas Chi Kwong Hui, Duncan S. Wong.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-89640-1

Data Analysis, Machine Learning and Applications

Christine Preisach, Hanhttp://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-78239-1

Data and Applications Security XXII

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Vijay Atluri.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-70566-6

Data Management in Grid and Peer-to-Peer Systems

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Abdelkader Hameurlain.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85175-2

Page 20: CIÊNCIA DA COMPUTAÇÃO Livro Autor Link do Livro200.19.105.194/udesc/arquivos/id_submenu/53/springer_computacao.pdf · Livro Autor Link do Livro Abstract State Machines, B and Z

Data Warehousing and Knowledge Discovery

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Il-Yeol Song, Johann Eder, Tho Manh Nguyen.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85835-5

Database and Expert Systems Applications

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Sourav S. Bhowmick, Josef Küng, Roland Wagner.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85653-5

Database Systems for Advanced Applications

Jayant R. Haritsa, Ramamohanarao Kotagiri, Vikram Pudi. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-78567-5

Data Integration in the Life Sciences

Amos Bairoch, Sarah Cohen-Boulakia, Christine Froidevaux.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-69827-2

Decision Procedures Daniel Kroening, Ofer Strichman. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-74104-6

Declarative Agent Languages and Technologies V

Matteo Baldoni, Tran Cao Son, M. Birna Riemsdijk, Michael Winikoff. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-77563-8

Defence Industry Applications of Autonomous Agents and Multi-Agent Systems

Michal P chou ek, Simon G. Thompson, Holger Voos.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-7643-8570-5

Deontic Logic in Computer Science

Jaime G. Carbonell, J\"org Siekmann, Ron Meyden, Leendert Torre. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-70524-6

Dependability Metrics Irene Eusgeld, Felix C. Freiling, Ralf Reussner.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-68946-1

Design by Evolution G. Rozenberg, Th. Bäck, A.E. Eiben, J.N. Kok, H.P. Spaink, Philip F. Hingston, Luigi C. Barone, Zbigniew Michalewicz.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-74109-1

Design Computing and Cognition '08

John S. Gero, Ashok K. Goel. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-1-4020-8727-1

Detection of Intrusions and Malware, and Vulnerability Assessment

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Diego Zamboni.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-70541-3

The Developer's Guide to Debugging

Thorsten Grötker, Ulrich Holtmann, Holger Keding, Markus Wloka. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-1-4020-5539-3

Developing Ambient Intelligence

Antonio Maña, Carsten Rudolph. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-2-287-78543-6

Developments in Language Theory

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Masami Ito, Masafumi Toyama.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85779-2

Developments in Telecommunications

Gerhard Rufa.http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-74985-1

Page 21: CIÊNCIA DA COMPUTAÇÃO Livro Autor Link do Livro200.19.105.194/udesc/arquivos/id_submenu/53/springer_computacao.pdf · Livro Autor Link do Livro Abstract State Machines, B and Z

Diagrammatic Representation and Inference

Jaime G. Carbonell, Jörg Siekmann, Gem Stapleton, John Howse, John Lee. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-87729-5

Digital Convergence - Libraries of the Future

Rae Earnshaw, John Vince.http://www.springerlink.com/openurl.asp?genre=book&isbn=978-1-84628-902-6

Digital Human Modeling Jaime G. Carbonell, Jörg Siekmann, Yang Cai.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-89429-2

Digital Image Processing in Java

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-1-84628-379-6

Digital Libraries: Universal and Ubiquitous Access to Information

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, George Buchanan, Masood Masoodian, Sally Jo Cunningham.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-89532-9

Digital Mammography David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Elizabeth A. Krupinski.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-70537-6

Digital Watermarking David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Yun Q. Shi, Hyoung-Joong Kim, Stefan Katzenbeisser.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-92237-7

Digitally Archiving Cultural Objects

Katsushi Ikeuchi, Daisuke Miyazaki. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-75806-0

Discovery Science Jaime G. Carbonell, Jörg Siekmann, Jean-François Boulicaut, Michael R. Berthold, Tamás Horváth.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-88410-1

Discrete Geometry for Computer Imagery

David Coeurjolly, Isabelle Sivignon, Laure Tougne, Florent Dupont. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-79125-6

Dissemination of Information in Optical Networks

Subir Bandyopadhyay.http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-72874-0

Distributed and Parallel Systems

Péter Kacsuk, Róbert Lovas, Zsolt Németh.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-79447-1

Distributed Applications and Interoperable Systems

René Meier, Sotirios Terzis.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-68639-2

Distributed Computing David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Gadi Taubenfeld.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-87778-3

Distributed Computing and Networking

Shrisha Rao, Mainak Chatterjee, Prasad Jayanti, C. Siva Ram Murthy, Sanjoy Kumar Saha.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-77443-3

Distributed Computing in Sensor Systems

Sotiris E. Nikoletseas, Bogdan S. Chlebus, David B. Johnson, Bhaskar Kr http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-69169-3

Page 22: CIÊNCIA DA COMPUTAÇÃO Livro Autor Link do Livro200.19.105.194/udesc/arquivos/id_submenu/53/springer_computacao.pdf · Livro Autor Link do Livro Abstract State Machines, B and Z

Distributed Embedded Systems: Design, Middleware and Resources

Bernd Kleinjohann, Wayne Wolf, Lisa Kleinjohann, Bernd Kleinjohann, Wayne Wolf, Lisa Kleinjohann.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-09660-5

Distributed Search by Constrained Agents

Amnon Meisels.http://www.springerlink.com/openurl.asp?genre=book&isbn=978-1-84800-039-1

DNA Computing Max H. Garzon, Hao Yan. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-77961-2DNA Computing Models Karl-Heinz Zimmermann, Israel

Martínez-Pérez, Zoya Ignatova.http://www.springerlink.com/openurl.asp?genre=book&eisbn=978-0-387-73637-2

Do-All Computing in Distributed Systems

Chryssis Georgiou, Alexander A. Shvartsman.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-30918-7

Dynamic Brain - from Neural Spikes to Behaviors

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Maria Marinaro, Silvia Scarpetta, Yoko Yamaguchi.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-88852-9

E-Business and Telecommunication Networks

Joaquim Filipe, Mohammad S. Obaidat. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-70759-2

E-Commerce and Web Technologies

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Giuseppe Psaila, Roland Wagner.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85716-7

ECOOP 2008 - Object-Oriented Programming

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Jan Vitek.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-70591-8

E-Government Ict Professionalism and Competences Service Science

Antonino Mazzeo, Roberto Bellini, Gianmario Motta. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-09711-4

Electronic Government David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Maria A. Wimmer, Hans J. Scholl, Enrico Ferro.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85203-2

Elementary Logic Robert Lover. http://springerlink.com/openurl.asp?genre=book&isbn=978-1-84800-081-0Embedded Computer Systems: Architectures, Modeling, and Simulation

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Mladen Berekovi , Nikitas Dimopoulos, Stephan Wong.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-70549-9

Embedded Robotics Thomas Bräunl. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-70533-8

Page 23: CIÊNCIA DA COMPUTAÇÃO Livro Autor Link do Livro200.19.105.194/udesc/arquivos/id_submenu/53/springer_computacao.pdf · Livro Autor Link do Livro Abstract State Machines, B and Z

Emerging Technologies and Information Systems for the Knowledge Society

Jaime G. Carbonell, J\"org Siekmann, Miltiadis D. Lytras, John M. Carroll, Ernesto Damiani, Robert D. Tennyson. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-87780-6

Emerging Web Services Technology, Volume II

Monique Calisti, Marius Walliser, Stefan Brantschen, Marc Herbstritt, Thomas Gschwind, Cesare Pautasso.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-7643-8863-8

Encyclopedia of Geographical Information Systems, Science and Services

Shashi Shekhar, Hui Xiong.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-30858-6

Encyclopedia of Multimedia

Borko Furht. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-74724-8

Encyclopedia of Algorithms

Ming-Yang Kao. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-30770-1

End-to-End Quality of Service Over Heterogeneous Networks

Torsten Braun, Thomas Staub, Michel Diaz, José Enríquez-Gabeiras. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-79119-5

Engineering Environment-Mediated Multi-Agent Systems

Jaime G. Carbonell, J\"org Siekmann, Danny Weyns, Sven A. Brueckner, Yves Demazeau.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85028-1

Engineering Interactive Systems

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Peter Forbrig, Fabio Paternò.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85991-8

Engineering Interactive Systems

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Jan Gulliksen, Morton Borup Harning, Philippe Palanque, Gerrit C. Veer, Janet Wesson.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-92697-9

Engineering Societies in the Agents World VIII

Jaime G. Carbonell, Jörg Siekmann, Alexander Artikis, Gregory M. P. OHare, Kostas Stathis, George Vouros.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-87653-3

Enterprise Applications and Services in the Finance Industry

Daniel J. Veit, Dennis Kundisch, Tim Weitzel, Christof http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-78549-1

Enterprise Information Systems

Yannis Manolopoulos, Joaquim Filipe, Panos Constantopoulos, José Cordeiro.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-77580-5

Euro-Par 2007 Workshops: Parallel Processing

Luc Bougé, Martti Forsell, Jesper Larsson Träff, Achim Streit, Wolfgang Ziegler, Michael Alexander, Stephen Childs.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-78472-2

Euro-Par 2008 - Parallel Processing

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Emilio Luque, Tomàs Margalef, Domingo Benítez.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85450-0

Page 24: CIÊNCIA DA COMPUTAÇÃO Livro Autor Link do Livro200.19.105.194/udesc/arquivos/id_submenu/53/springer_computacao.pdf · Livro Autor Link do Livro Abstract State Machines, B and Z

Evolutionary Computation in Combinatorial Optimization

Jano Hemert, Carlos Cotta.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-78603-0

Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics

Elena Marchiori, Jason H. Moore.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-78756-3

Evolvable Systems: From Biology to Hardware

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Gregory S. Hornby, Luká Sekanina, Pauline C. Haddow.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85856-0

Experimental Algorithms Catherine C. McGeoch. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-68548-7

Fast Software Encryption David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Kaisa Nyberg.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-71038-7

Fifth Ifip International Conference On Theoretical Computer Science ¿ Tcs 2008

Giorgio Ausiello, Juhani Karhumäki, Giancarlo Mauri, Luke Ong.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-09679-7

Financial Cryptography and Data Security

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Gene Tsudik.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85229-2

FM 2008: Formal Methods

Jorge Cuellar, Tom Maibaum, Kaisa Sere.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-68235-6

Focused Access to XML Documents

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Norbert Fuhr, Jaap Kamps, Mounia Lalmas, Andrew Trotman.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85901-7

Formal Concept Analysis Raoul Medina, Sergei Obiedkov. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-78136-3

Formal Methods and Software Engineering

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Shaoying Liu, Tom Maibaum, Keijiro Araki.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-88193-3

Formal Methods and Testing

Robert M. Hierons, Jonathan P. Bowen, Mark Harman.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-78916-1

Page 25: CIÊNCIA DA COMPUTAÇÃO Livro Autor Link do Livro200.19.105.194/udesc/arquivos/id_submenu/53/springer_computacao.pdf · Livro Autor Link do Livro Abstract State Machines, B and Z

Formal Methods for Components and Objects

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-92187-5

Formal Methods for Computational Systems Biology

Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-68892-1

Formal Methods for Industrial Critical Systems

Stefan Leue, Pedro Merino.http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-79706-7

Formal Methods for Open Object-Based Distributed Systems

Gilles Barthe, Frank S. Boer.http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-68862-4

Formal Methods in Systems Biology

Jasmin Fisher. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-68410-7

Formal Modeling and Analysis of Timed Systems

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Franck Cassez, Claude Jard.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85777-8

Formal Techniques for Networked and Distributed Systems - FORTE 2008

Kenji Suzuki, Teruo Higashino, Keiichi Yasumoto, Khaled El-Fakih. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-68854-9

Foundations of 3D Graphics Programming

Chunyang Chen, Jim X. Chen.http://springerlink.com/openurl.asp?genre=book&isbn=978-1-84800-283-8

Foundations of Information and Knowledge Systems

Sven Hartmann, Gabriele Kern-Isberner. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-77683-3

Foundations of Intelligent Systems

Aijun An, Stan Matwin, Zbigniew W. Ra , Dominik l zak.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-68122-9

Foundations of Software Science and Computational Structures

Roberto Amadio

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-78497-5

From Animals to Animats 10

Minoru Asada, John C. T. Hallam, Jean-Arcady Meyer, Jun Tani. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-69133-4

From Grids to Service and Pervasive Computing

Thierry Priol, Marco Vanneschi.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-09454-0

Frontiers in Algorithmics Franco P. Preparata, Xiaodong Wu, Jianping Yin.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-69310-9

Fun and Games David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Panos Markopoulos, Boris Ruyter, Wijnand IJsselsteijn, Duncan Rowland.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-88321-0

Functional and Logic Programming

Jacques Garrigue, Manuel V. Hermenegildo.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-78968-0

Fundamental Approaches to Software Engineering

José Fiadeiro, Paola Inverardi

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-78742-6

Page 26: CIÊNCIA DA COMPUTAÇÃO Livro Autor Link do Livro200.19.105.194/udesc/arquivos/id_submenu/53/springer_computacao.pdf · Livro Autor Link do Livro Abstract State Machines, B and Z

The Future of Identity in the Information Society

Simone Fischer Hübner, Penny Duquenoy, Albin Zuccato et al. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-79025-1

Generative and Transformational Techniques in Software Engineering II

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Ralf Lämmel, Joost Visser, João Saraiva.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-88642-6

Genetic Programming Michael ONeill, Leonardo Vanneschi, Steven Gustafson, Anna Isabel Esparcia Alcázar, Ivanoe Falco, Antonio

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-78670-2

Genetic Programming Theory and Practice V

Rick Riolo, Terence Soule, Bill Worzel.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-76307-1

Geographic Information Science

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Thomas J. Cova, Harvey J. Miller, Kate Beard, Andrew U. Frank, Michael F. Goodchild.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-87472-0

Geometric Algebra for Computer Graphics

John Vince.http://www.springerlink.com/openurl.asp?genre=book&isbn=978-1-84628-996-5

GeoSensor Networks David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Silvia Nittel, Alexandros Labrinidis, Anthony Stefanidis.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-79995-5

Global E-Security Hamid Jahankhani, Kenneth Revett, Dominic Palmer-Brown.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-69402-1

Grammatical Inference: Algorithms and Applications

Jaime G. Carbonell, J\"org Siekmann, Alexander Clark, François Coste, Laurent Miclet.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-88008-0

Graph Drawing Seok-Hee Hong, Takao Nishizeki, Wu Quan.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-77536-2

Graph Transformations David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Hartmut Ehrig, Reiko Heckel, Grzegorz Rozenberg, Gabriele Taentzer.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-87404-1

Graph-based Knowledge Representation

Michel Chein, Marie-Laure Mugnier ; edited by Lakhmi Jain, Xindong Wu. http://springerlink.com/openurl.asp?genre=book&isbn=978-1-84800-285-2

Page 27: CIÊNCIA DA COMPUTAÇÃO Livro Autor Link do Livro200.19.105.194/udesc/arquivos/id_submenu/53/springer_computacao.pdf · Livro Autor Link do Livro Abstract State Machines, B and Z

Graphics Recognition. Recent Advances and New Opportunities

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Wenyin Liu, Josep Lladós, Jean-Marc Ogier.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-88184-1

Graph-Theoretic Concepts in Computer Science

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Hajo Broersma, Thomas Erlebach, Tom Friedetzky, Daniel Paulusma.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-92247-6

Grid Computing Sergei Gorlatch, Paraskevi Fragopoulou, Thierry Priol.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-09456-4

Grid Economics and Business Models

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Jörn Altmann, Dirk Neumann, Thomas Fahringer.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85484-5

Grid Middleware and Services

Domenico Talia, Ramin Yahyapour, Wolfgang Ziegler.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-78445-8

Groupware: Design, Implementation, and Use

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Robert O. Briggs, Pedro Antunes, Gert-Jan Vreede, Aaron S. Read.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-92830-0

Guide to Advanced Empirical Software Engineering

Forrest Shull, Janice Singer, Dag I. K. Sjøberg. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-1-84800-043-8

Handbook of Biometrics Anil K. Jain, Patrick Flynn, Arun A. Ross.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-71040-2

Handbook of Database Security

Michael Gertz, Sushil Jajodia. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-48532-4

Haptic and Audio Interaction Design

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Antti Pirhonen, Stephen Brewster.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-87882-7

Haptics: Perception, Devices and Scenarios

Manuel Ferre.http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-69056-6

Hardware and Software: Verification and Testing

Karen Yorav.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-77964-3

Page 28: CIÊNCIA DA COMPUTAÇÃO Livro Autor Link do Livro200.19.105.194/udesc/arquivos/id_submenu/53/springer_computacao.pdf · Livro Autor Link do Livro Abstract State Machines, B and Z

HCI and Usability for Education and Work

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Andreas Holzinger.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-89349-3

Heterogeneous Objects Modelling and Applications

Alexander Pasko, Valery Adzhiev, Peter Comninos. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-68441-1

High Confidence Software Reuse in Large Systems

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Hong Mei.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-68062-8

High Performance Computing - HiPC 2008

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Ponnuswamy Sadayappan, Manish Parashar, Ramamurthy Badrinath, Viktor K. Prasanna.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-89893-1

High Performance Computing for Computational Science - VECPAR 2008

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, José M. Laginha M. Palma, Patrick R. Amestoy, Michel Daydé, Marta Mattoso, João Correia Lopes.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-92858-4

High Performance Embedded Architectures and Compilers

Per Stenström, Michel Dubois, Manolis Katevenis, Rajiv Gupta, Theo Ungerer.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-77559-1

High-Performance Computing

Jesús Labarta, Kazuki Joe, Toshinori Sato.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-77703-8

History of Computing and Education 3 (Hce3)

John Impagliazzo.http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-09656-8

Home Networking Khaldoun Agha, Xavier Carcelle, Guy Pujolle.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-77215-8

Human Ear Recognition by Computer http://www.springerlink.com/openurl.asp?genre=book&isbn=978-1-84800-128-2

Human Motion Bodo Rosenhahn, Reinhard Klette, Dimitris Metaxas.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-1-4020-6692-4

Human-Computer Interaction Symposium

Peter Forbrig, Fabio Paternò, Annelise Mark Pejtersen, Peter Forbrig, Fabio Paternò, Annelise Mark Pejtersen.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-09677-3

Page 29: CIÊNCIA DA COMPUTAÇÃO Livro Autor Link do Livro200.19.105.194/udesc/arquivos/id_submenu/53/springer_computacao.pdf · Livro Autor Link do Livro Abstract State Machines, B and Z

Hybrid Learning and Education

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Joseph Fong, Reggie Kwan, Fu Lee Wang.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85169-1

Hybrid Metaheuristics David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, María J. Blesa, Christian Blum, Carlos Cotta, Antonio J. Fernández, José E. Gallardo, Andrea Roli, Michael Sampels.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-88438-5

Hybrid Systems: Computation and Control

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Magnus Egerstedt, Bud Mishra.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-78928-4

Hypercomputation Apostolos Syropoulos http://springerlink.com/openurl.asp?genre=book&isbn=978-0-387-30886-9Image Analysis and Recognition

Aurélio Campilho, Mohamed Kamel. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-69811-1

Image and Signal Processing

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Abderrahim Elmoataz, Olivier Lezoray, Fathallah Nouboud, Dris Mammass.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-69904-0

Implementation and Application of Functional Languages

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Olaf Chitil, Zoltán Horváth, Viktória Zsók.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85372-5

Implementation and Applications of Automata

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Oscar H. Ibarra, Bala Ravikumar.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-70843-8

Implementing Semantic Web Services

Dieter Fensel, Mick Kerrigan, Michal Zaremba. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-77019-0

Improvements in System Safety

Felix Redmill, Tom Anderson. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-1-84800-099-5

Page 30: CIÊNCIA DA COMPUTAÇÃO Livro Autor Link do Livro200.19.105.194/udesc/arquivos/id_submenu/53/springer_computacao.pdf · Livro Autor Link do Livro Abstract State Machines, B and Z

Inductive Logic Programming

Hendrik Blockeel, Jan Ramon, Jude Shavlik, Prasad Tadepalli.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-78468-5

Inductive Logic Programming

Jaime G. Carbonell, J\"org Siekmann, Filip elezný, Nada Lavra . http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85927-7

Informatics Education - Supporting Computational Thinking

Rolan

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-69923-1

Information Access through Search Engines and Digital Libraries

Maristella Agosti.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-75133-5

Information and Communications Security

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Liqun Chen, Mark D. Ryan, Guilin Wang.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-88624-2

Information Hiding David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Kaushal Solanki, Kenneth Sullivan, Upamanyu Madhow.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-88960-1

Information Networking. Towards Ubiquitous Networking and Services

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Teresa Vazão, Mário M. Freire, Ilyoung Chong.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-89523-7

Information Retrieval Technology

Hang Li, Ting Liu, Wei-Ying Ma, Tetsuya Sakai, Kam-Fai Wong, Guodong Zhou.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-68633-0

Information Security David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Tzong-Chen Wu, Chin-Laung Lei, Vincent Rijmen, Der-Tsai Lee.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85884-3

Information Security and Cryptology

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Dingyi Pei, Moti Yung, Dongdai Lin, Chuankun Wu.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-79498-1

Information Security and Privacy

Yi Mu, Willy Susilo, Jennifer Seberry. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-69971-2

Information Security Practice and Experience

Liqun Chen, Yi Mu, Willy Susilo.http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-79103-4

Page 31: CIÊNCIA DA COMPUTAÇÃO Livro Autor Link do Livro200.19.105.194/udesc/arquivos/id_submenu/53/springer_computacao.pdf · Livro Autor Link do Livro Abstract State Machines, B and Z

Information Security Theory and Practices. Smart Devices, Convergence and Next Generation Networks

Jose A. Onieva, Damien Sauveron, Serge Chaumette, Dieter Gollmann, Konstantinos Markantonakis.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-79965-8

Information Systems and e-Business Technologies

Roland Kaschek, Christian Kop, Claudia St http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-78941-3

Information Systems Security

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, R. Sekar, Arun K. Pujari.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-89861-0

Information Technology in the Service Economy: Challenges and Possibilities for the 21<Superscript>st</Superscript> Century

Michael Barrett, Eliza

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-09767-1

Information Theoretic Security

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Reihaneh Safavi-Naini.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85092-2

Information Visualization David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Andreas Kerren, John T. Stasko, Jean-Daniel Fekete, Chris North.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-70955-8

Innovation in Manufacturing Networks

Américo Azevedo.http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-09491-5

Innovations and Advanced Techniques in Systems, Computing Sciences and Software Engineering

Khaled Elleithy.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-1-4020-8734-9

Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Barbara Paech, Craig Martell.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-89777-4

Page 32: CIÊNCIA DA COMPUTAÇÃO Livro Autor Link do Livro200.19.105.194/udesc/arquivos/id_submenu/53/springer_computacao.pdf · Livro Autor Link do Livro Abstract State Machines, B and Z

Innovative Techniques in Instruction Technology, E-learning, E-assessment, and Education

Magued Iskander.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-1-4020-8738-7

Insider Attack and Cyber Security

Salvatore J. Stolfo, Steven M. Bellovin, Angelos D. Keromytis, Shlomo Hershkop, Sean W. Smith, Sara Sinclair.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-77321-6

Integer Programming and Combinatorial Optimization

Andrea Lodi, Alessandro Panconesi, Giovanni Rinaldi. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-68886-0

Integrated Graphic and Computer Modelling

Adrian Thomas.http://springerlink.com/openurl.asp?genre=book&isbn=978-1-84800-178-7

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems

Laurent Perron, Michael A. Trick.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-68154-0

Intelligence and Security Informatics

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Daniel Ortiz-Arroyo, Henrik Legind Larsen, Daniel Dajun Zeng, David Hicks, Gerhard Wagner.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-89899-3

Intelligence and Security Informatics

Christopher C. Yang, Hsinchun Chen, Michael Chau, Kuiyu Chang, http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-69136-5

Intelligent Agents and Multi-Agent Systems

Jaime G. Carbonell, Jörg Siekmann, The Duy Bui, Tuong Vinh Ho, Quang Thuy Ha.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-89673-9

Intelligent Computer Mathematics

Jaime G. Carbonell, J\"org Siekmann, Serge Autexier, John Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, Freek Wiedijk.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85109-7

Intelligent Data Engineering and Automated Learning - IDEAL 2008

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Colin Fyfe, Dongsup Kim, Soo-Young Lee, Hujun Yin.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-88905-2

Intelligent Engineering Systems and Computational Cybernetics

J. A. Tenreiro Machado, Béla Pátkai, Imre J. Rudas.

http://springerlink.com/openurl.asp?genre=book&isbn=978-1-4020-8677-9

Intelligent Robotics and Applications

Jaime G. Carbonell, Jörg Siekmann, Caihua Xiong, Honghai Liu, Yongan Huang, Youlun Xiong.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-88516-0

Intelligent Robotics and Applications

Jaime G. Carbonell, Jörg Siekmann, Caihua Xiong, Honghai Liu, Yongan Huang, Youlun Xiong.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-88512-2

Intelligent Tutoring Systems

Beverley P. Woolf, Esma Aïmeur, Roger Nkambou, Susanne Lajoie. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-69130-3

Intelligent Virtual Agents Jaime G. Carbonell, J\"org Siekmann, Helmut Prendinger, James Lester, Mitsuru Ishizuka.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85482-1

Page 33: CIÊNCIA DA COMPUTAÇÃO Livro Autor Link do Livro200.19.105.194/udesc/arquivos/id_submenu/53/springer_computacao.pdf · Livro Autor Link do Livro Abstract State Machines, B and Z

Interactive Curve Modeling

M. Sarfraz. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-1-84628-870-8

Interactive Media: The Semiotics of Embodied Interaction

Shaleph O'Neill.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-1-84800-035-3

Interactive Storytelling David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Ulrike Spierling, Nicolas Szilas.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-89424-7

Interactive Systems. Design, Specification, and Verification

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, T. C. Nicholas Graham, Philippe Palanque.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-70568-0

Internet and Network Economics

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Christos Papadimitriou, Shuzhong Zhang.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-92184-4

The Internet of Things Christian Floerkemeier, Marc Langheinrich, Elgar Fleisch, Friedemann Mattern, Sanjay E. Sarma.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-78730-3

Introduction to Computer Graphics

Frank Klawonn. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-1-84628-847-0

Introduction to Geometric Computing

Sherif Ghali.http://www.springerlink.com/openurl.asp?genre=book&isbn=978-1-84800-114-5

An Introduction to Kolmogorov Complexity and Its Applications, 3

Ming Li, Paul Vitányi ; edited by David Gries, Fred B. Schneider. http://springerlink.com/openurl.asp?genre=book&isbn=978-0-387-33998-6

Introduction to Video Search Engines

David C. Gibbon, Zhu Liu.http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-79336-6

Intrusion Detection Systems

Luigi V. Mancini, Roberto Pietro. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-77265-3

IP Networking over Next-Generation Satellite Systems

Linghang Fan, Haitham Cruickshank, Zhili Sun. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-75427-7

IP Operations and Management

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Nail Akar, Michal Pioro, Charalabos Skianis.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-87356-3

Issues in Multi-Agent Systems

Antonio Moreno, Juan Pavón. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-7643-8542-2

The IT Measurement Compendium

Manfred Bundschuh, Carol Dekkers.http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-68187-8

ITIL® Version 3 at a Glance

John O. Long. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-77392-6

Page 34: CIÊNCIA DA COMPUTAÇÃO Livro Autor Link do Livro200.19.105.194/udesc/arquivos/id_submenu/53/springer_computacao.pdf · Livro Autor Link do Livro Abstract State Machines, B and Z

Job Scheduling Strategies for Parallel Processing

Eitan Frachtenberg, Uwe Schwiegelshohn. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-78698-6

Journal on Data Semantics X

Stefano Spaccapietra. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-77687-1

Journal on Data Semantics XI

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Stefano Spaccapietra, Jeff Z. Pan, Philippe Thiran, Terry Halpin, Steffen Staab, Vojtech Svatek, Pavel Shvaiko, John Roddick.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-92147-9

KI 2008: Advances in Artificial Intelligence

Jaime G. Carbonell, Jörg Siekmann, Andreas R. Dengel, Karsten Berns, Thomas M. Breuel, Frank Bomarius, Thomas R. Roth-Berghofer.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85844-7

Knowledge Cartography Lakhmi Jain, Xindong Wu, Alexandra Okada, Simon Buckingham Shum, Tony Sherborne.

http://springerlink.com/openurl.asp?genre=book&isbn=978-1-84800-148-0

Knowledge Engineering: Practice and Patterns

Jaime G. Carbonell, Jörg Siekmann, Aldo Gangemi, Jérôme Euzenat. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-87695-3

Knowledge Management for Health Care Procedures

David Riaño.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-78623-8

Knowledge Management In Action

Mark Ackerman, Rose Dieng-Kuntz, Carla Simone, Volker Wulf. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-09658-2

Knowledge Processing with Interval and Soft Computing

Vladik Kreinovich, Andre Korvin, R. Baker Kearfott, Chenyi Hu. http://springerlink.com/openurl.asp?genre=book&isbn=978-1-84800-325-5

Knowledge-Based Intelligent Information and Engineering Systems

Jaime G. Carbonell, Jörg Siekmann, Ignac Lovrek, Robert J. Howlett, Lakhmi C. Jain. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85566-8

Knowledge-Based Intelligent Information and Engineering Systems

Jaime G. Carbonell, Jörg Siekmann, Ignac Lovrek, Robert J. Howlett, Lakhmi C. Jain. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85564-4

Knowledge-Based Intelligent Information and Engineering Systems

Jaime G. Carbonell, Jörg Siekmann, Ignac Lovrek, Robert J. Howlett, Lakhmi C. Jain. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85562-0

Language and Automata Theory and Applications

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Carlos Martín-Vide, Friedrich Otto, Henning Fernau.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-88281-7

Languages and Compilers for Parallel Computing

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, José Nelson Amaral.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-89739-2

Page 35: CIÊNCIA DA COMPUTAÇÃO Livro Autor Link do Livro200.19.105.194/udesc/arquivos/id_submenu/53/springer_computacao.pdf · Livro Autor Link do Livro Abstract State Machines, B and Z

Languages and Compilers for Parallel Computing

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Vikram Adve, María Jesús Garzarán, Paul Petersen.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85260-5

Languages, Methodologies and Development Tools for Multi-Agent Systems

Jaime G. Carbonell, J\"org Siekmann, Mehdi Dastani, Amal Fallah Seghrouchni, João Leite, Paolo Torroni.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85057-1

Large-Scale Knowledge Resources. Construction and Application

Takenobu Tokunaga, Antonio Ortega.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-78158-5

Large-Scale Scientific Computing

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Ivan Lirkov, Svetozar Margenov, Jerzy Wa niewski.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-78825-6

LATIN 2008: Theoretical Informatics

Eduardo Sany Laber, Claudson Bornstein, Loana Tito Nogueira, Luerbio Faria.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-78772-3

Lean Business Systems and Beyond

Tomasz Koch.http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-77248-6

Learning and Intelligent Optimization

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Vittorio Maniezzo, Roberto Battiti, Jean-Paul Watson.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-92694-8

Learning Classifier Systems

Jaime G. Carbonell, Jörg Siekmann, Jaume Bacardit, Ester Bernadó-Mansilla, Martin V. Butz, Tim Kovacs, Xavier Llorà, Keiki Takadama.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-88137-7

Learning to Live in the Knowledge Society

Michael Kendall, Brian Samways.http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-09728-2

Literature-based Discovery

J. Mackenzie Owen, Peter Bruza, Marc Weeber.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-68685-9

Logic and Theory of Algorithms

Arnold Beckmann, Costas Dimitracopoulos, Benedikt Löwe. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-69405-2

Logic for Computer Scientists

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-8176-4762-9

Logic for Programming, Artificial Intelligence, and Reasoning

Jaime G. Carbonell, Jörg Siekmann, Iliano Cervesato, Helmut Veith, Andrei Voronkov.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-89438-4

Page 36: CIÊNCIA DA COMPUTAÇÃO Livro Autor Link do Livro200.19.105.194/udesc/arquivos/id_submenu/53/springer_computacao.pdf · Livro Autor Link do Livro Abstract State Machines, B and Z

Logic Programming David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Maria Garcia de la Banda, Enrico Pontelli.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-89981-5

Logic, Language, Information and Computation

Wilfrid Hodges, Ruy Queiroz.http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-69936-1

Logical and Relational Learning

Dov M. Gabbay, Jörg Siekmann, A. Bundy, J. G. Carbonell, M. Pinkal, H. Uszkoreit, M. Veloso, W. Wahlster, M. J. Wooldridge, Luc De Raedt.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-20040-6

Logic-Based Program Synthesis and Transformation

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Andy King.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-78768-6

Logics in Artificial Intelligence

Jaime G. Carbonell, Jörg Siekmann, Steffen Hölldobler, Carsten Lutz, Heinrich Wansing.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-87802-5

Logics of Specification Languages

Dines Bjørner, Martin C. Henson.http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-74106-0

Machine Learning Kaizhu Huang, Haiqin Yang, Irwin King, Michael Lyu.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-79451-6

Machine Learning and Knowledge Discovery in Databases

Jaime G. Carbonell, Jörg Siekmann, Walter Daelemans, Bart Goethals, Katharina Morik.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-87478-2

Machine Learning and Knowledge Discovery in Databases

Jaime G. Carbonell, Jörg Siekmann, Walter Daelemans, Bart Goethals, Katharina Morik.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-87480-5

Machine Learning for Audio, Image and Video Analysis

Francesco Camastra, Alessandro Vinciarelli. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-1-84800-006-3

Machine Learning Techniques for Multimedia

Yihong Gong, Wei Xu.http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-69938-7

Machine Learning for Multimodal Interaction

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Andrei Popescu-Belis, Rainer Stiefelhagen.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85852-2

Machine Learning for Multimodal Interaction

Andrei Popescu-Belis, Steve Renals, Hervé Bourlard. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-78154-7

Machine Learning Techniques for Multimedia

Matthieu Cord, Pádraig Cunningham.http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-75170-0

Making Globally Distributed Software Development a Success Story

Qing Wang, Dietmar Pfahl, David M. Raffo. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-79587-2

Making Grids Work Marco Danelutto, Paraskevi Fragopoulou, Vladimir Getov.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-78447-2

Page 37: CIÊNCIA DA COMPUTAÇÃO Livro Autor Link do Livro200.19.105.194/udesc/arquivos/id_submenu/53/springer_computacao.pdf · Livro Autor Link do Livro Abstract State Machines, B and Z

Management of Converged Multimedia Networks and Services

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, George Pavlou, Toufik Ahmed, Tasos Dagiuklas.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-87358-7

Managing Large-Scale Service Deployment

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Filip Turck, Wolfgang Kellerer, George Kormentzas.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85999-4

Markov Models for Pattern Recognition

Gernot A. Fink. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-71766-9

Massively Multi-Agent Technology

Jaime G. Carbonell, J\"org Siekmann, Nadeem Jamali, Paul Scerri, Toshiharu Sugawara.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85448-7

Mathematical Foundations of Computer Science 2008

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Edward Ochma ski, Jerzy Tyszkiewicz.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85237-7

Mathematical Linguistics András Kornai. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-1-84628-985-9

Mathematical Methods in Computer Science

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Jacques Calmet, Willi Geiselmann, Jörn Müller-Quade.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-89993-8

Mathematical Tools for Data Mining

Lakhmi C. Jain, Xindong Wu. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-1-84800-200-5

Mathematics of Program Construction

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Philippe Audebaud, Christine Paulin-Mohring.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-70593-2

Maturing Usability Effie Lai-Chong Law, Ebba Thora Hvannberg, Gilbert Cockton. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-1-84628-940-8

Page 38: CIÊNCIA DA COMPUTAÇÃO Livro Autor Link do Livro200.19.105.194/udesc/arquivos/id_submenu/53/springer_computacao.pdf · Livro Autor Link do Livro Abstract State Machines, B and Z

Medical Image Computing and Computer-Assisted Intervention - MICCAI 2008

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Dimitris Metaxas, Leon Axel, Gabor Fichtinger, Gábor Székely.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85989-5

Medical Image Computing and Computer-Assisted Intervention - MICCAI 2008

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Dimitris Metaxas, Leon Axel, Gabor Fichtinger, Gábor Székely.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85987-1

Medical Imaging and Augmented Reality

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Takeyoshi Dohi, Ichiro Sakuma, Hongen Liao.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-79981-8

Medical Imaging and Informatics

Xiaohong Gao, Henning Müller, Martin J. Loomes, Richard Comley, Shuqian Luo.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-79489-9

Methods and Tools for Collaborative Networked Organizations

Luis M. Camarinha-Matos, Hamideh Afsarmanesh, Martin Ollus. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-79423-5

MICAI 2008: Advances in Artificial Intelligence

Jaime G. Carbonell, Jörg Siekmann, Alexander Gelbukh, Eduardo F. Morales.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-88635-8

Micro-Assembly Technologies and Applications

Svetan Ratchev, Sandra Koelemeijer.http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-77402-2

Microsoft Dynamics NAV Paul M. Diffenderfer, Samir El-Assal. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-8348-0516-4

Middleware 2008 David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Valérie Issarny, Richard Schantz.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-89855-9

Mining Complex Data Zbigniew W. Ra , Shusaku Tsumoto, Djamel Zighed.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-68415-2

Mobility, Data Mining and Privacy

Fosca Giannotti, Dino Pedreschi. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-75176-2

Model Checking Software

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Klaus Havelund, Rupak Majumdar, Jens Palsberg.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85113-4

Page 39: CIÊNCIA DA COMPUTAÇÃO Livro Autor Link do Livro200.19.105.194/udesc/arquivos/id_submenu/53/springer_computacao.pdf · Livro Autor Link do Livro Abstract State Machines, B and Z

Model Driven Architecture - Foundations and Applications

Ina Schieferdecker, Alan Hartman.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-69095-5

Model Driven Engineering Languages and Systems

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Krzysztof Czarnecki, Ileana Ober, Jean-Michel Bruel, Axel Uhl, Markus Völter.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-87874-2

Model-Based Software and Data Integration

Ralf-Detlef Kutsche, Nikola Milanovic.http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-78998-7

Model-Driven Development of Reliable Automotive Services

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Manfred Broy, Ingolf H. Krüger, Michael Meisinger.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-70929-9

Model-Driven Testing Paul Baker, Zhen Ru Dai, Jens Grabowski, Øystein Haugen, Ina Schieferdecker, Clay Williams.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-72562-6

Modeling Communication with Robots and Virtual Humans

edited b

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-79036-5

Modeling Decisions for Artificial Intelligence

Jaime G. Carbonell, Jörg Siekmann, Vicenç Torra, Yasuo Narukawa. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-88268-8

Modeling Semantic Web Services

Jos Bruijn, Dieter Fensel, Mick Kerrigan, Uwe Keller, Holger Lausen, James Scicluna.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-68169-4

Modelling Autonomic Communications Environments

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Sven Meer, Mark Burgess, Spyros Denazis.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-87354-9

Modelling, Computation and Optimization in Information Systems and Management Sciences

Hoai An Le Thi, Pascal Bouvry, Tao Pham Dinh.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-87476-8

Models in Software Engineering

Holger Giese. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-69069-6

The Modern Algebra of Information Retrieval

Sándor Dominich.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-77658-1

A Modern Approach to Intelligent Animation

Yueting Zhuang, Yunhe Pan, Jun Xiao.http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-73759-9

A Modular Calculus for the Average Cost of Data Structuring

Michel Schellekens.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-73383-8

Page 40: CIÊNCIA DA COMPUTAÇÃO Livro Autor Link do Livro200.19.105.194/udesc/arquivos/id_submenu/53/springer_computacao.pdf · Livro Autor Link do Livro Abstract State Machines, B and Z

Motion in Games David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Arjan Egges, Arno Kamphuis, Mark Overmars.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-89219-9

Moving Wearable Technology into the Mainstream

Joseph L. Dvorak.http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-69139-8

Multiaccess, Reservations & Queues

Dee Denteneer, Johan S. H. Leeuwaarden ; edited by Frank Toolenaar.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-69316-1

Multiagent System Technologies

Jaime G. Carbonell, J\"org Siekmann, Ralph Bergmann, Gabriela Lindemann, Stefan Kirn, Michal P chou ek.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-87804-9

Multi-Agent-Based Simulation VIII

Jaime G. Carbonell, J\"org Siekmann, Luis Antunes, Mario Paolucci, Emma Norling.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-70915-2

Multimodal Processing and Interaction

Petros Maragos, Alexandros Potamianos, Patrick Gros http://springerlink.com/openurl.asp?genre=book&isbn=978-0-387-76315-6

Multimodal Technologies for Perception of Humans

Rainer Stiefelhagen, Rachel Bowers, Jonathan http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-68584-5

Multiobjective Optimization

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Sowi ski.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-88907-6

Multiobjective Problem Solving from Nature

Joshua Knowles, David Corne, Kalyanmoy Deb, Deva Raj Chair. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-72963-1

Natural Language and Information Systems

Epaminondas Kapetanios, Vijayahttp://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-69857-9

Negotiation, Auctions, and Market Engineering

Henner Gimpel, Nicholas R. Jennings, Gregory E. Kersten, Axel Ockenfels, Christof Weinhardt.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-77553-9

Network and Parallel Computing

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Jian Cao, Minglu Li, Min-You Wu, Jinjun Chen.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-88139-1

Network Performance Analysis

Alan Holt.http://www.springerlink.com/openurl.asp?genre=book&isbn=978-1-84628-822-7

Network-Based Information Systems

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Makoto Takizawa, Leonard Barolli, Tomoya Enokido.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85692-4

Page 41: CIÊNCIA DA COMPUTAÇÃO Livro Autor Link do Livro200.19.105.194/udesc/arquivos/id_submenu/53/springer_computacao.pdf · Livro Autor Link do Livro Abstract State Machines, B and Z

Networked RFID George Roussos. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-23921-5978-1-84800-152-7Networked RFID Systems and Lightweight Cryptography

Damith C. Ranasinghe, Peter H. Cole.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-71640-2

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. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-79548-3

Neural Information Processing

Masumi Ishikawa, Kenji Doya, Hiroyuki Miyamoto, Takeshi Yamakawa http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-69159-4

Neural Information Processing

Masumi Ishikawa, Kenji Doya, Hiroyuki Miyamoto, Takeshi Yamakawa. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-69154-9

New Computational Paradigms

S. Barry Cooper, Benedikt Löwe, Andrea Sorbi.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-36033-1

New Frontiers for Entertainment Computing

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 Applied Artificial Intelligence

edhttp://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-69045-0

New Frontiers in Artificial Intelligence

Ken Satoh, Akihiro Inokuchi, Katashi Nagao, Takahiro Kawamura. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-78196-7

New Stream Cipher Designs

Matthew Robshaw, Olivier Billet. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-68350-6

Next Generation Teletraffic and Wired/Wireless Advanced Networking

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Sergey Balandin, Dmitri Moltchanov, Yevgeni Koucheryavy.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85499-9

Nonlinear Dimensionality Reduction

John A. Lee, Michel Verleysen.http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-39350-6

Object-Oriented Technology. ECOOP 2007 Workshop Reader

Michael Cebulla.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-78194-3

Objects, Components, Models and Patterns

Will Aalst, John Mylopoulos, Norman M. Sadeh, Michael J. Shaw, Clemens Szyperski, Richard F. Paige, Bertrand Meyer.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-69823-4

On the Move to Meaningful Internet Systems: OTM 2008

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Robert Meersman, Zahir Tari.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-88872-7

On the Move to Meaningful Internet Systems: OTM 2008

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Robert Meersman, Zahir Tari.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-88870-3

Page 42: CIÊNCIA DA COMPUTAÇÃO Livro Autor Link do Livro200.19.105.194/udesc/arquivos/id_submenu/53/springer_computacao.pdf · Livro Autor Link do Livro Abstract State Machines, B and Z

On the Move to Meaningful Internet Systems: OTM 2008 Workshops

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Robert Meersman, Zahir Tari, Pilar Herrero.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-88874-1

Ontology Management Martin Hepp, Pieter Leenheer, Aldo Moor, York Sure.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-69899-1

Open IT-Based Innovation: Moving Towards Cooperative IT Transfer and Knowledge Diffusion

Gonzalo León, Ana M. Bernardos, José R. Casar, Karlheinz Kautz, Janice I. Gross.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-87502-6

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.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-87782-0

Open Source Development, Communities and Quality

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

OpenGL Graphics Through Applications

Robert Whitrow.http://www.springerlink.com/openurl.asp?genre=book&isbn=978-1-84800-022-3

OpenMP in a New Era of Parallelism

Rudolf Eigenmann, Bronis R. Supinski. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-79560-5

OpenMP Shared Memory Parallel Programming

Matthias S. Mueller, Barbara M. Chapman, Bronis R. Supinski, Allen D. Malony, Michael Voss.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-68554-8

Optical SuperComputing David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Shlomi Dolev, Tobias Haist, Mihai Oltean.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85672-6

Pairing-Based Cryptography - Pairing 2008

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Steven D. Galbraith, Kenneth G. Paterson.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85503-3

Parallel Problem Solving from Nature - PPSN X

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Günter Rudolph, Thomas Jansen, Simon Lucas, Carlo Poloni, Nicola Beume.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-87699-1

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 Computation

Martin Grohe, Rolf Niedermeier. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-79722-7

Parsing Techniques 2 Dick Grune, Ceriel J. H. Jacobs. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-20248-8

Page 43: CIÊNCIA DA COMPUTAÇÃO Livro Autor Link do Livro200.19.105.194/udesc/arquivos/id_submenu/53/springer_computacao.pdf · Livro Autor Link do Livro Abstract State Machines, B and Z

Parsing the Turing Test Robert Epstein, Gary Roberts, Grace Beber.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-1-4020-6708-2

Passive and Active Network Measurement

Mark Claypool, Steve Uhlig.http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-79231-4

Pattern Recognition Gerhard Rigoll. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-69320-8Pattern Recognition in Bioinformatics

Sorin Istrail, Pavel Pevzner, Michael S. Waterman, Madhu Chetty, Alioune Ngom, Shandar Ahmad.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-88434-7

Pedagogically Founded Courseware Generation for Web-Based Learning

Jaime G. Carbonell, Jörg Siekmann.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-88213-8

Perception in Multimodal Dialogue Systems

editedhttp://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-69368-0

Performance Evaluation: Metrics, Models and Benchmarks

Samuel Kounev, Ian Gorton, Kai Sachs.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-69813-5

Performance Modeling and Engineering

Zhen Liu, Cathy H. Xia.http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-79360-3

Persuasive Technology Harri Oinas-Kukkonen, Per Hasle, Marja Harjumaa, Katarina Segerståhl, Peter Øhrstrøm.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-68500-5

Pervasive Collaborative Networks

Luis M. Camarinha-Matos, Willy Picard. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-84836-5

Pervasive Computing Jadwiga Indulska, Donald J. Patterson, Tom Rodden, Max Ott. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-1-84882-600-7

Pervasive Computing Jadwiga Indulska, Donald J. Patterson, Tom Rodden, Max Ott. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-79575-9

Pillars of Computer Science

Arnon Avron, Nachum Dershowitz, Alexander Rabinovich. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-78126-4

Policies and Research in Identity Management

Elisabeth Leeuw, Simone Fischer-Hübner, Jimmy Tseng, John Borking. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-77995-9

Post-Quantum Cryptography

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Johannes Buchmann, Jintai Ding.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-88402-6

Practical Aspects of Declarative Languages

Paul Hudak, David S. Warren.http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-77441-9

Practical Aspects of Knowledge Management

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Randy Goebel, Jörg Siekmann, Wolfgang Wahlster, Takahira Yamaguchi.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-89446-9

Page 44: CIÊNCIA DA COMPUTAÇÃO Livro Autor Link do Livro200.19.105.194/udesc/arquivos/id_submenu/53/springer_computacao.pdf · Livro Autor Link do Livro Abstract State Machines, B and Z

A Practical Programming Model for the Multi-Core Era

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Barbara Chapman, Weiming Zheng, Guang R. Gao, Mitsuhisa Sato, Eduard Ayguadé, Dongsheng Wang.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-69302-4

Precision Landmark Location for Machine Vision and Photogrammetry

Brian S.R. Armstrong, José A. Gutierrez. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-1-84628-912-5

Preferences and Similarities

Giulio Maier, Jean Salençon, Wilhelm Schneider, Bernhard Schrefler, Paolo Serafini, Giacomo Riccia, Didier Dubois, Rudolf Kruse, Hans-Joachim Lenz.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-211-85431-0

PRICAI 2008: Trends in Artificial Intelligence

Jaime G. Carbonell, Jörg Siekmann, Tu-Bao Ho, Zhi-Hua Zhou. http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-89196-3

Principles and Practice of Constraint Programming

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Peter J. Stuckey.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85957-4

Principles of Distributed Systems

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Theodore P. Baker, Alain Bui, Sébastien Tixeuil.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-92220-9

Principles of Protocol Design

Robin Sharp. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-77540-9

Principles of Spin Mordechai Ben-Ari. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-1-84628-769-5Principles, Systems and Applications of IP Telecommunications. Services and Security for Next Generation Networks

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Henning Schulzrinne, Radu State, Saverio Niccolini.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-89053-9

Privacy Enhancing Technologies

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Nikita Borisov, Ian Goldberg.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-70629-8

Page 45: CIÊNCIA DA COMPUTAÇÃO Livro Autor Link do Livro200.19.105.194/udesc/arquivos/id_submenu/53/springer_computacao.pdf · Livro Autor Link do Livro Abstract State Machines, B and Z

Privacy in Statistical Databases

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Josep Domingo-Ferrer, Yücel Sayg n.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-87470-6

Privacy, Security, and Trust in KDD

Francesco Bonchi, Elena Ferrari, Bradley Malin, Yücel Saygin. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-78477-7

Privacy-Preserving Data Mining:

Charu C. Aggarwal, Philip S. Yu. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-70991-8

Privacy-Respecting Intrusion Detection

Ulrich Flegel. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-34346-4

Probabilistic Inductive Logic Programming

Luc Raedt, Paolo Frasconi, Kristian Kersting, Stephen Muggleton. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-78651-1

Probing Experience Joyce H. D. M. Westerink, Martin Ouwerkerk, Thérése J. M. Overbeek, W. Frank Pasveer, Boris Ruyter.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-1-4020-6592-7

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 García-Hernando .

http://springerlink.com/openurl.asp?genre=book&isbn=978-1-84800-202-9

Proceedings of The IFIP Tc 11 23 "rd" International Information Security Conference

Sushil Jajodia, Pierangela Samarati, Stelvio Cimato, Sushil Jajodia, Pierangela Samarati, Stelvio Cimato. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-09698-8

Product-Focused Software Process Improvement

Andreas Jedlitschka, Outi Salo.http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-69564-6

Programming Languages Kent Lee. http://springerlink.com/openurl.asp?genre=book&isbn=978-0-387-79421-1

Programming Languages and Systems

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, G. Ramalingam.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-89329-5

Programming Languages and Systems

Sophia Drossopoulouhttp://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-78738-9

Programming Multi-Agent Systems

Mehdi Dastani, Amal El Fallah Seghrouchni, Alessandro Ricci, Michael Winikoff.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-79042-6

Progress in Cryptology - INDOCRYPT 2008

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Dipanwita Roy Chowdhury, Vincent Rijmen, Abhijit Das.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-89753-8

Progress in Cryptology - AFRICACRYPT 2008

Serge Vaudenay.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-68159-5

Page 46: CIÊNCIA DA COMPUTAÇÃO Livro Autor Link do Livro200.19.105.194/udesc/arquivos/id_submenu/53/springer_computacao.pdf · Livro Autor Link do Livro Abstract State Machines, B and Z

Progress in Pattern Recognition, Image Analysis and Applications

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, José Ruiz-Shulcloper, Walter G. Kropatsch.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85919-2

Progress in WWW Research and Development

Yanchun Zhang, Ge Yu, Elisa Bertino, Guandong Xu. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-78848-5

Provable Security David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Joonsang Baek, Feng Bao, Kefei Chen, Xuejia Lai.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-88732-4

Provenance and Annotation of Data and Processes

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Juliana Freire, David Koop, Luc Moreau.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-89964-8

Public Key Cryptography - PKC 2008

Ronald Cramer.http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-78439-5

Public Key Infrastructure Stig F. Mjølsnes, Sjouke Mauw, Sokratis K. Katsikas.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-69484-7

Qualità dei Dati Carlo Batini, Monica Scannapieco. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-88-470-0733-8

Quality of Software Architectures. Models and Architectures

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Steffen Becker, Frantisek Plasil, Ralf Reussner.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-87878-0

Rationale-Based Software Engineering

Janet E. Burge, John M. Carroll, Raymond McCall, Ivan Mistrik. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-77582-9

Reasoning Web David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Cristina Baroglio, Piero A. Bonatti, Jan Ma uszy ski, Massimo Marchiori, Axel Polleres, Sebastian Schaffert.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85656-6

Recent Advances in Constraints

Jaime G. Carbonell, Jörg Siekmann, François Fages, Francesca Rossi, Sylvain Soliman.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-89811-5

Page 47: CIÊNCIA DA COMPUTAÇÃO Livro Autor Link do Livro200.19.105.194/udesc/arquivos/id_submenu/53/springer_computacao.pdf · Livro Autor Link do Livro Abstract State Machines, B and Z

Recent Advances in Intrusion Detection

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Richard Lippmann, Engin Kirda, Ari Trachtenberg.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-87402-7

Recent Advances in Parallel Virtual Machine and Message Passing Interface

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Alexey Lastovetsky, Tahar Kechadi, Jack Dongarra.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-87474-4

Recent Advances in Reinforcement Learning

Jaime G. Carbonell, Jörg Siekmann, Sertan Girgin, Manuel Loth, Rémi Munos, Philippe Preux, Daniil Ryabko.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-89721-7

Reconfigurable Computing: Architectures, Tools and Applications

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Roger Woods, Katherine Compton, Christos Bouganis, Pedro C. Diniz.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-78609-2

Reflections on the Teaching of Programming

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Jens Bennedsen, Michael E. Caspersen, Michael Kölling.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-77933-9

Relations and Kleene Algebra in Computer Science

Rudolf Berghammer, Bernhard Möller, Georg Struth http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-78912-3

Reliable Implementation of Real Number Algorithms: Theory and Practice

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85520-0

Reliable Software Technologies - Ada-Europe 2008

Fabrice Kordon, Tullio Vardanega.http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-68621-7

Requirements Engineering: Foundation for Software Quality

Barbara Paech, Colette Rolland.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-69060-3

Requirements Management

Colin Hood, Simon Wiedemann, Stefan Fichtinger, Urte Pautz.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-47689-4

Page 48: CIÊNCIA DA COMPUTAÇÃO Livro Autor Link do Livro200.19.105.194/udesc/arquivos/id_submenu/53/springer_computacao.pdf · Livro Autor Link do Livro Abstract State Machines, B and Z

Research and Advanced Technology for Digital Libraries

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Birte Christensen-Dalsgaard, Donatella Castelli, Bolette Ammitzbøll Jurik, Joan Lippincott.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-87598-7

Research and Development in Intelligent Systems XXIV

Max Bramer, Frans Coenen, Miltos Petridis. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-1-84800-093-3

Research and Practical Issues of Enterprise Information Systems II

Li D. Xu, A. Min Tjoa, Sohail S. Chaudhry.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-76311-8

Research and Practical Issues of Enterprise Information Systems II Volume 1

Li D. Xu, A. Min Tjoa, Sohail S. Chaudhry.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-75901-2

Research in Computational Molecular Biology

Martin Vingron, Limsoon Wong.http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-78838-6

Research in Cryptology David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Stefan Lucks, Ahmad-Reza Sadeghi, Christopher Wolf.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-88352-4

Resilient Networks and Services

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, David Hausheer, Jürgen Schönwälder.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-70586-4

Resources, Co-Evolution and Artifacts

Mark S. Ackerman, Christine A. Halverson, Thomas Erickson, Wendy A. Kellogg.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-1-84628-900-2

Rewriting Techniques and Applications

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Andrei Voronkov.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-70588-8

Rightshore! Wolfgang Messner, Anja Hendel, Frank Thun.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-77287-3

Rigid Body Dynamics Algorithms

Roy Featherstone.http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-74314-1

RoboCup 2007: Robot Soccer World Cup XI

Jaime G. Carbonell, J\"org Siekmann, Ubbo Visser, Fernando Ribeiro, Takeshi Ohashi, Frank Dellaert.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-68846-4

Robot Vision Gerald Sommer, Reinhard Klette. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-78156-1

Page 49: CIÊNCIA DA COMPUTAÇÃO Livro Autor Link do Livro200.19.105.194/udesc/arquivos/id_submenu/53/springer_computacao.pdf · Livro Autor Link do Livro Abstract State Machines, B and Z

Robotica Mobile Carlo Ghezzi, Paolo Ancilotti, Carlo Batini, Stefano Ceri, Antonio Corradi, Alberto Bimbo, Evelina Lamma, Paola Mello, Ugo Montanari, Paolo Prinetto, Ulrich Nehmzow.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-88-470-0385-9

Rough Sets and Current Trends in Computing

Jaime G. Carbonell, Jörg Siekmann, Chien-Chung Chan, Jerzy W. Grzymala-Busse, Wojciech P. Ziarko.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-88423-1

Rough Sets and Knowledge Technology

Guoyin Wang, Tianrui Li, Jerzy W. Grzymala-Busse, Duoqian Miao, Andrzej Skowron, Yiyu Yao.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-79720-3

Rule Representation, Interchange and Reasoning on the Web

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Nick Bassiliades, Guido Governatori, Adrian Paschke.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-88807-9

Runtime Verification David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Martin Leucker.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-89246-5

Safeguards in a World of Ambient Intelligence

David Wright, Serge Gutwirth, Michael Friedewald, Elena Vildjiounaite, Yves Punie.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-1-4020-6661-0

Scalable Uncertainty Management

Jaime G. Carbonell, Jörg Siekmann, Sergio Greco, Thomas Lukasiewicz. http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-87992-3

Scaling Topic Maps Jaime G. Carbonell, J\"org Siekmann, Lutz Maicher, Lars Marius Garshol. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-70873-5

Scientific and Statistical Database Management

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Bertram Ludäscher, Nikos Mamoulis.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-69476-2

Secure Data Management

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Willem Jonker, Milan Petkovi .

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85258-2

Secure Transaction Protocol Analysis

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85073-1

Securing Biometrics Applications

Charles A. Shoniregun, Stephen Crosier.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-69932-5

Page 50: CIÊNCIA DA COMPUTAÇÃO Livro Autor Link do Livro200.19.105.194/udesc/arquivos/id_submenu/53/springer_computacao.pdf · Livro Autor Link do Livro Abstract State Machines, B and Z

Security and Cryptography for Networks

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Rafail Ostrovsky, Roberto Prisco, Ivan Visconti.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85854-6

Security for Telecommunications Networks

Sushil Jajodia.http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-72441-6

Self-Organizing Systems David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Karin Anna Hummel, James P. G. Sterbenz.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-92156-1

Self-Sustaining Systems David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Robert Hirschfeld, Kim Rose.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-89274-8

Semantic Grid: Model, Methodology, and Applications

Zhao-hui Wu, Hua-jun Chen.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-79453-0

Semantic Multimedia David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, David Duke, Lynda Hardman, Alex Hauptmann, Dietrich Paulus, Steffen Staab.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-92234-6

Semantic Multimedia and Ontologies

Yiannis Kompatsiaris, Paola Hobson.http://www.springerlink.com/openurl.asp?genre=book&isbn=978-1-84800-075-9

Semantic Service Provisioning

Dominik Kuropka, Steffen Staab, Peter Tröger, Mathias Weske. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-78616-0

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.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-76451-9

The Semantic Web David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, John Domingue, Chutiporn Anutariya.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-89703-3

Page 51: CIÊNCIA DA COMPUTAÇÃO Livro Autor Link do Livro200.19.105.194/udesc/arquivos/id_submenu/53/springer_computacao.pdf · Livro Autor Link do Livro Abstract State Machines, B and Z

Real-world Applications of Semantic Web Technology and Ontologies

Jorge Cardoso, Martin Hepp, Miltiadis D. Lytras.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-48530-0

The Semantic Web - ISWC 2008

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Amit Sheth, Steffen Staab, Mike Dean, Massimo Paolucci, Diana Maynard, Timothy Finin, Krishnaprasad Thirunarayan.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-88563-4

Semantic Web, Ontologies and Databases

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Vassilis Christophides, Martine Collard, Claudio Gutierrez.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-70959-6

The Semantic Web: Research and Applications

Sean Bechhofer, Manfred Hauswirth, Jörg Hoffmann, Manolis Koubarakis. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-68233-2

Semantics in Data and Knowledge Bases

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Klaus-Dieter Schewe, Bernhard Thalheim.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-88593-1

Sequences and Their Applications - SETA 2008

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Solomon W. Golomb, Matthew G. Parker, Alexander Pott, Arne Winterhof.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85911-6

Service Availability Takashi Nanya, Fumihiro Maruyama, András Pataricza, Miroslaw Malek. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-68128-1

Service-Oriented Computing - ICSOC 2008

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Athman Bouguettaya, Ingolf Krueger, Tiziana Margaria.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-89647-0

Service-Oriented Computing: Agents, Semantics, and Engineering

Ryszard Kowalczyk, Michael Huhns, Matthias Klusch, Zakaria Maamar, Quoc Bao Vo.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-79967-2

Sets, Logic and Maths for Computing

David Makinson.http://springerlink.com/openurl.asp?genre=book&isbn=978-1-84628-844-9

Page 52: CIÊNCIA DA COMPUTAÇÃO Livro Autor Link do Livro200.19.105.194/udesc/arquivos/id_submenu/53/springer_computacao.pdf · Livro Autor Link do Livro Abstract State Machines, B and Z

Sharing Data, Information and Knowledge

Alex Gray, Keith Jeffery, Jianhua Shao.http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-70503-1

Signal Processing for Image Enhancement and Multimedia Processing

Ernesto Damiani, Kokou Yétongnon, Peter Schelkens, Albert Dipanda, Louis Legrand, Richard Chbeir. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-72499-7

Simulated Evolution and Learning

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Xiaodong Li, Michael Kirley, Mengjie Zhang, David Green, Vic Ciesielski, Hussein Abbass, Zbigniew Michalewicz, Tim Hendtlass, Kalyanmoy Deb, Kay Chen Tan, Jürgen Branke, Yuhui Shi.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-89693-7

Simulation, Modeling, and Programming for Autonomous Robots

Jaime G. Carbonell, Jörg Siekmann, 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 Advanced Applications

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Gilles Grimaud, François-Xavier Standaert.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85892-8

Smart Cards, Tokens, Security and Applications

Keith E. Mayes, Konstantinos Markantonakis. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-72197-2

Smart Graphics David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Andreas Butz, Brian Fisher, Antonio Krüger, Patrick Olivier, Marc Christie.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85410-4

Smart Homes and Health Telematics

Sumi Helal, Simanta Mitra, Johnny Wong, Carl K. Chang, Mounir Mokhtari.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-69914-9

Smart Sensing and Context

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Daniel Roggen, Clemens Lombriser, Gerhard Tröster, Gerd Kortuem, Paul Havinga.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-88792-8

Social Computing, Behavioral Modeling, and Prediction

Huan Liu, John J. Salerno, Michael J. Young. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-77671-2

Social Dimensions Of Information And Communication Technology Policy

Chrisanthi Avgerou, Matthew L. Smith, Peter Besselaar. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-84821-1

Page 53: CIÊNCIA DA COMPUTAÇÃO Livro Autor Link do Livro200.19.105.194/udesc/arquivos/id_submenu/53/springer_computacao.pdf · Livro Autor Link do Livro Abstract State Machines, B and Z

SOFSEM 2008: Theory and Practice of Computer Science

Viliam Geffert, Juhani Karhumäki, Alberto Bertoni, Bart Preneel, Pavol Návrat, Mária Bieliková.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-77565-2

Soft Computing for Knowledge Discovery and Data Mining

Oded Maimon, Lior Rokach.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-69934-9

Software and Data Technologies

Joaquim Filipe, Boris Shishkov, Markus Helfert.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-70619-9

Software Architecture David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Ron Morrison, Dharini Balasubramaniam, Katrina Falkner.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-88029-5

Software Architecture Zheng Qin, Xiang Zheng, Jiankuan Xing.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-74342-2

Software Composition Cesare Pautasso, Éric Tanter. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-78788-4

Software Evolution Tom Mens, Serge Demeyer. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-76439-7Software Process and Product Measurement

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Reiner R. Dumke, René Braungarten, Günter Büren, Alain Abran, Juan J. Cuadrado-Gallego.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-89402-5

Software Process and Product Measurement

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Juan J. Cuadrado-Gallego, René Braungarten, Reiner R. Dumke, Alain Abran.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85552-1

Software Process Improvement

Rory V. OConnor, Nathan Baddoo, Kari Smolander, Richard Messnarz. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85934-5

Software Technologies for Embedded and Ubiquitous Systems

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Uwe Brinkschulte, Tony Givargis, Stefano Russo.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-87784-4

Software-Intensive Systems and New Computing Paradigms

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Martin Wirsing, Jean-Pierre Banâtre, Matthias Hölzl, Axel Rauschmayer.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-89436-0

Page 54: CIÊNCIA DA COMPUTAÇÃO Livro Autor Link do Livro200.19.105.194/udesc/arquivos/id_submenu/53/springer_computacao.pdf · Livro Autor Link do Livro Abstract State Machines, B and Z

Spatial Cognition VI. Learning, Reasoning, and Talking about Space

Jaime G. Carbonell, Jörg Siekmann, Christian Freksa, Nora S. Newcombe, Peter Gärdenfors, Stefan Wölfl.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-87600-7

Stabilization, Safety, and Security of Distributed Systems

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Sandeep Kulkarni, André Schiper.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-89334-9

Static Analysis David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, María Alpuente, Germán Vidal.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-69163-1

Statistical Models of Shape

Chris Taylor, Carole Twining, Rhodri Davies.

http://springerlink.com/openurl.asp?genre=book&isbn=978-1-84800-137-4

Stepping into Virtual Reality

Mario A. A. Gutiérrez, Frédéric Vexo, Daniel Thalmann.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-1-84800-116-9

Stochastic Discrete Event Systems

Armin Zimmermann. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-74172-5

Structural Information and Communication Complexity

Alexander A. Shvartsman, Pascal Felber. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-69326-0

Structural, Syntactic, and Statistical Pattern Recognition

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Niels Vitoria Lobo, Takis Kasparis, Fabio Roli, James T. Kwok, Michael Georgiopoulos, Georgios C. Anagnostopoulos, Marco Loog.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-89688-3

Support Vector Machines

Michael Jordan, Jon Kleinberg, Bernhard Schölkopf.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-77241-7

Surgical Scene Generation for Virtual Reality-Based Training in Medicine

Matthias Harders.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-1-84800-106-0

Survey of Text Mining II Michael W. Berry, Malu Castellanos. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-1-84800-045-2

Swarm Intelligence G. Rozenberg, Th. Bäck, A.E. Eiben, J.N. Kok, H.P. Spaink, Christian Blum, Daniel Merkle.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-74088-9

Systems and Virtualization Management. Standards and New Technologies

Latifa Boursas, Mark Carlson, Wolfgang Hommel, Michelle Sibilla, Kes Wold. http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-88707-2

Technologies for E-Learning and Digital Entertainment

Zhigeng Pan, Xiaopeng Zhang, Abdennour Rhalibi, Woontack Woo, Yi http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-69734-3

Telecommunications Modeling, Policy, and Technology

S. Raghavan, Bruce Golden, Edward Wasil. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-77779-5

Temporal Logic and State Systems

Fred Kröger, Stephan Merz. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-67401-6

TestGoal Derk-Jan De Grood. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-78828-7The Testing Network Pierre Henry. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-78503-3

Page 55: CIÊNCIA DA COMPUTAÇÃO Livro Autor Link do Livro200.19.105.194/udesc/arquivos/id_submenu/53/springer_computacao.pdf · Livro Autor Link do Livro Abstract State Machines, B and Z

Testing of Software and Communicating Systems

Kenji Suzuki, Teruo Highttp://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-68514-2

Tests and Proofs Bernhard Beckert, Reiner Hähnle. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-79123-2

Text, Speech and Dialogue

Jaime G. Carbonell, Jörg Siekmann, Petr Sojka, Ale Horák, Ivan Kope ek, Karel Pala.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-87390-7

Theorem Proving in Higher Order Logics

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Otmane Ait Mohamed, César Muñoz, Sofiène Tahar.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-71065-3

Theoretical Aspects of Computing - ICTAC 2008

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, John S. Fitzgerald, Anne E. Haxthausen, Husnu Yenigun.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85761-7

Theory and Applications of Models of Computation

Manindra Agrawal, Dingzhu Du, Zhenhua Duan, Angsheng Li. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-79227-7

Theory and Applications of Satisfiability Testing - SAT 2008

Hans Kleine Büning, Xishun Zhao.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-79718-0

Theory and Practice of Model Transformations

Antonio Vallecillo, Jeff Gray, Alfonso Pierantonio. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-69926-2

Theory of Cryptography Ran Canetti. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-78523-1

Theory of Quantum Computation, Communication, and Cryptography

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Yasuhito Kawano, Michele Mosca.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-89303-5

Thesis Projects Mikael Berndtsson, Jörgen Hansson, Björn Olsson, Björn Lundell. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-1-84800-008-7

Time-Dependent Scheduling

Wilfried Brauer, Juraj Hromkovi , Grzegorz Rozenberg, Arto Salomaa. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-69445-8

Times of Convergence. Technologies Across Learning Contexts

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Pierre Dillenbourg, Marcus Specht.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-87604-5

Tools and Algorithms for the Construction and Analysis of Systems

C.R. Ramakrishnan, Jakob Rehof

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-78799-0

Page 56: CIÊNCIA DA COMPUTAÇÃO Livro Autor Link do Livro200.19.105.194/udesc/arquivos/id_submenu/53/springer_computacao.pdf · Livro Autor Link do Livro Abstract State Machines, B and Z

Tools for High Performance Computing

Michael Resch, Rainer Keller, Valentin Himmler, Bett http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-68561-6

Topics in Cryptology - CT-RSA 2008

Tal Malkin.http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-79262-8

Toward Artificial Sapience

Rene V. Mayorga, Leonid I. Perlovsky. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-1-84628-998-9

Towards a Service-Based Internet

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Petri Mähönen, Klaus Pohl, Thierry Priol.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-89896-2

Towards Affordance-Based Robot Control

Erich Rome, Joachim Hertzberg, Georg Dorffner. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-77914-8

Towards Sustainable Society on Ubiquitous Networks

Makoto Oya, Ryuya Uda, Chizuko Yasunobu. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-85690-2

Transactions on Computational Science I

Marina L. Gavrilova, C. J. Kenneth Tan.http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-79298-7

Transactions on Computational Science II

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Marina L. Gavrilova, C. J. Kenneth Tan, Yingxu Wang, Yiyu Yao, Guoyin Wang.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-87562-8

Transactions on Computational Systems Biology IX

Sorin Istrail, Pavel Pevzner, Michael S. Waterman, Corrado Priami. http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-88764-5

Transactions on Computational Systems Biology X

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Sorin Istrail, Pavel Pevzner, Michael S. Waterman, Corrado Priami, Falko Dressler, Ozgur B. Akan, Alioune Ngom.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-92272-8

Transactions on Data Hiding and Multimedia Security III

Yun Q. Shi.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-69016-0

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

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Kurt Jensen, Wil M. P. Aalst, Jonathan Billington.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-89286-1

Page 57: CIÊNCIA DA COMPUTAÇÃO Livro Autor Link do Livro200.19.105.194/udesc/arquivos/id_submenu/53/springer_computacao.pdf · Livro Autor Link do Livro Abstract State Machines, B and Z

Transactions on Rough Sets IX

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, James F. Peters, Andrzej Skowron, Henryk Rybi ski.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-89875-7

Transactions on Rough Sets VIII

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, James F. Peters, Andrzej Skowron.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85063-2

Transdisciplinary Digital Art. Sound, Vision and the New Screen

Randy Adams, Steve Gibson, Stefan Müller Arisona. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-79485-1

Trust in Agent Societies David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Randy Goebel, Jörg Siekmann, Wolfgang Wahlster, Rino Falcone, Suzanne K. Barber, Jordi Sabater-Mir, Munindar P. Singh.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-92802-7

Trust Management II Yücel Karabulut, John Mitchell, Peter Herrmann, Christian Damsgaard Jensen.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-09427-4

Trust, Privacy and Security in Digital Business

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Steven Furnell, Sokratis K. Katsikas, Antonio Lioy.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85734-1

Trusted Computing - Challenges and Applications

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Peter Lipp, Ahmad-Reza Sadeghi, Klaus-Michael Koch.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-68978-2

Trustworthy Global Computing

Gilles Barthe, Cédric Fournet. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-78662-7

Types for Proofs and Programs

Marino Miculan, Ivan Scagnetto, Furio Honsell.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-68084-0

Ubiquitous Intelligence and Computing

Frode Eika Sandnes, Yan Zhang, Chunming Rong, Laurence T. Yang, Jianhua Ma.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-69292-8

Page 58: CIÊNCIA DA COMPUTAÇÃO Livro Autor Link do Livro200.19.105.194/udesc/arquivos/id_submenu/53/springer_computacao.pdf · Livro Autor Link do Livro Abstract State Machines, B and Z

UMTS Radio Network Planning: Mastering Cell Coupling for Capacity Optimization

Hans-Florian Geerdes.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-8348-0697-0

Uncertainty Reasoning for the Semantic Web I

Jaime G. Carbonell, Jörg Siekmann, Paulo Cesar G. Costa, Claudia d Amato, Nicola Fanizzi, Kathryn B. Laskey, Kenneth J. Laskey, Thomas Lukasiewicz, Matthias Nickles, Michael Pool.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-89764-4

Unconventional Computing

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Cristian S. Calude, José Félix Costa, Rudolf Freund, Marion Oswald, Grzegorz Rozenberg.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85193-6

Understanding Planning Tasks

Malte Helmert. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-77722-9

Unfoldings Javier Esparza, Keijo Heljanko. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-77425-9Unifying Perspectives in Computational and Robot Vision

Danica Kragic, Ville Kyrki.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-75521-2

User Interfaces for Wearable Computers

Hendrik Witt.http://springerlink.com/openurl.asp?genre=book&isbn=978-3-8351-0256-9

Value-Range Analysis of C Programs http://www.springerlink.com/openurl.asp?genre=book&isbn=978-1-84800-016-2

Verbal and Nonverbal Features of Human-Human and Human-Machine Interaction

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Randy Goebel, Jörg Siekmann, Wolfgang Wahlster, Anna Esposito, Nikolaos G. Bourbakis, Nikolaos Avouris, Ioannis Hatzilygeroudis.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-70871-1

Verification, Model Checking, and Abstract Interpretation

Francesco Logozzo, Doron A. Peled, Lenore D. Zuck. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-78162-2

Verified Software: Theories, Tools, Experiments

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Natarajan Shankar, Jim Woodcock.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-87872-8

Verified Software: Theories, Tools, Experiments

Bertrand Meyer, Jim Woodcock.http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-69147-1

Virtual Systems and Multimedia

Theodor G. Wyeld, Sarah Kenderdine, Michael Docherty.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-78565-1

Page 59: CIÊNCIA DA COMPUTAÇÃO Livro Autor Link do Livro200.19.105.194/udesc/arquivos/id_submenu/53/springer_computacao.pdf · Livro Autor Link do Livro Abstract State Machines, B and Z

Visual Data Mining David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Simeon J. Simoff, Michael H. Böhlen, Arturas Mazeika.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-71079-0

Visual Information Systems. Web-Based Visual Information Search and Management

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Monica Sebillo, Giuliana Vitiello, Gerald Schaefer.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85890-4

Visualization for Computer Security

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, John R. Goodall, Gregory Conti, Kwan-Liu Ma.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85931-4

Visualization for Information Retrieval

Jin Zhang.http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-75147-2

VizSEC 2007 John R. Goodall, Gregory Conti, Kwan-Liu Ma.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-78242-1

VLSI-SoC: Research Trends in VLSI and Systems on Chip

Giovanni De Micheli, Salvador Mir, Ricardo Reis http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-74908-2

Vulnerability Analysis and Defense for the Internet

Abhishek Singh, Baibhav Singh, Hirosh Joseph. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-74389-9

WALCOM: Algorithms and Computation

Shin-ichi Nakano, Md. Saidur Rahman.http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-77890-5

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.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-1-84800-049-0

Web and Wireless Geographical Information Systems

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Michela Bertolotto, Cyril Ray, Xiang Li.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-89902-0

Page 60: CIÊNCIA DA COMPUTAÇÃO Livro Autor Link do Livro200.19.105.194/udesc/arquivos/id_submenu/53/springer_computacao.pdf · Livro Autor Link do Livro Abstract State Machines, B and Z

Web Component Development with Zope 3

Philipp Weitershausen.http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-76447-2

Web Engineering: Modelling and Implementing Web Applications

Gustavo Rossi, Oscar Pastor, Daniel Schwabe, Luis Olsina. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-1-84628-922-4

Web Information Systems and Technologies

Will Aalst, John Mylopoulos, Norman M. Sadeh, Michael J. Shaw, Clemens Szyperski, Joaquim Filipe, José Cordeiro.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-68257-8

Web Information Systems Engineering - WISE 2008

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, James Bailey, David Maier, Klaus-Dieter Schewe, Bernhard Thalheim, Xiaoyang Sean Wang.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85480-7

Web Information Systems Engineering - WISE 2008 Workshops

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Sven Hartmann, Xiaofang Zhou, Markus Kirchberg.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-85199-8

Web Reasoning and Rule Systems

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Diego Calvanese, Georg Lausen.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-88736-2

The Web Resource Space Model

Hai Zhuge. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-72771-4

Web Search J. Mackenzie Owen, Amanda Spink, Michael Zimmer.

http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-75828-0

Web Services and Formal Methods

Marlon Dumas, Reiko Heckel. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-79229-1

Wiki Anja Ebersbach, Markus Glaser, Richard Heigl, Alexander Warta. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-35150-4

Wired/Wireless Internet Communications

Jarmo Harju, Geert Heijenk, Peter Langendörfer, Vasilios A. Siris. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-68805-1

Wireless Algorithms, Systems, and Applications

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Yingshu Li, Dung T. Huynh, Sajal K. Das, Ding-Zhu Du.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-88581-8

Wireless and Mobile Networking

Zoubir Mammeri. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-84838-9

Wireless Sensor and Actor Networks II

Ali Miri. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-09440-3

Wireless Sensor Networks

Roberto Verdone. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-77689-5

Page 61: CIÊNCIA DA COMPUTAÇÃO Livro Autor Link do Livro200.19.105.194/udesc/arquivos/id_submenu/53/springer_computacao.pdf · Livro Autor Link do Livro Abstract State Machines, B and Z

Wireless Sensor Networks and Applications

Yingshu Li, My T. Thai, Weili Wu.http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-49591-0

Wireless Systems and Mobility in Next Generation Internet

David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Llorenç Cerdà-Alabern.

http://springerlink.com/openurl.asp?genre=book&isbn=978-3-540-89182-6

Writing mental ray shaders

Andy Kopra ; edited by Rolf Herken. http://springerlink.com/openurl.asp?genre=book&isbn=978-3-211-48964-2

25 Years of Model Checking

Orna Grumberg, Helmut Veith. http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-69849-4