Passer au contenu principal Passer au contenu du pied de page

Introduction to Dependent Types with Idris: Encoding Program Proofs in Types

Boro Sitnikovski

18 mars 2023

45,50 $

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

Description

Langue

anglais

Pages

157

Publié par: Apress

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

ISBN: 9781484292587

Simplify Big Data Analytics with Amazon EMR: A beginner's guide to learning and implementing Amazon EMR for building data analytics solutions

Sakti Mishra Couverture souple
59,99 $
2 formats offerts
Designing Large Language Model Applications: A Holistic Approach to LLMs

Suhas Pai Couverture souple
99,99 $
How Interval and Fuzzy Techniques Can Improve Teaching: Processing Educational Data: From Traditional Statistical Techniques to an Appropriate Combination of Probabilistic, Interval, and Fuzzy Approaches

Olga Kosheleva Couverture souple
160,95 $
3 formats offerts
Practical Application Development With Apprun: Building Reliable, High-performance Web Apps Using Elm-inspired Architecture, Event Pub-sub, And Co

Yiyi Sun Couverture souple
49,95 $
2 formats offerts
Patterns of agile and creative methods for Solo-Entrepreneurs - an empirical research

Jörg Stroisch Livre numérique Kobo
69,99 $
Hands-on Question Answering Systems With Bert: Applications In Neural Networks And Natural Language Processing

Navin Sabharwal Couverture souple
65,95 $
2 formats offerts
XGBoost for Regression Predictive Modeling and Time Series Analysis: Build intuitive understanding, develop, build, evaluate and deploy model

Joyce Weiner Livre numérique Kobo
40,99 $ ~~Réduction sur le prix courant 50,99 $ à~~
Artificial Companion For Second Language Conversation: Chatbots Support Practice Using Conversation Analysis

Couverture souple
205,29 $
Artificial Companion For Second Language Conversation: Chatbots Support Practice Using Conversation Analysis

Sviatlana Höhn Couverture rigide
222,95 $
UX/UI For Lean Startups: A Guide to researching Practical Techniques For Designing Unique User Experience and Better Products

Maurice Jayson Couverture souple
12,95 $
Content-Based Audio Classification and Retrieval for Audiovisual Data Parsing

C.C. Jay Tong Zhang Couverture souple
160,95 $
3 formats offerts
Bioinformatics: A Practical Guide To Ncbi Databases And Sequence Alignments

Hamid D. Ismail Couverture rigide
162,95 $
2 formats offerts
An Introduction to Programming Languages: Simultaneous Learning in Multiple Coding Environments

Paul A. Gagniuc Couverture rigide
116,95 $
2 formats offerts
Deep Learning In Gaming And Animations: Principles And Applications

Vikas Chaudhary Couverture rigide
207,50 $
2 formats offerts
Performance Analysis of Parallel Applications for HPC

Jidong Zhai Couverture rigide
262,95 $
2 formats offerts
Electro-Acupuncture for Practitioners: Including New Techniques and How Acupuncture and Electro-Acupuncture Really Works Scientifically

Mark Reinhard B E E L Ac /Eamp Couverture souple
70,95 $
2 formats offerts
eLearning and Mobile Learning - Concept and Script: Handbook for Media Authors and Project Managers

Daniela Modlinger Couverture rigide
116,95 $
2 formats offerts
Business Intelligence avec SQL Server: des concepts à la conception de rapports avec SSRS

Sébastien Fantini Coffret
119,00 $
Designing Gestural Interfaces: Touchscreens and Interactive Devices

Dan Saffer Couverture souple
65,99 $
2 formats offerts
Multimodal Processing and Interaction: Audio, Video, Text

Petros Maragos Couverture souple
248,50 $

Évaluation éditoriale

Auteur

An Extended Structured Query Language Incorporating Object Data Types for the Construction Industry

Kevin Hollister Couverture souple
69,00 $
A Comparison of Three Types of Item Analysis in Test Development Using Classical and Latent Trait Methods

Iris G. Benson Couverture souple
17,95 $
3 formats offerts
The Structure of Style: Algorithmic Approaches to Understanding Manner and Meaning

Couverture souple
142,95 $
3 formats offerts
Machine Translation and Transliteration involving Related, Low-resource Languages

Anoop Kunchukuttan Couverture rigide
296,50 $
2 formats offerts
Php 8 Revealed: Use Attributes, The Jit Compiler, Union Types, And More For Web Development

Gunnard Engebreth Couverture souple
58,50 $
2 formats offerts
Introducing Charticulator For Power Bi: Design Vibrant And Customized Visual Representations Of Data

Alison Box Couverture souple
87,95 $
2 formats offerts
Exploratory Data Analysis with Python Cookbook: Over 50 recipes to analyze, visualize, and extract insights from structured and unstructured data

Ayodele Oluleye Couverture souple
63,99 $
From Complex Sentences to a Formal Semantic Representation using Syntactic Text Simplification and Open Information Extraction

Christina Niklaus Couverture souple
80,50 $
2 formats offerts
A Jbi Information Object Engineering Environment Utilizing Metadata Fragments For Refining Searches On Semantically-related Object Types

Felicia N Harlow Couverture souple
60,51 $
The Ultimate Guide to Functions in Power Query: Turn Raw Data into Actionable Insights

Omid Motamedisedeh Couverture souple
58,50 $
Extending Power BI with Python and R - Second Edition: Perform advanced analysis using the power of analytical languages

Luca Zavarella Couverture souple
69,99 $
Certified Programming With Dependent Types: A Pragmatic Introduction To The Coq Proof Assistant

Adam Chlipala Couverture souple
79,00 $
Information flow control for java: a comprehensive approach based on path conditions in dependence Graphs

Christian Hammer Couverture souple
68,95 $
Protocol Buffers Handbook: Getting deeper into Protobuf internals and its usage

Clément Jean Couverture souple
50,99 $
Multi-variant User Interfaces in E-commerce: A Practical Approach to UI Personalization

Adam Wasilewski Couverture rigide
145,95 $
2 formats offerts
Reconciling Abstraction with High Performance: A MetaOCaml approach

Oleg Kiselyov Couverture souple
104,00 $
Behavioural Types: From Theory to Tools

Simon Gay Couverture souple
69,95 $
4 formats offerts
Basics of Power BI Modeling: The fundamental lessons of building a data model that works best for Power BI solutions

Reza Rad Couverture souple
77,95 $
Linux for Beginners: Introduction to Linux and its Variants, from Mint to Kali, from Debian to Ubuntu. Guide to Command Lines and uses for Information Security and Hacking

RICHARD MEYERS Couverture souple
22,95 $
Introduction to Robust Estimation and Hypothesis Testing

Livre numérique Kobo
110,99 $ ~~Réduction sur le prix courant 138,00 $ à~~
3 formats offerts