Organic Semiconductor Lasers and Tailored Nanostructures for Raman Spectroscopy
Liu, Xin
₹3,221
Lazy Evaluation
From natural semantics to a machine-checked compiler transformation
KIT Scientific Publishing · 2016 · Paperback
₹3,861
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
Published by KIT Scientific Publishing in 2016, Lazy Evaluation: From natural semantics to a machine-checked compiler transformation by Joachim Breitner runs to 256 pages in paperback.
Book details
- ISBN-13
- 9783731505464
- ISBN-10
- 3731505460
- Author
- Joachim Breitner
- Publisher
- KIT Scientific Publishing
- Published
- 2016
- Binding
- Paperback
- Pages
- 256
- Language
- English
- Condition
- New
Related books
Terabit-Rate Transmission Using Optical Frequency Comb Sources
Jorg Pfeifle
₹3,261
Micromechanical Modeling and Simulation of Forming Processes
Vedran Glavas
₹4,062
Wind Systems in the Dead Sea and Footprints in Seismic Records
Friederike Franziska Lott
₹3,750
Microstructural Characterisation, Modelling and Simulation of Solid Oxide Fuel Cell Cathodes
Jochen Joos
₹3,938
Self-Calibration of Multi-Camera Systems for Vehicle Surround Sensing
Moritz Knorr
₹2,915
Technology Assessment in Japan and Europe
Antonio Moniz
₹3,238
Simulation of Turbulent Flows with and without Combustion with Emphasis on the Impact of Coherent Structures on the Turbulent Mixing
Flavio Cesar Cunha Galeazzo
₹2,812
Systematic Study of Key Components for a Coaxial-Cavity Gyrotron for DEMO
Joachim Franck
₹3,806
Decision Support for Biomass Value Chains for the Production of Biochemicals Considering Uncertainties
Ann-Kathrin Müller
₹3,415
Long-Term Interactions of Full-Scale Cemented Waste Simulates with Salt Brines
Bernhard Kienzler
₹3,944
Situation Interpretation for Knowledge- and Model Based Laparoscopic Surgery
Kati, #x107, Darko
₹3,244