Pagina principala Proof Theory and Logic Programming
Proof Theory and Logic Programming

Proof Theory and Logic Programming

Autor: Miller, Dale (INRIA Saclay-Ile-de-France)

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

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

DETALII

Citeste mai mult

Descriere RO

AutorMiller, Dale (INRIA Saclay-Ile-de-France)
EdituraCambridge University Press
Dimensiuni
Data Publicarii31/12/2025
FormatCartonata
Numar pagini334

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

Digital Twin Technology in Condition Monitoring of Wind Turbines

Digital Twin Technology in Condition Monitoring of Wind Turbines

1226.99 RON
IPv6 Fundamentals

IPv6 Fundamentals

540.99 RON
IPv6 Fundamentals

IPv6 Fundamentals

1153.99 RON
Forensic Investigation of Smart Digital Devices

Forensic Investigation of Smart Digital Devices

793.99 RON
Forensic Investigation of Smart Digital Devices

Forensic Investigation of Smart Digital Devices

324.99 RON
Systematic Security: Building Quantum Security

Systematic Security: Building Quantum Security

793.99 RON
Cultures of Programming

Cultures of Programming

612.99 RON
Python Programming Language

Python Programming Language

64.99 RON
Python Standard Library

Python Standard Library

64.99 RON
Unleashing User Innovation

Unleashing User Innovation

1081.99 RON
Metaverse Platform Implementation

Metaverse Platform Implementation

829.99 RON
Bluetooth LE Audio

Bluetooth LE Audio

468.99 RON
Quantum Computing

Quantum Computing

1189.99 RON
Transforming Cybersecurity with Machine Learning

Transforming Cybersecurity with Machine Learning

648.99 RON
AI-Aided IoT Technologies and Applications for Smart Business and Production

AI-Aided IoT Technologies and Applications for Smart Business and Production

360.99 RON
5G and Beyond Wireless Networks

5G and Beyond Wireless Networks

360.99 RON
Advances in Digital Marketing in the Era of Artificial Intelligence

Advances in Digital Marketing in the Era of Artificial Intelligence

360.99 RON
Blockchain-based Internet of Things

Blockchain-based Internet of Things

360.99 RON
Social Engineering in Cybersecurity

Social Engineering in Cybersecurity

360.99 RON
Practical Approach to Open Source Intelligence (OSINT)

Practical Approach to Open Source Intelligence (OSINT)

324.99 RON