Search Results for Design.

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

25 Results Found

1 2 3

000000000000DEFAULT

13.

Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings

Author

Logozzo, Francesco. editor. Fähndrich, Manuel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334683.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

14.

Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings

Author

Veanes, Margus. editor. Viganò, Luca. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334698.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

15.

Modelling Foundations and Applications 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings

Author

Gorp, Pieter. editor. Ritter, Tom. editor. Rose, Louis M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334711.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

16.

ECOOP 2013 – Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings

Author

Castagna, Giuseppe. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334715.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

17.

Cover image for Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings

Author

Galmiche, Didier. editor. Larchey-Wendling, Dominique. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334962.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

18.

Cover image for Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings

Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings

Author

Hierons, Robert M. editor. Merayo, Mercedes G. editor. Bravetti, Mario. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334968.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings

Author

Cabalar, Pedro. editor. Son, Tran Cao. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334969.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

20.

Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings

Author

Legay, Axel. editor. Bensalem, Saddek. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335003.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

21.

Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings

Author

Fontaine, Pascal. editor. Ringeissen, Christophe. editor. Schmidt, Renate A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335023.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

22.

Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers

Author

Qadeer, Shaz. editor. Tasiran, Serdar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334014.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

23.

Cover image for Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers

Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers

Author

Hinze, Ralf. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335126.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

24.

Cover image for Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings

Author

McMillan, Ken. editor. Middeldorp, Aart. editor. Voronkov, Andrei. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335196.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3

	{displayName}	{count}
{error}