Search Results for Construction.

|

|

|

|

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: Software engineering.

Author

SpringerLink (Online service)

(64)

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739

(9)

Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558

(8)

Huisman, Marieke. editor.

(5)

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

(3)

Finkbeiner, Bernd. editor.

(3)

Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792

(3)

Heule, Marijn. editor. (orcid)0000-0002-5587-8801

(3)

Kovács, Laura. editor.

(3)

Barthe, Gilles. editor.

(2)

Lanet, Jean-Louis. editor.

(2)

Legay, Axel. editor.

(2)

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

(2)

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

(2)

Abdulla, Parosh Aziz. editor.

(1)

Abraham, Erika. editor.

(1)

Audebaud, Philippe. editor.

(1)

Blomqvist, Eva. editor. (orcid)0000-0003-0036-6662

(1)

Bodik, Rastislav. editor.

(1)

Bolduc, Claude. editor.

(1)

Book, Matthias. author.

(1)

Bosschere, Koen. editor.

(1)

Burdy, Lilian. editor.

(1)

Chechik, Marsha. editor. (orcid)0000-0002-6301-3517

(1)

Ciancarini, Paolo. editor. (orcid)0000-0002-7958-9924

(1)

Cohen, Albert. editor.

(1)

Cong, Jason. author.

(1)

Desharnais, Jules. editor.

(1)

Dorf, Richard C., author.

(1)

Esparza, Javier. editor.

(1)

Fettke, Peter. author.

(1)

Flanagan, Cormac. editor.

(1)

Foster, Elvis. author.

(1)

Gao, Ruipeng. author.

(1)

Gibbons, Jeremy. editor.

(1)

Gruhn, Volker. author.

(1)

Grumberg, Orna. editor.

(1)

Grégoire, Benjamin. editor.

(1)

Gupta, Rajiv. editor.

(1)

Gutknecht, Jürg. author.

(1)

Halbwachs, Nicolas. editor.

(1)

Havelund, Klaus. editor. (orcid)0000-0001-7079-0472

(1)

He, Jifeng. editor.

(1)

Hendren, Laurie. editor.

(1)

Hermanns, Holger. editor.

(1)

Hunt, John. author.

(1)

Huth, Michael. editor.

(1)

Hutton, Graham. editor. (orcid)0000-0001-9584-5150

(1)

Jhala, Ranjit. editor.

(1)

Jörges, Sven. author.

(1)

Knoop, Jens. editor.

(1)

Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X

(1)

Kourie, Derrick G. author.

(1)

Kowalewski, Stefan. editor.

(1)

Krishnamurthi, Shriram. editor.

(1)

Ktari, Béchir. editor.

(1)

Kumar, B. Vinoth, editor.

(1)

König, Barbara. editor.

(1)

Lankhorst, Marc. author.

(1)

Leino, K. Rustan M. editor.

(1)

Liu, Zhiming. editor. (orcid)0000-0001-9771-3071

(1)

Luo, Guojie. author.

(1)

Majumdar, Rupak. editor.

(1)

Martowicz, Adam. editor. (orcid)0000-0001-9630-0355

(1)

Mańka, Michał. editor. (orcid)0000-0002-2959-9681

(1)

Mendrok, Krzysztof. editor. (orcid)0000-0002-3720-6454

(1)

Moor, Oege. editor.

(1)

Muntean, Traian. editor.

(1)

Mycroft, Alan. editor.

(1)

Mössenböck, Hanspeter. author. (orcid)0000-0001-7706-7308

(1)

Nogueira, Pablo. editor.

(1)

Odersky, Martin. editor.

(1)

Oğuztüzün, Halit. author.

(1)

O’Boyle, Michael. editor.

(1)

Palsberg, Jens. editor.

(1)

Paulin-Mohring, Christine. editor.

(1)

Philippou, Anna. editor.

(1)

Piterman, Nir. editor.

(1)

Poggi, Francesco. editor.

(1)

Ramakrishnan, C. R. editor.

(1)

Raskin, Jean-François. editor.

(1)

Rehof, Jakob. editor.

(1)

Reisig, Wolfgang. author. (orcid)0000-0002-7026-2810

(1)

Sandhya Devi, R. S., editor.

(1)

Schagaev, Igor. author.

(1)

Schwartzbach, Michael I. editor.

(1)

Sivakumar, P. (Electrical engineer), editor.

(1)

Smolka, Scott A. editor.

(1)

Striemer, Rüdiger. author.

(1)

Taylor and Francis.

(1)

Topçu, Okan. author.

(1)

Uustalu, Tarmo. editor.

(1)

Varga, Ervin. author.

(1)

Vitali, Fabio. editor.

(1)

Watson, Bruce W. author.

(1)

Ye, Fan. author.

(1)

Zeller, Andreas. editor.

(1)

Zhang, Zili. editor.

(1)

Zuck, Lenore D. editor.

(1)

Language

(66)

Publication Date

-

(9)

(7)

(6)

(5)

(5)

(4)

(4)

(4)

(3)

(3)

(3)

(3)

(3)

(2)

(2)

(2)

(1)

Subject

Computer science.

(47)

(24)

Computer Communication Networks.

(16)

Artificial intelligence.

(13)

Computer Science Logic and Foundations of Programming.

(11)

Control Structures and Microprogramming.

(11)

Microprogramming .

(11)

Theory of Computation.

(11)

Computer software.

(10)

Formal Languages and Automata Theory.

(10)

Machine theory.

(10)

Computer simulation.

(9)

Computer Modelling.

(8)

Compilers (Computer programs).

(7)

Compilers and Interpreters.

(7)

Computer networks .

(6)

Computers, Special purpose.

(6)

Special Purpose and Application-Based Systems.

(6)

Computer System Implementation.

(5)

Computer logic.

(5)

Computer systems.

(5)

Mathematical logic.

(5)

Operating systems (Computers).

(5)

Programming languages (Electronic computers).

(4)

(3)

Application software.

(3)

Computer and Information Systems Applications.

(3)

Programming Languages, Compilers, Interpreters.

(3)

Computer network architectures.

(2)

Computer system failures.

(2)

(2)

Electronic data processing -- Management.

(2)

(2)

Information technology -- Management.

(2)

Operating Systems.

(2)

Programming Language.

(2)

Software Management.

(2)

Software engineering -- Management.

(2)

Algorithm Analysis and Problem Complexity.

(1)

Application software -- Development.

(1)

Automobiles -- Design and construction.

(1)

Automotive computers.

(1)

Business Process Management.

(1)

Business information services.

(1)

COMPUTERS -- Computer Engineering.

(1)

COMPUTERS -- Hardware -- General.

(1)

COMPUTERS -- Machine Theory.

(1)

COMPUTERS / Software Development & Engineering / General.

(1)

Communications Engineering, Networks.

(1)

Computational complexity.

(1)

Computer Appl. in Administrative Data Processing.

(1)

Computer Application in Administrative Data Processing.

(1)

Computer engineering.

(1)

Computer hardware.

(1)

Computer science—Mathematics.

(1)

Computer system performance.

(1)

Computers -- Law and legislation.

(1)

Data Mining and Knowledge Discovery.

(1)

(1)

Data structures (Computer scienc.

(1)

Database management.

(1)

Digital electronics.

(1)

Electronic Circuits and Systems.

(1)

Electronic books.

(1)

Electronic circuits.

(1)

Embedded computer systems.

(1)

Engineering -- Data processing.

(1)

Engineering mathematics.

(1)

Génie logiciel.

(1)

Hardware Performance and Reliability.

(1)

IT in Business.

(1)

Information Storage and Retrieval.

(1)

Information storage and retrieval systems.

(1)

Information systems.

(1)

Information technology -- Law and legislation.

(1)

Information theory.

(1)

Legal Aspects of Computing.

(1)

Logics and Meanings of Programs.

(1)

Mathematical and Computational Engineering Applications.

(1)

(1)

Mobile computing.

(1)

Models of Computation.

(1)

Monoclonal antibodies.

(1)

Natural language processing (Computer science).

(1)

Ordinateurs -- Conception et construction.

(1)

Security Science and Technology.

(1)

Security systems.

(1)

Software architecture.

(1)

TECHNOLOGY / Electronics / General

(1)

Telecommunication.

(1)

Électronique numérique.

(1)

Material Type

Shelf Location

Electronic Library

Taylor Francis E-Book Collection

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

66 Results Found

Subscribe to search results

1 2 3 4 5 6

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 Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

Author

Ramakrishnan, C. R. editor. Rehof, Jakob. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings

Author

Grumberg, Orna. editor. Huth, Michael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-71209-1

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Compiler Construction 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings

Compiler Construction 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings

Compiler Construction 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings

Author

Krishnamurthi, Shriram. editor. Odersky, Martin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-71229-9

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Compiler Construction 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006. Proceedings

Compiler Construction 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006. Proceedings

Compiler Construction 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006. Proceedings

Author

Mycroft, Alan. editor. Zeller, Andreas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings

Author

Hermanns, Holger. editor. Palsberg, Jens. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Mathematics of Program Construction 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006. Proceedings

Mathematics of Program Construction 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006. Proceedings

Mathematics of Program Construction 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006. Proceedings

Author

Uustalu, Tarmo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

Author

Barthe, Gilles. editor. Grégoire, Benjamin. editor. Huisman, Marieke. editor. Lanet, Jean-Louis. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Construction and Analysis of Safe, Secure, and Interoperable Smart Devices International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers

Author

Barthe, Gilles. editor. Burdy, Lilian. editor. Huisman, Marieke. editor. Lanet, Jean-Louis. editor. Muntean, Traian. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Author

Halbwachs, Nicolas. editor. Zuck, Lenore D. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Compiler Construction 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Compiler Construction 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Compiler Construction 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Author

Bodik, Rastislav. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III

Author

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-75380-0

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I

Author

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-73709-1

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 6

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11