Search Results for Programming Languages.

1.

Programming Languages and Systems 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings

Author

Shan, Chung-chieh. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332981.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-03542-0

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

Author

Bertacco, Valeria. editor. Legay, Axel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332962.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-03077-7

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings

Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings

Author

Gonthier, Georges. editor. Norrish, Michael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332982.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-03545-1

Format:

Availability

Online Library~1

Available:
Copies:

4.

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:

5.

Cover image for Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers

Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers

Author

Păsăreanu, Corina S. editor. Salaün, Gwen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334069.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers

Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers

Author

Lämmel, Ralf. editor. Saraiva, João. editor. Visser, Joost. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334096.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers

Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers

Author

Czarnecki, Krzysztof. editor. Hedin, Görel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334120.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Author

Pfenning, Frank. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334358.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday

Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday

Author

Coecke, Bob. editor. Ong, Luke. editor. Panangaden, Prakash. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334547.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers

Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers

Author

Liu, Shaoying. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334772.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday

Author

Achten, Peter. editor. Koopman, Pieter. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334934.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Trends in Functional Programming 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers

Author

Loidl, Hans-Wolfgang. editor. Peña, Ricardo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334946.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

13.

Cover image for Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings

Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings

Author

Groves, Lindsay. editor. Sun, Jing. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335072.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

14.

Cover image for Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers

Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers

Author

Duchier, Denys. editor. Parmentier, Yannick. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335125.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

15.

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:

16.

Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings

Author

Erwig, Martin. editor. Paige, Richard F. editor. Wyk, Eric. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332934.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-02654-1

Format:

Availability

Online Library~1

Available:
Copies:

17.

Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers

Author

Wolff, Burkhart. editor. Gaudel, Marie-Claude. editor. Feliachi, Abderrahmane. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334034.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

18.

Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

Author

Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334038.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers

ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers

Author

Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Spivakovsky, Aleksander. editor. Zholtkevych, Grygoriy. editor.

Preferred Shelf Number

ONLINE(334041.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

20.

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:

21.

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:

22.

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:

23.

Cover image for Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

Author

Biere, Armin. editor. Nahir, Amir. editor. Vos, Tanja. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334820.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

24.

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:

25.

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:

26.

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:

27.

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:

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.

Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings

Author

Abdulla, Parosh Aziz. editor. Potapov, Igor. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335046.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

30.

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:

	{displayName}	{count}
{error}