Pagina principala Proof Assistants and Their Applications in Mathematics and Computer Science
Proof Assistants and Their Applications in Mathematics and Computer Science

Proof Assistants and Their Applications in Mathematics and Computer Science


Disponibilitate: IN CURS DE PUBLICARE (se va livra din Marea Britanie in 3-6 saptamani de la data publicarii: 12/02/2026)
SKU:
9783031851896

468.99 RON
Okian.ro este o LIBRARIE online de carte in limba engleza.

DETALII

Citeste mai mult

Descriere RO

Autor
EdituraSpringer International Publishing AG
Dimensiuni235 x 155
Data Publicarii12/02/2026
FormatCartonata
Numar pagini390

Livrare din stoc

Fall I Want

Fall I Want

%71.99 RON53.99 RON
The Same Backward as Forward

The Same Backward as Forward

%93.99 RON56.99 RON
Love Arranged

Love Arranged

%71.99 RON44.99 RON
Alchemised

Alchemised

%158.99 RON93.99 RON
Fearful

Fearful

%107.99 RON74.99 RON
Powerless Ultra Deluxe Edition

Powerless Ultra Deluxe Edition

%215.99 RON169.99 RON
Arthur: The Seeing Stone : Book 1

Arthur: The Seeing Stone : Book 1

%50.99 RON42.99 RON
Carmilla

Carmilla

%64.99 RON57.99 RON
Howl's Moving Castle 40th Anniversary Deluxe Edition

Howl's Moving Castle 40th Anniversary Deluxe Edition

%122.99 RON89.99 RON
Wild Card

Wild Card

%71.99 RON50.99 RON
Wind and Truth

Wind and Truth

%136.99 RON93.99 RON
We Fell Apart : Return to the world of the TikTok sensation, We Were Liars

We Fell Apart : Return to the world of the TikTok sensation, We Were Liars

%64.99 RON46.99 RON
Lights Out (Special Limited Edition)

Lights Out (Special Limited Edition)

%158.99 RON122.99 RON
We Fell Apart (Special Limited Edition)

We Fell Apart (Special Limited Edition)

%122.99 RON94.99 RON
Brigands & Breadknives

Brigands & Breadknives

%107.99 RON71.99 RON
Play Along

Play Along

%71.99 RON59.99 RON
HOT WAX

HOT WAX

%114.99 RON70.99 RON
Coldwire

Coldwire

%107.99 RON89.99 RON
A River Enchanted

A River Enchanted

%179.99 RON115.99 RON
Daughter of No Worlds

Daughter of No Worlds

%114.99 RON81.99 RON

Din aceeasi categorie

Cryptocurrency Forensics and Investigation using Open Source Intelligence Techniques (OSINT)

Cryptocurrency Forensics and Investigation using Open Source Intelligence Techniques (OSINT)

324.99 RON
Cryptocurrency Forensics and Investigation using Open Source Intelligence Techniques (OSINT)

Cryptocurrency Forensics and Investigation using Open Source Intelligence Techniques (OSINT)

793.99 RON
First Course in Algorithms Through Puzzles

First Course in Algorithms Through Puzzles

396.99 RON
Machine Learning with Julia

Machine Learning with Julia

432.99 RON
A Mathematical Introduction to Data Science with Python

A Mathematical Introduction to Data Science with Python

324.99 RON
Rigorous Software Development

Rigorous Software Development

720.99 RON
Quantum Computing

Quantum Computing

872.99 RON
Quantum Computing

Quantum Computing

288.99 RON
Essays in Analysis

Essays in Analysis

201.99 RON
What Is Mathematical Logic?

What Is Mathematical Logic?

179.99 RON
Cybersecurity

Cybersecurity

829.99 RON
Cybersecurity

Cybersecurity

360.99 RON
Adaptive Backstepping Consensus Control for Nonlinear Multi-Agent Systems

Adaptive Backstepping Consensus Control for Nonlinear Multi-Agent Systems

1435.99 RON
I Wish They'd Taught Me That

I Wish They'd Taught Me That

215.99 RON
Minimal Cubature Rules

Minimal Cubature Rules

793.99 RON
Cause, Effect, and Everything in Between

Cause, Effect, and Everything in Between

122.99 RON
Decentralized Healing

Decentralized Healing

865.99 RON
Deep Generative Modeling

Deep Generative Modeling

360.99 RON
Cybersecurity 2050

Cybersecurity 2050

381.99 RON
Principles of Formal Quantitative Analysis

Principles of Formal Quantitative Analysis

468.99 RON