Passer au contenu principal Passer au contenu du pied de page

Formal Methods In Computer Science

Jiacun Wang , WILLIAM TEPFENHART

3 juillet 2019

162,95 $

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

Description

Langue

anglais

Pages

312

Textbooks in Mathematics

Publié par: Taylor & Francis

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

ISBN: 9781498775328

Computer Science Distilled: Learn the Art of Solving Computational Problems

Wladston Ferreira Filho Couverture souple
33,95 $
2 formats offerts
Human Computer Interaction Using Hand Gestures

Prashan Premaratne Couverture rigide
160,95 $
2 formats offerts
Trust Extension as a Mechanism for Secure Code Execution on Commodity Computers

Bryan Jeffrey Parno Couverture souple
70,46 $
3 formats offerts
Research Methodology and literature review on Optoelectronics and Lasers: III-V semiconductors, infrared lasers & detectors and wavelength tuning in lasers

Amit Kumar Singh (Muj) Couverture souple
7,95 $
A New Kind Of Computational Biology: Cellular Automata Based Models For Genomics And Proteomics

Parimal Pal Chaudhuri Couverture souple
80,50 $
3 formats offerts
Handbook Of Differential Entropy

Joseph Victor Michalowicz Couverture souple
122,95 $
2 formats offerts
Spectral Methods for Data Science: A Statistical Perspective

Yuxin Chen Couverture souple
128,95 $
Introduction to Computer Theory

Daniel I. A. Cohen Couverture souple
278,95 $
LOGISTICS OF FIFTH DIMENSION WAVES

Jerry D C Nelson Couverture souple
12,95 $
Artificial Intelligence of Things for Smarter Eco-Cities: Pioneering the Environmental Synergies of Urban Brain, Digital Twin, Metabolic Circularity, and Platform

Simon Elias Bibri Couverture rigide
488,50 $
The Innovation In Computing Companion: A Compendium Of Select, Pivotal Inventions

Gerard O'regan Couverture souple
43,95 $
2 formats offerts
Similar Languages, Varieties, And Dialects: A Computational Perspective

Couverture rigide
101,95 $
Evolution Of Air Interface Towards 5g: Radio Access Technology And Performance Analysis

Suvra Sekhar Das Couverture rigide
145,95 $
3 formats offerts
Handbook Of Random Forests: Theory And Applications For Remote Sensing

Ronny Hansch Couverture rigide
186,95 $
Research Methods and Solutions to Current Transport Problems: Proceedings of the International Scientific Conference Transport of the 21st Century, 9- 12th of June 2019, Ryn, Poland

Miros Siergiejczyk Couverture souple
248,50 $
2 formats offerts
Artificial Intelligence of Things for Smarter Eco-Cities: Pioneering the Environmental Synergies of Urban Brain, Digital Twin, Metabolic Circularity, and Platform

Simon Elias Bibri Couverture souple
182,50 $
Ransomware Analysis: Knowledge Extraction and Classification for Advanced Cyber Threat Intelligence

Claudia Lanza Livre numérique Kobo
91,99 $
Neuronal Dynamics: From Single Neurons To Networks And Models Of Cognition

Wulfram Gerstner Couverture souple
74,97 $
2 formats offerts
Minimum Error Entropy Classification

Joaquim P. Marques De S Couverture souple
160,95 $
2 formats offerts
New Paradigms in Human-Computer Interaction

Couverture rigide
209,43 $

Évaluation éditoriale

Auteur

Automata And Computability

Dexter C. Kozen Couverture souple
80,50 $
2 formats offerts
Quantum Computation

Helmut Bez Couverture rigide
148,50 $
2 formats offerts
Extremal Combinatorics: With Applications in Computer Science

Stasys Jukna Couverture souple
90,95 $
2 formats offerts
Applied Mathematics and Scientific Computing

Zlatko Drmac Couverture souple
248,50 $
2 formats offerts
Boolean Functions and Computation Models

Peter Clote Couverture souple
159,50 $
2 formats offerts
Computational and Mathematical Methods in Information Science and Engineering

Couverture rigide
156,92 $
Descriptive Complexity

Neil Immerman Couverture souple
145,95 $
2 formats offerts
Formal Methods For Software Engineering: Languages, Methods, Application Domains

Markus Roggenbach Couverture rigide
124,50 $
2 formats offerts
Introduction To Computation: Haskell, Logic And Automata

Donald Sannella Couverture rigide
55,50 $
2 formats offerts
Computational Electromagnetics

Thomas Rylander Couverture rigide
145,95 $
2 formats offerts
Computational Electromagnetics

Thomas Rylander Couverture souple
145,95 $
2 formats offerts
Computational And Analytic Methods In Science And Engineering

Christian Constanda Couverture rigide
160,95 $
2 formats offerts
Handbook of Mathematical Models in Computer Vision

Nikos Paragios Couverture souple
160,95 $
2 formats offerts
Advances in Applied Mechanics

Erik van der Giessen Livre numérique Kobo
180,99 $ ~~Réduction sur le prix courant 226,00 $ à~~
2 formats offerts
A Primer On Quantum Computing

Franklin De Lima Marquezino Couverture souple
94,95 $
2 formats offerts
Representation Theorems In Computer Science: A Treatment In Logic Engineering

Springer Nature Couverture souple
130,95 $
Ethical And Secure Computing: A Concise Module

Joseph Migga Kizza Couverture souple
62,95 $
4 formats offerts
Simulation Algorithms for Computational Systems Biology

Luca Marchetti Couverture souple
102,50 $
2 formats offerts
Introduction to Software Quality

Gerard O'regan Couverture souple
87,95 $
2 formats offerts
Computer Science Distilled: Learn the Art of Solving Computational Problems

Wladston Ferreira Filho Couverture souple
33,95 $
2 formats offerts