Amazon cover image

Image from Amazon.com

Syndetics cover image

Image from Syndetics

Normal view MARC view ISBD view

Handbook of logic and proof techniques for compuetr science

By:

Krantz, Steven G

Material type: Text

Text

TextPublication details: New York: Springer, 2002Description: xix, 245pISBN:

9780817642204

Subject(s):

DDC classification:

004.1015 KRA

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

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Comments ( 0 )

Holdings
Item type	Current library	Collection	Call number	Status	Barcode
Book	Engineering Library	Presidency School of Computer Science and Engineering	004.1015 KRA (Browse shelf(Opens below))	Available	62692

Browsing Library and Knowledge Resource Centre shelves,Collection: Presidency School of Computer Science and Engineering Close shelf browser (Hides shelf browser)

Previous								Next
Previous	004.1 CLO Boolean function and computation models	004.1 GOP Computation engineer : applied automata theory and logic	004.1 KUR Concise guide to quantum computing: algorithms, exercises, and implementations	004.1015 KRA Handbook of logic and proof techniques for compuetr science	004.151 LEW Elements of the theory of computation	004.16 FIR Designing and developing for google glass: thinking differently for a new platform	004.16 MAR Embedded system design: embedded systems foundations of cyber-physical systems, and the internet of things	Next

There are no comments on this title.

to post a comment.

© Copyright 2017 by Presidency University. All Rights Reserved.