The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy: Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday

Name: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy: Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday
Price: 80.50 CAD
Availability: InStock
Author: Carlos Olarte
ISBN: 9783030311742

Mário S. Alvim Édition : Kostas Chatzikokolakis , Carlos Olarte

12 septembre 2019

80,50 $

Prix en ligne. Les prix et les offres peuvent différer en magasin.

M’expédier cet article

Vérification des stocks…

Acheter maintenant et ramasser en magasin

Vérification des stocks…

Trouver en magasin

Vérification des stocks…

Quantity

Obtenez 403 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

461

Theoretical Computer Science and General Issues

Publié par: Springer Nature

Dimensions à l’expédition: 9" H x 6" W x 1" L

ISBN: 9783030311742

Fundamentals of Digital Logic with VHDL Design with CD-ROM

Stephen Brown Couverture rigide
298,95 $
Pixels and Place: Designing Human Experience Across Physical and Digital Spaces

Kate O'Neill Couverture souple
16,95 $
Manual on Uniform Traffic Control Devices (MUTCD 2023) 11th edition

Federal Highway Administration Couverture souple
112,06 $
The Openmp Common Core: Making Openmp Simple Again

Timothy G. Mattson Couverture souple
54,00 $
2 formats offerts
The Langchain And Llm Evolution: Unveiling the Impact of AI Language Model in Writing

Ronald C Sheffield Couverture souple
22,50 $
Trends In Natural Language Generation: An Artificial Intelligence Perspective: Fourth European Workshop, EWNLG '93, Pisa, Italy, April 28-30, 1993 Selected Papers

Couverture souple
71,50 $
Analyzing Social Media Networks with NodeXL: Insights from a Connected World

Derek Hansen, Ph.D., University of Michigan Livre numérique Kobo
41,99 $ ~~Réduction sur le prix courant 52,00 $ à~~
2 formats offerts
Advances in Artificial Life and Evolutionary Computation: 9th Italian Workshop, WIVACE 2014, Vietri sul Mare, Italy, May 14-15, Revised Selected Papers

Clara Pizzuti Couverture souple
80,50 $
2 formats offerts
Universal Time-series Forecasting With Mixture Predictors

Daniil Ryabko Couverture souple
80,50 $
2 formats offerts
Vision and Actualization in Academia: Georgia Tech's College of Computing

Peter A. Freeman Couverture souple
58,50 $
Vision and Actualization in Academia: Georgia Tech's College of Computing

Peter A. Freeman Couverture rigide
55,50 $
2 formats offerts
ChatGPT Prompt Engineering - Unlock the Secrets to Viral Campaigns with AI-Optimized Prompts

Anthony Joseph Livre numérique Kobo
8,99 $
Introducing Mlops: How To Scale Machine Learning In The Enterprise

Mark Treveil Couverture souple
82,99 $
2 formats offerts
Market Data Analysis Using Jmp

Walter R Paczkowski Couverture souple
80,02 $
2 formats offerts
Running Windows Containers on AWS: A complete guide to successfully running Windows containers on Amazon ECS, EKS, and AWS Fargate

Marcio Morales Couverture souple
53,99 $
2 formats offerts
Too Many Hats, Too Little Time: Productivity Reimagined with AI Personas

Michael J Goldrich Couverture rigide
33,99 $
User's Guide For AWOL LTV-3500 Pro: Revealing the Strategies, Tips and Tricks for Mastering the Projector

Kevin Editions Couverture souple
26,00 $
Designing Interfaces in Public Settings: Understanding the Role of the Spectator in Human-Computer Interaction

Stuart Reeves Couverture souple
217,95 $
3 formats offerts
Pragmatic Internet of Everything (IOE) for Smart Cities: 360-Degree Perspective

Couverture souple
76,95 $
Carte-cadeau

Indigo

Évaluation éditoriale

kostas chatzikokolakis

Auteur

Programming Languages with Applications to Biology and Security: Essays Dedicated To Pierpaolo Degano On The Occasion Of His 65th Birthday

Chiara Bodei Couverture souple
80,50 $
2 formats offerts
Symposium On Real-time And Hybrid Systems: Essays Dedicated To Professor Chaochen Zhou On The Occasion Of His 80th Birthday

Cliff Jones Couverture souple
80,50 $
2 formats offerts
Models, Languages, And Tools For Concurrent And Distributed Programming: Essays Dedicated To Rocco De Nicola On The Occasion Of His 65th Birthday

Michele Boreale Couverture souple
80,50 $
2 formats offerts
Treewidth, Kernels, And Algorithms: Essays Dedicated To Hans L. Bodlaender On The Occasion Of His 60th Birthday

Fedor V. Fomin Couverture souple
102,50 $
2 formats offerts
Model Checking, Synthesis, And Learning: Essays Dedicated To Bengt Jonsson On The Occasion Of His 60th Birthday

Ernst-Rüdiger Olderog Couverture souple
102,50 $
2 formats offerts
Next-gen Digital Services. A Retrospective And Roadmap For Service Computing Of The Future: Essays Dedicated To Michael Papazoglou On The Occasion Of His 65th Birthday And His Retirement

Marco Aiello Couverture souple
80,50 $
2 formats offerts
The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hahnle on the Occasion of His 60th Birthday

Wolfgang Ahrendt Couverture souple
160,95 $
2 formats offerts
A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday

Nils Jansen Couverture souple
80,50 $
2 formats offerts
The Application of Formal Methods: Essays Dedicated to Jim Woodcock on the Occasion of His Retirement

Simon Foster Couverture souple
109,50 $
2 formats offerts
Applicable Formal Methods for Safe Industrial Products: Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday

Anne E. Haxthausen Couverture souple
109,50 $
2 formats offerts
The Combined Power of Research, Education, and Dissemination: Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday

Mike Hinchey Couverture souple
109,50 $
2 formats offerts
Formal Methods In Outer Space: Essays Dedicated To Klaus Havelund On The Occasion Of His 65th Birthday

Ezio Bartocci Couverture souple
87,95 $
2 formats offerts
Computation, Cooperation, and Life: Essays Dedicated to Gheorghe Paun on the Occasion of His 60th Birthday

Jozef Kelemen Couverture souple
80,50 $
Protocols, Strands, And Logic: Essays Dedicated To Joshua Guttman On The Occasion Of His 66.66th Birthday

Daniel Dougherty Couverture souple
116,95 $
2 formats offerts
Logics and Type Systems in Theory and Practice: Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday

Venanzio Capretta Couverture souple
189,95 $
2 formats offerts
Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday

Jonathan P. Bowen Couverture souple
116,95 $
2 formats offerts
The Application of Formal Methods: Essays Dedicated to Jim Woodcock on the Occasion of His Retirement

Simon Foster Couverture souple
72,95 $
Fields Of Logic And Computation Iii: Essays Dedicated To Yuri Gurevich On The Occasion Of His 80th Birthday

Andreas Blass Couverture souple
80,50 $
2 formats offerts
Taming the Infinities of Concurrency: Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday

Stefan Kiefer Couverture souple
189,95 $
2 formats offerts
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems: Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday

Pedro Lopez-garcia Couverture souple
204,50 $
2 formats offerts

The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy: Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday

Description

Vous aimerez peut-être aussi

Fundamentals of Digital Logic with VHDL Design with CD-ROM

Pixels and Place: Designing Human Experience Across Physical and Digital Spaces

Manual on Uniform Traffic Control Devices (MUTCD 2023) 11th edition

The Openmp Common Core: Making Openmp Simple Again

The Langchain And Llm Evolution: Unveiling the Impact of AI Language Model in Writing

Trends In Natural Language Generation: An Artificial Intelligence Perspective: Fourth European Workshop, EWNLG '93, Pisa, Italy, April 28-30, 1993 Selected Papers

Analyzing Social Media Networks with NodeXL: Insights from a Connected World

Advances in Artificial Life and Evolutionary Computation: 9th Italian Workshop, WIVACE 2014, Vietri sul Mare, Italy, May 14-15, Revised Selected Papers

Universal Time-series Forecasting With Mixture Predictors

Vision and Actualization in Academia: Georgia Tech's College of Computing

Vision and Actualization in Academia: Georgia Tech's College of Computing

ChatGPT Prompt Engineering - Unlock the Secrets to Viral Campaigns with AI-Optimized Prompts

Introducing Mlops: How To Scale Machine Learning In The Enterprise

Market Data Analysis Using Jmp

Running Windows Containers on AWS: A complete guide to successfully running Windows containers on Amazon ECS, EKS, and AWS Fargate

Too Many Hats, Too Little Time: Productivity Reimagined with AI Personas

User's Guide For AWOL LTV-3500 Pro: Revealing the Strategies, Tips and Tricks for Mastering the Projector

Designing Interfaces in Public Settings: Understanding the Role of the Spectator in Human-Computer Interaction

Pragmatic Internet of Everything (IOE) for Smart Cities: 360-Degree Perspective

Carte-cadeau

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

Programming Languages with Applications to Biology and Security: Essays Dedicated To Pierpaolo Degano On The Occasion Of His 65th Birthday

Symposium On Real-time And Hybrid Systems: Essays Dedicated To Professor Chaochen Zhou On The Occasion Of His 80th Birthday

Models, Languages, And Tools For Concurrent And Distributed Programming: Essays Dedicated To Rocco De Nicola On The Occasion Of His 65th Birthday

Treewidth, Kernels, And Algorithms: Essays Dedicated To Hans L. Bodlaender On The Occasion Of His 60th Birthday

Model Checking, Synthesis, And Learning: Essays Dedicated To Bengt Jonsson On The Occasion Of His 60th Birthday

Next-gen Digital Services. A Retrospective And Roadmap For Service Computing Of The Future: Essays Dedicated To Michael Papazoglou On The Occasion Of His 65th Birthday And His Retirement

The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hahnle on the Occasion of His 60th Birthday

A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday

The Application of Formal Methods: Essays Dedicated to Jim Woodcock on the Occasion of His Retirement

Applicable Formal Methods for Safe Industrial Products: Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday

The Combined Power of Research, Education, and Dissemination: Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday

Formal Methods In Outer Space: Essays Dedicated To Klaus Havelund On The Occasion Of His 65th Birthday

Computation, Cooperation, and Life: Essays Dedicated to Gheorghe Paun on the Occasion of His 60th Birthday

Protocols, Strands, And Logic: Essays Dedicated To Joshua Guttman On The Occasion Of His 66.66th Birthday

Logics and Type Systems in Theory and Practice: Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday

Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday

The Application of Formal Methods: Essays Dedicated to Jim Woodcock on the Occasion of His Retirement

Fields Of Logic And Computation Iii: Essays Dedicated To Yuri Gurevich On The Occasion Of His 80th Birthday

Taming the Infinities of Concurrency: Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems: Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday