Search Results for Programming language.

1.

Programming Language Concepts

Author

Sestoft, Peter. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-4156-3

Format:

Availability

Online Library~1

Available:
Copies:

2.

Multicore Programming Using the ParC Language

Author

Ben-Asher, Yosi. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-2164-0

Format:

Availability

Online Library~1

Available:
Copies:

3.

Guide to Assembly Language Programming in Linux

Author

Dandamudi, Sivarama P. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b136895

Format:

Availability

Online Library~1

Available:
Copies:

4.

Designing Embedded Systems with the SIGNAL Programming Language Synchronous, Reactive Specification

Author

Gamatie, Abdoulaye. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4419-0941-1

Format:

Availability

Online Library~1

Available:
Copies:

5.

Network Performance Analysis Using the J Programming Language

Author

Holt, Alan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84628-823-4

Format:

Availability

Online Library~1

Available:
Copies:

6.

Introduction to Assembly Language Programming For Pentium and RISC Processors

Author

Dandamudi, Sivarama P. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b138691

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part III

Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part III

Author

Hong, Wenxing. editor. Weng, Yang. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520246.1)

Electronic Access

https://doi.org/10.1007/978-981-99-2449-3

Format:

Availability

Online Library~1

Available:
Copies:

8.

Data Science Concepts and Techniques with Applications

Author

Qamar, Usman. author. Raza, Muhammad Summair. author. SpringerLink (Online service)

Preferred Shelf Number

XX(520307.1)

Electronic Access

https://doi.org/10.1007/978-3-031-17442-1

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Parallel and Distributed Computing, Applications and Technologies 23rd International Conference, PDCAT 2022, Sendai, Japan, December 7-9, 2022, Proceedings

Parallel and Distributed Computing, Applications and Technologies 23rd International Conference, PDCAT 2022, Sendai, Japan, December 7-9, 2022, Proceedings

Author

Takizawa, Hiroyuki. editor. Shen, Hong. editor. Hanawa, Toshihiro. editor. Hyuk Park, Jong. editor. Tian, Hui. editor.

Preferred Shelf Number

XX(520931.1)

Electronic Access

https://doi.org/10.1007/978-3-031-29927-8

Format:

Availability

Online Library~1

Available:
Copies:

10.

Innovative Technologies and Learning 6th International Conference, ICITL 2023, Porto, Portugal, August 28-30, 2023, Proceedings

Author

Huang, Yueh-Min. editor. (orcid) Rocha, Tânia. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520965.1)

Electronic Access

https://doi.org/10.1007/978-3-031-40113-8

Format:

Availability

Online Library~1

Available:
Copies:

11.

NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings

Author

Rozier, Kristin Yvonne. editor. Chaudhuri, Swarat. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520984.1)

Electronic Access

https://doi.org/10.1007/978-3-031-33170-1

Format:

Availability

Online Library~1

Available:
Copies:

12.

Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part IV

Author

Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Rocha, Ana Maria A. C. editor. (orcid) Garau, Chiara. editor. (orcid) Scorza, Francesco. editor.

Preferred Shelf Number

XX(521010.1)

Electronic Access

https://doi.org/10.1007/978-3-031-37114-1

Format:

Availability

Online Library~1

Available:
Copies:

13.

Engineering Multi-Agent Systems 11th International Workshop, EMAS 2023, London, UK, May 29-30, 2023, Revised Selected Papers

Author

Ciortea, Andrei. editor. Dastani, Mehdi. editor. Luo, Jieting. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521346.1)

Electronic Access

https://doi.org/10.1007/978-3-031-48539-8

Format:

Availability

Online Library~1

Available:
Copies:

14.

Concise Guide to Numerical Algorithmics The Foundations and Spirit of Scientific Computing

Author

Nazareth, John Lawrence. author. SpringerLink (Online service)

Preferred Shelf Number

XX(520189.1)

Electronic Access

https://doi.org/10.1007/978-3-031-21762-3

Format:

Availability

Online Library~1

Available:
Copies:

15.

Cover image for Artificial Intelligence Applications and Innovations 19th IFIP WG 12.5 International Conference, AIAI 2023, León, Spain, June 14-17, 2023, Proceedings, Part II

Artificial Intelligence Applications and Innovations 19th IFIP WG 12.5 International Conference, AIAI 2023, León, Spain, June 14-17, 2023, Proceedings, Part II

Author

Maglogiannis, Ilias. editor. (orcid) Iliadis, Lazaros. editor. (orcid) MacIntyre, John. editor. Dominguez, Manuel. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520424.1)

Electronic Access

https://doi.org/10.1007/978-3-031-34107-6

Format:

Availability

Online Library~1

Available:
Copies:

16.

Artificial Intelligence Applications and Innovations 19th IFIP WG 12.5 International Conference, AIAI 2023, León, Spain, June 14-17, 2023, Proceedings, Part I

Author

Maglogiannis, Ilias. editor. Iliadis, Lazaros. editor. (orcid) MacIntyre, John. editor. Dominguez, Manuel. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520425.1)

Electronic Access

https://doi.org/10.1007/978-3-031-34111-3

Format:

Availability

Online Library~1

Available:
Copies:

17.

Programming Languages: Principles and Paradigms

Author

Gabbrielli, Maurizio. author. Martini, Simone. author. SpringerLink (Online service)

Preferred Shelf Number

XX(520706.1)

Electronic Access

https://doi.org/10.1007/978-3-031-34144-1

Format:

Availability

Online Library~1

Available:
Copies:

18.

Cover image for Advances in Intelligent Data Analysis XXI 21st International Symposium on Intelligent Data Analysis, IDA 2023, Louvain-la-Neuve, Belgium, April 12-14, 2023, Proceedings

Advances in Intelligent Data Analysis XXI 21st International Symposium on Intelligent Data Analysis, IDA 2023, Louvain-la-Neuve, Belgium, April 12-14, 2023, Proceedings

Author

Crémilleux, Bruno. editor. Hess, Sibylle. editor. Nijssen, Siegfried. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520837.1)

Electronic Access

https://doi.org/10.1007/978-3-031-30047-9

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

Author

Kupferman, Orna. editor. Sobocinski, Pawel. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520842.1)

Electronic Access

https://doi.org/10.1007/978-3-031-30829-1

Format:

Availability

Online Library~1

Available:
Copies:

20.

Cover image for Parallel Processing and Applied Mathematics 14th International Conference, PPAM 2022, Gdansk, Poland, September 11-14, 2022, Revised Selected Papers, Part II

Parallel Processing and Applied Mathematics 14th International Conference, PPAM 2022, Gdansk, Poland, September 11-14, 2022, Revised Selected Papers, Part II

Author

Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Deelman, Ewa. editor. Karczewski, Konrad. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520846.1)

Electronic Access

https://doi.org/10.1007/978-3-031-30445-3

Format:

Availability

Online Library~1

Available:
Copies:

21.

Cover image for AIxIA 2022 - Advances in Artificial Intelligence XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings

AIxIA 2022 - Advances in Artificial Intelligence XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings

Author

Dovier, Agostino. editor. Montanari, Angelo. editor. Orlandini, Andrea. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520898.1)

Electronic Access

https://doi.org/10.1007/978-3-031-27181-6

Format:

Availability

Online Library~1

Available:
Copies:

22.

Cover image for Supercomputing 9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25-26, 2023, Revised Selected Papers, Part II

Supercomputing 9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25-26, 2023, Revised Selected Papers, Part II

Author

Voevodin, Vladimir. editor. Sobolev, Sergey. editor. Yakobovskiy, Mikhail. editor. Shagaliev, Rashit. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521381.1)

Electronic Access

https://doi.org/10.1007/978-3-031-49435-2

Format:

Availability

Online Library~1

Available:
Copies:

23.

Prolog: The Next 50 Years

Author

Warren, David S. editor. Dahl, Veronica. editor. Eiter, Thomas. editor. Hermenegildo, Manuel V. editor. Kowalski, Robert. editor.

Preferred Shelf Number

XX(521397.1)

Electronic Access

https://doi.org/10.1007/978-3-031-35254-6

Format:

Availability

Online Library~1

Available:
Copies:

24.

Cover image for ArtsIT, Interactivity and Game Creation 11th EAI International Conference, ArtsIT 2022, Faro, Portugal, November 21-22, 2022, Proceedings

ArtsIT, Interactivity and Game Creation 11th EAI International Conference, ArtsIT 2022, Faro, Portugal, November 21-22, 2022, Proceedings

Author

Brooks, Anthony L. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520308.1)

Electronic Access

https://doi.org/10.1007/978-3-031-28993-4

Format:

Availability

Online Library~1

Available:
Copies:

25.

Cover image for Digital Transformation in Education and Artificial Intelligence Application First International Conference, MoStart 2023, Mostar, Bosnia and Herzegovina, April 18-20, 2023, Revised Selected Papers

Digital Transformation in Education and Artificial Intelligence Application First International Conference, MoStart 2023, Mostar, Bosnia and Herzegovina, April 18-20, 2023, Revised Selected Papers

Author

Vasić, Daniel. editor. Kundid Vasić, Mirela. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520500.1)

Electronic Access

https://doi.org/10.1007/978-3-031-36833-2

Format:

Availability

Online Library~1

Available:
Copies:

26.

Advanced Guide to Python 3 Programming

Author

Hunt, John. author. SpringerLink (Online service)

Preferred Shelf Number

XX(520649.1)

Electronic Access

https://doi.org/10.1007/978-3-031-40336-1

Format:

Availability

Online Library~1

Available:
Copies:

27.

Cover image for Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, Industry and Innovation Tracks, Practitioners, Doctoral Consortium and Blue Sky 24th International Conference, AIED 2023, Tokyo, Japan, July 3-7, 2023, Proceedings

Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, Industry and Innovation Tracks, Practitioners, Doctoral Consortium and Blue Sky 24th International Conference, AIED 2023, Tokyo, Japan, July 3-7, 2023, Proceedings

Author

Wang, Ning. editor. Rebolledo-Mendez, Genaro. editor. Dimitrova, Vania. editor. Matsuda, Noboru. editor. Santos, Olga C. editor.

Preferred Shelf Number

XX(520682.1)

Electronic Access

https://doi.org/10.1007/978-3-031-36336-8

Format:

Availability

Online Library~1

Available:
Copies:

28.

Cover image for Advances in Quantitative Ethnography 5th International Conference, ICQE 2023, Melbourne, VIC, Australia, October 8-12, 2023, Proceedings

Advances in Quantitative Ethnography 5th International Conference, ICQE 2023, Melbourne, VIC, Australia, October 8-12, 2023, Proceedings

Author

Arastoopour Irgens, Golnaz. editor. Knight, Simon. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520715.1)

Electronic Access

https://doi.org/10.1007/978-3-031-47014-1

Format:

Availability

Online Library~1

Available:
Copies:

29.

Cover image for Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings

Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings

Author

Hanus, Michael. editor. Inclezan, Daniela. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520788.1)

Electronic Access

https://doi.org/10.1007/978-3-031-24841-2

Format:

Availability

Online Library~1

Available:
Copies:

30.

Artificial General Intelligence 15th International Conference, AGI 2022, Seattle, WA, USA, August 19-22, 2022, Proceedings

Author

Goertzel, Ben. editor. Iklé, Matt. editor. Potapov, Alexey. editor. Ponomaryov, Denis. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520796.1)

Electronic Access

https://doi.org/10.1007/978-3-031-19907-3

Format:

Availability

Online Library~1

Available:
Copies:

31.

Software Architecture. ECSA 2022 Tracks and Workshops Prague, Czech Republic, September 19-23, 2022, Revised Selected Papers

Author

Batista, Thais. editor. Bureš, Tomáš. editor. Raibulet, Claudia. editor. Muccini, Henry. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521095.1)

Electronic Access

https://doi.org/10.1007/978-3-031-36889-9

Format:

Availability

Online Library~1

Available:
Copies:

32.

Cover image for Responsive and Sustainable Educational Futures 18th European Conference on Technology Enhanced Learning, EC-TEL 2023, Aveiro, Portugal, September 4-8, 2023, Proceedings

Responsive and Sustainable Educational Futures 18th European Conference on Technology Enhanced Learning, EC-TEL 2023, Aveiro, Portugal, September 4-8, 2023, Proceedings

Author

Viberg, Olga. editor. Jivet, Ioana. editor. Muñoz-Merino, Pedro J. editor. Perifanou, Maria. editor. Papathoma, Tina. editor.

Preferred Shelf Number

XX(521121.1)

Electronic Access

https://doi.org/10.1007/978-3-031-42682-7

Format:

Availability

Online Library~1

Available:
Copies:

33.

Multi-Agent Systems 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings

Author

Malvone, Vadim. editor. Murano, Aniello. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521127.1)

Electronic Access

https://doi.org/10.1007/978-3-031-43264-4

Format:

Availability

Online Library~1

Available:
Copies:

34.

Practical Aspects of Declarative Languages 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings

Author

Gebser, Martin. editor. Sergey, Ilya. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521411.1)

Electronic Access

https://doi.org/10.1007/978-3-031-52038-9

Format:

Availability

Online Library~1

Available:
Copies:

35.

Breastfeeding and Metabolic Programming

Author

Şahin, Özlem Naciye. editor. Briana, Despina D. editor. Di Renzo, Gian Carlo. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521881.1)

Electronic Access

https://doi.org/10.1007/978-3-031-33278-4

Format:

Availability

Online Library~1

Available:
Copies:

36.

Introduction to Artificial Intelligence

Author

Klontzas, Michail E. editor. Fanni, Salvatore Claudio. editor. Neri, Emanuele. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521892.1)

Electronic Access

https://doi.org/10.1007/978-3-031-25928-9

Format:

Availability

Online Library~1

Available:
Copies:

37.

The Semantic Web: ESWC 2023 Satellite Events Hersonissos, Crete, Greece, May 28 - June 1, 2023, Proceedings

Author

Pesquita, Catia. editor. Skaf-Molli, Hala. editor. Efthymiou, Vasilis. editor. Kirrane, Sabrina. editor. Ngonga, Axel. editor.

Preferred Shelf Number

XX(521251.1)

Electronic Access

https://doi.org/10.1007/978-3-031-43458-7

Format:

Availability

Online Library~1

Available:
Copies:

38.

Cover image for AIxIA 2023 - Advances in Artificial Intelligence XXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6-9, 2023, Proceedings

AIxIA 2023 - Advances in Artificial Intelligence XXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6-9, 2023, Proceedings

Author

Basili, Roberto. editor. Lembo, Domenico. editor. Limongelli, Carla. editor. Orlandini, Andrea. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521280.1)

Electronic Access

https://doi.org/10.1007/978-3-031-47546-7

Format:

Availability

Online Library~1

Available:
Copies:

39.

Theoretical Aspects of Computing - ICTAC 2023 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings

Author

Ábrahám, Erika. editor. Dubslaff, Clemens. editor. Tarifa, Silvia Lizeth Tapia. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521340.1)

Electronic Access

https://doi.org/10.1007/978-3-031-47963-2

Format:

Availability

Online Library~1

Available:
Copies:

40.

Programming Languages and Systems 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023, Proceedings

Author

Hur, Chung-Kil. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521341.1)

Electronic Access

https://doi.org/10.1007/978-981-99-8311-7

Format:

Availability

Online Library~1

Available:
Copies:

41.

Cover image for Artificial Neural Networks and Machine Learning - ICANN 2023 32nd International Conference on Artificial Neural Networks, Heraklion, Crete, Greece, September 26-29, 2023, Proceedings, Part VIII

Artificial Neural Networks and Machine Learning - ICANN 2023 32nd International Conference on Artificial Neural Networks, Heraklion, Crete, Greece, September 26-29, 2023, Proceedings, Part VIII

Author

Iliadis, Lazaros. editor. (orcid) Papaleonidas, Antonios. editor. (orcid) Angelov, Plamen. editor. Jayne, Chrisina. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521311.1)

Electronic Access

https://doi.org/10.1007/978-3-031-44198-1

Format:

Availability

Online Library~1

Available:
Copies:

42.

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:

43.

Cyber Warfare Building the Scientific Foundation

Author

Jajodia, Sushil. editor. Shakarian, Paulo. editor. Subrahmanian, V.S. editor. Swarup, Vipin. editor. Wang, Cliff. editor.

Preferred Shelf Number

XX(518532.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

44.

Object-Oriented Analysis, Design and Implementation An Integrated Approach

Author

Dathan, Brahma. author. Ramnath, Sarnath. author. SpringerLink (Online service)

Preferred Shelf Number

XX(518630.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

45.

Guide to Fortran 2008 Programming

Author

Brainerd, Walter S. author. SpringerLink (Online service)

Preferred Shelf Number

XX(518637.1)

Electronic Access

https://doi.org/10.1007/978-1-4471-6759-4

Format:

Availability

Online Library~1

Available:
Copies:

46.

Cover image for Business Process Management Workshops BPM 2014 International Workshops, Eindhoven, The Netherlands, September 7-8, 2014, Revised Papers

Business Process Management Workshops BPM 2014 International Workshops, Eindhoven, The Netherlands, September 7-8, 2014, Revised Papers

Author

Fournier, Fabiana. editor. Mendling, Jan. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518625.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

47.

Cover image for Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers

Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers

Author

Lanese, Ivan. editor. Madelaine, Eric. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519140.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

48.

Cover image for Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers.

Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers.

Author

Voronkov, Andrei. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519146.1)

Electronic Access

https://doi.org/10.1007/978-3-662-46823-4

Format:

Availability

Online Library~1

Available:
Copies:

49.

Cover image for Mathematics of Program Construction 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings

Mathematics of Program Construction 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings

Author

Hinze, Ralf. editor. Voigtländer, Janis. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519158.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

50.

Cover image for Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings

Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings

Author

de Paiva, Valeria. editor. de Queiroz, Ruy. editor. Moss, Lawrence S. editor. Leivant, Daniel. editor. de Oliveira, Anjolina G. editor.

Preferred Shelf Number

XX(518949.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

51.

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:

52.

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:

53.

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:

54.

Transactional Memory. Foundations, Algorithms, Tools, and Applications COST Action Euro-TM IC1001

Author

Guerraoui, Rachid. editor. Romano, Paolo. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519310.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

55.

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:

56.

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:

57.

Cover image for Artificial Life and Computational Intelligence First Australasian Conference, ACALCI 2015, Newcastle, NSW, Australia, February 5-7, 2015, Proceedings

Artificial Life and Computational Intelligence First Australasian Conference, ACALCI 2015, Newcastle, NSW, Australia, February 5-7, 2015, Proceedings

Author

Chalup, Stephan. editor. Blair, Alan D. editor. Randall, Marcus. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519044.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

58.

Cover image for Cooperative Design, Visualization, and Engineering 12th International Conference, CDVE 2015, Mallorca, Spain, September 20-23, 2015. Proceedings

Cooperative Design, Visualization, and Engineering 12th International Conference, CDVE 2015, Mallorca, Spain, September 20-23, 2015. Proceedings

Author

Luo, Yuhua. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519198.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}