Search Results for Testing.

|

|

|

|

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: Compilers (Computer programs).

Author

SpringerLink (Online service)

(35)

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

(2)

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

(2)

Ábrahám, Erika. editor.

(2)

Aceto, Luca. editor.

(1)

Aichernig, Bernhard K. editor.

(1)

Arbel, Eli. editor.

(1)

Bacci, Giorgio. editor.

(1)

Bacci, Giovanni. editor.

(1)

Bertogna, Marko. editor.

(1)

Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121

(1)

Bloem, Roderick. editor.

(1)

Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618

(1)

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140

(1)

Braga, Christiano. editor.

(1)

Cabello, Enrique. editor.

(1)

Cardoso, Jorge. editor.

(1)

Cavalcanti, Ana. editor.

(1)

Cavalli, Ana Rosa. editor.

(1)

Chiba, Shigeru. editor.

(1)

Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990

(1)

Cornélio, Márcio. editor.

(1)

Csöndes, Tibor. editor.

(1)

Deb, Kalyanmoy. editor. (orcid)0000-0001-7402-9939

(1)

Duan, Zhenhua. editor. (orcid)0000-0003-2772-1433

(1)

Eugster, Patrick. editor.

(1)

Falcone, Yliès. editor.

(1)

Fenton, Steve. author.

(1)

Furia, Carlo A. editor.

(1)

Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X

(1)

Huisman, Marieke. editor. (orcid)0000-0003-4467-072X

(1)

Ingólfsdóttir, Anna. editor.

(1)

Jalote, Pankaj. author.

(1)

James, Phillip. editor.

(1)

Johnsen, Einar Broch. editor.

(1)

Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926

(1)

Kovács, Gábor. editor.

(1)

Kushik, Natalia. editor.

(1)

Lahiri, Shuvendu. editor.

(1)

Langerak, Rom. editor.

(1)

Leavens, Gary T. editor.

(1)

Legay, Axel. editor.

(1)

Liu, Shaoying. editor.

(1)

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

(1)

Lopez-Garcia, Pedro. editor. (orcid)0000-0002-1092-2071

(1)

Ludwig, André. editor.

(1)

Lumpe, Markus. editor.

(1)

Maciaszek, Leszek A. editor. (orcid)0000-0001-6561-0545

(1)

Mardare, Radu. editor.

(1)

Nica, Mihai. editor.

(1)

Petrucci, Laure. editor. (orcid)0000-0003-3154-5268

(1)

Pinho, Luís Miguel. editor.

(1)

Pitt-Francis, Joe. author.

(1)

Proença, José. editor.

(1)

Quiñones, Eduardo. editor.

(1)

Rayadurgam, Sanjai. editor.

(1)

Reger, Giles. editor.

(1)

Rensink, Arend. editor.

(1)

Rival, Xavier. editor.

(1)

Roggenbach, Markus. editor.

(1)

Roscoe, Bill. editor.

(1)

Réthy, György. editor.

(1)

Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X

(1)

Sarro, Federica. editor.

(1)

Schoitsch, Erwin. editor.

(1)

Seceleanu, Cristina. editor.

(1)

Serrano Mena, Alejandro. author.

(1)

Sirjani, Marjan. editor.

(1)

Strichman, Ofer. editor.

(1)

Sánchez, César. editor.

(1)

Südholt, Mario. editor.

(1)

Tkachuk, Oksana. editor.

(1)

Tonetta, Stefano. editor.

(1)

Tzoref-Brill, Rachel. editor.

(1)

Wang, Farn. editor.

(1)

Whiteley, Jonathan. author.

(1)

Wotawa, Franz. editor.

(1)

Yenigün, Hüsnü. editor.

(1)

Yevtushenko, Nina. editor.

(1)

Zhang, Zili. editor.

(1)

Ziarek, Lukasz. editor.

(1)

van Sinderen, Marten. editor.

(1)

Ölveczky, Peter Csaba. editor.

(1)

Language

(35)

Publication Date

-

(17)

(15)

(2)

(1)

Subject

Compilers and Interpreters.

(35)

Software engineering.

(34)

Computer science.

(29)

Computer Science Logic and Foundations of Programming.

(26)

Formal Languages and Automata Theory.

(19)

Machine theory.

(19)

Computer programming.

(11)

Programming Techniques.

(11)

(7)

Artificial intelligence.

(7)

Computer Modelling.

(7)

Computer networks .

(7)

Computer simulation.

(7)

Electronic data processing -- Management.

(7)

(7)

Theory of Computation.

(5)

Computer Communication Networks.

(4)

Computers, Special purpose.

(4)

Electronic digital computers -- Evaluation.

(4)

Special Purpose and Application-Based Systems.

(4)

System Performance and Evaluation.

(4)

Computer Engineering and Networks.

(3)

Computer engineering.

(3)

Application software.

(2)

Computer and Information Systems Applications.

(2)

Computer science -- Mathematics.

(2)

(2)

Data and Information Security.

(2)

Data protection.

(2)

Operating Systems.

(2)

Operating systems (Computers).

(2)

(2)

The Computing Profession.

(2)

Automated Pattern Recognition.

(1)

Coding and Information Theory.

(1)

(1)

Discrete Mathematics in Computer Science.

(1)

Discrete mathematics.

(1)

Information theory.

(1)

Mathematical Applications in Computer Science.

(1)

Mathematical Logic and Foundations.

(1)

Mathematical logic.

(1)

Microsoft .NET Framework.

(1)

Microsoft software.

(1)

(1)

Numerical analysis.

(1)

Pattern recognition systems.

(1)

Material Type

Shelf Location

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

35 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.

13.

Cover image for Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Author

Aceto, Luca. editor. Bacci, Giorgio. editor. Bacci, Giovanni. editor. Ingólfsdóttir, Anna. editor. Legay, Axel. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-63121-9

Format:

Availability

Online Library~1

Available:
Copies:

14.

Cover image for Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

Author

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-56841-6

Format:

Availability

Online Library~1

Available:
Copies:

15.

Cover image for ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

Author

Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Langerak, Rom. editor. Rensink, Arend. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-68270-9

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for Software Technologies 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016, Revised Selected Papers

Software Technologies 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016, Revised Selected Papers

Software Technologies 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016, Revised Selected Papers

Author

Cabello, Enrique. editor. Cardoso, Jorge. editor. Ludwig, André. editor. Maciaszek, Leszek A. editor. (orcid)0000-0001-6561-0545 van Sinderen, Marten. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-62569-0

Format:

Availability

Online Library~1

Available:
Copies:

17.

Cover image for Runtime Verification 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings

Runtime Verification 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings

Runtime Verification 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings

Author

Lahiri, Shuvendu. editor. Reger, Giles. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

18.

Cover image for Guide to Scientific Computing in C++

Guide to Scientific Computing in C++

Guide to Scientific Computing in C++

Author

Pitt-Francis, Joe. author. Whiteley, Jonathan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Author

Ábrahám, Erika. editor. Huisman, Marieke. editor. (orcid)0000-0003-4467-072X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-33693-0

Format:

Availability

Online Library~1

Available:
Copies:

20.

Cover image for NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings

NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings

NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings

Author

Rayadurgam, Sanjai. editor. Tkachuk, Oksana. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-40648-0

Format:

Availability

Online Library~1

Available:
Copies:

21.

Cover image for Structured Object-Oriented Formal Language and Method 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers

Structured Object-Oriented Formal Language and Method 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers

Structured Object-Oriented Formal Language and Method 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers

Author

Liu, Shaoying. editor. Duan, Zhenhua. editor. (orcid)0000-0003-2772-1433 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-31220-0

Format:

Availability

Online Library~1

Available:
Copies:

22.

Cover image for Tests and Proofs 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings

Tests and Proofs 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings

Tests and Proofs 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings

Author

Aichernig, Bernhard K. editor. Furia, Carlo A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-41135-4

Format:

Availability

Online Library~1

Available:
Copies:

23.

Cover image for Theoretical Aspects of Computing - ICTAC 2016 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings

Theoretical Aspects of Computing - ICTAC 2016 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings

Theoretical Aspects of Computing - ICTAC 2016 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings

Author

Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X Wang, Farn. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-46750-4

Format:

Availability

Online Library~1

Available:
Copies:

24.

Cover image for Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers

Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers

Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers

Author

Braga, Christiano. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11