Abstraction, Refinement and Proof for Probabilistic Systems
Annabelle McIver, Charles Carroll Morgan
₹1,900
Subject
Logic design books
271 new logic design titles, with the largest lists from Springer, Springer-Verlag Berlin and Heidelberg GmbH & Co. K and Springer-Verlag New York Inc. Prices from ₹1,490 to ₹13,872, with free delivery across India and cash on delivery.
Showing 1–24 of 271 books
Abstraction, Refinement and Proof for Probabilistic Systems
Charles Carroll Morgan, Annabelle McIver
₹12,055
Abstraction, Reformulation, and Approximation
SARA 2007 (2007 Whistler, B.C.)
₹4,277
Abstraction, Reformulation, and Approximation
SARA 2007 (2007 Whistler, B.C.)
₹4,222
Advanced Digital Design with the Verilog Hdl
Michael Ciletti
₹5,206
Advanced Digital Logic Design Using VHDL, State Machines, and Synthesis for FPGA's
Sunggu Lee
₹9,149
Advanced Fpga Design
Steve Kilts
₹12,408
Advances in Computing Science - Asian'99
P. S. Thiagarajan, Roland Yap
₹5,581
Algebraic Foundations in Computer Science
Werner Kuich, George Rahonis
₹5,576
Algebraic Methodology and Software Technology
Charles Rattray, Savitri Maharaj
₹5,866
Algebraic Methodology and Software Technology
Armando M. Haeberer
₹5,649
Algebraic Methodology and Software Technology
Michael Johnson, Dusko Pavlovic
₹5,505
Algebraic Methodology and Software Technology
Meseguer J.
₹2,810
Algebraic and Algorithmic Aspects of Differential and Integral Operators
Moulay Barkatou, Thomas Cluzeau, Georg Regensburger, Markus Rosenkranz
₹3,781
Algebraic and Logic Programming
Michael Hanus, Jan Heering, Karl Meinke
₹5,631
Analogical and Inductive Inference
Klaus P. Jantke
₹5,549
Application and Theory of Petri Nets
Lars M. Kristensen, Laure Petrucci
₹5,568
Applications and Theory of Petri Nets
Johan Lilius, Wojciech Penczek
₹5,559
Approaches and Applications of Inductive Programming
Ute Schmid, Emanuel Kitzelmann
₹5,483
Architecture and Design of Molecule Logic Gates and Atom Circuits
Nicolas Lorente
₹11,589
Automata, Languages, and Programming
Serge Abiteboul, Eli Shamir
₹4,896
Automated Deduction - Cade-15
Claude Kirchner, Helene Kirchner
₹5,605
Automated Deduction -- Cade-23
Nikolaj Björner, Viorica Sofronie-Stokkermans
₹5,669
Automated Reasoning
Bernhard Gramlich, Dale Miller, Ulrike Sattler
₹5,686