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 RON46.99 RON
The Same Backward as Forward

The Same Backward as Forward

%93.99 RON51.99 RON
Arthur: The Seeing Stone : Book 1

Arthur: The Seeing Stone : Book 1

%50.99 RON42.99 RON
Love Arranged

Love Arranged

%71.99 RON44.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
The Mating Game

The Mating Game

%78.99 RON63.99 RON
We Fell Apart (Special Limited Edition)

We Fell Apart (Special Limited Edition)

%122.99 RON79.99 RON
Carmilla

Carmilla

%64.99 RON43.99 RON
Brigands & Breadknives

Brigands & Breadknives

%107.99 RON71.99 RON
Howl's Moving Castle 40th Anniversary Deluxe Edition

Howl's Moving Castle 40th Anniversary Deluxe Edition

%122.99 RON75.99 RON
Lights Out (Special Limited Edition)

Lights Out (Special Limited Edition)

%158.99 RON122.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 RON130.99 RON
Notes on Your Sudden Disappearance

Notes on Your Sudden Disappearance

%71.99 RON54.99 RON
Play Along

Play Along

%71.99 RON54.99 RON
Phantasma

Phantasma

%179.99 RON144.99 RON
Rejected

Rejected

%78.99 RON54.99 RON
Marple: Twelve New Stories

Marple: Twelve New Stories

%107.99 RON67.99 RON
Wild Card

Wild Card

%71.99 RON43.99 RON

Din aceeasi categorie

Ignorance

Ignorance

158.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
First Course in Algorithms Through Puzzles

First Course in Algorithms Through Puzzles

396.99 RON
Rigorous Software Development

Rigorous Software Development

720.99 RON
Quantum Computing

Quantum Computing

288.99 RON
Quantum Computing

Quantum Computing

872.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
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
The Mathematicians' Library

The Mathematicians' Library

201.99 RON
Cybersecurity 2050

Cybersecurity 2050

381.99 RON
Principles of Formal Quantitative Analysis

Principles of Formal Quantitative Analysis

468.99 RON
Scientific Cognition, Semiotics, and Computational Agents: Essays in Honor of Lorenzo Magnani - Volume 2

Scientific Cognition, Semiotics, and Computational Agents: Essays in Honor of Lorenzo Magnani - Volume 2

793.99 RON