Search Results for Programming. - Narrowed by: Computer science.

packetC Programming

2025-04-09T12:44:33Z

Author Jungck, Peder. author. Duncan, Ralph. author. Mulcahy, Dwight. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-4159-1
Format: Electronic Resources
Availability Online Library~1

Programming Sudoku

2025-04-09T12:44:33Z

Author Lee, Wei-Meng. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0138-0
Format: Electronic Resources
Availability Online Library~1

Programming Language Concepts

2025-04-09T12:44:33Z

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

Python Programming Fundamentals

2025-04-09T12:44:33Z

Author Lee, Kent D. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84996-537-8
Format: Electronic Resources
Availability Online Library~1

Pro PHP Programming

2025-04-09T12:44:33Z

Author MacIntyre, Peter. author. Danchilla, Brian. author. Gogala, Mladen. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-3561-3
Format: Electronic Resources
Availability Online Library~1

Beginning Arduino Programming

2025-04-09T12:44:33Z

Author Evans, Brian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-3778-5
Format: Electronic Resources
Availability Online Library~1

Cartesian Genetic Programming

2025-04-09T12:44:33Z

Author Miller, Julian F. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17310-3
Format: Electronic Resources
Availability Online Library~1

Linear Genetic Programming

2025-04-09T12:44:33Z

Author Brameier, Markus F. author. Banzhaf, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-31030-5
Format: Electronic Resources
Availability Online Library~1

Nonlinear Integer Programming

2025-04-09T12:44:33Z

Author Li, Duan. author. Sun, Xiaoling. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-32995-1
Format: Electronic Resources
Availability Online Library~1

Pro Java Programming

2025-04-09T12:44:33Z

Author Spell, Brett. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0032-1
Format: Electronic Resources
Availability Online Library~1

Fundamentals of Java Programming

2025-04-09T12:44:33Z

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

Logic Programming with Prolog

2025-04-09T12:44:33Z

Author Bramer, Max. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331207.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5487-7
Format: Electronic Resources
Availability Online Library~1

Programming with Multiple Precision

2025-04-09T12:44:33Z

Author Nikolaevskaya, Elena. author. Khimich, Alexandr. author. Chistyakova, Tamara. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25673-8
Format: Electronic Resources
Availability Online Library~1

Pro HTML5 Programming

2025-04-09T12:44:33Z

Author Lubbers, Peter. author. Albers, Brian. author. Salim, Frank. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-3865-2
Format: Electronic Resources
Availability Online Library~1

Multiparadigm Constraint Programming Languages

2025-04-09T12:44:33Z

Author Hofstedt, Petra. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17330-1
Format: Electronic Resources
Availability Online Library~1

Principles of Programming Languages

2025-04-09T12:44:33Z

Author Dowek, Gilles. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84882-032-6
Format: Electronic Resources
Availability Online Library~1

Theoretical Introduction to Programming

2025-04-09T12:44:33Z

Author Mills, Bruce. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-84628-263-2
Format: Electronic Resources
Availability Online Library~1

Logic Programming with Prolog

2025-04-09T12:44:33Z

Author Bramer, Max. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-84628-212-8
Format: Electronic Resources
Availability Online Library~1

Algorithms for Functional Programming

2025-04-09T12:44:33Z

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

Patterns, Programming and Everything

2025-04-09T12:44:33Z

Author Breitman, Karin K. editor. Horspool, R. Nigel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2350-7
Format: Electronic Resources
Availability Online Library~1

Winning LEGO MINDSTORMS Programming

2025-04-09T12:44:33Z

Author Trobaugh, James J. author. Lowe, Mannie. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-4537-7
Format: Electronic Resources
Availability Online Library~1

Expert Oracle JDBC Programming

2025-04-09T12:44:33Z

Author Menon, R. M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0029-1
Format: Electronic Resources
Availability Online Library~1

Genetic Programming Theory and Practice III

2025-04-09T12:44:33Z

Author Yu, Tina. editor. Riolo, Rick. editor. Worzel, Bill. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-28111-8
Format: Electronic Resources
Availability Online Library~1

Genetic Programming Theory and Practice II

2025-04-09T12:44:33Z

Author O’Reilly, Una-May. editor. Yu, Tina. editor. Riolo, Rick. editor. Worzel, Bill. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b101112
Format: Electronic Resources
Availability Online Library~1

Introduction to Programming with Fortran

2025-04-09T12:44:33Z

Author Chivers, Ian. author. Sleightholme, Jane. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-75502-1
Format: Electronic Resources
Availability Online Library~1

Systems Programming in Unix/Linux

2025-04-09T12:44:33Z

Author Wang, K.C. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-92429-8
Format: Electronic Resources
Availability Online Library~1

Service Systems Concepts, Modeling, and Programming

2025-04-09T12:44:33Z

Author Cardoso, Jorge. author. Lopes, Ricardo. author. Poels, Geert. author. (orcid)0000-0001-9247-6150 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10813-1
Format: Electronic Resources
Availability Online Library~1

TouchDevelop: Programming on the Go

2025-04-09T12:44:33Z

Author Horspool, R. Nigel. author. Tillmann, Nikolai. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330757.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4302-6137-7
Format: Electronic Resources
Availability Online Library~1

Genetic Programming Theory and Practice X

2025-04-09T12:44:33Z

Author Riolo, Rick. editor. Vladislavleva, Ekaterina. editor. Ritchie, Marylyn D. editor. Moore, Jason H. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332135.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-6846-2
Format: Electronic Resources
Availability Online Library~1

Learning C# by Programming Games

2025-04-09T12:44:33Z

Author Egges, Arjan. author. Fokker, Jeroen D. author. Overmars, Mark H. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334239.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36580-5
Format: Electronic Resources
Availability Online Library~1

Distributed Programming Theory and Practice

2025-04-09T12:44:33Z

Author Shankar, A. Udaya. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331611.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-4881-5
Format: Electronic Resources
Availability Online Library~1

Beginning C# Object-Oriented Programming

2025-04-09T12:44:33Z

Author Clark, Dan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330660.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4302-4936-8
Format: Electronic Resources
Availability Online Library~1

Pro Asynchronous Programming with .NET

2025-04-09T12:44:33Z

Author Blewett, Richard. author. Clymer, Andrew. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330729.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4302-5921-3
Format: Electronic Resources
Availability Online Library~1

Multicore Programming Using the ParC Language

2025-04-09T12:44:33Z

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

Programming Reactive Extensions and LINQ

2025-04-09T12:44:33Z

Author Liberty, Jesse. author. Betts, Paul. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-3748-8
Format: Electronic Resources
Availability Online Library~1

Genetic Programming Theory and Practice VIII

2025-04-09T12:44:33Z

Author Riolo, Rick. editor. McConaghy, Trent. editor. Vladislavleva, Ekaterina. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-7747-2
Format: Electronic Resources
Availability Online Library~1

Genetic Programming Theory and Practice IX

2025-04-09T12:44:33Z

Author Riolo, Rick. editor. Vladislavleva, Ekaterina. editor. Moore, Jason H. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1770-5
Format: Electronic Resources
Availability Online Library~1

Mac Programming for Absolute Beginners

2025-04-09T12:44:33Z

Author Wang, Wallace. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-3337-4
Format: Electronic Resources
Availability Online Library~1

Beginning C# Object-Oriented Programming

2025-04-09T12:44:33Z

Author Clark, Dan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-3531-6
Format: Electronic Resources
Availability Online Library~1

OS X and iOS Kernel Programming

2025-04-09T12:44:33Z

Author Halvorsen, Ole Henry. author. Clarke, Douglas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-3537-8
Format: Electronic Resources
Availability Online Library~1

Beginning Android Tablet Games Programming

2025-04-09T12:44:33Z

Author Kerfs, Jeremy. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-3853-9
Format: Electronic Resources
Availability Online Library~1

Genetic Programming Theory and Practice VII

2025-04-09T12:44:33Z

Author Riolo, Rick. editor. O'Reilly, Una-May. editor. McConaghy, Trent. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-1626-6
Format: Electronic Resources
Availability Online Library~1

Algorithms and Programming Problems and Solutions

2025-04-09T12:44:33Z

Author Shen, Alexander. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-1748-5
Format: Electronic Resources
Availability Online Library~1

Programming Languages: Principles and Paradigms

2025-04-09T12:44:33Z

Author Gabbrielli, Maurizio. author. Martini, Simone. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84882-914-5
Format: Electronic Resources
Availability Online Library~1

Programming Finite Elements in Java™

2025-04-09T12:44:33Z

Author Nikishkov, Gennadiy. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84882-972-5
Format: Electronic Resources
Availability Online Library~1

Guide to Fortran 2003 Programming

2025-04-09T12:44:33Z

Author Brainerd, Walter S. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84882-543-7
Format: Electronic Resources
Availability Online Library~1

Genetic Programming Theory and Practice VI

2025-04-09T12:44:33Z

Author Worzel, Bill. editor. Soule, Terence. editor. Riolo, Rick. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-87623-8
Format: Electronic Resources
Availability Online Library~1

Genetic Programming Theory and Practice V

2025-04-09T12:44:33Z

Author Riolo, Rick. editor. Soule, Terence. editor. Worzel, Bill. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-76308-8
Format: Electronic Resources
Availability Online Library~1

Programming Languages An Active Learning Approach

2025-04-09T12:44:33Z

Author Lee, Kent. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-79421-1
Format: Electronic Resources
Availability Online Library~1

Genetic Programming Theory and Practice IV

2025-04-09T12:44:33Z

Author Riolo, Rick. editor. Soule, Terence. editor. Worzel, Bill. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-49650-4
Format: Electronic Resources
Availability Online Library~1

LEGO® MINDSTORMS® NXT-G Programming Guide

2025-04-09T12:44:33Z

Author Kelly, James Floyd. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0303-2
Format: Electronic Resources
Availability Online Library~1

Object-Oriented Programming Languages: Interpretation

2025-04-09T12:44:33Z

Author Craig, Iain D. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-774-9
Format: Electronic Resources
Availability Online Library~1

Object-Oriented Programming and Java

2025-04-09T12:44:33Z

Author Poo, Danny. author. Kiong, Derek. author. Ashok, Swarnalatha. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-963-7
Format: Electronic Resources
Availability Online Library~1

Introduction to C++ Programming and Graphics

2025-04-09T12:44:33Z

Author Pozrikidis, Constantine. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-68993-7
Format: Electronic Resources
Availability Online Library~1

Lego Mindstorms NXT-G Programming Guide

2025-04-09T12:44:33Z

Author Kelly, James Floyd. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-2977-3
Format: Electronic Resources
Availability Online Library~1

Understanding and Using Linear Programming

2025-04-09T12:44:33Z

Author Matoušek, Jiří. author. Gärtner, Bernd. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-30717-4
Format: Electronic Resources
Availability Online Library~1

Dynamic Programming A Computational Tool

2025-04-09T12:44:33Z

Author Art, Lew. author. Mauch, Holger. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-37014-7
Format: Electronic Resources
Availability Online Library~1

Introduction to Programming with Fortran

2025-04-09T12:44:33Z

Author Chivers, Ian D. author. Sleightholme, Jane. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137984
Format: Electronic Resources
Availability Online Library~1

Introduction to Reliable Distributed Programming

2025-04-09T12:44:33Z

Author Guerraoui, Rachid. author. Rodrigues, Luís. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-28846-5
Format: Electronic Resources
Availability Online Library~1

Pro .NET 2.0 Graphics Programming

2025-04-09T12:44:33Z

Author White, Eric. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0075-8
Format: Electronic Resources
Availability Online Library~1

Pro .NET 2.0 Extreme Programming

2025-04-09T12:44:33Z

Author Pearman, Greg. author. Goodwill, James. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0179-3
Format: Electronic Resources
Availability Online Library~1

Optimization Theory and Methods Nonlinear Programming

2025-04-09T12:44:33Z

Author Sun, Wenyu. author. Yuan, Ya-Xiang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106451
Format: Electronic Resources
Availability Online Library~1

VEE Pro: Practical Graphical Programming

2025-04-09T12:44:33Z

Author Angus, Robert B. author. Hulbert, Thomas E. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138795
Format: Electronic Resources
Availability Online Library~1

Squeak Learn Programming with Robots

2025-04-09T12:44:33Z

Author Ducasse, Stéphane. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0037-6
Format: Electronic Resources
Availability Online Library~1

Multimedia Introduction to Programming Using Java

2025-04-09T12:44:33Z

Author Gries, David. author. Gries, Paul. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138328
Format: Electronic Resources
Availability Online Library~1

Automatic Quantum Computer Programming A Genetic Programming Approach

2025-04-09T12:44:33Z

Author Spector, Lee. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-36791-0
Format: Electronic Resources
Availability Online Library~1

Genetic Programming IV Routine Human-Competitive Machine Intelligence

2025-04-09T12:44:33Z

Author Koza, John R. author. Keane, Martin A. author. Streeter, Matthew J. author. Mydlowec, William. author. Yu, Jessen. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137549
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings

2025-04-09T12:44:33Z

Author Ryu, Sukyoung. editor. (orcid)0000-0002-0019-9772 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02768-1
Format: Electronic Resources
Availability Online Library~1

Programming with Actors State-of-the-Art and Research Perspectives

2025-04-09T12:44:33Z

Author Ricci, Alessandro. editor. Haller, Philipp. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00302-9
Format: Electronic Resources
Availability Online Library~1

Principles and Practice of Constraint Programming 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings

2025-04-09T12:44:33Z

Author Hooker, John. editor. (orcid)0000-0003-3169-1871 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-98334-9
Format: Electronic Resources
Availability Online Library~1

Accelerator Programming Using Directives 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings

2025-04-09T12:44:33Z

Author Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428 Juckeland, Guido. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-74896-2
Format: Electronic Resources
Availability Online Library~1

Transactions on Pattern Languages of Programming III

2025-04-09T12:44:33Z

Author Noble, James. editor. Johnson, Ralph. editor. Zdun, Uwe. editor. Wallingford, Eugene. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334647.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38676-3
Format: Electronic Resources
Availability Online Library~1

Guide to Programming and Algorithms Using R

2025-04-09T12:44:33Z

Author Ergül, Özgür. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331192.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5328-3
Format: Electronic Resources
Availability Online Library~1

Parallel Programming for Multicore and Cluster Systems

2025-04-09T12:44:33Z

Author Rauber, Thomas. author. Rünger, Gudula. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334484.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37801-0
Format: Electronic Resources
Availability Online Library~1

HTML5 Game Programming with enchant.js

2025-04-09T12:44:33Z

Author McInnis, Brandon. author. Shimizu, Ryo. author. Furukawa, Hidekazu. author. Fushimi, Ryohei. author. Tanaka, Ryo. author.
Preferred Shelf Number ONLINE(330635.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4302-4744-9
Format: Electronic Resources
Availability Online Library~1

The Correctness-by-Construction Approach to Programming

2025-04-09T12:44:33Z

Author Kourie, Derrick G. author. Watson, Bruce W. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27919-5
Format: Electronic Resources
Availability Online Library~1

HTML5 Programming for ASP.NET Developers

2025-04-09T12:44:33Z

Author Joshi, Bipin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-4720-3
Format: Electronic Resources
Availability Online Library~1

Foundational Java Key Elements and Practical Programming

2025-04-09T12:44:33Z

Author Parsons, David. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2479-5
Format: Electronic Resources
Availability Online Library~1

A Primer on Scientific Programming with Python

2025-04-09T12:44:33Z

Author Langtangen, Hans Petter. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30293-0
Format: Electronic Resources
Availability Online Library~1

A Primer on Scientific Programming with Python

2025-04-09T12:44:33Z

Author Langtangen, Hans Petter. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-18366-9
Format: Electronic Resources
Availability Online Library~1

Introduction to Reliable and Secure Distributed Programming

2025-04-09T12:44:33Z

Author Cachin, Christian. author. Guerraoui, Rachid. author. Rodrigues, Luís. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15260-3
Format: Electronic Resources
Availability Online Library~1

Introduction to the Theory of Programming Languages

2025-04-09T12:44:33Z

Author Dowek, Gilles. author. Lévy, Jean-Jacques. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-85729-076-2
Format: Electronic Resources
Availability Online Library~1

Pro .NET 4 Parallel Programming in C#

2025-04-09T12:44:33Z

Author Freeman, Adam. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-2968-1
Format: Electronic Resources
Availability Online Library~1

Parallel Programming For Multicore and Cluster Systems

2025-04-09T12:44:33Z

Author Rauber, Thomas. author. Rünger, Gudula. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04818-0
Format: Electronic Resources
Availability Online Library~1

Transactions on Pattern Languages of Programming I

2025-04-09T12:44:33Z

Author Noble, James. editor. Johnson, Ralph. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10832-7
Format: Electronic Resources
Availability Online Library~1

Multi-Agent Programming: Languages, Tools and Applications

2025-04-09T12:44:33Z

Author El Fallah Seghrouchni, Amal. editor. Dix, Jürgen. editor. Dastani, Mehdi. editor. Bordini, Rafael H. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-89299-3
Format: Electronic Resources
Availability Online Library~1

A Primer on Scientific Programming with Python

2025-04-09T12:44:33Z

Author Langtangen, Hans Petter. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02475-7
Format: Electronic Resources
Availability Online Library~1

Probabilistic Inductive Logic Programming Theory and Applications

2025-04-09T12:44:33Z

Author Raedt, Luc. editor. Frasconi, Paolo. editor. Kersting, Kristian. editor. Muggleton, Stephen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78652-8
Format: Electronic Resources
Availability Online Library~1

Pro Crystal Enterprise/Business Objects XI Programming

2025-04-09T12:44:33Z

Author Ganz, Carl. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0277-6
Format: Electronic Resources
Availability Online Library~1

An Introduction to Network Programming with Java

2025-04-09T12:44:33Z

Author Graba, Jan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-630-8
Format: Electronic Resources
Availability Online Library~1

Interfacing with C++ Programming Real-World Applications

2025-04-09T12:44:33Z

Author Katupitiya, Jayantha. author. Bentley, Kim. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-33581-1
Format: Electronic Resources
Availability Online Library~1

A Tester’s Guide to .NET Programming

2025-04-09T12:44:33Z

Author Root, Randal. author. Sweeney, Mary Romero. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0116-8
Format: Electronic Resources
Availability Online Library~1

Pro ASP.NET 2.0 Website Programming

2025-04-09T12:44:33Z

Author Armstrong, Damon. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0104-5
Format: Electronic Resources
Availability Online Library~1

Guide to Assembly Language Programming in Linux

2025-04-09T12:44:33Z

Author Dandamudi, Sivarama P. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136895
Format: Electronic Resources
Availability Online Library~1

Multi-Agent Programming Languages, Platforms and Applications

2025-04-09T12:44:33Z

Author Bordini, Rafael H. editor. Dastani, Mehdi. editor. Dix, Jürgen. editor. Fallah Seghrouchni, Amal. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137449
Format: Electronic Resources
Availability Online Library~1

Agile Processes in Software Engineering and Extreme Programming 20th International Conference, XP 2019, Montréal, QC, Canada, May 21–25, 2019, Proceedings

2025-04-09T12:44:33Z

Author Kruchten, Philippe. editor. (orcid)0000-0003-1359-4867 Fraser, Steven. editor. (orcid)0000-0002-3958-6585 Coallier, François. editor. (orcid)0000-0002-2730-2469 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-19034-7
Format: Electronic Resources
Availability Online Library~1

Agile Processes in Software Engineering and Extreme Programming – Workshops XP 2019 Workshops, Montréal, QC, Canada, May 21–25, 2019, Proceedings

2025-04-09T12:44:33Z

Author Hoda, Rashina. editor. (orcid)0000-0001-5147-8096 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30126-2
Format: Electronic Resources
Availability Online Library~1

Inductive Logic Programming 28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedings

2025-04-09T12:44:33Z

Author Riguzzi, Fabrizio. editor. (orcid)0000-0003-1654-9703 Bellodi, Elena. editor. (orcid)0000-0002-3717-3779 Zese, Riccardo. editor. (orcid)0000-0001-8352-6304 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99960-9
Format: Electronic Resources
Availability Online Library~1

Topics in Parallel and Distributed Computing Enhancing the Undergraduate Curriculum: Performance, Concurrency, and Programming on Modern Platforms

2025-04-09T12:44:33Z

Author Prasad, Sushil K. editor. Gupta, Anshul. editor. Rosenberg, Arnold. editor. Sussman, Alan. editor. Weems, Charles. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93109-8
Format: Electronic Resources
Availability Online Library~1

Introduction to Parallel Computing From Algorithms to Programming on State-of-the-Art Platforms

2025-04-09T12:44:33Z

Author Trobec, Roman. author. Slivnik, Boštjan. author. Bulić, Patricio. author. Robič, Borut. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-98833-7
Format: Electronic Resources
Availability Online Library~1

Trends in Functional Programming 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers

2025-04-09T12:44:33Z

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

Inductive Logic Programming 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers

2025-04-09T12:44:33Z

Author Lachiche, Nicolas. editor. Vrain, Christel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-78090-0
Format: Electronic Resources
Availability Online Library~1

Declarative Programming and Knowledge Management Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers

2025-04-09T12:44:33Z

Author Seipel, Dietmar. editor. Hanus, Michael. editor. (orcid)0000-0002-4953-8202 Abreu, Salvador. editor. (orcid)0000-0002-1613-4631 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00801-7
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

2025-04-09T12:44:33Z

Author Ahmed, Amal. editor. (orcid)0000-0001-7424-572X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89884-1
Format: Electronic Resources
Availability Online Library~1

DNA Computing and Molecular Programming 24th International Conference, DNA 24, Jinan, China, October 8–12, 2018, Proceedings

2025-04-09T12:44:33Z

Author Doty, David. editor. (orcid)0000-0002-3922-172X Dietz, Hendrik. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00030-1
Format: Electronic Resources
Availability Online Library~1

Guide to Programming for the Digital Humanities Lessons for Introductory Python

2025-04-09T12:44:33Z

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

Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings

2025-04-09T12:44:33Z

Author Gallagher, John P. editor. (orcid)0000-0001-6984-7419 Sulzmann, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-90686-7
Format: Electronic Resources
Availability Online Library~1

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

2025-04-09T12:44:33Z

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

Genetic Programming 21st European Conference, EuroGP 2018, Parma, Italy, April 4-6, 2018, Proceedings

2025-04-09T12:44:33Z

Author Castelli, Mauro. editor. Sekanina, Lukas. editor. (orcid)0000-0002-2693-9011 Zhang, Mengjie. editor. Cagnoni, Stefano. editor. García-Sánchez, Pablo. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-77553-1
Format: Electronic Resources
Availability Online Library~1

Agile Processes in Software Engineering and Extreme Programming 15th International Conference, XP 2014, Rome, Italy, May 26-30, 2014, Proceedings

2025-04-09T12:44:33Z

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

Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semantics

2025-04-09T12:44:33Z

Author Majkić, Zoran. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-04156-8
Format: Electronic Resources
Availability Online Library~1

Moving from C to C++ Discussing Programming Problems, Why They Exist, and How C++ Solves Them

2025-04-09T12:44:33Z

Author Goyal, Arunesh. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330751.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4302-6095-0
Format: Electronic Resources
Availability Online Library~1

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

2025-04-09T12:44:33Z

Author Shan, Chung-chieh. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332981.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03542-0
Format: Electronic Resources
Availability Online Library~1

Concurrent Programming: Algorithms, Principles, and Foundations Algorithms, Principles, and Foundations

2025-04-09T12:44:33Z

Author Raynal, Michel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333514.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-32027-9
Format: Electronic Resources
Availability Online Library~1

Real-Time C++ Efficient Object-Oriented and Template Microcontroller Programming

2025-04-09T12:44:33Z

Author Kormanyos, Christopher Michael. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333884.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-34688-0
Format: Electronic Resources
Availability Online Library~1

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

2025-04-09T12:44:33Z

Author Wolff, Burkhart. editor. Gaudel, Marie-Claude. editor. Feliachi, Abderrahmane. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334034.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35705-3
Format: Electronic Resources
Availability Online Library~1

Genetic Programming 16th European Conference, EuroGP 2013, Vienna, Austria, April 3-5, 2013. Proceedings

2025-04-09T12:44:33Z

Author Krawiec, Krzysztof. editor. Moraglio, Alberto. editor. Hu, Ting. editor. Etaner-Uyar, A. Şima. editor. Hu, Bin. editor.
Preferred Shelf Number ONLINE(334384.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37207-0
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

2025-04-09T12:44:33Z

Author Felleisen, Matthias. editor. Gardner, Philippa. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334348.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37036-6
Format: Electronic Resources
Availability Online Library~1

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings

2025-04-09T12:44:33Z

Author Gomes, Carla. editor. Sellmann, Meinolf. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334549.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38171-3
Format: Electronic Resources
Availability Online Library~1

Agile Processes in Software Engineering and Extreme Programming 14th International Conference, XP 2013, Vienna, Austria, June 3-7, 2013. Proceedings

2025-04-09T12:44:33Z

Author Baumeister, Hubert. editor. Weber, Barbara. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334579.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38314-4
Format: Electronic Resources
Availability Online Library~1

ECOOP 2013 – Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings

2025-04-09T12:44:33Z

Author Castagna, Giuseppe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334715.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39038-8
Format: Electronic Resources
Availability Online Library~1

A Journey from Robot to Digital Human Mathematical Principles and Applications with MATLAB Programming

2025-04-09T12:44:33Z

Author Gu, Edward Y L. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334717.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39047-0
Format: Electronic Resources
Availability Online Library~1

Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

2025-04-09T12:44:33Z

Author Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334841.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39721-9
Format: Electronic Resources
Availability Online Library~1

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

2025-04-09T12:44:33Z

Author Loidl, Hans-Wolfgang. editor. Peña, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334946.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40447-4
Format: Electronic Resources
Availability Online Library~1

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings

2025-04-09T12:44:33Z

Author McMillan, Ken. editor. Middeldorp, Aart. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335196.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45221-5
Format: Electronic Resources
Availability Online Library~1

An Introduction to Network Programming with Java Java 7 Compatible

2025-04-09T12:44:33Z

Author Graba, Jan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331180.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5254-5
Format: Electronic Resources
Availability Online Library~1

Advanced Network Programming – Principles and Techniques Network Application Programming with Java

2025-04-09T12:44:33Z

Author Ciubotaru, Bogdan. author. Muntean, Gabriel-Miro. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331186.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5292-7
Format: Electronic Resources
Availability Online Library~1

Programming Logics Essays in Memory of Harald Ganzinger

2025-04-09T12:44:33Z

Author Voronkov, Andrei. editor. Weidenbach, Christoph. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334468.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37651-1
Format: Electronic Resources
Availability Online Library~1

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings

2025-04-09T12:44:33Z

Author Cabalar, Pedro. editor. Son, Tran Cao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334969.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40564-8
Format: Electronic Resources
Availability Online Library~1

Programming Languages 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings

2025-04-09T12:44:33Z

Author Bois, André Rauber. editor. Trinder, Phil. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335028.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40922-6
Format: Electronic Resources
Availability Online Library~1

Applications of Declarative Programming and Knowledge Management 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers

2025-04-09T12:44:33Z

Author Tompits, Hans. editor. Abreu, Salvador. editor. Oetsch, Johannes. editor. Pührer, Jörg. editor. Seipel, Dietmar. editor.
Preferred Shelf Number ONLINE(335118.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41524-1
Format: Electronic Resources
Availability Online Library~1

The R Software Fundamentals of Programming and Statistical Analysis

2025-04-09T12:44:33Z

Author Lafaye de Micheaux, Pierre. author. Drouilhet, Rémy. author. Liquet, Benoit. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332463.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-9020-3
Format: Electronic Resources
Availability Online Library~1

Integer Programming and Combinatorial Optimization 16th International Conference, IPCO 2013, Valparaíso, Chile, March 18-20, 2013. Proceedings

2025-04-09T12:44:33Z

Author Goemans, Michel. editor. Correa, José. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334268.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36694-9
Format: Electronic Resources
Availability Online Library~1

Aliasing in Object-Oriented Programming. Types, Analysis and Verification

2025-04-09T12:44:33Z

Author Clarke, Dave. editor. Noble, James. editor. Wrigstad, Tobias. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334327.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36946-9
Format: Electronic Resources
Availability Online Library~1

Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers

2025-04-09T12:44:33Z

Author Riguzzi, Fabrizio. editor. Železný, Filip. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334673.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38812-5
Format: Electronic Resources
Availability Online Library~1

Programming Multi-Agent Systems 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers

2025-04-09T12:44:33Z

Author Dastani, Mehdi. editor. Hübner, Jomi F. editor. Logan, Brian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334652.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38700-5
Format: Electronic Resources
Availability Online Library~1

Automata, Languages, and Programming 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part I

2025-04-09T12:44:33Z

Author Fomin, Fedor V. editor. Freivalds, Rūsiņš. editor. Kwiatkowska, Marta. editor. Peleg, David. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334751.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39206-1
Format: Electronic Resources
Availability Online Library~1

Automata, Languages, and Programming 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II

2025-04-09T12:44:33Z

Author Fomin, Fedor V. editor. Freivalds, Rūsiņš. editor. Kwiatkowska, Marta. editor. Peleg, David. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334753.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39212-2
Format: Electronic Resources
Availability Online Library~1

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

2025-04-09T12:44:33Z

Author Schulte, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334980.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40627-0
Format: Electronic Resources
Availability Online Library~1

Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

2025-04-09T12:44:33Z

Author Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334837.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39698-4
Format: Electronic Resources
Availability Online Library~1

DNA Computing and Molecular Programming 19th International Conference, DNA 19, Tempe, AZ, USA, September 22-27, 2013. Proceedings

2025-04-09T12:44:33Z

Author Soloveichik, David. editor. Yurke, Bernard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332892.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-01928-4
Format: Electronic Resources
Availability Online Library~1

Meta-Programming and Model-Driven Meta-Program Development Principles, Processes and Techniques

2025-04-09T12:44:33Z

Author Štuikys, Vytautas. author. Damaševičius, Robertas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330912.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4126-6
Format: Electronic Resources
Availability Online Library~1

Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings

2025-04-09T12:44:33Z

Author Bjørner, Nikolaj. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28717-6
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings

2025-04-09T12:44:33Z

Author Seidl, Helmut. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28869-2
Format: Electronic Resources
Availability Online Library~1

Scientific Workflows Programming, Optimization, and Synthesis with ASKALON and AWDL

2025-04-09T12:44:33Z

Author Qin, Jun. author. Fahringer, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30715-7
Format: Electronic Resources
Availability Online Library~1

Automata, Languages, and Programming 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part I

2025-04-09T12:44:33Z

Author Czumaj, Artur. editor. Mehlhorn, Kurt. editor. Pitts, Andrew. editor. Wattenhofer, Roger. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31594-7
Format: Electronic Resources
Availability Online Library~1

Central European Functional Programming School 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers

2025-04-09T12:44:33Z

Author Zsók, Viktória. editor. Horváth, Zoltán. editor. Plasmeijer, Rinus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32096-5
Format: Electronic Resources
Availability Online Library~1

Programming Languages 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedings

2025-04-09T12:44:33Z

Author Carvalho Junior, Francisco Heron. editor. Barbosa, Luis Soares. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33182-4
Format: Electronic Resources
Availability Online Library~1

Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach

2025-04-09T12:44:33Z

Author Janssen, Jeroen. Schockaert, Steven. Vermeir, Dirk. de Cock, Martine. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.2991/978-94-91216-59-6
Format: Electronic Resources
Availability Online Library~1

Programming Multi-Agent Systems 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010. Revised Selected Papers

2025-04-09T12:44:33Z

Author Collier, Rem. editor. Dix, Jürgen. editor. Novák, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28939-2
Format: Electronic Resources
Availability Online Library~1

Genetic Programming 15th European Conference, EuroGP 2012, Málaga, Spain, April 11-13, 2012. Proceedings

2025-04-09T12:44:33Z

Author Moraglio, Alberto. editor. Silva, Sara. editor. Krawiec, Krzysztof. editor. Machado, Penousal. editor. Cotta, Carlos. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29139-5
Format: Electronic Resources
Availability Online Library~1

Functional and Logic Programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings

2025-04-09T12:44:33Z

Author Schrijvers, Tom. editor. Thiemann, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29822-6
Format: Electronic Resources
Availability Online Library~1

Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems 9th International Conference, CPAIOR 2012, Nantes, France, May 28 – June1, 2012. Proceedings

2025-04-09T12:44:33Z

Author Beldiceanu, Nicolas. editor. Jussien, Narendra. editor. Pinson, Éric. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29828-8
Format: Electronic Resources
Availability Online Library~1

Principles and Practice of Constraint Programming 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings

2025-04-09T12:44:33Z

Author Milano, Michela. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33558-7
Format: Electronic Resources
Availability Online Library~1

Introduction to Programming Concepts with Case Studies in Python

2025-04-09T12:44:33Z

Author Üçoluk, Göktürk. author. Kalkan, Sinan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-7091-1343-1
Format: Electronic Resources
Availability Online Library~1

Scalable Parallel Programming Applied to H.264/AVC Decoding

2025-04-09T12:44:33Z

Author Juurlink, Ben. author. Alvarez-Mesa, Mauricio. author. Chi, Chi Ching. author. Azevedo, Arnaldo. author. Meenderinck, Cor. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-2230-3
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings

2025-04-09T12:44:33Z

Author Jhala, Ranjit. editor. Igarashi, Atsushi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35182-2
Format: Electronic Resources
Availability Online Library~1

Beginning Kinect Programming with the Microsoft Kinect SDK

2025-04-09T12:44:33Z

Author Webb, Jarrett. author. Ashley, James. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-4105-8
Format: Electronic Resources
Availability Online Library~1

Agile Processes in Software Engineering and Extreme Programming 13th International Conference, XP 2012, Malmö, Sweden, May 21-25, 2012. Proceedings

2025-04-09T12:44:33Z

Author Wohlin, Claes. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30350-0
Format: Electronic Resources
Availability Online Library~1

ECOOP 2012 – Object-Oriented Programming 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings

2025-04-09T12:44:33Z

Author Noble, James. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31057-7
Format: Electronic Resources
Availability Online Library~1

Automata, Languages, and Programming 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II

2025-04-09T12:44:33Z

Author Czumaj, Artur. editor. Mehlhorn, Kurt. editor. Pitts, Andrew. editor. Wattenhofer, Roger. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31585-5
Format: Electronic Resources
Availability Online Library~1

Programming Multi-Agent Systems 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011, Revised Selected Papers

2025-04-09T12:44:33Z

Author Dennis, Louise. editor. Boissier, Olivier. editor. Bordini, Rafael H. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31915-0
Format: Electronic Resources
Availability Online Library~1

Inductive Logic Programming 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 – August 3, 2011, Revised Selected Papers

2025-04-09T12:44:33Z

Author Muggleton, Stephen H. editor. Tamaddoni-Nezhad, Alireza. editor. Lisi, Francesca A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31951-8
Format: Electronic Resources
Availability Online Library~1

Trends in Functional Programming 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers

2025-04-09T12:44:33Z

Author Peña, Ricardo. editor. Page, Rex. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32037-8
Format: Electronic Resources
Availability Online Library~1

Generic and Indexed Programming International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures

2025-04-09T12:44:33Z

Author Gibbons, Jeremy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32202-0
Format: Electronic Resources
Availability Online Library~1

DNA Computing and Molecular Programming 18th International Conference, DNA 18, Aarhus, Denmark, August 14-17, 2012. Proceedings

2025-04-09T12:44:33Z

Author Stefanovic, Darko. editor. Turberfield, Andrew. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32208-2
Format: Electronic Resources
Availability Online Library~1

Simulation, Modeling, and Programming for Autonomous Robots Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012. Proceedings

2025-04-09T12:44:33Z

Author Noda, Itsuki. editor. Ando, Noriaki. editor. Brugali, Davide. editor. Kuffner, James J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34327-8
Format: Electronic Resources
Availability Online Library~1

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

2025-04-09T12:44:33Z

Author Chivers, Ian. author. Sleightholme, Jane. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-85729-233-9
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

2025-04-09T12:44:33Z

Author Barthe, Gilles. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19718-5
Format: Electronic Resources
Availability Online Library~1

Automata, Languages and Programming 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part I

2025-04-09T12:44:33Z

Author Aceto, Luca. editor. Henzinger, Monika. editor. Sgall, Jiří. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22006-7
Format: Electronic Resources
Availability Online Library~1

Automata, Languages and Programming 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II

2025-04-09T12:44:33Z

Author Aceto, Luca. editor. Henzinger, Monika. editor. Sgall, Jiří. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22012-8
Format: Electronic Resources
Availability Online Library~1

Rule-Based Reasoning, Programming, and Applications 5th International Symposium, RuleML 2011 – Europe, Barcelona, Spain, July 19-21, 2011. Proceedings

2025-04-09T12:44:33Z

Author Bassiliades, Nick. editor. Governatori, Guido. editor. Paschke, Adrian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22546-8
Format: Electronic Resources
Availability Online Library~1

Programming for Engineers A Foundational Approach to Learning C and Matlab

2025-04-09T12:44:33Z

Author Bradley, Aaron R. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23303-6
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings

2025-04-09T12:44:33Z

Author Yang, Hongseok. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25318-8
Format: Electronic Resources
Availability Online Library~1

Recent Advances in Constraints 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers

2025-04-09T12:44:33Z

Author Larrosa, Javier. editor. O’Sullivan, Barry. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19486-3
Format: Electronic Resources
Availability Online Library~1

Objective-C for Absolute Beginners iPhone, iPad, and Mac Programming Made Easy

2025-04-09T12:44:33Z

Author Bennett, Gary. author. Fisher, Mitch. author. Lees, Brad. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-3654-2
Format: Electronic Resources
Availability Online Library~1

Principles and Practice of Constraint Programming – CP 2011 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings

2025-04-09T12:44:33Z

Author Lee, Jimmy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23786-7
Format: Electronic Resources
Availability Online Library~1

Beginning Android Tablet Programming Starting with Android Honeycomb for Tablets

2025-04-09T12:44:33Z

Author Matthews, Robbie. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-3784-6
Format: Electronic Resources
Availability Online Library~1

Expert Oracle and Java Security Programming Secure Oracle Database Applications with Java

2025-04-09T12:44:33Z

Author Coffin, David. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-3832-4
Format: Electronic Resources
Availability Online Library~1

Meet the Kinect An Introduction to Programming Natural User Interfaces

2025-04-09T12:44:33Z

Author Kean, Sean. author. Hall, Jonathan C. author. Perry, Phoenix. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-3889-8
Format: Electronic Resources
Availability Online Library~1

A Science of Operations Machines, Logic and the Invention of Programming

2025-04-09T12:44:33Z

Author Priestley, Mark. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84882-555-0
Format: Electronic Resources
Availability Online Library~1

Methods and Tools of Parallel Programming Multicomputers Second Russia-Taiwan Symposium, MTPP 2010, Vladivostok, Russia, May 16-19, 2010, Revised Selected Papers

2025-04-09T12:44:33Z

Author Hsu, Ching-Hsien. editor. Malyshkin, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14822-4
Format: Electronic Resources
Availability Online Library~1

DNA Computing and Molecular Programming 16th International Conference, DNA 16, Hong Kong, China, June 14-17, 2010, Revised Selected Papers

2025-04-09T12:44:33Z

Author Sakakibara, Yasubumi. editor. Mi, Yongli. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-18305-8
Format: Electronic Resources
Availability Online Library~1

Transactions on Pattern Languages of Programming II Special Issue on Applying Patterns

2025-04-09T12:44:33Z

Author Noble, James. editor. Johnson, Ralph. editor. Avgeriou, Paris. editor. Harrison, Neil B. editor. Zdun, Uwe. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19432-0
Format: Electronic Resources
Availability Online Library~1

Genetic Programming 14th European Conference, EuroGP 2011, Torino, Italy, April 27-29, 2011. Proceedings

2025-04-09T12:44:33Z

Author Silva, Sara. editor. Foster, James A. editor. Nicolau, Miguel. editor. Machado, Penousal. editor. Giacobini, Mario. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20407-4
Format: Electronic Resources
Availability Online Library~1

Applications of Declarative Programming and Knowledge Management 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers

2025-04-09T12:44:33Z

Author Abreu, Salvador. editor. Seipel, Dietmar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20589-7
Format: Electronic Resources
Availability Online Library~1

Agile Processes in Software Engineering and Extreme Programming 12th International Conference, XP 2011, Madrid, Spain, May 10-13, 2011. Proceedings

2025-04-09T12:44:33Z

Author Sillitti, Alberto. editor. Hazzan, Orit. editor. Bache, Emily. editor. Albaladejo, Xavier. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20677-1
Format: Electronic Resources
Availability Online Library~1

Functional and Constraint Logic Programming 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers

2025-04-09T12:44:33Z

Author Mariño, Julio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20775-4
Format: Electronic Resources
Availability Online Library~1

Integer Programming and Combinatoral Optimization 15th International Conference, IPCO 2011, New York, NY, USA, June 15-17, 2011. Proceedings

2025-04-09T12:44:33Z

Author Günlük, Oktay. editor. Woeginger, Gerhard J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20807-2
Format: Electronic Resources
Availability Online Library~1

Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday

2025-04-09T12:44:33Z

Author Balduccini, Marcello. editor. Son, Tran Cao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20832-4
Format: Electronic Resources
Availability Online Library~1

Logic Programming and Nonmonotonic Reasoning 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings

2025-04-09T12:44:33Z

Author Delgrande, James P. editor. Faber, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20895-9
Format: Electronic Resources
Availability Online Library~1

Inductive Logic Programming 20th International Conference, ILP 2010, Florence, Italy, June 27-30, 2010. Revised Papers

2025-04-09T12:44:33Z

Author Frasconi, Paolo. editor. Lisi, Francesca A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21295-6
Format: Electronic Resources
Availability Online Library~1

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 8th International Conference, CPAIOR 2011, Berlin, Germany, May 23-27, 2011. Proceedings

2025-04-09T12:44:33Z

Author Achterberg, Tobias. editor. Beck, J. Christopher. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21311-3
Format: Electronic Resources
Availability Online Library~1

Functional and Constraint Logic Programming 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings

2025-04-09T12:44:33Z

Author Kuchen, Herbert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22531-4
Format: Electronic Resources
Availability Online Library~1

ECOOP 2011 – Object-Oriented Programming 25th European Conference, Lancaster, Uk, July 25-29, 2011 Proceedings

2025-04-09T12:44:33Z

Author Mezini, Mira. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22655-7
Format: Electronic Resources
Availability Online Library~1

Trends in Functional Programming 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers

2025-04-09T12:44:33Z

Author Page, Rex. editor. Horváth, Zoltán. editor. Zsók, Viktória. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22941-1
Format: Electronic Resources
Availability Online Library~1

DNA Computing and Molecular Programming 17th International Conference, DNA 17, Pasadena, CA, USA, September 19-23, 2011. Proceedings

2025-04-09T12:44:33Z

Author Cardelli, Luca. editor. Shih, William. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23638-9
Format: Electronic Resources
Availability Online Library~1

IEC 61131-3: Programming Industrial Automation Systems Concepts and Programming Languages, Requirements for Programming Systems, Decision-Making Aids

2025-04-09T12:44:33Z

Author John, Karl Heinz. author. Tiegelkamp, Michael. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12015-2
Format: Electronic Resources
Availability Online Library~1

Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings

2025-04-09T12:44:33Z

Author Blume, Matthias. editor. Kobayashi, Naoki. editor. Vidal, Germán. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12251-4
Format: Electronic Resources
Availability Online Library~1

Unifying Theories of Programming Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings

2025-04-09T12:44:33Z

Author Qin, Shengchao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16690-7
Format: Electronic Resources
Availability Online Library~1

Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers

2025-04-09T12:44:33Z

Author Clarke, Edmund M. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17511-4
Format: Electronic Resources
Availability Online Library~1

Approaches and Applications of Inductive Programming Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers

2025-04-09T12:44:33Z

Author Schmid, Ute. editor. Kitzelmann, Emanuel. editor. Plasmeijer, Rinus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11931-6
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

2025-04-09T12:44:33Z

Author Aldini, Alessandro. editor. Bernardo, Marco. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13678-8
Format: Electronic Resources
Availability Online Library~1

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 7th International Conference, CPAIOR 2010, Bologna, Italy, June 14-18, 2010. Proceedings

2025-04-09T12:44:33Z

Author Lodi, Andrea. editor. Milano, Michela. editor. Toth, Paolo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13520-0
Format: Electronic Resources
Availability Online Library~1

Inductive Logic Programming 19th International Conference, ILP 2009, Leuven, Belgium, July 02-04, 2009. Revised Papers

2025-04-09T12:44:33Z

Author Raedt, Luc. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13840-9
Format: Electronic Resources
Availability Online Library~1

Principles and Practice of Constraint Programming – CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010. Proceedings

2025-04-09T12:44:33Z

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

Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings

2025-04-09T12:44:33Z

Author Fermüller, Christian G. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16242-8
Format: Electronic Resources
Availability Online Library~1

Central European Functional Programming School Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009, Revised Selected Lectures

2025-04-09T12:44:33Z

Author Horváth, Zoltán. editor. Plasmeijer, Rinus. editor. Zsók, Viktória. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17685-2
Format: Electronic Resources
Availability Online Library~1

Objective-C for Absolute Beginners iPhone, iPad, and Mac Programming Made Easy

2025-04-09T12:44:33Z

Author Bennett, Gary. author. Fisher, Mitch. author. Lees, Brad. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-2833-2
Format: Electronic Resources
Availability Online Library~1

Pro Bash Programming Scripting the GNU/Linux Shell

2025-04-09T12:44:33Z

Author Johnson, Chris F. A. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-1998-9
Format: Electronic Resources
Availability Online Library~1

Foundations of Python Network Programming The comprehensive guide to building network applications with Python

2025-04-09T12:44:33Z

Author Rhodes, Brandon. author. Goerzen, John. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-3004-5
Format: Electronic Resources
Availability Online Library~1

Pro JavaScript with MooTools Learning Advanced JavaScript Programming

2025-04-09T12:44:33Z

Author Obcena, Mark Joseph. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-3055-7
Format: Electronic Resources
Availability Online Library~1

Genetic Programming 13th European Conference, EuroGP 2010, Istanbul, Turkey, April 7-9, 2010. Proceedings

2025-04-09T12:44:33Z

Author Esparcia-Alcázar, Anna Isabel. editor. Ekárt, Anikó. editor. Silva, Sara. editor. Dignum, Stephen. editor. Uyar, A. Şima. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12148-7
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

2025-04-09T12:44:33Z

Author Gordon, Andrew D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11957-6
Format: Electronic Resources
Availability Online Library~1

Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers

2025-04-09T12:44:33Z

Author Escobar, Santiago. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11999-6
Format: Electronic Resources
Availability Online Library~1

Integer Programming and Combinatorial Optimization 14th International Conference, IPCO 2010, Lausanne, Switzerland, June 9-11, 2010. Proceedings

2025-04-09T12:44:33Z

Author Eisenbrand, Friedrich. editor. Shepherd, F. Bruce. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13036-6
Format: Electronic Resources
Availability Online Library~1

Agile Processes in Software Engineering and Extreme Programming 11th International Conference, XP 2010, Trondheim, Norway, June 1-4, 2010. Proceedings

2025-04-09T12:44:33Z

Author Sillitti, Alberto. editor. Martin, Angela. editor. Wang, Xiaofeng. editor. Whitworth, Elizabeth. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13054-0
Format: Electronic Resources
Availability Online Library~1

A 25-Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULP

2025-04-09T12:44:33Z

Author Dovier, Agostino. editor. Pontelli, Enrico. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14309-0
Format: Electronic Resources
Availability Online Library~1

ECOOP 2010 – Object-Oriented Programming 24th European Conference, Maribor, Slovenia, June 21-25, 2010. Proceedings

2025-04-09T12:44:33Z

Author D’Hondt, Theo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14107-2
Format: Electronic Resources
Availability Online Library~1

Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II

2025-04-09T12:44:33Z

Author Abramsky, Samson. editor. Gavoille, Cyril. editor. Kirchner, Claude. editor. Meyer auf der Heide, Friedhelm. editor. Spirakis, Paul G. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14162-1
Format: Electronic Resources
Availability Online Library~1

Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I

2025-04-09T12:44:33Z

Author Abramsky, Samson. editor. Gavoille, Cyril. editor. Kirchner, Claude. editor. Meyer auf der Heide, Friedhelm. editor. Spirakis, Paul G. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14165-2
Format: Electronic Resources
Availability Online Library~1

Unifying Theories of Programming Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers

2025-04-09T12:44:33Z

Author Butterfield, Andrew. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14521-6
Format: Electronic Resources
Availability Online Library~1

Programming Multi-Agent Systems 7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009. Revised Selected Papers

2025-04-09T12:44:33Z

Author Braubach, Lars. editor. Briot, Jean-Pierre. editor. Thangarajah, John. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14843-9
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings

2025-04-09T12:44:33Z

Author Ueda, Kazunori. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17164-2
Format: Electronic Resources
Availability Online Library~1

Simulation, Modeling, and Programming for Autonomous Robots Second International Conference, SIMPAR 2010, Darmstadt, Germany, November 15-18, 2010. Proceedings

2025-04-09T12:44:33Z

Author Ando, Noriaki. editor. Balakirsky, Stephen. editor. Hemker, Thomas. editor. Reggiani, Monica. editor. Stryk, Oskar. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17319-6
Format: Electronic Resources
Availability Online Library~1

Practical WPF Charts and Graphics Advanced Chart and Graphics Programming with the Windows Presentation Foundation

2025-04-09T12:44:33Z

Author Xu, Jack. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-2482-2
Format: Electronic Resources
Availability Online Library~1

Pro Dynamic .NET 4.0 Applications Data-Driven Programming for the .NET Framework

2025-04-09T12:44:33Z

Author Ganz, Carl. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-2520-1
Format: Electronic Resources
Availability Online Library~1

Expert Oracle Database Architecture Oracle Database 9i, 10g, and 11g Programming Techniques and Solutions

2025-04-09T12:44:33Z

Author Kyte, Thomas. author. Gennick, Jonathan. editor. Andres, Clay. editor. Anglin, Steve. editor. Beckner, Mark. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-2947-6
Format: Electronic Resources
Availability Online Library~1

Pro HTML5 Programming Powerful APIs for Richer Internet Application Development

2025-04-09T12:44:33Z

Author Lubbers, Peter. author. Albers, Brian. author. Salim, Frank. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-2791-5
Format: Electronic Resources
Availability Online Library~1

Agile Processes in Software Engineering and Extreme Programming 10th International Conference, XP 2009, Pula, Sardinia, Italy, May 25-29, 2009. Proceedings

2025-04-09T12:44:33Z

Author Abrahamsson, Pekka. editor. Marchesi, Michele. editor. Maurer, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01853-4
Format: Electronic Resources
Availability Online Library~1

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 6th International Conference, CPAIOR 2009 Pittsburgh, PA, USA, May 27-31, 2009 Proceedings

2025-04-09T12:44:33Z

Author Hoeve, Willem-Jan. editor. Hooker, John N. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01929-6
Format: Electronic Resources
Availability Online Library~1

Automata, Languages and Programming 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part I

2025-04-09T12:44:33Z

Author Albers, Susanne. editor. Marchetti-Spaccamela, Alberto. editor. Matias, Yossi. editor. Nikoletseas, Sotiris. editor. Thomas, Wolfgang. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02927-1
Format: Electronic Resources
Availability Online Library~1

Automata, Languages and Programming 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part II

2025-04-09T12:44:33Z

Author Albers, Susanne. editor. Marchetti-Spaccamela, Alberto. editor. Matias, Yossi. editor. Nikoletseas, Sotiris. editor. Thomas, Wolfgang. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02930-1
Format: Electronic Resources
Availability Online Library~1

Recent Advances in Constraints 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers

2025-04-09T12:44:33Z

Author Oddi, Angelo. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03251-6
Format: Electronic Resources
Availability Online Library~1

Programming Multi-Agent Systems 6th International Workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008. Revised Invited and Selected Papers

2025-04-09T12:44:33Z

Author Hindriks, Koen V. editor. Pokahr, Alexander. editor. Sardina, Sebastian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03278-3
Format: Electronic Resources
Availability Online Library~1

Principles and Practice of Constraint Programming - CP 2009 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings

2025-04-09T12:44:33Z

Author Gent, Ian P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04244-7
Format: Electronic Resources
Availability Online Library~1

DNA Computing and Molecular Programming 15th International Conference, DNA 15, Fayetteville, AR, USA, June 8-11, 2009, Revised Selected Papers

2025-04-09T12:44:33Z

Author Deaton, Russell. editor. Suyama, Akira. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10604-0
Format: Electronic Resources
Availability Online Library~1

Logic Programming and Nonmonotonic Reasoning 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings

2025-04-09T12:44:33Z

Author Erdem, Esra. editor. Lin, Fangzhen. editor. Schaub, Torsten. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04238-6
Format: Electronic Resources
Availability Online Library~1

Database Programming Languages 12th International Symposium, DBPL 2009, Lyon, France, August 23-24, 2009. Proceedings

2025-04-09T12:44:33Z

Author Gardner, Philippa. editor. Geerts, Floris. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03793-1
Format: Electronic Resources
Availability Online Library~1

Beginning XNA 3.0 Game Programming From Novice to Professional

2025-04-09T12:44:33Z

Author Lobão, Alexandre Santos. author. Evangelista, Bruno. author. Leal de Farias, José Antonio. author. Grootjans, Riemer. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-1818-0
Format: Electronic Resources
Availability Online Library~1

XNA 3.0 Game Programming Recipes A Problem-Solution Approach

2025-04-09T12:44:33Z

Author Grootjans, Riemer. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-1856-2
Format: Electronic Resources
Availability Online Library~1

A Concise and Practical Introduction to Programming Algorithms in Java

2025-04-09T12:44:33Z

Author Nielsen, Frank. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84882-339-6
Format: Electronic Resources
Availability Online Library~1

Coders at Work Reflections on the Craft of Programming

2025-04-09T12:44:33Z

Author Seibel, Peter. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-1949-1
Format: Electronic Resources
Availability Online Library~1

Object Oriented Simulation A Modeling and Programming Perspective

2025-04-09T12:44:33Z

Author Garrido, José M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-0516-1
Format: Electronic Resources
Availability Online Library~1

Higher-Order Components for Grid Programming Making Grids More Usable

2025-04-09T12:44:33Z

Author Dünnweber, Jan. author. Gorlatch, Sergei. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00841-2
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

2025-04-09T12:44:33Z

Author Castagna, Giuseppe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00590-9
Format: Electronic Resources
Availability Online Library~1

Logic Programming 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings

2025-04-09T12:44:33Z

Author Hill, Patricia M. editor. Warren, David S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02846-5
Format: Electronic Resources
Availability Online Library~1

ECOOP 2009 – Object-Oriented Programming 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings

2025-04-09T12:44:33Z

Author Drossopoulou, Sophia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03013-0
Format: Electronic Resources
Availability Online Library~1

Advanced Functional Programming 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures

2025-04-09T12:44:33Z

Author Koopman, Pieter. editor. Plasmeijer, Rinus. editor. Swierstra, Doaitse. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04652-0
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings

2025-04-09T12:44:33Z

Author Hu, Zhenjiang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10672-9
Format: Electronic Resources
Availability Online Library~1

Applications of Declarative Programming and Knowledge Management 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers

2025-04-09T12:44:33Z

Author Seipel, Dietmar. editor. Hanus, Michael. editor. Wolf, Armin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00675-3
Format: Electronic Resources
Availability Online Library~1

Genetic Programming 12th European Conference, EuroGP 2009 Tübingen, Germany, April 15-17, 2009 Proceedings

2025-04-09T12:44:33Z

Author Vanneschi, Leonardo. editor. Gustafson, Steven. editor. Moraglio, Alberto. editor. Falco, Ivanoe. editor. Ebner, Marc. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01181-8
Format: Electronic Resources
Availability Online Library~1

Making Grids Work Proceedings of the CoreGRID Workshop on Programming Models Grid and P2P System Architecture Grid Systems, Tools and Environments 12-13 June 2007, Heraklion, Crete, Greece

2025-04-09T12:44:33Z

Author Danelutto, Marco. author. Fragopoulou, Paraskevi. author. Getov, Vladimir. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-78448-9
Format: Electronic Resources
Availability Online Library~1

XNA 2.0 Game Programming Recipes A Problem-Solution Approach

2025-04-09T12:44:33Z

Author Grootjans, Riemer. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0514-2
Format: Electronic Resources
Availability Online Library~1

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 5th International Conference, CPAIOR 2008 Paris, France, May 20-23, 2008 Proceedings

2025-04-09T12:44:33Z

Author Perron, Laurent. editor. Trick, Michael A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68155-7
Format: Electronic Resources
Availability Online Library~1

Integer Programming and Combinatorial Optimization 13th International Conference, IPCO 2008 Bertinoro, Italy, May 26-28, 2008 Proceedings

2025-04-09T12:44:33Z

Author Lodi, Andrea. editor. Panconesi, Alessandro. editor. Rinaldi, Giovanni. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68891-4
Format: Electronic Resources
Availability Online Library~1

A Practical Programming Model for the Multi-Core Era 3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 Proceedings

2025-04-09T12:44:33Z

Author Chapman, Barbara. editor. Zheng, Weiming. editor. Gao, Guang R. editor. Sato, Mitsuhisa. editor. Ayguadé, Eduard. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69303-1
Format: Electronic Resources
Availability Online Library~1

Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I

2025-04-09T12:44:33Z

Author Aceto, Luca. editor. Damgård, Ivan. editor. Goldberg, Leslie Ann. editor. Halldórsson, Magnús M. editor. Ingólfsdóttir, Anna. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70575-8
Format: Electronic Resources
Availability Online Library~1

ECOOP 2008 – Object-Oriented Programming 22nd European Conference Paphos, Cyprus, July 7-11, 2008 Proceedings

2025-04-09T12:44:33Z

Author Vitek, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70592-5
Format: Electronic Resources
Availability Online Library~1

Reflections on the Teaching of Programming Methods and Implementations

2025-04-09T12:44:33Z

Author Bennedsen, Jens. editor. Caspersen, Michael E. editor. Kölling, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77934-6
Format: Electronic Resources
Availability Online Library~1

Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings

2025-04-09T12:44:33Z

Author Garrigue, Jacques. editor. Hermenegildo, Manuel V. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78969-7
Format: Electronic Resources
Availability Online Library~1

Network Performance Analysis Using the J Programming Language

2025-04-09T12:44:33Z

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

Foundations of 3D Graphics Programming Using JOGL and Java3D

2025-04-09T12:44:33Z

Author Chen, Jim X. author. Chen, Chunyang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84800-284-5
Format: Electronic Resources
Availability Online Library~1

Inductive Logic Programming 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers

2025-04-09T12:44:33Z

Author Blockeel, Hendrik. editor. Ramon, Jan. editor. Shavlik, Jude. editor. Tadepalli, Prasad. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78469-2
Format: Electronic Resources
Availability Online Library~1

Programming Multi-Agent Systems 5th International Workshop, ProMAS 2007 Honolulu, HI, USA, May 15, 2007 Revised and Invited Papers

2025-04-09T12:44:33Z

Author Dastani, Mehdi. editor. El Fallah Seghrouchni, Amal. editor. Ricci, Alessandro. editor. Winikoff, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-79043-3
Format: Electronic Resources
Availability Online Library~1

Inductive Logic Programming 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008 Proceedings

2025-04-09T12:44:33Z

Author Železný, Filip. editor. Lavrač, Nada. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85928-4
Format: Electronic Resources
Availability Online Library~1

Principles and Practice of Constraint Programming 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings

2025-04-09T12:44:33Z

Author Stuckey, Peter J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85958-1
Format: Electronic Resources
Availability Online Library~1

Central European Functional Programming School Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures

2025-04-09T12:44:33Z

Author Horváth, Zoltán. editor. Plasmeijer, Rinus. editor. Soós, Anna. editor. Zsók, Viktória. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-88059-2
Format: Electronic Resources
Availability Online Library~1

Simulation, Modeling, and Programming for Autonomous Robots First International Conference, SIMPAR 2008 Venice, Italy, November 3-6, 2008. Proceedings

2025-04-09T12:44:33Z

Author Carpin, Stefano. editor. Noda, Itsuki. editor. Pagello, Enrico. editor. Reggiani, Monica. editor. Stryk, Oskar. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-89076-8
Format: Electronic Resources
Availability Online Library~1

Agile Processes in Software Engineering and Extreme Programming 9th International Conference, XP 2008, Limerick, Ireland, June 10-14, 2008. Proceedings

2025-04-09T12:44:33Z

Author Abrahamsson, Pekka. editor. Baskerville, Richard. editor. Conboy, Kieran. editor. Fitzgerald, Brian. editor. Morgan, Lorraine. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68255-4
Format: Electronic Resources
Availability Online Library~1

OpenMP Shared Memory Parallel Programming International Workshops, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, Reims, France, June 12-15, 2006. Proceedings

2025-04-09T12:44:33Z

Author Mueller, Matthias S. editor. Chapman, Barbara M. editor. Supinski, Bronis R. editor. Malony, Allen D. editor. Voss, Michael. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68555-5
Format: Electronic Resources
Availability Online Library~1

Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II

2025-04-09T12:44:33Z

Author Aceto, Luca. editor. Damgård, Ivan. editor. Goldberg, Leslie Ann. editor. Halldórsson, Magnús M. editor. Ingólfsdóttir, Anna. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70583-3
Format: Electronic Resources
Availability Online Library~1

Genetic Programming 11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008. Proceedings

2025-04-09T12:44:33Z

Author O’Neill, Michael. editor. Vanneschi, Leonardo. editor. Gustafson, Steven. editor. Esparcia Alcázar, Anna Isabel. editor. Falco, Ivanoe. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78671-9
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

2025-04-09T12:44:33Z

Author Drossopoulou, Sophia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78739-6
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings

2025-04-09T12:44:33Z

Author Ramalingam, G. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-89330-1
Format: Electronic Resources
Availability Online Library~1

Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings

2025-04-09T12:44:33Z

Author Cervesato, Iliano. editor. Veith, Helmut. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-89439-1
Format: Electronic Resources
Availability Online Library~1

Recent Advances in Constraints 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers

2025-04-09T12:44:33Z

Author Fages, François. editor. Rossi, Francesca. editor. Soliman, Sylvain. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-89812-2
Format: Electronic Resources
Availability Online Library~1

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings

2025-04-09T12:44:33Z

Author Garcia de la Banda, Maria. editor. Pontelli, Enrico. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-89982-2
Format: Electronic Resources
Availability Online Library~1

Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Proceedings

2025-04-09T12:44:33Z

Author Arge, Lars. editor. Cachin, Christian. editor. Jurdziński, Tomasz. editor. Tarlecki, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73420-8
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings

2025-04-09T12:44:33Z

Author Nicola, Rocco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71316-6
Format: Electronic Resources
Availability Online Library~1

Genetic Programming 10th European Conference, EuroGP 2007, Valencia, Spain, April 11-13, 2007. Proceedings

2025-04-09T12:44:33Z

Author Ebner, Marc. editor. O’Neill, Michael. editor. Ekárt, Anikó. editor. Vanneschi, Leonardo. editor. Esparcia-Alcázar, Anna Isabel. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71605-1
Format: Electronic Resources
Availability Online Library~1

Principles and Practice of Constraint Programming – CP 2007 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007. Proceedings

2025-04-09T12:44:33Z

Author Bessière, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74970-7
Format: Electronic Resources
Availability Online Library~1

Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings

2025-04-09T12:44:33Z

Author Dershowitz, Nachum. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75560-9
Format: Electronic Resources
Availability Online Library~1

Programming Multi-Agent Systems 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers

2025-04-09T12:44:33Z

Author Bordini, Rafael H. editor. Dastani, Mehdi. editor. Dix, Jürgen. editor. Seghrouchni, Amal El Fallah. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71956-4
Format: Electronic Resources
Availability Online Library~1

Logic Programming and Nonmonotonic Reasoning 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007. Proceedings

2025-04-09T12:44:33Z

Author Baral, Chitta. editor. Brewka, Gerhard. editor. Schlipf, John. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72200-7
Format: Electronic Resources
Availability Online Library~1

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 4th International Conference, CPAIOR 2007, Brussels, Belgium, May 23-26, 2007. Proceedings

2025-04-09T12:44:33Z

Author Hentenryck, Pascal. editor. Wolsey, Laurence. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72397-4
Format: Electronic Resources
Availability Online Library~1

Integer Programming and Combinatorial Optimization 12th International IPCO Conference, Ithaca, NY, USA, June 25-27, 2007. Proceedings

2025-04-09T12:44:33Z

Author Fischetti, Matteo. editor. Williamson, David P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72792-7
Format: Electronic Resources
Availability Online Library~1

Agile Processes in Software Engineering and Extreme Programming 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007. Proceedings

2025-04-09T12:44:33Z

Author Concas, Giulio. editor. Damiani, Ernesto. editor. Scotto, Marco. editor. Succi, Giancarlo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73101-6
Format: Electronic Resources
Availability Online Library~1

ECOOP 2007 – Object-Oriented Programming 21st European Conference, Berlin, Germany, July 30 - August 3, 2007. Proceedings

2025-04-09T12:44:33Z

Author Ernst, Erik. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73589-2
Format: Electronic Resources
Availability Online Library~1

Recent Advances in Constraints 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers

2025-04-09T12:44:33Z

Author Azevedo, Francisco. editor. Barahona, Pedro. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73817-6
Format: Electronic Resources
Availability Online Library~1

Inductive Logic Programming 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers

2025-04-09T12:44:33Z

Author Muggleton, Stephen. editor. Otero, Ramon. editor. Tamaddoni-Nezhad, Alireza. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73847-3
Format: Electronic Resources
Availability Online Library~1

Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings

2025-04-09T12:44:33Z

Author Dahl, Véronica. editor. Niemelä, Ilkka. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74610-2
Format: Electronic Resources
Availability Online Library~1

Database Programming Languages 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers

2025-04-09T12:44:33Z

Author Arenas, Marcelo. editor. Schwartzbach, Michael I. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75987-4
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings

2025-04-09T12:44:33Z

Author Shao, Zhong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-76637-7
Format: Electronic Resources
Availability Online Library~1

Datatype-Generic Programming International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures

2025-04-09T12:44:33Z

Author Backhouse, Roland. editor. Gibbons, Jeremy. editor. Hinze, Ralf. editor. Jeuring, Johan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-76786-2
Format: Electronic Resources
Availability Online Library~1

Programming Multi-Agent Systems Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers

2025-04-09T12:44:33Z

Author Bordini, Rafael H. editor. Dastani, Mehdi M. editor. Dix, Jürgen. editor. Fallah Seghrouchni, Amal. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11678823
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings

2025-04-09T12:44:33Z

Author Sestoft, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11693024
Format: Electronic Resources
Availability Online Library~1

Genetic Programming 9th European Conference, EuroGP 2006, Budapest, Hungary, April 10-12, 2006. Proceedings

2025-04-09T12:44:33Z

Author Collet, Pierre. editor. Tomassini, Marco. editor. Ebner, Marc. editor. Gustafson, Steven. editor. Ekárt, Anikó. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11729976
Format: Electronic Resources
Availability Online Library~1

Unifying Theories of Programming First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers

2025-04-09T12:44:33Z

Author Dunne, Steve. editor. Stoddart, Bill. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11768173
Format: Electronic Resources
Availability Online Library~1

Extreme Programming and Agile Processes in Software Engineering 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006. Proceedings

2025-04-09T12:44:33Z

Author Abrahamsson, Pekka. editor. Marchesi, Michele. editor. Succi, Giancarlo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11774129
Format: Electronic Resources
Availability Online Library~1