Search Results for Programming Languages.

1.

Programming Languages and Systems 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings

Author

Feng, Xinyu. editor. Park, Sungwoo. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518926.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Programming Languages with Applications to Biology and Security Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday

Programming Languages with Applications to Biology and Security Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday

Author

Bodei, Chiara. editor. Ferrari, Gianluigi. editor. Priami, Corrado. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518889.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Programming Languages 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings

Author

Pardo, Alberto. editor. Swierstra, S. Doaitse. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519120.1)

Electronic Access

https://doi.org/10.1007/978-3-319-24012-1

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Author

Vitek, Jan. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519237.1)

Electronic Access

https://doi.org/10.1007/978-3-662-46669-8

Format:

Availability

Online Library~1

Available:
Copies:

5.

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I

Author

Halldórsson, Magnús M. editor. Iwama, Kazuo. editor. Kobayashi, Naoki. editor. Speckmann, Bettina. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519222.1)

Electronic Access

https://doi.org/10.1007/978-3-662-47672-7

Format:

Availability

Online Library~1

Available:
Copies:

6.

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II

Author

Halldórsson, Magnús M. editor. Iwama, Kazuo. editor. Kobayashi, Naoki. editor. Speckmann, Bettina. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519225.1)

Electronic Access

https://doi.org/10.1007/978-3-662-47666-6

Format:

Availability

Online Library~1

Available:
Copies:

7.

Her Yönüyle C #

Author

Algan, Sefer.

Preferred Shelf Number

QA76.73.C154 A44 2015

Format:

Availability

Beytepe Library~2

Available:
Copies:

8.

Interaction flow modeling language model-driven UI engineering of web and mobile apps with IFML

Author

Brambilla, Marco, 1976- author. Fraternali, Piero, author.

Preferred Shelf Number

ONLINE(355438.1)

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780128001080

Format:

Availability

Online Library~1

Available:
Copies:

9.

Beginning Java Programming: The Object Oriented Approach

Author

Baesens, Bart. Backiel, Aimee Author. Broucke, Seppe vanden Author.

Preferred Shelf Number

QA76.73.J38 B34 2015

Format:

Availability

Beytepe Library~1

Available:
Copies:

10.

Language Production, Cognition, and the Lexicon

Author

Gala, Núria. editor. Rapp, Reinhard. editor. Bel-Enguix, Gemma. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518530.1)

Electronic Access

https://doi.org/10.1007/978-3-319-08043-7

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers

Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers

Author

Falaschi, Moreno. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518861.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Artificial General Intelligence 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings

Author

Bieger, Jordi. editor. Goertzel, Ben. editor. Potapov, Alexey. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518878.1)

Electronic Access

https://doi.org/10.1007/978-3-319-21365-1

Format:

Availability

Online Library~1

Available:
Copies:

13.

Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings

Author

Urban, Christian. editor. Zhang, Xingyuan. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519043.1)

Electronic Access

https://doi.org/10.1007/978-3-319-22102-1

Format:

Availability

Online Library~1

Available:
Copies:

14.

Cover image for Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers

Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers

Author

Codescu, Mihai. editor. Diaconescu, Răzvan. editor. Țuțu, Ionuț. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519139.1)

Electronic Access

https://doi.org/10.1007/978-3-319-28114-8

Format:

Availability

Online Library~1

Available:
Copies:

15.

Cover image for Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Author

Pitts, Andrew. editor. (orcid) SpringerLink (Online service)

Preferred Shelf Number

XX(519161.1)

Electronic Access

https://doi.org/10.1007/978-3-662-46678-0

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for Coordination Models and Languages 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings

Coordination Models and Languages 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings

Author

Holvoet, Tom. editor. Viroli, Mirko. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518980.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

17.

Cover image for Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings

Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings

Author

Calimeri, Francesco. editor. Ianni, Giovambattista. editor. Truszczynski, Miroslaw. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519293.1)

Electronic Access

https://doi.org/10.1007/978-3-319-23264-5

Format:

Availability

Online Library~1

Available:
Copies:

18.

Cover image for Engineering Multi-Agent Systems Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers

Engineering Multi-Agent Systems Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers

Author

Baldoni, Matteo. editor. Baresi, Luciano. editor. Dastani, Mehdi. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519297.1)

Electronic Access

https://doi.org/10.1007/978-3-319-26184-3

Format:

Availability

Online Library~1

Available:
Copies:

19.

Python for data science for dummies

Author

Massaron, Luca. Mueller, John Paul.

Preferred Shelf Number

QA76.73.P98 M376 2015

Format:

Availability

Beytepe Library~1

Available:
Copies:

20.

Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77

Author

Chivers, Ian. author. Sleightholme, Jane. author. SpringerLink (Online service)

Preferred Shelf Number

XX(518655.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

21.

Cover image for Central European Functional Programming School 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers

Central European Functional Programming School 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers

Author

Zsók, Viktória. editor. Horváth, Zoltán. editor. Csató, Lehel. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519213.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}