Ebook > Sains > Ilmu Komputer > Ilmu Komputer > Jean-Christophe Filliatre & Christine Paulin-Mohring: Types for Proofs and Programs (PDF)

Jean-Christophe Filliatre & Christine Paulin-Mohring
Types for Proofs and Programs [PDF ebook]
International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers

Dukung

Sampul Jean-Christophe Filliatre & Christine Paulin-Mohring: Types for Proofs and Programs (PDF)

€57.63

Beli ebook ini dan dapatkan 1 lagi GRATIS!

Bahasa Inggris ● Format PDF ● ISBN 9783540314295 ● Editor Jean-Christophe Filliatre & Christine Paulin-Mohring ● Penerbit Springer Berlin Heidelberg ● Diterbitkan 2006 ● Diunduh 3 kali ● Mata uang EUR ● ID 6375852 ● Perlindungan salinan Adobe DRM

Membutuhkan pembaca ebook yang mampu DRM

Ebook lainnya dari penulis yang sama / Editor

Jean-Christophe Filliatre Christine Paulin-Mohring Benjamin Werner

16,584 Ebooks dalam kategori ini

Sampul Gilbert Held: Wireless Mesh Networks

Gilbert Held: Wireless Mesh Networks

Wireless mesh networking is a new technology that has the potential to revolutionize how we access the Internet and communicate with co-workers and friends. Wireless Mesh Networks examines the …

Sampul H. Patricia McKenna: Ambient Urbanities as the Intersection Between the IoT and the IoP in Smart Cities

H. Patricia McKenna: Ambient Urbanities as the Intersection Between the IoT and the IoP in Smart Cities

Sampul Loveleen Gaur & Vishal Jain: Handbook of Research on Engineering Innovations and Technology Management in Organizations

Loveleen Gaur & Vishal Jain: Handbook of Research on Engineering Innovations and Technology Management in Organizations

As technology weaves itself more tightly into everyday life, socio-economic development has become intricately tied to these ever-evolving innovations. Technology management is now an integral …

Sampul Raman Jhajj: Mastering MLOps Architecture

Raman Jhajj: Mastering MLOps Architecture

MLOps, a combination of Dev Ops, data engineering, and machine learning, is crucial for delivering high-quality machine learning results due to the dynamic nature of machine learning data. This book …

Sampul Narendra Kumar Kamila: Handbook of Research on Emerging Perspectives in Intelligent Pattern Recognition, Analysis, and Image Processing

Narendra Kumar Kamila: Handbook of Research on Emerging Perspectives in Intelligent Pattern Recognition, Analysis, and Image Processing

Sampul Dr. Nilesh Bhaskarrao Bahadure & Saurabh Chandrakar: Python GUI with PyQt

Dr. Nilesh Bhaskarrao Bahadure & Saurabh Chandrakar: Python GUI with PyQt

Python GUI with Py Qt is an invaluable guide for both novice and experienced programmers who want to master the art of creating visually appealing and interactive graphical user interfaces (GUIs) for …

Sampul Li Chen & Jing Tian: Intelligent Image and Video Interpretation: Algorithms and Applications

Li Chen & Jing Tian: Intelligent Image and Video Interpretation: Algorithms and Applications

Sampul Evren Goknar: Major Label Mastering

Evren Goknar: Major Label Mastering

Major Label Mastering: Professional Mastering Process distills 25 years of mastering experience at Capitol Records into practical understandings and reliable systems. Containing unparalleled insights …

Sampul Duarte (Technical University of Lisbon, Portugal) Araujo & Micael (University of Lisbon, Portugal) Couceiro: Artificial Intelligence in Sport Performance Analysis

Duarte (Technical University of Lisbon, Portugal) Araujo & Micael (University of Lisbon, Portugal) Couceiro: Artificial Intelligence in Sport Performance Analysis

To understand the dynamic patterns of behaviours and interactions between athletes that characterize successful performance in different sports is an important challenge for all sport practitioners. …

Sampul Rajarshi Pal: Innovative Research in Attention Modeling and Computer Vision Applications

Rajarshi Pal: Innovative Research in Attention Modeling and Computer Vision Applications

Halaman selanjutnya >>>