Search Results for Electronic.

|

|

|

|

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: Logic, Symbolic and mathematical.

Author

SpringerLink (Online service)

(8)

Hooker, John, 1949-

(2)

Wiley InterScience (Online service)

(2)

Adamowicz, Zofia.

(1)

Bacchus, Fahiem. editor.

(1)

Biere, Armin. editor.

(1)

Chandru, Vijay, 1953-

(1)

Curien, Pierre-Louis. editor.

(1)

(1)

Fisher, Michael, 1962-

(1)

Gomes, Carla P. editor.

(1)

(1)

Hasegawa, Masahito. editor.

(1)

Hoos, Holger H. editor.

(1)

Kleine Büning, Hans. editor.

(1)

Marques-Silva, João. editor.

(1)

Mitchell, David G. editor.

(1)

Ong, Luke. editor.

(1)

Rodgers, Nancy, 1941-

(1)

Sakallah, Karem A. editor.

(1)

Walsh, Toby. editor.

(1)

Zbierski, Paweł.

(1)

Zhao, Xishun. editor.

(1)

Language

(14)

Publication Date

-

(3)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Subject

Computer science.

(8)

Electronic data processing.

(8)

Artificial intelligence.

(5)

Computer software.

(5)

Operating systems (Computers).

(5)

Electronic books.

(4)

(4)

Algebra -- Data processing.

(3)

(2)

Algebra, Boolean.

(1)

Asynchronous circuits -- Design and construction.

(1)

Boole, Algèbre de.

(1)

Combinatorial optimization.

(1)

Computer architecture.

(1)

Computing Methodologies.

(1)

Electronic digital computers -- Circuits -- Design.

(1)

Ensembles, Théorie des.

(1)

Informatique -- Mathématiques.

(1)

Linear programming.

(1)

Logics and Meanings of Programs.

(1)

Logique symbolique et mathématique.

(1)

Mathematical Logic and Formal Languages.

(1)

Mathematical Logic and Foundations.

(1)

Mathematical optimization.

(1)

Mathematics of Computing.

(1)

(1)

Symbolic and Algebraic Manipulation.

(1)

Temporal automata.

(1)

Álgebras de boole.

(1)

Material Type

Shelf Location

Electronic Library

Library

{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

15 Results Found

Subscribe to search results

1 2

000000000000DEFAULT

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 Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings

Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings

Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings

Author

Hasegawa, Masahito. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334702.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38946-7

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Typed Lambda Calculi and Applications 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings

Typed Lambda Calculi and Applications 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings

Typed Lambda Calculi and Applications 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings

Author

Ong, Luke. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-21691-6

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for An introduction to practical formal methods using temporal logic

An introduction to practical formal methods using temporal logic

An introduction to practical formal methods using temporal logic

Author

Fisher, Michael, 1962-

Preferred Shelf Number

ONLINE

Electronic Access

John Wiley http://dx.doi.org/10.1002/9781119991472
http://proquest.safaribooksonline.com/?fpi=9780470027882
Books24x7 http://www.books24x7.com/marc.asp?bookid=46822
http://proquest.safaribooksonline.com/9780470027882
Volltext http://proquest.tech.safaribooksonline.de/9780470027882

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Typed Lambda Calculi and Applications 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings

Typed Lambda Calculi and Applications 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings

Typed Lambda Calculi and Applications 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings

Author

Curien, Pierre-Louis. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-02273-9

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Theory and Applications of Satisfiability Testing – SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings

Theory and Applications of Satisfiability Testing – SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings

Theory and Applications of Satisfiability Testing – SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings

Author

Kleine Büning, Hans. editor. Zhao, Xishun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-79719-7

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Theory and Applications of Satisfiability Testing – SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings

Theory and Applications of Satisfiability Testing – SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings

Theory and Applications of Satisfiability Testing – SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings

Author

Marques-Silva, João. editor. Sakallah, Karem A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-72788-0

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings

Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings

Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings

Author

Biere, Armin. editor. Gomes, Carla P. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11814948

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers

Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers

Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers

Author

Hoos, Holger H. editor. Mitchell, David G. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11527695

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings

Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings

Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings

Author

Bacchus, Fahiem. editor. Walsh, Toby. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b137280

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Logically determined design clockless system design with NULL convention logic

Logically determined design clockless system design with NULL convention logic

Logically determined design clockless system design with NULL convention logic

Author

Fant, Karl M.

Preferred Shelf Number

ONLINE

Electronic Access

Click for information
Available by subscription from Safari Books Online
John Wiley http://dx.doi.org/10.1002/0471702897
MyiLibrary, Table of contents http://www.myilibrary.com?id=25243&ref=toc
Volltext http://proquest.tech.safaribooksonline.de/9780471684787

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Logic-based methods for optimization combining optimization and constraint satisfaction

Logic-based methods for optimization combining optimization and constraint satisfaction

Logic-based methods for optimization combining optimization and constraint satisfaction

Author

Hooker, John, 1949- Wiley InterScience (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley043/99088732.html

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Learning to reason an introduction to logic, sets and relations

Learning to reason an introduction to logic, sets and relations

Learning to reason an introduction to logic, sets and relations

Author

Rodgers, Nancy, 1941-

Preferred Shelf Number

ONLINE

Electronic Access

Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Ebook Library Click here to view book
Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley043/00023492.html
ebrary http://site.ebrary.com/id/10500922
http://site.ebrary.com/lib/alltitles/Doc?id=10500922

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11