Passer au contenu principal Passer au contenu du pied de page

Handbook of Formal Analysis and Verification in Cryptography

Sedat Akleylek Édition : Besik Dundua

19 septembre 2023

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

Description

Langue

anglais

Pages

444

Prospects in Pure and Applied Mathematics

Publié par: CRC Press

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

ISBN: 9780367546656

Physical Modeling And Computational Techniques For Thermal And Fluid-dynamics: Practical Numerical Mathematics

Maurizio Bottoni Couverture rigide
291,95 $
2 formats offerts
Computational Intelligence based Optimization of Manufacturing Process for Sustainable Materials

Deepak Sinwar Couverture rigide
222,50 $
3 formats offerts
Optimization in Industrial Engineering: From Classical Methods to Modern Metaheuristics with MATLAB Applications

Erik Cuevas Couverture rigide
87,95 $
Machine Learning for Econometrics and Related Topics

Vladik Kreinovich Couverture rigide
408,95 $
2 formats offerts
Machine Learning for Econometrics and Related Topics

Vladik Kreinovich Couverture souple
58,50 $
Electro-hydraulic Actuation Systems: Design, Testing, Identification And Validation

J. Jaidev Vyas Couverture souple
80,50 $
2 formats offerts
Introduction to Hydrogen Technology

K. S. V. Santhanam Couverture rigide
205,95 $
2 formats offerts
A Distributed Coordination Approach to Reconfigurable Process Control

Nirav Chokshi Couverture souple
160,95 $
2 formats offerts
Descriptor Systems of Integer and Fractional Orders

Tadeusz Kaczorek Couverture souple
204,50 $
Descriptor Systems Of Integer And Fractional Orders

Tadeusz Kaczorek Couverture rigide
204,50 $
2 formats offerts
Manual Engineering Statistics, 5e Student Solutions

Douglas C. Montgomery Couverture souple
82,95 $
Mathematical Modeling And Optimization Of Complex Structures

Pekka Neittaanm Couverture souple
160,95 $
3 formats offerts
Computational Models for Polydisperse Particulate and Multiphase Systems

Daniele L. Marchisio Livre numérique Kobo
188,99 $ ~~Réduction sur le prix courant 235,95 $ à~~
Numerical Simulation of Distributed Parameter Processes

Tiberiu Colosi Couverture souple
160,95 $
3 formats offerts
Advanced Materials Modelling For Mechanical, Medical And Biological Applications

Holm Altenbach Couverture rigide
262,95 $
2 formats offerts
Foundation Engineering: Geotechnical Principles and Practical Applications

Richard L. Handy Couverture rigide
177,95 $
2 formats offerts
Advanced Materials Modelling for Mechanical, Medical and Biological Applications

Holm Altenbach Couverture souple
262,95 $
Optimization For Chemical And Biochemical Engineering: Theory, Algorithms, Modeling And Applications

Vassilios S. Vassiliadis Couverture rigide
108,95 $
Differential Transformation Method For Mechanical Engineering Problems

Mohammad Hatami Couverture souple
251,95 $
2 formats offerts
Solid-State Lasers: A Graduate Text

Walter Koechner Couverture souple
80,50 $
2 formats offerts

Évaluation éditoriale

besik dundua

Auteur

Turkish Natural Language Processing

Kemal Oflazer Couverture souple
160,95 $
3 formats offerts
Derivation and Validation of Software Metrics

Martin Shepperd Couverture rigide
84,00 $
Conducting Technology Acceptance Research in Education: Theory, Models, Implementation, and Analysis

Ömer Faruk Ursava Couverture souple
80,50 $
2 formats offerts
Graph Theory: An Introduction To Proofs, Algorithms, And Applications

Karin R Saoub Couverture rigide
170,50 $
2 formats offerts
Formal Analysis By Abstract Interpretation: Case Studies In Modern Protocols

Benjamin Aziz Couverture souple
94,95 $
2 formats offerts
Elements of Formal Semantics: An Introduction to the Mathematical Theory of Meaning in Natural Language

Yoad Winter Couverture souple
38,99 $
2 formats offerts
Language Policy and Planning for the Modern Olympic Games

Jie Zhang Couverture souple
29,93 $
A Semiotics of Muslimness in China

Ibrar Bhatt Couverture souple
26,37 $
2 formats offerts
Geometry, Algebra, Number Theory, And Their Information Technology Applications: Toronto, Canada, June, 2016, And Kozhikode, India, August, 2016

Amir Akbary Couverture souple
248,50 $
3 formats offerts
Understanding Z: A Specification Language and its Formal Semantics

J. M. Spivey Couverture souple
51,95 $
Program Development by Refinement: Case Studies Using the B Method

Emil Sekerinski Couverture souple
321,50 $
Introductory Statistics For Business And Economics: Theory, Exercises And Solutions

Jan Uboe Couverture rigide
145,95 $
2 formats offerts
Repositories for Print: Strategies for Access, Preservation and Democracy

Couverture rigide
158,99 $
Feature System for Quantification Structures in Natural Language

Irena Bellert Couverture rigide
164,99 $
Representation and Inference for Natural Language: A First Course in Computational Semantics

Patrick Blackburn Couverture souple
39,00 $
Networks: Optimisation and Evolution

Peter Whittle Couverture souple
79,95 $
2 formats offerts
What is Meaning?: Fundamentals of Formal Semantics

Paul H. Portner Couverture souple
56,95 $
2 formats offerts
Why is ‘Why’ Unique?: Its Syntactic and Semantic Properties

Couverture souple
28,99 $
2 formats offerts
Interactive Operations Research with Maple: Methods and Models

Mahmut Parlar Couverture souple
80,50 $
2 formats offerts
Business Optimization Using Mathematical Programming: An Introduction With Case Studies And Solutions In Various Algebraic Modeling Languages

Josef Kallrath Couverture rigide
233,95 $
2 formats offerts