Normal view MARC view ISBD view

Model-checking in presburger counter systems using accelerations by N Aravind Acharya

By:

Aravind Acharya, N

Contributor(s):

Advised by Raghavan, K. V

Material type: Text

TextPublication details: Bangalore : Indian Institute of Science, 2013.Description: xv, 78 p. : illDDC classification:

005.3 P13

Dissertation note: MSc(Engg);2013;Computer Science and Automation

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	Status	Date due	Barcode
Thesis	JRD Tata Memorial Library	005.3 P13 (Browse shelf(Opens below))	Not for loan		T08073

Includes CD and bibliographical references

MSc(Engg);2013;Computer Science and Automation

There are no comments on this title.

to post a comment.

Back to results

1521 Refractory metals and allous /ed. by M. Semchyshen, J.J. Harwood.
1522 Biochemical applications of gas chromatography /(by) H.P. Burchfield, Eleanor E. Storrs.
by Burchfield, H.P.
1523 Short history of medicine /(by) Charles Singer, E. Ashworth Underwood.
by Singer, Charles.
1524 Chemical engg. data book incorporating the 24th edition of chemical industries /(by) T.K. Ross, D.C. Freshwater.
by Ross, T.K.
1525 Chemical analysis of foods /(by) H.E. Cox, Rev. by David Rearson.
by Cox, H.E.
1526 Biological warfare
by Ray Sarkar, B.C.
1527 Annual review of pharmacology; v.2 /ed. by Windsor C. Cutting, [et al]
1528 Space logistics engineering /(by) Kenneth Brown, Lawrence D. Ely.
by Brown, Kenneth.
1529 Nuclear instruments and their uses; v.1 /ed. by Arthur Snell.
1530 Physics of fully ionized gases /(by) Lyman Spitzer.
by Spitzer, Lyman.
1531 Permanent magnets and magnetism /ed. by D. Hadfield.
1532 Progress in medicinal chemistry; v.2 /ed. by G.P. Ellis, G.B. West.
1533 Space flight technology, proc. of the first common wealth space flight symposium /ed. by Gatland Kenneth W.
1534 Introduction to the theory of firite-state machines /(by) Arthur Gill.
by Gill, Arthur.
1535 Microwave ferrites and ferimagnetics /(by) Benjamin Lax, Kenneth J. Button.
by Lax, Benjamin.
1536 Automation equipment for industrial processes /(by) E.M. Dobrynin.
by Dobrynin, E.M.
1537 Chemistry of extraction processes /(by) V.V. Fomin.
by Fomin, V.V.
1538 Foundamentals of heat transfer /(by) H. Grober, S. Erk, Tr. by Jerry Moszynski.
by Grober, H.
1539 Chemical engineers' handbook /ed. by John H. Perry.
1540 Advanced calculus for applications
by Hilderband, Francis B.