Trustworthy Global Computing

8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers

Martín Abadi,Alberto Lluch Lafuente

Springer Nature Proceedings Computer Science

Buy the eBook

Ahorra 10 %Precio de venta: $1,010.00 MXN.$909.00MXN

Estás en la librería de México

¿No estás en México? Elige la librería de tu país para ver los libros que puedes comprar.

Elige tu librería

Comprar ahora Regala un libro

¿Por qué leer con nosotros?

Kobo anima a los amantes de los libros a leer más.

Experiencia de lectura mejorada con nuestros eReaders Kobo

Catálogo de libros extenso y relevante

Aplicación de lectura gratuita de Kobo

Sinopsis

Categorías

Acerca de este libro

Idioma:English
ISBN:9783319051192
Fecha de lanzamiento:22 dic 2023
Editorial:Springer International Publishing

Edición:Springer
Formato de archivo:EPUB2
Tamaño de archivo:6.07 MB
Opciones de descarga:EPUB2 (Adobe DRM)

Lecturas relacionadas

Introduction to Information Retrieval

Christopher D. Manning, Prabhakar Raghavan, Hinrich Schütze

$1,125.00

The Text Mining Handbook

Ronen Feldman, James Sanger

$1,533.00

Markov Logic

Pedro Domingos, Daniel Lowd, Ronald Brachman, William W. Cohen, Peter Stone

$592.00

The Functional Approach to Programming

Guy Cousineau, Michel Mauny, K. Callaway

$1,462.00

Readings in Artificial Intelligence and Software Engineering

Charles Rich, Richard C. Waters

$1,124.00

Tractability

Lucas Bordeaux, Youssef Hamadi, Pushmeet Kohli

$2,517.00

Trends in Functional Programming Volume 6

Marko Van Eekelen

$814.00

Bridging Constraint Satisfaction and Boolean Satisfiability

Justyna Petke

$909.00

Ontology Matching

Jérôme Euzenat, Pavel Shvaiko

$2,909.00

Knowledge Representation, Reasoning, and the Design of Intelligent Agents

Michael Gelfond, Yulia Kahl

$1,012.00

Practical Foundations for Programming Languages

Robert Harper

$1,308.00

Handbook of Process Algebra

J.A. Bergstra, A. Ponse, S.A. Smolka

$4,067.00

Trustworthy Global Computing

Pierre Ganty, Michele Loreti

$727.00

Logic-Based Program Synthesis and Transformation

Moreno Falaschi

$909.00

Programming Languages and Systems

Peter Thiemann

$968.00

Programming Languages and Systems

Hongseok Yang

$1,636.00

Declarative Programming and Knowledge Management

Ricardo Rocha, Michael Hanus

$854.00

Logic-Based Program Synthesis and Transformation

Maurizio Proietti, Hirohisa Seki

$909.00

Programming Languages and Systems

Xinyu Feng, Sungwoo Park

$909.00

Theoretical Aspects of Computing – ICTAC 2016

Augusto Sampaio, Farn Wang

$909.00

Programming Languages with Applications to Biology and Security

Chiara Bodei, Corrado Priami, Gianluigi Ferrari

$909.00

Theoretical Aspects of Computing - ICTAC 2015

Martin Leucker, Camilo Rueda, Frank D. Valencia

$909.00

Static Analysis

Sandrine Blazy, Thomas Jensen

$909.00

Verification, Model Checking, and Abstract Interpretation

Ahmed Bouajjani, David Monniaux

$909.00

Logic Programming and Nonmonotonic Reasoning

Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski

$909.00

Inductive Logic Programming

Katsumi Inoue, Hayato Ohwada, Akihiro Yamamoto

$909.00

Logic for Programming, Artificial Intelligence, and Reasoning

Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov

$909.00

Automated Technology for Verification and Analysis

Bernd Finkbeiner, Geguang Pu, Lijun Zhang

$909.00

Tests and Proofs

Bernhard K. Aichernig, Carlo A. Furia

$909.00

Handbook of Constraint Programming

Francesca Rossi, Peter van Beek, Toby Walsh

$2,572.00

Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay, Tiziana Margaria

$909.00

Theory and Practice of Formal Methods

Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen

$909.00

Practical Aspects of Declarative Languages

Francesco Calimeri, Kevin Hamlen, Nicola Leone

$727.00

Functional and Logic Programming

Andy King, Oleg Kiselyov

$854.00

Public-Key Cryptography – PKC 2017

Serge Fehr

$909.00

Principles of Security and Trust

Frank Piessens, Luca Viganò

$909.00

Semantics, Logics, and Calculi

Christian W. Probst, Chris Hankin, René Rydhof Hansen

$909.00

Integrated Formal Methods

Erika Ábrahám, Marieke Huisman

$1,454.00

Unifying Theories of Programming

Jonathan P. Bowen, Huibiao Zhu

$909.00

Handbook of Conceptual Modeling

Bernhard Thalheim, David W. Embley

$2,545.00

Computer Aided Verification

Swarat Chaudhuri, Azadeh Farzan

$909.00

Logic, Rewriting, and Concurrency

Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott

$909.00

Public-Key Cryptography – PKC 2016

Chen-Mou Cheng, Kai-Min Chung, Giuseppe Persiano, Bo-Yin Yang

$909.00

Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering

Jeff Z. Pan, Diego Calvanese, Thomas Eiter, Ian Horrocks, Michael Kifer, Fangzhen Lin, Yuting Zhao

$1,091.00

Formal Methods: Foundations and Applications

Bill Roscoe, Márcio Cornélio

$774.00

Schema Matching and Mapping

Zohra Bellahsene, Angela Bonifati, Erhard Rahm

$1,636.00

Formal Aspects of Component Software

Christiano Braga, Peter Csaba Ölveczky

$909.00

Internet of Vehicles. Technologies and Services for Smart Cities

Reinhard Klette, Guan-Ling Lee, Ching-Hsien Hsu, Sheng-Lung Peng

$909.00

Formal Methods and Software Engineering

Michael Butler, Sylvain Conchon, Fatiha Zaïdi

$909.00

Secure Smart Embedded Devices, Platforms and Applications

Konstantinos Markantonakis, Keith Mayes

$3,982.00

Theory and Applications of Satisfiability Testing – SAT 2016

Nadia Creignou, Daniel Le Berre

$909.00

Dynamic Logic. New Trends and Applications

Alexandre Madeira, Mário Benevides

$909.00

Digital Imaging and Communications in Medicine (DICOM)

Oleg S. Pianykh

$1,454.00

Inductive Logic Programming

Jesse Davis, Jan Ramon

$854.00

Advances in Cryptology – EUROCRYPT 2017

Jean-Sébastien Coron, Jesper Buus Nielsen

$1,636.00

ICT Innovations 2017

Dimitar Trajanov, Verica Bakeva

$909.00

Model Checking Software

Bernd Fischer, Jaco Geldenhuys

$909.00

Computer Aided Verification

Daniel Kroening, Corina S. Păsăreanu

$909.00

Security of Industrial Control Systems and Cyber-Physical Systems

Frédéric Cuppens, Nora Cuppens-Boulahia, Sokratis Katsikas, Costas Lambrinoudakis

$909.00

Foundations of Information and Knowledge Systems

Guillermo Simari, Marc Gyssens

$909.00

Queueing Theory and Network Applications

Wuyi Yue, Quan-Lin Li, Shunfu Jin, Zhanyou Ma

$909.00

Interactive Theorem Proving

Christian Urban, Xingyuan Zhang

$909.00

Information Security Theory and Practice

Sara Foresti, Javier Lopez

$909.00

Topics in Cryptology - CT-RSA 2016

Kazue Sako

$909.00

Security of Industrial Control Systems and Cyber Physical Systems

Adrien Bécue, Nora Cuppens-Boulahia, Frédéric Cuppens, Sokratis Katsikas, Costas Lambrinoudakis

$909.00

Web Services and Formal Methods

Emilio Tuosto, Chun Ouyang

$727.00

Recent Trends in Algebraic Development Techniques

Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu

$774.00

Cyberpatterns

Clive Blackwell, Hong Zhu

$909.00

Meta-Programming and Model-Driven Meta-Program Development

Vytautas Štuikys, Robertas Damaševičius

$1,636.00

Scalable Uncertainty Management

Christoph Beierle, Alex Dekhtyar

$909.00

Human Aspects of IT for the Aged Population. Applications, Services and Contexts

Gavriel Salvendy, Jia Zhou

$909.00

Trustworthy Internet

Nicola Blefari-Melazzi, Giuseppe Bianchi, Luca Salgarelli

$2,615.00

Specification of Software Systems

V.S. Alagar, K. Periyasamy

$909.00

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIII

Abdelkader Hameurlain, Josef Küng, Roland Wagner, Tran Khanh Dang, Nam Thoai

$909.00

Theory of Cryptography

Eyal Kushilevitz, Tal Malkin

$1,636.00

Human Aspects of IT for the Aged Population. Aging, Design and User Experience

Jia Zhou, Gavriel Salvendy

$909.00

Theory of Cryptography

Eyal Kushilevitz, Tal Malkin

$909.00

Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay, Tiziana Margaria

$909.00

Computer Aided Verification

Daniel Kroening, Corina S. Păsăreanu

$909.00

Algorithmic Decision Theory

Jörg Rothe

$909.00

Formal Aspects of Component Software

Zhiming Liu, Jinyun Xue, José Luiz Fiadeiro

$909.00

Machine Learning, Optimization, and Big Data

Giuseppe Nicosia, Panos Pardalos, Giovanni Giuffrida, Renato Umeton

$909.00

Advances in Cryptology -- ASIACRYPT 2015

Tetsu Iwata, Jung Hee Cheon

$1,636.00

Practical Aspects of Declarative Languages

John Reppy, Marco Gavanelli

$727.00

Digital Communication. Towards a Smart and Secure Future Internet

Alessandro Piva, Ilenia Tinnirello, Simone Morosi

$909.00

Language and Automata Theory and Applications

Frank Drewes, Carlos Martín-Vide, Bianca Truthe

$909.00

Computer Aided Verification

Swarat Chaudhuri, Azadeh Farzan

$909.00

Emergent Web Intelligence: Advanced Semantic Technologies

Youakim Badr, Richard Chbeir, Ajith Abraham, Aboul-Ella Hassanien

$2,545.00

Information Security

Matt Bishop, Anderson C A Nascimento

$909.00

Software Engineering and Formal Methods

Radu Calinescu, Bernhard Rumpe

$909.00

Risks and Security of Internet and Systems

Frédéric Cuppens, Nora Cuppens, Jean-Louis Lanet, Axel Legay

$909.00

Secure IT Systems

Helger Lipmaa, Aikaterini Mitrokotsa, Raimundas Matulevičius

$909.00

A Process Algebraic Approach to Software Architecture Design

Alessandro Aldini, Marco Bernardo, Flavio Corradini

$909.00

Database and Expert Systems Applications

Djamal Benslimane, Ernesto Damiani, William I. Grosky, Abdelkader Hameurlain, Amit Sheth, Roland R. Wagner

$909.00

Applications of Declarative Programming and Knowledge Management

Hans Tompits, Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Masanobu Umeda, Armin Wolf

$909.00

Ver más por autor

Coordination Models and Languages

Alberto Lluch Lafuente, José Proença

$909.00

¿Te ha gustado el libro?

¡Sé la primera persona en valorar y reseñar este libro!

Esta es nuestra librería de México.

Trustworthy Global Computing

¿Por qué leer con nosotros?

Sinopsis

Acerca de este libro

Detalles del libro

Cómo leer

Lecturas relacionadas

Introduction to Information Retrieval

The Text Mining Handbook

Markov Logic

The Functional Approach to Programming

Readings in Artificial Intelligence and Software Engineering

Tractability

Trends in Functional Programming Volume 6

Bridging Constraint Satisfaction and Boolean Satisfiability

Ontology Matching

Knowledge Representation, Reasoning, and the Design of Intelligent Agents

Practical Foundations for Programming Languages

Handbook of Process Algebra

Trustworthy Global Computing

Logic-Based Program Synthesis and Transformation

Programming Languages and Systems

Programming Languages and Systems

Declarative Programming and Knowledge Management

Logic-Based Program Synthesis and Transformation

Programming Languages and Systems

Theoretical Aspects of Computing – ICTAC 2016

Programming Languages with Applications to Biology and Security

Theoretical Aspects of Computing - ICTAC 2015

Static Analysis

Verification, Model Checking, and Abstract Interpretation

Logic Programming and Nonmonotonic Reasoning

Inductive Logic Programming

Logic for Programming, Artificial Intelligence, and Reasoning

Automated Technology for Verification and Analysis

Tests and Proofs

Handbook of Constraint Programming

Tools and Algorithms for the Construction and Analysis of Systems

Theory and Practice of Formal Methods

Practical Aspects of Declarative Languages

Functional and Logic Programming

Public-Key Cryptography – PKC 2017

Principles of Security and Trust

Semantics, Logics, and Calculi

Integrated Formal Methods

Unifying Theories of Programming

Handbook of Conceptual Modeling

Computer Aided Verification

Logic, Rewriting, and Concurrency

Public-Key Cryptography – PKC 2016

Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering

Formal Methods: Foundations and Applications

Schema Matching and Mapping

Formal Aspects of Component Software

Internet of Vehicles. Technologies and Services for Smart Cities

Formal Methods and Software Engineering

Secure Smart Embedded Devices, Platforms and Applications

Theory and Applications of Satisfiability Testing – SAT 2016

Dynamic Logic. New Trends and Applications

Digital Imaging and Communications in Medicine (DICOM)

Inductive Logic Programming

Advances in Cryptology – EUROCRYPT 2017

ICT Innovations 2017

Model Checking Software

Computer Aided Verification

Security of Industrial Control Systems and Cyber-Physical Systems

Foundations of Information and Knowledge Systems

Queueing Theory and Network Applications

Interactive Theorem Proving

Information Security Theory and Practice

Topics in Cryptology - CT-RSA 2016

Security of Industrial Control Systems and Cyber Physical Systems

Web Services and Formal Methods

Recent Trends in Algebraic Development Techniques

Cyberpatterns

Meta-Programming and Model-Driven Meta-Program Development

Scalable Uncertainty Management

Human Aspects of IT for the Aged Population. Applications, Services and Contexts

Trustworthy Internet