Normal view MARC view ISBD view

THE CALCULUS OF COMPUTATION : DECISION PROCEDURES WITH APPLICATIONS TO VERIFICATION

By:

Material type: Text

TextLanguage: ENGLISH Publication details: SPRINGER.; 2010Edition: -Description: 366 pISBN:

Subject(s):

DDC classification:

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Materials specified	Status	Notes	Barcode
Book	Sri Krishna College of Engineering and Technology RACK 10 EXT / SHELF 55	515 BRA (Browse shelf(Opens below))	PAPER PACK	Available	MATHEMATICS	49031
Book	Sri Krishna College of Engineering and Technology RACK 10 EXT / SHELF 55	515 BRA (Browse shelf(Opens below))	PAPER PACK	Available	MATHEMATICS	49032
Book	Sri Krishna College of Engineering and Technology REF. RACK 8 / SHELF 327	515 BRA (Browse shelf(Opens below))	PAPER PACK	Available	MATHEMATICS	49033

Previous				No cover image available	No cover image available			Next
Previous	515 APO CALCULUS - VOLUME II : MULTI-VARIABLE CALCULUS AND LINEAR ALGEBRA, WITH APPLICATIONS TO DIFFERENTIAL EQUATIONS AND PROBABILITY 2	515 APO CALCULUS - VOLUME I : ONE VARIABLE CALCULUS, WITH AN INTRODUCTION TO LINEAR ALGEBRA 1	515 APO CALCULUS - VOLUME II : MULTI-VARIABLE CALCULUS AND LINEAR ALGEBRA, WITH APPLICATIONS TO DIFFERENTIAL EQUATIONS AND PROBABILITY 2	515 BRA THE CALCULUS OF COMPUTATION : DECISION PROCEDURES WITH APPLICATIONS TO VERIFICATION	515 BRA THE CALCULUS OF COMPUTATION : DECISION PROCEDURES WITH APPLICATIONS TO VERIFICATION	515 DHA INTEGRAL CALCULUS	515 DHA INTEGRAL CALCULUS	Next

There are no comments on this title.

to post a comment.

Web Opac