Search Results for Logics and Meanings of Programs.

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

104 Results Found

1 2 3 4 5 6 .. 9

000000000000DEFAULT

37.

Software Architecture 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings

Author

Drira, Khalil. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334714.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

38.

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:

39.

Cover image for The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings

The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings

Author

Bonizzoni, Paola. editor. Brattka, Vasco. editor. Löwe, Benedikt. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334718.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

40.

Cover image for Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings

Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings

Author

Järvisalo, Matti. editor. Van Gelder, Allen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334724.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

41.

Cover image for Symbolic and Quantitative Approaches to Reasoning with Uncertainty 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings

Author

Gaag, Linda C. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334728.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

42.

Model Checking Software 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings

Author

Bartocci, Ezio. editor. Ramakrishnan, C. R. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334743.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

43.

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:

44.

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:

45.

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:

46.

Cover image for Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

Author

Giachino, Elena. editor. Hähnle, Reiner. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334978.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

47.

Cover image for Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings

Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings

Author

Leite, João. editor. Son, Tran Cao. editor. Torroni, Paolo. editor. Torre, Leon. editor. Woltran, Stefan. editor.

Preferred Shelf Number

ONLINE(334979.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

48.

Cover image for Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings

Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings

Author

Schulte, Christian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334980.1)

Electronic Access

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

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

	{displayName}	{count}
{error}