Search Results for Construction.

Skip to:Search Results

|

|

|

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

13

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Subject: Logic design.

Author

SpringerLink (Online service)

(26)

Huisman, Marieke. editor.

(4)

Barthe, Gilles. editor.

(2)

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662

(2)

Lanet, Jean-Louis. editor.

(2)

Abdulla, Parosh Aziz. editor.

(1)

Audebaud, Philippe. editor.

(1)

Baker, Bonnie (Bonnie C.)

(1)

Bodik, Rastislav. editor.

(1)

Bolduc, Claude. editor.

(1)

Burdy, Lilian. editor.

(1)

Desharnais, Jules. editor.

(1)

Esparza, Javier. editor.

(1)

(1)

Flanagan, Cormac. editor.

(1)

Gibbons, Jeremy. editor.

(1)

Grumberg, Orna. editor.

(1)

Grégoire, Benjamin. editor.

(1)

Halbwachs, Nicolas. editor.

(1)

Hendren, Laurie. editor.

(1)

Hermanns, Holger. editor.

(1)

Huth, Michael. editor.

(1)

Kourie, Derrick G. author.

(1)

Kowalewski, Stefan. editor.

(1)

Krishnamurthi, Shriram. editor.

(1)

Ktari, Béchir. editor.

(1)

König, Barbara. editor.

(1)

Lala, Parag K., 1948-

(1)

Leino, K. Rustan M. editor.

(1)

Majumdar, Rupak. editor.

(1)

Moor, Oege. editor.

(1)

Muntean, Traian. editor.

(1)

Mycroft, Alan. editor.

(1)

Nogueira, Pablo. editor.

(1)

Odersky, Martin. editor.

(1)

Palsberg, Jens. editor.

(1)

Paulin-Mohring, Christine. editor.

(1)

Philippou, Anna. editor.

(1)

Piterman, Nir. editor.

(1)

Ramakrishnan, C. R. editor.

(1)

Rehof, Jakob. editor.

(1)

Russell, Gordon, ed.

(1)

Schwartzbach, Michael I. editor.

(1)

Smolka, Scott A. editor.

(1)

Steels, Luc. editor.

(1)

Taylor, Gaynor, ed.

(1)

Uustalu, Tarmo. editor.

(1)

Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792

(1)

Watson, Bruce W. author.

(1)

Zeller, Andreas. editor.

(1)

Zhang, Lijun. editor. (orcid)0000-0002-3692-2088

(1)

Zheng, Jeffrey. editor.

(1)

Zuck, Lenore D. editor.

(1)

Language

(30)

Publication Date

-

(5)

(4)

(4)

(3)

(3)

(2)

(2)

(2)

(2)

(1)

(1)

(1)

Subject

Computer science.

(24)

Software engineering.

(24)

Artificial intelligence.

(11)

Computer Communication Networks.

(7)

Computer software.

(7)

Computer network architectures.

(2)

Information theory.

(2)

Operating systems (Computers).

(2)

Algorithm Analysis and Problem Complexity.

(1)

Application-specific integrated circuits.

(1)

Asynchronous circuits -- Design and construction.

(1)

Computational complexity.

(1)

Computer architecture.

(1)

Computer hardware.

(1)

Computer logic.

(1)

Computer system performance.

(1)

Data structures (Computer scienc.

(1)

(1)

Digital electronics.

(1)

Digital integrated circuits -- Design and construction.

(1)

Digital integrated circuits.

(1)

Discrete cosine transforms.

(1)

Electronic books.

(1)

Electronic circuits--Testing.

(1)

Electronic circuits.

(1)

Expert systems (Computer science).

(1)

Integrated circuits--Design and construction.

(1)

Integrated circuits--Testing.

(1)

Integrated circuits--Very large scale integration.

(1)

Linear integrated circuits.

(1)

Logic circuits -- Design and construction.

(1)

Logic circuits--Computer-aided design.

(1)

Logic, Symbolic and mathematical.

(1)

Logics and Meanings of Programs.

(1)

Mathematical logic.

(1)

Monoclonal antibodies.

(1)

Optical pattern recognition.

(1)

Programming Languages, Compilers, Interpreters.

(1)

Simulated annealing (Mathematics).

(1)

Translators (Computer programs).

(1)

Material Type

Shelf Location

Electronic Library

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

30 Results Found

Subscribe to search results

1 2 3

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 Variant Construction from Theoretical Foundation to Applications

Variant Construction from Theoretical Foundation to Applications

Variant Construction from Theoretical Foundation to Applications

Author

Zheng, Jeffrey. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-13-2282-2

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for The Correctness-by-Construction Approach to Programming

The Correctness-by-Construction Approach to Programming

The Correctness-by-Construction Approach to Programming

Author

Kourie, Derrick G. author. Watson, Bruce W. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-27919-5

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

Author

Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-17465-1

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

Author

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-89963-3

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I

Author

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-89960-2

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Author

Piterman, Nir. editor. Smolka, Scott A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334278.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings

Author

Flanagan, Cormac. editor. König, Barbara. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-28756-5

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Mathematics of Program Construction 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings

Mathematics of Program Construction 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings

Mathematics of Program Construction 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings

Author

Gibbons, Jeremy. editor. Nogueira, Pablo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-31113-0

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Computational Issues in Fluid Construction Grammar A New Formalism for the Representation of Lexicons and Grammars

Computational Issues in Fluid Construction Grammar A New Formalism for the Representation of Lexicons and Grammars

Computational Issues in Fluid Construction Grammar A New Formalism for the Representation of Lexicons and Grammars

Author

Steels, Luc. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-34120-5

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Author

Abdulla, Parosh Aziz. editor. Leino, K. Rustan M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Author

Esparza, Javier. editor. Majumdar, Rupak. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-12002-2

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Mathematics of Program Construction 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings

Mathematics of Program Construction 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings

Mathematics of Program Construction 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings

Author

Bolduc, Claude. editor. Desharnais, Jules. editor. Ktari, Béchir. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11