Passer au contenu principal Passer au contenu du pied de page

Formal Methods for Protocol Engineering and Distributed Systems: Forte XII / PSTV XIX'99

Samuel T. Jianping Wu Édition : Samuel T. Chanson , Quiang Quiang Gao

18 avril 2013

321,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 1 608 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

500

IFIP Advances in Information and Communication Technology

Publié par: Springer/Sci-Tech/Trade

Dimensions à l’expédition: 11" H x 8" W x 1" L

ISBN: 9781475752700

Handbook of Human Factors for Automated, Connected, and Intelligent Vehicles

Donald L. Fisher Couverture souple
91,95 $
3 formats offerts
The Ultimate Modern Guide to Artificial Intelligence: Including Machine Learning, Deep Learning, IoT, Data Science, Robotics, The Future of Jobs, Required Upskilling and Intelligent Industries

Enamul Haque Couverture souple
33,95 $
Brain Technology in Augmented Cognition: Current and Future Trends

Suraj Sood Couverture rigide
96,50 $
2 formats offerts
Advances in Intelligent Systems: Selected papers from 2012 International Conference on Control Systems (ICCS 2012), March 1-2, Hong Kong

Gary Lee Couverture souple
321,50 $
Brain Technology in Augmented Cognition: Current and Future Trends

Suraj Sood Couverture rigide
96,50 $
2 formats offerts
Digital Personality: A Man Forever Volume 2: Technical Aspects

Kuldeep Singh Kaswan Couverture rigide
281,50 $
2 formats offerts
VLSI High-Speed I/O Circuits - Problems, Projects, and Questions

Hongjiang Song Couverture souple
76,95 $
Transactions On Computational Collective Intelligence Xxi: Special Issue On Keyword Search And Big Data

Ngoc Thanh Nguyen Couverture souple
80,50 $
2 formats offerts
Agent-Mediated Electronic Commerce VI: Theories for and Engineering of Distributed Mechanisms and Systems, AAMAS 2004 Workshop, Amec 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers

Peyman Faratin Couverture souple
80,50 $
Earth Observation Data Analytics Using Machine and Deep Learning: Modern tools, applications and challenges

Couverture rigide
188,50 $
Mastering Command & Control: Exploring C2 Frameworks using Kali Linux

Daniel W Dieterle Couverture souple
39,00 $
Software-defined Networking And Security: From Theory To Practice

Dijiang Huang Couverture souple
91,95 $
3 formats offerts
MQTT Essentials - A Lightweight IoT Protocol: Send and receive messages with the MQTT protocol for your IoT solutions.

Gastón C Hillar Couverture souple
53,99 $
2 formats offerts
Computer Vision and Mathematical Methods in Medical and Biomedical Image Analysis: ECCV 2004 Workshops CVAMIA and MMBIA Prague, Czech Republic, May 15, 2004, Revised Selected Papers

Milan Sonka Couverture souple
80,50 $
The Handbook on Socially Interactive Agents: 20 Years of Research on Embodied Conversational Agents, Intelligent Virtual Agents, and Social Robotics Volume 1: Methods, Behavior, Cognition

Couverture rigide
101,95 $
The Handbook on Socially Interactive Agents: 20 years of Research on Embodied Conversational Agents, Intelligent Virtual Agents, and Social Robotics Volume 1: Methods, Behavior, Cognition

Livre numérique Kobo
52,99 $ ~~Réduction sur le prix courant 65,69 $ à~~
The Handbook on Socially Interactive Agents: 20 Years of Research on Embodied Conversational Agents, Intelligent Virtual Agents, and Social Robotics Volume 1: Methods, Behavior, Cognition

Couverture souple
76,75 $
The Handbook on Socially Interactive Agents: 20 Years of Research on Embodied Conversational Agents, Intelligent Virtual Agents, and Social Robotics, Volume 2: Interactivity, Platforms, Application

Couverture rigide
123,89 $
No-Code Artificial Intelligence: The new way to build AI powered applications (English Edition)

Ambuj Agrawal Livre numérique Kobo
16,99 $ ~~Réduction sur le prix courant 20,48 $ à~~
Getting Started With Iphone Sdk, Android And Others: Mobile Application Development - Create Your Mobile Applications Best Practices Guide

Steven Hall Couverture souple
24,95 $
2 formats offerts

Évaluation éditoriale

samuel t chanson

Auteur

Formal Techniques for Networked and Distributed Systems: FORTE 2001

Myungchul Myungchul Kim Couverture souple
321,50 $
2 formats offerts
Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10-13, 2000, Pisa, Ita

Tommaso Bolognesi Couverture souple
321,50 $
2 formats offerts
Data and Applications Security XVII: Status and Prospects

Sabrina De Capitani Di Vimer Couverture souple
248,50 $
2 formats offerts
Formal Description Techniques And Protocol Specification, Testing And Verification: Forte X / Pstv Xvii '97

Atsushi Togashi Couverture souple
321,50 $
2 formats offerts
Database Security XII: Status and Prospects

Sushil Jajodia Couverture souple
248,50 $
2 formats offerts
From Specification to Embedded Systems Application

Achim Rettberg Couverture souple
160,95 $
2 formats offerts
diffusion, Transfer And Implementation Of Information Technology

L. Levine Couverture souple
362,95 $
High Performance Computational Science and Engineering: IFIP TC5 Workshop on High Performance Computational Science and Engineering (HPCSE), World Computer Congress, August 22-27, 2004, Toulouse, France

Michael K. Ng Couverture souple
160,95 $
2 formats offerts
Artificial Intelligence and Innovations 2007: From Theory to Applications: Proceedings of the 4th IFIP International Conference on Artificial Intelligence Applications and Innovations (AIAI2007)

Christos Boukis Couverture souple
160,95 $
2 formats offerts
Environmental Software Systems: Proceedings of the International Symposium on Environmental Software Systems, 1995

Ralf Denzer Couverture souple
437,95 $
3 formats offerts
Advanced Information Networking and Applications: Proceedings of the 35th International Conference on Advanced Information Networking and Applications (AINA-2021), Volume 1

Leonard Barolli Couverture souple
321,50 $
2 formats offerts
Software Engineering Techniques: Design For Quality

Krzysztof Sacha Couverture souple
160,95 $
2 formats offerts
Advanced Information Networking and Applications: Proceedings of the 35th International Conference on Advanced Information Networking and Applications (AINA-2021), Volume 3

Leonard Barolli Couverture souple
481,95 $
2 formats offerts
Advanced Information Networking and Applications: Proceedings of the 35th International Conference on Advanced Information Networking and Applications (AINA-2021), Volume 2

Leonard Barolli Couverture souple
321,50 $
2 formats offerts
Web, Artificial Intelligence and Network Applications: Proceedings of the Workshops of the 33rd International Conference on Advanced Information Networking and Applications (WAINA-2019)

Leonard Barolli Couverture souple
321,50 $
2 formats offerts
Modern Trends and Techniques in Computer Science: 3rd Computer Science On-line Conference 2014 (CSOC 2014)

Radek Silhavy Couverture souple
321,50 $
2 formats offerts
Innovations and Advances in Cognitive Systems: ICIACS 2024, Volume 2

S. D. Prabu Ragavendiran Couverture rigide
364,95 $
2 formats offerts
Software Engineering Methods In Intelligent Algorithms: Proceedings Of 8th Computer Science On-line Conference 2019, Vol. 1

Radek Silhavy Couverture souple
248,50 $
2 formats offerts
Advanced Information Networking and Applications: Proceedings of the 33rd International Conference on Advanced Information Networking and Applications (AINA-2019)

Leonard Barolli Couverture souple
321,50 $
Advances in Information Systems Research, Education and Practice: IFIP 20th World Computer Congress, TC 8, Information Systems, September 7-10, 2008, Milano, Italy

David Avison Couverture souple
160,95 $
2 formats offerts