Search Results for Logics and Meanings of Programs.

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

103 Results Found

1 2 3 4 5 .. 9

000000000000DEFAULT

25.

Cover image for Automated Deduction – CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings

Automated Deduction – CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings

Author

Bonacina, Maria Paola. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334626.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

26.

Cover image for Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings

Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings

Author

Beyer, Dirk. editor. Boreale, Michele. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334630.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

27.

Cover image for Reliable Software Technologies – Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings

Reliable Software Technologies – Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings

Author

Keller, Hubert B. editor. Plödereder, Erhard. editor. Dencker, Peter. editor. Klenk, Herbert. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334631.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

28.

Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings

Author

Johnsen, Einar Broch. editor. Petre, Luigia. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334634.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

29.

Cover image for Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings

Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings

Author

Colom, José-Manuel. editor. Desel, Jörg. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334651.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

30.

Computer Aided Verification 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings

Author

Sharygina, Natasha. editor. Veith, Helmut. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334851.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

31.

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:

32.

Cover image for Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures

Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures

Author

Bernardo, Marco. editor. Vink, Erik. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334688.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

33.

Cover image for Theory and Practice of Model Transformations 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings

Theory and Practice of Model Transformations 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings

Author

Duddy, Keith. editor. Kappel, Gerti. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334691.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

34.

Cover image for CONCUR 2013 – Concurrency Theory 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings

CONCUR 2013 – Concurrency Theory 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings

Author

D’Argenio, Pedro R. editor. Melgratti, Hernán. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334905.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

35.

Cover image for Quantitative Evaluation of Systems 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings

Quantitative Evaluation of Systems 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings

Author

Joshi, Kaustubh. editor. Siegle, Markus. editor. Stoelinga, Mariëlle. editor. D’Argenio, Pedro R. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334907.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

36.

Social Semantics The Search for Meaning on the Web

Author

Halpin, Harry. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331289.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-1885-6

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 .. 9

	{displayName}	{count}
{error}