Search Results for Logic, Symbolic and mathematical

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Subject: Computer science -- Mathematics

Author

Posthoff, Christian

(2)

Steinbach, Bernd

(2)

Cooper, S. B. (S. Barry), author

(1)

(1)

Leeuwen, J. van (Jan), author

(1)

(1)

Nievergelt, Yves

(1)

Rosen, Kenneth H.

(1)

Shore, Richard A.

(1)

Stanoyevitch, Alexander

(1)

(1)

Language

(9)

Format

(9)

Material Type

Open Access Book

Subject

Logic, Symbolic and mathematical

(9)

Binary systems (Mathematics)

(2)

(2)

Computable functions.

(1)

Data structures (Computer science)

(1)

Enigma cipher system

(1)

Logic programming

(1)

Mathematicians -- Great Britain -- Biography

(1)

(1)

(1)

(1)

(1)

Turing, Alan Mathison, 1912-1954

(1)

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

9 Results Found

Subscribe to search results

1

000000000MAIN

Print

Select a list

Make this your default list.

The following items were successfully added.

There was an error while adding the following items. Please try again.

One or more items could not be added because you are not logged in.

1.

Cover image for Alan Turing : his work and impact

Alan Turing : his work and impact

by

Cooper, S. B. (S. Barry), author

Author

Cooper, S. B. (S. Barry), author, Leeuwen, J. van (Jan), author

Format:

Call Number

QA29.T8 C66 2013 f

Publisher

Elsevier,

Publication Date

2013

ISBN

9780123869807

Available:
Holds:
Copies:

SD_ILS:828369

2.

Cover image for Discrete structures with contemporary applications

Discrete structures with contemporary applications

by

Stanoyevitch, Alexander

Author

Stanoyevitch, Alexander

Format:

Call Number

QA76.9.M35 S73 2011

Publisher

CRC Press,

Publication Date

2011

ISBN

9781439817681

Available:
Holds:
Copies:

SD_ILS:763936

3.

Cover image for Discrete structures, logic, and computability

Discrete structures, logic, and computability

by

Hein, James L.

Author

Hein, James L.

Format:

Call Number

QA76.9.M35 H45 2010

Edition

3rd ed.

Publisher

Jones and Bartlett Publishers,

Publication Date

2010

ISBN

9780763772062

Available:
Holds:
Copies:

SD_ILS:841071

4.

Cover image for Logic functions and equations : examples and exercises

Logic functions and equations : examples and exercises

by

Steinbach, Bernd

Author

Steinbach, Bernd, Posthoff, Christian

Format:

Call Number

QA76.9.L63 S73 2009

Publisher

Springer,

Publication Date

2009

ISBN

9781402095948

Available:
Holds:
Copies:

SD_ILS:319444

5.

Cover image for Discrete mathematics and its applications

Discrete mathematics and its applications

by

Rosen, Kenneth H.

Author

Rosen, Kenneth H.

Format:

Call Number

QA39.3 R67 2007

Edition

6th ed.

Publisher

McGraw-Hill Higher Education,

Publication Date

2007

ISBN

9780072880083

Available:
Holds:
Copies:

SD_ILS:134146

6.

Cover image for Logic functions and equations : binary models for computer science

Logic functions and equations : binary models for computer science

by

Posthoff, Christian

Author

Posthoff, Christian, Steinbach, Bernd

Format:

Call Number

QA76.9.L63 P67 2004

Publisher

Springer,

Publication Date

2004

ISBN

9781402029370

Available:
Holds:
Copies:

SD_ILS:464035

7.

Cover image for Foundations of logic and mathematics : applications to computer science and cryptography

Foundations of logic and mathematics : applications to computer science and cryptography

by

Nievergelt, Yves

Author

Nievergelt, Yves

Format:

Call Number

QA9 N54 2002

Publisher

Birkh�auser,

Publication Date

2002

ISBN

9780817642495

Available:
Holds:
Copies:

SD_ILS:347193

8.

Cover image for Logic for applications

Logic for applications

by

Nerode, Anil

Author

Nerode, Anil, Shore, Richard A.

Format:

Call Number

QA76.9.M35 N47 1997

Publisher

Springer-Verlag,

Publication Date

1997

ISBN

9780387948935

Available:
Holds:
Copies:

SD_ILS:459468

9.

Cover image for Computation, logic, philosophy : a collection of essays

Computation, logic, philosophy : a collection of essays

by

Wang, Hao

Author

Wang, Hao

Format:

Call Number

QA76.9.M35 W26 1990

Publisher

Kluwer Academic Pub.,

Publication Date

1990

ISBN

9787030002112

Available:
Holds:
Copies:

SD_ILS:331012

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1

© Universiti Teknologi Malaysia Libraries, 81310 UTM Johor Bahru, Johor Darul Takzim , Malaysia.

Phone: +607-5533333, Fax: +607-5572555, e-mail : PSZ-ENQUIRY@GROUPS.UTM.MY

Disclaimer : Universiti Teknologi Malaysia and UTM Libraries shall not be liable for any loss or damage caused by the usage of any information obtained from this website.
Best viewed using Google Chrome (1024 x 768).

Copyright 2017 Sirsi Corporation - Enterprise Version 5.0.0.1