Search Results for Programming (Electronic computers) - Narrowed by: English

From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

2024-11-09T08:40:21Z

Author ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667 Semini, Laura. editor. (orcid)0000-0001-8774-2346 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30985-5
Format: Electronic Resources
Availability Online Library~1

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

2024-11-09T08:40:21Z

Author Dillig, Isil. editor. Tasiran, Serdar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-25540-4
Format: Electronic Resources
Availability Online Library~1

The Python Workbook A Brief Introduction with Exercises and Solutions

2024-11-09T08:40:21Z

Author Stephenson, Ben. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-18873-3
Format: Electronic Resources
Availability Online Library~1

Formal Techniques for Distributed Objects, Components, and Systems 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings

2024-11-09T08:40:21Z

Author Pérez, Jorge A. editor. (orcid)0000-0002-1452-6180 Yoshida, Nobuko. editor. (orcid)0000-0002-3925-8557 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-21759-4
Format: Electronic Resources
Availability Online Library~1

Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings

2024-11-09T08:40:21Z

Author Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507 Petre, Luigia. editor. Smith, Graeme. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-32441-4
Format: Electronic Resources
Availability Online Library~1

Functional and Constraint Logic Programming 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers

2024-11-09T08:40:21Z

Author Silva, Josep. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-16202-3
Format: Electronic Resources
Availability Online Library~1

Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

2024-11-09T08:40:21Z

Author Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613 van der Aalst, Wil. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-16722-6
Format: Electronic Resources
Availability Online Library~1

Foundations of Security, Protocols, and Equational Reasoning Essays Dedicated to Catherine A. Meadows

2024-11-09T08:40:21Z

Author Guttman, Joshua D. editor. Landwehr, Carl E. editor. Meseguer, José. editor. Pavlovic, Dusko. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-19052-1
Format: Electronic Resources
Availability Online Library~1

Geographical Information Systems Theory, Applications and Management 4th International Conference, GISTAM 2018, Funchal, Madeira, Portugal, March 17–19, 2018, Revised Selected Papers

2024-11-09T08:40:21Z

Author Ragia, Lemonia. editor. Grueau, Cédric. editor. Laurini, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-29948-4
Format: Electronic Resources
Availability Online Library~1

Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers

2024-11-09T08:40:21Z

Author Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-12988-0
Format: Electronic Resources
Availability Online Library~1

Programming and Performance Visualization Tools International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018, Revised Selected Papers

2024-11-09T08:40:21Z

Author Bhatele, Abhinav. editor. (orcid)0000-0003-3069-3701 Boehme, David. editor. Levine, Joshua A. editor. Malony, Allen D. editor. Schulz, Martin. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17872-7
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

2024-11-09T08:40:21Z

Author Caires, Luís. editor. (orcid)0000-0002-3215-6734 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17184-1
Format: Electronic Resources
Availability Online Library~1

Multi-Agent Systems 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers

2024-11-09T08:40:21Z

Author Slavkovik, Marija. editor. (orcid)0000-0003-2548-8623 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-14174-5
Format: Electronic Resources
Availability Online Library~1

Languages and Compilers for Parallel Computing 31st International Workshop, LCPC 2018, Salt Lake City, UT, USA, October 9–11, 2018, Revised Selected Papers

2024-11-09T08:40:21Z

Author Hall, Mary. editor. (orcid)0000-0002-3058-7573 Sundar, Hari. editor. (orcid)0000-0001-9001-5107 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-34627-0
Format: Electronic Resources
Availability Online Library~1

Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

2024-11-09T08:40:21Z

Author Bojańczyk, Mikołaj. editor. Simpson, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17127-8
Format: Electronic Resources
Availability Online Library~1

Logics in Artificial Intelligence 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings

2024-11-09T08:40:21Z

Author Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834 Leone, Nicola. editor. Manna, Marco. editor. (orcid)0000-0003-3323-9328 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-19570-0
Format: Electronic Resources
Availability Online Library~1

A Beginners Guide to Python 3 Programming

2024-11-09T08:40:21Z

Author Hunt, John. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-20290-3
Format: Electronic Resources
Availability Online Library~1

Static Analysis 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings

2024-11-09T08:40:21Z

Author Chang, Bor-Yuh Evan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-32304-2
Format: Electronic Resources
Availability Online Library~1

On the Move to Meaningful Internet Systems: OTM 2019 Conferences Confederated International Conferences: CoopIS, ODBASE, C&TC 2019, Rhodes, Greece, October 21–25, 2019, Proceedings

2024-11-09T08:40:21Z

Author Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 Debruyne, Christophe. editor. (orcid)0000-0003-4734-3847 Hepp, Martin. editor. Lewis, Dave. editor. Ardagna, Claudio Agostino. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-33246-4
Format: Electronic Resources
Availability Online Library~1

Accelerator Programming Using Directives 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings

2024-11-09T08:40:21Z

Author Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428 Juckeland, Guido. editor. (orcid)0000-0002-9935-4428 Wienke, Sandra. editor. (orcid)0000-0002-5794-3662 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-12274-4
Format: Electronic Resources
Availability Online Library~1

Models, Languages, and Tools for Concurrent and Distributed Programming Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday

2024-11-09T08:40:21Z

Author Boreale, Michele. editor. (orcid)0000-0002-1972-7491 Corradini, Flavio. editor. Loreti, Michele. editor. (orcid)0000-0003-3061-863X Pugliese, Rosario. editor. (orcid)0000-0002-1419-1405 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-21485-2
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings

2024-11-09T08:40:21Z

Author Lin, Anthony Widjaja. editor. (orcid)0000-0003-4715-5096 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-34175-6
Format: Electronic Resources
Availability Online Library~1

Computer Music Instruments II Realtime and Object-Oriented Audio

2024-11-09T08:40:21Z

Author Lazzarini, Victor. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-13712-0
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

2024-11-09T08:40:21Z

Author Ölveczky, Peter Csaba. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30446-1
Format: Electronic Resources
Availability Online Library~1

System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings

2024-11-09T08:40:21Z

Author Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736 Sancho, Maria-Ribera. editor. (orcid)0000-0002-5904-8709 Sherratt, Edel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30690-8
Format: Electronic Resources
Availability Online Library~1

Agreement Technologies 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers

2024-11-09T08:40:21Z

Author Lujak, Marin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17294-7
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings

2024-11-09T08:40:21Z

Author Larsen, Kim Guldstrand. editor. Willemse, Tim. editor. (orcid)0000-0003-3049-7962 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-27008-7
Format: Electronic Resources
Availability Online Library~1

Requirements Engineering: Foundation for Software Quality 25th International Working Conference, REFSQ 2019, Essen, Germany, March 18–21, 2019, Proceedings

2024-11-09T08:40:21Z

Author Knauss, Eric. editor. (orcid)0000-0002-6631-872X Goedicke, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-15538-4
Format: Electronic Resources
Availability Online Library~1

Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings

2024-11-09T08:40:21Z

Author Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441 Mariani, Leonardo. editor. (orcid)0000-0001-9527-7042 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-32079-9
Format: Electronic Resources
Availability Online Library~1

OpenMP: Conquering the Full Hardware Spectrum 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings

2024-11-09T08:40:21Z

Author Fan, Xing. editor. de Supinski, Bronis R. editor. Sinnen, Oliver. editor. Giacaman, Nasser. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-28596-8
Format: Electronic Resources
Availability Online Library~1

Graph Transformation 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings

2024-11-09T08:40:21Z

Author Guerra, Esther. editor. (orcid)0000-0002-2818-2278 Orejas, Fernando. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-23611-3
Format: Electronic Resources
Availability Online Library~1

Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers

2024-11-09T08:40:21Z

Author Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750 Massink, Mieke. editor. (orcid)0000-0001-5089-002X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-31517-7
Format: Electronic Resources
Availability Online Library~1

Computing and Software Science State of the Art and Perspectives

2024-11-09T08:40:21Z

Author Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 Woeginger, Gerhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91908-9
Format: Electronic Resources
Availability Online Library~1

Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings

2024-11-09T08:40:21Z

Author Chen, Yu-Fang. editor. (orcid)0000-0003-2872-0336 Cheng, Chih-Hong. editor. Esparza, Javier. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-31784-3
Format: Electronic Resources
Availability Online Library~1

Languages and Compilers for Parallel Computing 30th International Workshop, LCPC 2017, College Station, TX, USA, October 11–13, 2017, Revised Selected Papers

2024-11-09T08:40:21Z

Author Rauchwerger, Lawrence. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-35225-7
Format: Electronic Resources
Availability Online Library~1

End-User Development 7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10–12, 2019, Proceedings

2024-11-09T08:40:21Z

Author Malizia, Alessio. editor. Valtolina, Stefano. editor. Morch, Anders. editor. Serrano, Alan. editor. Stratton, Andrew. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-24781-2
Format: Electronic Resources
Availability Online Library~1

Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

2024-11-09T08:40:21Z

Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Graf, Susanne. editor. Larsen, Kim G. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-22348-9
Format: Electronic Resources
Availability Online Library~1

Answer Set Programming

2024-11-09T08:40:21Z

Author Lifschitz, Vladimir. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-24658-7
Format: Electronic Resources
Availability Online Library~1

Formal Languages and Compilation

2024-11-09T08:40:21Z

Author Crespi Reghizzi, Stefano. author. Breveglieri, Luca. author. (orcid)0000-0001-5294-6840 Morzenti, Angelo. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-04879-2
Format: Electronic Resources
Availability Online Library~1

Product-Focused Software Process Improvement 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings

2024-11-09T08:40:21Z

Author Franch, Xavier. editor. (orcid)0000-0001-9733-8830 Männistö, Tomi. editor. (orcid)0000-0001-7470-5183 Martínez-Fernández, Silverio. editor. (orcid)0000-0001-9928-133X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-35333-9
Format: Electronic Resources
Availability Online Library~1

Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings

2024-11-09T08:40:21Z

Author Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555 Tapia Tarifa, Silvia Lizeth. editor. (orcid)0000-0001-9948-2748 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-34968-4
Format: Electronic Resources
Availability Online Library~1

Search-Based Software Engineering 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings

2024-11-09T08:40:21Z

Author Nejati, Shiva. editor. Gay, Gregory. editor. (orcid)0000-0001-6794-9585 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-27455-9
Format: Electronic Resources
Availability Online Library~1

Central European Functional Programming School 6th Summer School, CEFP 2015, Budapest, Hungary, July 6–10, 2015, Revised Selected Papers

2024-11-09T08:40:21Z

Author Zsók, Viktória. editor. Porkoláb, Zoltán. editor. Horváth, Zoltán. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-28346-9
Format: Electronic Resources
Availability Online Library~1

Java in Two Semesters Featuring JavaFX

2024-11-09T08:40:21Z

Author Charatan, Quentin. author. Kans, Aaron. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99420-8
Format: Electronic Resources
Availability Online Library~1

Data Structures and Algorithms with Scala A Practitioner's Approach with Emphasis on Functional Programming

2024-11-09T08:40:21Z

Author Upadhyaya, Bhim P. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-12561-5
Format: Electronic Resources
Availability Online Library~1

Transactions on High-Performance Embedded Architectures and Compilers V

2024-11-09T08:40:21Z

Author Silvano, Cristina. editor. (orcid)0000-0003-1668-0883 Bertels, Koen. editor. (orcid)0000-0001-9310-4885 Schulte, Michael. editor. (orcid)0000-0002-0213-4155 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-58834-5
Format: Electronic Resources
Availability Online Library~1

Practical Aspects of Declarative Languages 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings

2024-11-09T08:40:21Z

Author Alferes, José Júlio. editor. Johansson, Moa. editor. (orcid)0000-0002-1097-8278 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-05998-9
Format: Electronic Resources
Availability Online Library~1

NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings

2024-11-09T08:40:21Z

Author Badger, Julia M. editor. Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-20652-9
Format: Electronic Resources
Availability Online Library~1

Data Analytics and Management in Data Intensive Domains 20th International Conference, DAMDID/RCDL 2018, Moscow, Russia, October 9–12, 2018, Revised Selected Papers

2024-11-09T08:40:21Z

Author Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329 Stupnikov, Sergey. editor. (orcid)0000-0003-4720-8215 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-23584-0
Format: Electronic Resources
Availability Online Library~1

Tests and Proofs 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings

2024-11-09T08:40:21Z

Author Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Keller, Chantal. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-31157-5
Format: Electronic Resources
Availability Online Library~1

Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

2024-11-09T08:40:21Z

Author ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 McIver, Annabelle. editor. (orcid)0000-0002-2405-9838 Oliveira, José N. editor. (orcid)0000-0002-0196-4229 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30942-8
Format: Electronic Resources
Availability Online Library~1

Supercomputing 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24–25, 2018, Revised Selected Papers

2024-11-09T08:40:21Z

Author Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Sobolev, Sergey. editor. (orcid)0000-0002-3474-8696 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-05807-4
Format: Electronic Resources
Availability Online Library~1

Trends in Functional Programming 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers

2024-11-09T08:40:21Z

Author Pałka, Michał. editor. Myreen, Magnus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-18506-0
Format: Electronic Resources
Availability Online Library~1

Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers

2024-11-09T08:40:21Z

Author Mesnard, Fred. editor. Stuckey, Peter J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-13838-7
Format: Electronic Resources
Availability Online Library~1

Trends in Functional Programming 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers

2024-11-09T08:40:21Z

Author Van Horn, David. editor. Hughes, John. editor. (orcid)0000-0001-8042-0969 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-14805-8
Format: Electronic Resources
Availability Online Library~1

Advanced Guide to Python 3 Programming

2024-11-09T08:40:21Z

Author Hunt, John. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-25943-3
Format: Electronic Resources
Availability Online Library~1

Unifying Theories of Programming 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings

2024-11-09T08:40:21Z

Author Ribeiro, Pedro. editor. (orcid)0000-0003-4319-4872 Sampaio, Augusto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-31038-7
Format: Electronic Resources
Availability Online Library~1

Graphical Models for Security 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers

2024-11-09T08:40:21Z

Author Cybenko, George. editor. (orcid)0000-0001-7734-2912 Pym, David. editor. (orcid)0000-0002-6504-5838 Fila, Barbara. editor. (orcid)0000-0002-1824-7621 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-15465-3
Format: Electronic Resources
Availability Online Library~1

Coordination Models and Languages 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings

2024-11-09T08:40:21Z

Author Riis Nielson, Hanne. editor. (orcid)0000-0002-2484-5580 Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-22397-7
Format: Electronic Resources
Availability Online Library~1

Foundations and Practice of Security 11th International Symposium, FPS 2018, Montreal, QC, Canada, November 13–15, 2018, Revised Selected Papers

2024-11-09T08:40:21Z

Author Zincir-Heywood, Nur. editor. Bonfante, Guillaume. editor. Debbabi, Mourad. editor. (orcid)0000-0003-3015-3043 Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-18419-3
Format: Electronic Resources
Availability Online Library~1

Learning C# by Programming Games

2024-11-09T08:40:21Z

Author van Toll, Wouter. author. Egges, Arjan. author. Fokker, Jeroen D. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-59252-6
Format: Electronic Resources
Availability Online Library~1

Reversible Computation 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings

2024-11-09T08:40:21Z

Author Thomsen, Michael Kirkedal. editor. (orcid)0000-0003-0922-3609 Soeken, Mathias. editor. (orcid)0000-0002-0229-8766 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-21500-2
Format: Electronic Resources
Availability Online Library~1

Introduction to Software Design with Java

2024-11-09T08:40:21Z

Author Robillard, Martin P. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-24094-3
Format: Electronic Resources
Availability Online Library~1

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings

2024-11-09T08:40:21Z

Author Collart-Dutilleul, Simon. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-18744-6
Format: Electronic Resources
Availability Online Library~1

Foundations of quantum programming

2024-11-09T08:40:21Z

Author Ying, Mingsheng, author.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780128023068
Format: Electronic Resources
Availability Online Library~1

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

2024-11-09T08:40:21Z

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: Electronic Resources
Availability Online Library~1

Python for data science for dummies

2024-11-09T08:40:21Z

Author Massaron, Luca. Mueller, John Paul.
Preferred Shelf Number QA76.73.P98 M376 2015
Format: Books
Availability Beytepe Library~1

Introduction to programming languages

2024-11-09T08:40:21Z

Author Bansal, Arvind Kumar.
Preferred Shelf Number QA76.5 B36 2014
Format: Books
Availability Beytepe Library~1

Guide to Java A Concise Introduction to Programming

2024-11-09T08:40:21Z

Author Streib, James T. author. Soma, Takako. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4471-6317-6
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Operational Semantics A Concise Overview

2024-11-09T08:40:21Z

Author Fernández, Maribel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4471-6368-8
Format: Electronic Resources
Availability Online Library~1

Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings

2024-11-09T08:40:21Z

Author Flatt, Matthew. editor. Guo, Hai-Feng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-04132-2
Format: Electronic Resources
Availability Online Library~1

Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings

2024-11-09T08:40:21Z

Author Dingel, Juergen. editor. Schulte, Wolfram. editor. Ramos, Isidro. editor. Abrahao, Silvia. editor. Insfran, Emilio. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11653-2
Format: Electronic Resources
Availability Online Library~1

Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings

2024-11-09T08:40:21Z

Author Merz, Stephan. editor. Pang, Jun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11737-9
Format: Electronic Resources
Availability Online Library~1

System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings

2024-11-09T08:40:21Z

Author Amyot, Daniel. editor. Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736 Mussbacher, Gunter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11743-0
Format: Electronic Resources
Availability Online Library~1

Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings

2024-11-09T08:40:21Z

Author Combemale, Benoit. editor. Pearce, David. editor. Barais, Olivier. editor. Vinju, Jurgen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11245-9
Format: Electronic Resources
Availability Online Library~1

JRuby Rails Web Application Development

2024-11-09T08:40:21Z

Author Vohra, Deepak. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-03934-3
Format: Electronic Resources
Availability Online Library~1

Application and Theory of Petri Nets and Concurrency 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings

2024-11-09T08:40:21Z

Author Ciardo, Gianfranco. editor. Kindler, Ekkart. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-07734-5
Format: Electronic Resources
Availability Online Library~1

Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014, Proceedings

2024-11-09T08:40:21Z

Author Fischbach, Kai. editor. Krieger, Udo R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-05359-2
Format: Electronic Resources
Availability Online Library~1

Software Reuse for Dynamic Systems in the Cloud and Beyond 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings

2024-11-09T08:40:21Z

Author Schaefer, Ina. editor. Stamelos, Ioannis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-14130-5
Format: Electronic Resources
Availability Online Library~1

Numerical Computations with GPUs

2024-11-09T08:40:21Z

Author Kindratenko, Volodymyr. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-06548-9
Format: Electronic Resources
Availability Online Library~1

Foundations of Programming Languages

2024-11-09T08:40:21Z

Author Lee, Kent D. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-13314-0
Format: Electronic Resources
Availability Online Library~1

Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

2024-11-09T08:40:21Z

Author Cohen, Albert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54807-9
Format: Electronic Resources
Availability Online Library~1

A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof

2024-11-09T08:40:21Z

Author Kovalev, Mikhail. author. Müller, Silvia M. author. Paul, Wolfgang J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-13906-7
Format: Electronic Resources
Availability Online Library~1

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings

2024-11-09T08:40:21Z

Author Cassez, Franck. editor. Raskin, Jean-Francois. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11936-6
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Industrial Critical Systems 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings

2024-11-09T08:40:21Z

Author Lang, Frédéric. editor. Flammini, Francesco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10702-8
Format: Electronic Resources
Availability Online Library~1

Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

2024-11-09T08:40:21Z

Author Muscholl, Anca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54830-7
Format: Electronic Resources
Availability Online Library~1

Programming Languages 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings

2024-11-09T08:40:21Z

Author Quintao Pereira, Fernando Magno. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11863-5
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings

2024-11-09T08:40:21Z

Author Garrigue, Jacques. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12736-1
Format: Electronic Resources
Availability Online Library~1

Transactions on Aspect-Oriented Software Development XI

2024-11-09T08:40:21Z

Author Chiba, Shigeru. editor. Tanter, Éric. editor. Bodden, Eric. editor. Maoz, Shahar. editor. Kienzle, Jörg. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-55099-7
Format: Electronic Resources
Availability Online Library~1

OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014, Proceedings

2024-11-09T08:40:21Z

Author Poole, Stephen. editor. Hernandez, Oscar. editor. (orcid)0000-0002-5380-6951 Shamis, Pavel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-05215-1
Format: Electronic Resources
Availability Online Library~1

ECOOP 2014 -- Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings

2024-11-09T08:40:21Z

Author Jones, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44202-9
Format: Electronic Resources
Availability Online Library~1

Modelling Foundations and Applications 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings

2024-11-09T08:40:21Z

Author Cabot, Jordi. editor. Rubin, Julia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09195-2
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

2024-11-09T08:40:21Z

Author Abraham, Erika. editor. Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54862-8
Format: Electronic Resources
Availability Online Library~1

Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

2024-11-09T08:40:21Z

Author Giannakopoulou, Dimitra. editor. Kroening, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12154-3
Format: Electronic Resources
Availability Online Library~1

NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings

2024-11-09T08:40:21Z

Author Badger, Julia M. editor. Rozier, Kristin Yvonne. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-06200-6
Format: Electronic Resources
Availability Online Library~1

Reliable Software Technologies – Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings

2024-11-09T08:40:21Z

Author George, Laurent. editor. Vardanega, Tullio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08311-7
Format: Electronic Resources
Availability Online Library~1

Theory and Practice of Model Transformations 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings

2024-11-09T08:40:21Z

Author Di Ruscio, Davide. editor. Varró, Dániel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08789-4
Format: Electronic Resources
Availability Online Library~1

Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings

2024-11-09T08:40:21Z

Author Seidl, Martina. editor. Tillmann, Nikolai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09099-3
Format: Electronic Resources
Availability Online Library~1

Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings

2024-11-09T08:40:21Z

Author Le Goues, Claire. editor. Yoo, Shin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09940-8
Format: Electronic Resources
Availability Online Library~1

Concrete Semantics With Isabelle/HOL

2024-11-09T08:40:21Z

Author Nipkow, Tobias. author. Klein, Gerwin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10542-0
Format: Electronic Resources
Availability Online Library~1

Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers

2024-11-09T08:40:21Z

Author Cohen, Ernie. editor. Rybalchenko, Andrey. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54108-7
Format: Electronic Resources
Availability Online Library~1

Python Programming Fundamentals

2024-11-09T08:40:21Z

Author Lee, Kent D. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4471-6642-9
Format: Electronic Resources
Availability Online Library~1

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II

2024-11-09T08:40:21Z

Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-45231-8
Format: Electronic Resources
Availability Online Library~1

From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings

2024-11-09T08:40:21Z

Author Bensalem, Saddek. editor. Lakhnech, Yassine. editor. Legay, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54848-2
Format: Electronic Resources
Availability Online Library~1

Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers

2024-11-09T08:40:21Z

Author Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X Peña, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12466-7
Format: Electronic Resources
Availability Online Library~1

Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

2024-11-09T08:40:21Z

Author Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421 Rensink, Arend. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54804-8
Format: Electronic Resources
Availability Online Library~1

Stochastic Model Checking International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures

2024-11-09T08:40:21Z

Author Remke, Anne. editor. Stoelinga, Mariëlle. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-45489-3
Format: Electronic Resources
Availability Online Library~1

Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings

2024-11-09T08:40:21Z

Author Bonakdarpour, Borzoo. editor. Smolka, Scott A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11164-3
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

2024-11-09T08:40:21Z

Author Bernardo, Marco. editor. Damiani, Ferruccio. editor. Haehnle, Reiner. editor. (orcid)0000-0001-8000-7613 Johnsen, Einar Broch. editor. Schaefer, Ina. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-07317-0
Format: Electronic Resources
Availability Online Library~1

Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers

2024-11-09T08:40:21Z

Author Liu, Shaoying. editor. Duan, Zhenhua. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-04915-1
Format: Electronic Resources
Availability Online Library~1

Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings

2024-11-09T08:40:21Z

Author Codish, Michael. editor. Sumii, Eijiro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-07151-0
Format: Electronic Resources
Availability Online Library~1

Euro-Par 2014: Parallel Processing 20th International Conference, Porto, Portugal, August 25-29, 2014, Proceedings

2024-11-09T08:40:21Z

Author Silva, Fernando. editor. Dutra, Inês. editor. Santos Costa, Vitor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09873-9
Format: Electronic Resources
Availability Online Library~1

Web Services and Formal Methods 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers

2024-11-09T08:40:21Z

Author Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281 Ouyang, Chun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08260-8
Format: Electronic Resources
Availability Online Library~1

Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings

2024-11-09T08:40:21Z

Author Merayo, Mercedes G. editor. Montes de Oca, Edgardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44857-1
Format: Electronic Resources
Availability Online Library~1

Concurrent Objects and Beyond Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday

2024-11-09T08:40:21Z

Author Agha, Gul. editor. Igarashi, Atsushi. editor. Kobayashi, Naoki. editor. Masuhara, Hidehiko. editor. Matsuoka, Satoshi. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44471-9
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

2024-11-09T08:40:21Z

Author Shao, Zhong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54833-8
Format: Electronic Resources
Availability Online Library~1

Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings

2024-11-09T08:40:21Z

Author Yahav, Eran. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-13338-6
Format: Electronic Resources
Availability Online Library~1

Trends in Functional Programming 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers

2024-11-09T08:40:21Z

Author McCarthy, Jay. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-45340-3
Format: Electronic Resources
Availability Online Library~1

Using and Improving OpenMP for Devices, Tasks, and More 10th International Workshop on OpenMP, IWOMP 2014, Salvador, Brazil, September 28-30, 2014. Proceedings

2024-11-09T08:40:21Z

Author DeRose, Luiz. editor. de Supinski, Bronis R. editor. Olivier, Stephen L. editor. Chapman, Barbara M. editor. Müller, Matthias S. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11454-5
Format: Electronic Resources
Availability Online Library~1

Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings

2024-11-09T08:40:21Z

Author Müller-Olm, Markus. editor. Seidl, Helmut. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10936-7
Format: Electronic Resources
Availability Online Library~1

Software Architecture 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings

2024-11-09T08:40:21Z

Author Avgeriou, Paris. editor. Zdun, Uwe. editor. (orcid)0000-0002-6233-2591 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09970-5
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings

2024-11-09T08:40:21Z

Author Giannakopoulou, Dimitra. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10431-7
Format: Electronic Resources
Availability Online Library~1

Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings

2024-11-09T08:40:21Z

Author Albert, Elvira. editor. Sekerinski, Emil. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10181-1
Format: Electronic Resources
Availability Online Library~1

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I

2024-11-09T08:40:21Z

Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-45234-9
Format: Electronic Resources
Availability Online Library~1

The Python Workbook A Brief Introduction with Exercises and Solutions

2024-11-09T08:40:21Z

Author Stephenson, Ben. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-14240-1
Format: Electronic Resources
Availability Online Library~1

Theoretical Aspects of Computing – ICTAC 2014 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings

2024-11-09T08:40:21Z

Author Ciobanu, Gabriel. editor. Méry, Dominique. editor. (orcid)0000-0001-5231-6611 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10882-7
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers

2024-11-09T08:40:21Z

Author Counsell, Steve. editor. Núñez, Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-05032-4
Format: Electronic Resources
Availability Online Library~1

A Beginner's Guide to Scala, Object Orientation and Functional Programming

2024-11-09T08:40:21Z

Author Hunt, John. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-06776-6
Format: Electronic Resources
Availability Online Library~1

Software Technologies 8th International Joint Conference, ICSOFT 2013, Reykjavik, Iceland, July 29-31, 2013, Revised Selected Papers

2024-11-09T08:40:21Z

Author Cordeiro, José. editor. van Sinderen, Marten. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44920-2
Format: Electronic Resources
Availability Online Library~1

Concepts of programming languages

2024-11-09T08:40:21Z

Author Sebesta, Robert W. Mukherjee, Soumen. Bhattacharjee, Arup Kumar. Sebesta, Robert W. Concepts of programming languages.
Preferred Shelf Number QA76.7 S43 2013
Format: Books
Availability Beytepe Library~2

Speaking code coding as aesthetic and political expression

2024-11-09T08:40:21Z

Author Cox, Geoff. McLean, Alex (Christopher Alex), 1975-
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6451062
Format: Electronic Resources
Availability Online Library~1

Programming with mobile applications : Android, iOS, and Windows Phone 7

2024-11-09T08:40:21Z

Author Duffy, Thomas J.
Preferred Shelf Number QA76.76.A65 D84 2013
Format: Books
Availability Beytepe Library~1

Python for data analysis

2024-11-09T08:40:21Z

Author McKinney, Wes.
Preferred Shelf Number QA76.73.P98 M42 2013
Format: Books
Availability Beytepe Library~1

Generating language-based environments

2024-11-09T08:40:21Z

Author Reps, Thomas W. (Thomas William)
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267325
Format: Electronic Resources
Availability Online Library~1

Programming language concepts

2024-11-09T08:40:21Z

Author Sestoft, Peter.
Preferred Shelf Number QA76.7 S478 2012
Format: Books
Availability Beytepe Library~1

Getting started with R an introduction for biologists

2024-11-09T08:40:21Z

Author Beckerman, Andrew P. Petchey, Owen L.
Preferred Shelf Number ONLINE
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=439723
Format: Electronic Resources
Availability Online Library~1

Raspberry Pi user guide

2024-11-09T08:40:21Z

Author Upton, Eben. Halfacree, Gareth.
Preferred Shelf Number ONLINE
Electronic Access Wiley Online Library
Format: Electronic Resources
Availability Online Library~1

Mathematical aspects of logic programming semantics

2024-11-09T08:40:21Z

Author Hitzler, Pascal. Seda, Anthony.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Java for dummies

2024-11-09T08:40:21Z

Author Burd, Barry A.
Preferred Shelf Number ONLINE
Electronic Access Books24x7 http://www.books24x7.com/marc.asp?bookid=44370 John Wiley http://dx.doi.org/10.1002/9781118257517 OverDrive (PDF) http://www.contentreserve.com/TitleInfo.asp?ID={C62FFBA5-1004-440A-A5AC-01B9A3DEB41B}&Format=50 Image http://images.contentreserve.com/ImageType-100/0128-1/{C62FFBA5-1004-440A-A5AC-01B9A3DEB41B}Img100.jpg http://swb.eblib.com/patron/FullRecord.aspx?p=697902
Format: Electronic Resources
Availability Online Library~1

Oracle embedded programming and application development

2024-11-09T08:40:21Z

Author Lakshman, Bulusu.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Principles of programming languages : a paradigm approach

2024-11-09T08:40:21Z

Author Seyed Mohamed Buhari.
Preferred Shelf Number QA76.7.T47 S49 2011
Format: Books
Availability Beytepe Library~1

An introduction to TTCN-3

2024-11-09T08:40:21Z

Author Willcock, Colin.
Preferred Shelf Number ONLINE
Electronic Access Wiley InterScience An electronic book accessible through the World Wide Web; click for information Available by subscription from Safari Books Online Books24x7 http://www.books24x7.com/marc.asp?bookid=41769 Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=675190 http://site.ebrary.com/lib/alltitles/Doc?id=10510619
Format: Electronic Resources
Availability Online Library~1

Data-intensive text processing with MapReduce

2024-11-09T08:40:21Z

Author Lin, Jimmy, 1979- Dyer, Chris.
Preferred Shelf Number ONLINE
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=440396
Format: Electronic Resources
Availability Online Library~1

Introduction to algorithms

2024-11-09T08:40:21Z

Author Cormen, Thomas H.
Preferred Shelf Number QA76.6 C662 2009
Format: Books
Availability Beytepe Library~2

Concepts of programming languages

2024-11-09T08:40:21Z

Author Sebesta, Robert W.
Preferred Shelf Number QA76.7 S43 2008
Format: Books
Availability Beytepe Library~1

Domain-specific modeling enabling full code generation

2024-11-09T08:40:21Z

Author Kelly, Steven. Tolvanen, Juha-Pekka.
Preferred Shelf Number ONLINE
Electronic Access Click for information Click here to view book Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0808/2007032132-b.html John Wiley http://dx.doi.org/10.1002/9780470249260 http://swb.eblib.com/patron/FullRecord.aspx?p=331608
Format: Electronic Resources
Availability Online Library~1

SysML for Systems Engineering

2024-11-09T08:40:21Z

Author Holt, Jon Perry, Simon
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1049/PBPC007E
Format: Electronic Resources
Availability Online Library~1

Programming language fundamentals by example

2024-11-09T08:40:21Z

Author Stevenson, D. E.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Programming language pragmatics

2024-11-09T08:40:21Z

Author Scott, Michael Lee.
Preferred Shelf Number QA76.7 .S38 2006
Format: Books
Availability Beytepe Library~2

Concepts of programming languages

2024-11-09T08:40:21Z

Author Sebesta, Robert W.
Preferred Shelf Number QA76.7 S43 2006
Format: Books
Availability Beytepe Library~1

Sockets, shellcode, porting & coding reverse engineering exploits and tool coding for security professionals

2024-11-09T08:40:21Z

Author Foster, James C. Price, Mike (Mike Morgan) McClure, Stuart.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9781597490054
Format: Electronic Resources
Availability Online Library~1

Essential.NET : the common language runtime

2024-11-09T08:40:21Z

Author Box, Don, 1962- Sells, Chris.
Preferred Shelf Number QA76.76.M52 B69 2003 V.1
Format: Books
Availability Beytepe Library~1

The art of assembly language

2024-11-09T08:40:21Z

Author Hyde, Randall.
Preferred Shelf Number QA 76.73.A8 H97 2003
Format: Books
Availability Beytepe Library~2

Understanding WMI scripting

2024-11-09T08:40:21Z

Author Lissoir, Alain.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9781555582661
Format: Electronic Resources
Availability Online Library~1

Leveraging WMI scripting using Windows Management Instrumentation to solve Windows management problems

2024-11-09T08:40:21Z

Author Lissoir, Alain.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9781555582999
Format: Electronic Resources
Availability Online Library~1

Grammars and automata for string processing from mathematics and computer science to biology, and back

2024-11-09T08:40:21Z

Author Martn̕ Vide, Carlos. Mitrana, Victor. P?un, Gheorghe, 1950-
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Foundations of object-oriented languages types and semantics

2024-11-09T08:40:21Z

Author Bruce, Kim B.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267232
Format: Electronic Resources
Availability Online Library~1

Types and programming languages

2024-11-09T08:40:21Z

Author Pierce, Benjamin C.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267321
Format: Electronic Resources
Availability Online Library~1

C♯.net web developer's guide

2024-11-09T08:40:21Z

Author Turtschi, Adrian.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9781928994503
Format: Electronic Resources
Availability Online Library~1

ASP.net web developer's guide

2024-11-09T08:40:21Z

Author Turtschi, Adrian.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9781928994510
Format: Electronic Resources
Availability Online Library~1

Internet and Wireless Security

2024-11-09T08:40:21Z

Author Temple, Robert, ed. Regnault, John, ed.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1049/PBBT004E
Format: Electronic Resources
Availability Online Library~1

Comparative programming languages

2024-11-09T08:40:21Z

Author Wilson, Leslie B. Clark, Robert G., ort. yaz.
Preferred Shelf Number QA 76.7 W55 2001
Format: Books
Availability Beytepe Library~1

Software development for engineers with C, Pascal, C++, Assembly Language, Visual Basic, HTML, JavaScript, and Java

2024-11-09T08:40:21Z

Author Buchanan, William.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780340700143
Format: Electronic Resources
Availability Online Library~1

Algebraic semantics of imperative programs

2024-11-09T08:40:21Z

Author Goguen, Joseph. Malcolm, Grant.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267468
Format: Electronic Resources
Availability Online Library~1

The formal semantics of programming languages an introduction

2024-11-09T08:40:21Z

Author Winskel, G. (Glynn)
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276826
Format: Electronic Resources
Availability Online Library~1

Constraint-based grammar formalisms parsing and type inference for natural and computer languages

2024-11-09T08:40:21Z

Author Shieber, Stuart M.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267434
Format: Electronic Resources
Availability Online Library~1

The computer comes of age the people, the hardware, and the software

2024-11-09T08:40:21Z

Author Moreau, René.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267309
Format: Electronic Resources
Availability Online Library~1

A compiler generator

2024-11-09T08:40:21Z

Author McKeeman, William Marshall. Horning, James J., ed. Wortman, David B., ed.
Preferred Shelf Number QA 76.5 M1874 1970
Format: Books
Availability Beytepe Library~1

LISP 1.5 programmer's manual the Computation Center and Research Laboratory of Electronics, Massachusetts Institute of Technology

2024-11-09T08:40:21Z

Author Levin, Michael I. McCarthy, John, 1927-2011. Massachusetts Institute of Technology. Computation Center. Massachusetts Institute of Technology. Research Laboratory of Electronics.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267461
Format: Electronic Resources
Availability Online Library~1