Types for Proofs and Programs
Herman Geuvers, Freek Wiedijk
₹5,543
Process Mining
Data Science in Action
Springer · 2016
₹3,849
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
Process Mining: Data Science in Action is written by Po-Lung Yu Moussa Larbani. This edition from Springer (2016) has 240 pages.
Topics covered include Logic design, Information systems, Computer science and Software engineering.
Book details
- ISBN-13
- 9783662498514
- ISBN-10
- 3662498510
- Author
- Po-Lung Yu Moussa Larbani
- Publisher
- Springer
- Published
- 2016
- Pages
- 240
- Language
- English
- Condition
- New
- Subject
- Logic design
More in Logic design
Logics in Artificial Intelligence
Tomi Janhunen, Ilkka Niemelä
₹5,580
Principles and Practice of Constraint Programming -- CP 2011
Jimmy Lee
₹5,467
Frontiers of Combining Systems
Cesare Tinelli, Viorica Sofronie-Stokkermans
₹5,718
Hardware and Software
Kedar Namjoshi, Andreas Zeller, Avi Ziv
₹5,465
Integrated Formal Methods
Michael Butler, Luigia Petre, Kaisa Sere
₹5,722
Coalgebraic Methods in Computer Science
Marcello M. Bonsangue
₹3,777
Logic Program Synthesis and Transformation
International Workshop on Logic Program Synthesis and Transformation (1992 University of Manchester)
₹4,272
Logics of Programs
Rohit Parikh
₹5,591
Advanced Fpga Design
Steve Kilts
₹12,408
Hardware and Software
Sharon Barner, Ian Harris, Daniel Kroening
₹5,476
Substrate Noise Coupling in Mixed-Signal Asics
Stéphane Donnay, Georges Gielen
₹4,010