Aaron R. Bradley – författare
Visar alla böcker från författaren Aaron R. Bradley. Handla med fri frakt och snabb leverans.
6 produkter
Calculus of Computation
Decision Procedures with Applications to Verification
Av Aaron R. Bradley, Zohar Manna
Inbunden, 2007
850 kr
Lägg i varukorg
Computational logic is a fast-growing field with applications in artificial intelligence, constraint solving, and the design and verification of software and hardware systems. Written with graduate and advanced undergraduate students in mind, this textbook introduces computational logic from the …
Calculus of Computation
Decision Procedures with Applications to Verification
Av Zohar Manna, Aaron R. Bradley
E-bok, 2007
739 kr
Lägg i varukorg
Computational logic is a fast-growing field with applications in artificial intelligence, constraint solving, and the design and verification of software and hardware systems. Written with graduate and advanced undergraduate students in mind, this textbook introduces computational logic from the …
Calculus of Computation
Decision Procedures with Applications to Verification
Av Aaron R. Bradley, Zohar Manna
Häftad, 2010
569 kr
Lägg i varukorg
Computational logic is a fast-growing field with applications in artificial intelligence, constraint solving, and the design and verification of software and hardware systems. Written with graduate and advanced undergraduate students in mind, this textbook introduces computational logic from the …
Programming for Engineers
A Foundational Approach to Learning C and Matlab
Inbunden, 2011
771 kr
Lägg i varukorg
To learn to program is to be initiated into an entirely new way of thinking about engineering, mathematics, and the world in general. Computation is integral to all modern engineering disciplines, so the better you are at programming, the better you will be in your chosen field.The author departs …
Programming for Engineers
A Foundational Approach to Learning C and Matlab
E-bok, 2011
696 kr
Lägg i varukorg
To learn to program is to be initiated into an entirely new way of thinking about engineering, mathematics, and the world in general. Computation is integral to all modern engineering disciplines, so the better you are at programming, the better you will be in your chosen field. The author departs …
Programming for Engineers
A Foundational Approach to Learning C and Matlab
Häftad, 2013
552 kr
Lägg i varukorg
To learn to program is to be initiated into an entirely new way of thinking about engineering, mathematics, and the world in general. Computation is integral to all modern engineering disciplines, so the better you are at programming, the better you will be in your chosen field.The author departs …
