Enabling Technologies for Petaflops Computing
Thomas Sterling
₹3,560
Interactive Theorem Proving
6th International Conference
by Christian Urban, Xingyuan Zhang
Springer Verlag · 2015 · Paperback
₹4,275
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Interactive Theorem Proving: 6th International Conference by Christian Urban & Xingyuan Zhang is a 469-page paperback edition published by Springer Verlag in 2015.
Its main subjects are Automatic theorem proving.
Subjects
Book details
- ISBN-13
- 9783319221014
- ISBN-10
- 3319221019
- Authors
- Christian Urban, Xingyuan Zhang
- Publisher
- Springer Verlag
- Published
- 2015
- Edition
- 1st ed. 2015
- Binding
- Paperback
- Pages
- 469
- Language
- English
- Condition
- New
- Subject
- Computers & Internet
More in Computers & Internet
Modern Cryptography with Proof Techniques and Implementations
Seong Oun Hwang, Intae Kim, Wai Kong Lee
₹4,157
Information Modelling for Archaeology and Anthropology
Cesar Gonzalez-Perez
₹3,562
Artificial Intelligence and Smart Agriculture Technology
Utku Kose, V. B. Surya Prasath, M. Rubaiyat Hossain Mondal, Prajoy Podder
₹11,550
Wireless Sensor Networks
Hossam Mahmoud Ahmad Fahmy
₹12,345
The EU Artificial Intelligence Act
Rostam J. Neuwirth
₹5,539
New Perspectives on HTML 5 and CSS
Patrick Carey
₹5,028
Hands-On High Performance with Spring
Chintan Mehta, Subhash Shah, Pritesh Shah
₹3,576
Ambient Intelligence – Software and Applications –,10th International Symposium on Ambient Intelligence
Paulo Novais, Jaime Lloret, Pablo Chamoso, Davide Carneiro, Elena Navarro, Sigeru Omatu
₹7,742
Addressing Global Challenges and Quality Education
Carlos Alario-Hoyos, María Jesús Rodríguez-Triana, Maren Scheffel, Inmaculada Arnedillo-Sánchez, Sebastian Maximilian Dennerlein
₹6,213
How to be a Web Developer
Radu Nicoara
₹2,816
Ravenor Rogue
Dan Abnett
₹4,571