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

Solutions Manual To Accompany Engineering Materials Science

Milton Ohring Couverture souple
38,50 $
Introduction to Chemical Engineering Kinetics and Reactor Design

Charles G. Hill Couverture rigide
211,95 $
2 formats offerts
Advanced Materials Characterization: Basic Principles, Novel Applications, and Future Directions

Ch Sateesh Kumar Couverture souple
91,95 $
3 formats offerts
Advances in Material Science and Engineering: Selected articles from ICMMPE 2021

Seyed Sattar Emamian Couverture rigide
248,50 $
2 formats offerts
Advances in Material Science and Engineering: Selected Articles from ICMMPE 2022

Mokhtar Awang Couverture souple
262,95 $
2 formats offerts
Advances in Material Science and Engineering: Selected articles from ICMMPE 2020

Mokhtar Awang Couverture souple
175,50 $
Advances In Material Science And Engineering: Selected Articles From Icmmpe 2020

Mokhtar Awang Couverture rigide
248,50 $
2 formats offerts
Advanced Hybrid Composite Materials and their Applications

Ibrahim M. Alarifi Couverture souple
310,95 $
2 formats offerts
Advances in Smart Nanomaterials and their Applications

Azamal Husen Couverture souple
340,50 $
2 formats offerts
Trends In Mechanical And Biomedical Design: Select Proceedings Of Icmechd 2019

Esther Titilayo Akinlabi Couverture souple
248,50 $
2 formats offerts
Advances In Construction Materials And Structures: Select Proceedings Of Icon 2019

Jaganathan Jayaprakash Couverture rigide
408,95 $
2 formats offerts
Advances In Construction Materials And Structures: Select Proceedings Of Icon 2019

Jaganathan Jayaprakash Couverture souple
408,95 $
Introduction to Manufacturing Processes

Mikell P. Groover Couverture souple
263,95 $
Regional Geology And Tectonics: Principles Of Geologic Analysis: Volume 1: Principles Of Geologic Analysis

Nicola Scarselli Couverture souple
296,50 $
3 formats offerts
Applied Polymer Rheology: Polymeric Fluids with Industrial Applications

Couverture rigide
191,95 $
2 formats offerts
Nature-inspired Computation In Data Mining And Machine Learning

Xin-she Yang Couverture souple
175,50 $
Polyamide Thin Film Composite Membranes for Water Applications: Advanced Characterization Techniques

Shirley Ying Siew Khoo Couverture rigide
99,50 $
2 formats offerts
Electro-Optical Deflection Measuring Device (Classic Reprint)

R. A. Crist Couverture souple
7,97 $
2 formats offerts
Recent Trends in Mechanical Engineering: Select Proceedings of PRIME 2021

Ambrish Maurya Couverture souple
364,95 $
2 formats offerts
Applications Of Computational Methods In Manufacturing And Product Design: Select Proceedings Of Ipdims 2020

B. B. V. L. Deepak Couverture rigide
364,95 $
2 formats offerts

Évaluation éditoriale

besik dundua

Auteur

Conducting Technology Acceptance Research in Education: Theory, Models, Implementation, and Analysis

Ömer Faruk Ursava Couverture souple
80,50 $
2 formats offerts
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 $
Representation and Inference for Natural Language: A First Course in Computational Semantics

Patrick Blackburn Couverture souple
39,00 $
Introductory Statistics For Business And Economics: Theory, Exercises And Solutions

Jan Uboe Couverture rigide
145,95 $
2 formats offerts
Interactive Operations Research with Maple: Methods and Models

Mahmut Parlar Couverture souple
80,50 $
2 formats offerts
Formal Analysis By Abstract Interpretation: Case Studies In Modern Protocols

Benjamin Aziz Couverture souple
94,95 $
2 formats offerts
Planning and Architectural Design of Modern Command Control Communications and Information Systems: Military And Civilian Applications

A. Nejat Ince Couverture souple
321,50 $
3 formats offerts
Macroeconomic Forecasting In The Era Of Big Data: Theory And Practice

Peter Fuleky Couverture souple
408,95 $
Concepts and Methodologies for Modeling and Simulation: A Tribute To Tuncer Oren

Levent Yilmaz Couverture rigide
160,95 $
2 formats offerts
Nonparametric Kernel Density Estimation And Its Computational Aspects

Artur Gramacki Couverture rigide
233,95 $
2 formats offerts
Art and IR Theory: Visual Semiotic Games

Serdar Güner Couverture souple
145,95 $
Modeling of Archaeomagnetic Anomaly Maps

Hazel Deniz Toktay Couverture souple
80,50 $
2 formats offerts
Applications of Modern Production Theory: Efficiency and Productivity

Couverture souple
142,95 $
2 formats offerts
Derivatives: Theory And Practice Of Trading, Valuation, And Risk Management

Ji Witzany Couverture rigide
204,50 $
2 formats offerts
What is Meaning?: Fundamentals of Formal Semantics

Paul H. Portner Couverture souple
56,95 $
2 formats offerts
Affective Computing and Sentiment Analysis: Emotion, Metaphor and Terminology

Khurshid Ahmad Couverture souple
204,50 $
3 formats offerts
Studies In Linear And Non-Linear Programming: Stanford Mathematical Studies In The Social Sciences, No. 2

Couverture rigide
57,50 $
Computational Modeling of Multilevel Organisational Learning and Its Control Using Self-modeling Network Models

Gülay Canbalo Couverture rigide
291,95 $
2 formats offerts
Feature System for Quantification Structures in Natural Language

Irena Bellert Couverture rigide
164,99 $