Search Results for Programming Techniques.

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

2026-04-02T03:30:57Z

by Ciubotaru, Bogdan. author.
http://dx.doi.org/10.1007/978-1-4471-5292-7
Format: Electronic Resources

SAS Programming and Data Visualization Techniques A Power User’s Guide

2026-04-02T03:30:57Z

by Holland, Philip R. author.
http://dx.doi.org/10.1007/978-1-4842-0568-6
Format: Electronic Resources

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

2026-04-02T03:30:57Z

by Štuikys, Vytautas. author.
http://dx.doi.org/10.1007/978-1-4471-4126-6
Format: Electronic Resources

Integration of AI and OR Techniques in Constraint Programming 12th International Conference, CPAIOR 2015, Barcelona, Spain, May 18-22, 2015, Proceedings

2026-04-02T03:30:57Z

by Michel, Laurent. editor.
http://dx.doi.org/10.1007/978-3-319-18008-3
Format: Electronic Resources

Integration of AI and OR Techniques in Constraint Programming 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014. Proceedings

2026-04-02T03:30:57Z

by Simonis, Helmut. editor.
http://dx.doi.org/10.1007/978-3-319-07046-9
Format: Electronic Resources

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

2026-04-02T03:30:57Z

by Gomes, Carla. editor.
http://dx.doi.org/10.1007/978-3-642-38171-3
Format: Electronic Resources

Learn WatchKit for iOS

2026-04-02T03:30:57Z

by Topley, Kim. author.
http://dx.doi.org/10.1007/978-1-4842-1025-3
Format: Electronic Resources

Beginning Xcode Swift Edition

2026-04-02T03:30:57Z

by Knott, Matthew. author.
http://dx.doi.org/10.1007/978-1-4842-0538-9
Format: Electronic Resources

Fields of Logic and Computation II Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday

2026-04-02T03:30:57Z

by Beklemishev, Lev D. editor.
http://dx.doi.org/10.1007/978-3-319-23534-9
Format: Electronic Resources

Android Application Development for the Intel® Platform

2026-04-02T03:30:57Z

by Cohen, Ryan. author.
http://dx.doi.org/10.1007/978-1-4842-0100-8
Format: Electronic Resources

Android Apps for Absolute Beginners

2026-04-02T03:30:57Z

by Jackson, Wallace. author.
http://dx.doi.org/10.1007/978-1-4842-0019-3
Format: Electronic Resources

Swift Recipes A Problem-Solution Approach

2026-04-02T03:30:57Z

by Rogers, T. Michael. author.
http://dx.doi.org/10.1007/978-1-4842-0418-4
Format: Electronic Resources

Beginning the Linux Command Line

2026-04-02T03:30:57Z

by Vugt, Sander van. author.
http://dx.doi.org/10.1007/978-1-4302-6829-1
Format: Electronic Resources

Pro Office 365 Development Second Edition

2026-04-02T03:30:57Z

by Collins, Mark J. author.
http://dx.doi.org/10.1007/978-1-4842-0244-9
Format: Electronic Resources

Migrating to Swift from Android

2026-04-02T03:30:57Z

by Liao, Sean. author.
http://dx.doi.org/10.1007/978-1-4842-0436-8
Format: Electronic Resources

Object-Oriented Analysis, Design and Implementation An Integrated Approach

2026-04-02T03:30:57Z

by Dathan, Brahma. author.
http://dx.doi.org/10.1007/978-3-319-24280-4
Format: Electronic Resources

Full Stack JavaScript Learn Backbone.js, Node.js and MongoDB

2026-04-02T03:30:57Z

by Mardan, Azat. author.
http://dx.doi.org/10.1007/978-1-4842-1751-1
Format: Electronic Resources

Beginning iPhone Development with Swift Exploring the iOS SDK

2026-04-02T03:30:57Z

by Mark, David. author.
http://dx.doi.org/10.1007/978-1-4842-0409-2
Format: Electronic Resources

Visual Studio Condensed

2026-04-02T03:30:57Z

by Desjardins, Patrick. author.
http://dx.doi.org/10.1007/978-1-4302-6823-9
Format: Electronic Resources

Beginning iPhone Development with Swift 2 Exploring the iOS SDK

2026-04-02T03:30:57Z

by Mark, David. author.
http://dx.doi.org/10.1007/978-1-4842-1754-2
Format: Electronic Resources

Pro PowerShell for Database Developers

2026-04-02T03:30:57Z

by Cafferky, Bryan. author.
http://dx.doi.org/10.1007/978-1-4842-0541-9
Format: Electronic Resources

Broken Agile Stories from the Trenches

2026-04-02T03:30:57Z

by Brizard, Tim. author.
http://dx.doi.org/10.1007/978-1-4842-1745-0
Format: Electronic Resources

Oracle Application Express for Mobile Web Applications

2026-04-02T03:30:57Z

by Hartman, Roel. author.
http://dx.doi.org/10.1007/978-1-4302-4948-1
Format: Electronic Resources

Oracle Database Transactions and Locking Revealed

2026-04-02T03:30:57Z

by Kyte, Thomas. author.
http://dx.doi.org/10.1007/978-1-4842-0760-4
Format: Electronic Resources

Experimenting with AVR Microcontrollers

2026-04-02T03:30:57Z

by Trevennor, Alan. author.
http://dx.doi.org/10.1007/978-1-4842-0901-1
Format: Electronic Resources

Java Quick Syntax Reference

2026-04-02T03:30:57Z

by Olsson, Mikael. author.
http://dx.doi.org/10.1007/978-1-4302-6287-9
Format: Electronic Resources

Pro Couchbase Development A NoSQL Platform for the Enterprise

2026-04-02T03:30:57Z

by Vohra, Deepak. author.
http://dx.doi.org/10.1007/978-1-4842-1434-3
Format: Electronic Resources

Pro iOS Table Views and Collection Views Using Swift 2

2026-04-02T03:30:57Z

by Duckett, Tim. author.
http://dx.doi.org/10.1007/978-1-4842-1242-4
Format: Electronic Resources

Beginning COBOL for Programmers

2026-04-02T03:30:57Z

by Coughlan, Michael. author.
http://dx.doi.org/10.1007/978-1-4302-6254-1
Format: Electronic Resources

Pointers in C A Hands on Approach

2026-04-02T03:30:57Z

by Toppo, Naveen. author.
http://dx.doi.org/10.1007/978-1-4302-5912-1
Format: Electronic Resources

Microservices, IoT, and Azure Leveraging DevOps and Microservice Architecture to Deliver SaaS Solutions

2026-04-02T03:30:57Z

by Familiar, Bob. author.
http://dx.doi.org/10.1007/978-1-4842-1275-2
Format: Electronic Resources

Beginning C

2026-04-02T03:30:57Z

by Horton, Ivor. author.
http://dx.doi.org/10.1007/978-1-4302-4882-8
Format: Electronic Resources

Online Game Pioneers at Work

2026-04-02T03:30:57Z

by Ramsay, Morgan. author.
http://dx.doi.org/10.1007/978-1-4302-4186-7
Format: Electronic Resources

Android Studio New Media Fundamentals Content Production of Digital Audio/Video, Illustration and 3D Animation

2026-04-02T03:30:57Z

by Jackson, Wallace. author.
http://dx.doi.org/10.1007/978-1-4842-9867-1
Format: Electronic Resources

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

2026-04-02T03:30:57Z

by Tompits, Hans. editor.
http://dx.doi.org/10.1007/978-3-642-41524-1
Format: Electronic Resources

Web Programming with PHP and MySQL A Practical Guide

2026-04-02T03:30:57Z

by Bramer, Max. author.
http://dx.doi.org/10.1007/978-3-319-22659-0
Format: Electronic Resources

Agile Android

2026-04-02T03:30:57Z

by Nolan, Godfrey. author.
http://dx.doi.org/10.1007/978-1-4842-9701-8
Format: Electronic Resources

Android Studio Game Development Concepts and Design

2026-04-02T03:30:57Z

by DiMarzio, J. F. author.
http://dx.doi.org/10.1007/978-1-4842-1718-4
Format: Electronic Resources

Engineering Multi-Agent Systems Second International Workshop, EMAS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers

2026-04-02T03:30:57Z

by Dalpiaz, Fabiano. editor.
http://dx.doi.org/10.1007/978-3-319-14484-9
Format: Electronic Resources

Beginning django CMS

2026-04-02T03:30:57Z

by George, Nigel. author.
http://dx.doi.org/10.1007/978-1-4842-1669-9
Format: Electronic Resources

Object-Oriented Technology

2026-04-02T03:30:57Z

by Alagić, Suad. author.
http://dx.doi.org/10.1007/978-3-319-20442-0
Format: Electronic Resources

Numerical Methods using MATLAB

2026-04-02T03:30:57Z

by Gupta, Abhishek K. author.
http://dx.doi.org/10.1007/978-1-4842-0154-1
Format: Electronic Resources

Pro Design Patterns in Swift

2026-04-02T03:30:57Z

by Freeman, Adam. author.
http://dx.doi.org/10.1007/978-1-4842-0394-1
Format: Electronic Resources

Continuous Delivery with Visual Studio ALM 2015

2026-04-02T03:30:57Z

by Olausson, Mathias. author.
http://dx.doi.org/10.1007/978-1-4842-1272-1
Format: Electronic Resources

Beginning Java 8 Games Development

2026-04-02T03:30:57Z

by Jackson, Wallace. author.
http://dx.doi.org/10.1007/978-1-4842-0415-3
Format: Electronic Resources

Migrating to Swift from Web Development

2026-04-02T03:30:57Z

by Liao, Sean. author.
http://dx.doi.org/10.1007/978-1-4842-0931-8
Format: Electronic Resources

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

2026-04-02T03:30:57Z

by Baldoni, Matteo. editor.
http://dx.doi.org/10.1007/978-3-319-26184-3
Format: Electronic Resources

C++ 14 Quick Syntax Reference

2026-04-02T03:30:57Z

by Olsson, Mikael. author.
http://dx.doi.org/10.1007/978-1-4842-1727-6
Format: Electronic Resources

Learn Pixi.js Create Great Interactive Graphics for Games and the Web

2026-04-02T03:30:57Z

by Spuy, Rex van der. author.
http://dx.doi.org/10.1007/978-1-4842-1094-9
Format: Electronic Resources

Swift 2 for Absolute Beginners

2026-04-02T03:30:57Z

by Bennett, Gary. author.
http://dx.doi.org/10.1007/978-1-4842-1488-6
Format: Electronic Resources

Compiler Design Syntactic and Semantic Analysis

2026-04-02T03:30:57Z

by Wilhelm, Reinhard. author.
http://dx.doi.org/10.1007/978-3-642-17540-4
Format: Electronic Resources

Transitioning to Swift

2026-04-02T03:30:57Z

by Gardner, Scott. author.
http://dx.doi.org/10.1007/978-1-4842-0406-1
Format: Electronic Resources

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

2026-04-02T03:30:57Z

by Dastani, Mehdi. editor.
http://dx.doi.org/10.1007/978-3-642-38700-5
Format: Electronic Resources

Pro HTML5 with Visual Studio 2015

2026-04-02T03:30:57Z

by Collins, Mark J. author.
http://dx.doi.org/10.1007/978-1-4842-1147-2
Format: Electronic Resources

Beginning Haskell A Project-Based Approach

2026-04-02T03:30:57Z

by Mena, Alejandro Serrano. author.
http://dx.doi.org/10.1007/978-1-4302-6251-0
Format: Electronic Resources

The Coder's Path to Wealth and Independence

2026-04-02T03:30:57Z

by Beckner, Mark. author.
http://dx.doi.org/10.1007/978-1-4842-0421-4
Format: Electronic Resources

Scala Design Patterns Patterns for Practical Reuse and Design

2026-04-02T03:30:57Z

by Hunt, John. author.
http://dx.doi.org/10.1007/978-3-319-02192-8
Format: Electronic Resources

Guide to Java A Concise Introduction to Programming

2026-04-02T03:30:57Z

by Streib, James T. author.
http://dx.doi.org/10.1007/978-1-4471-6317-6
Format: Electronic Resources

Logic Programming with Prolog

2026-04-02T03:30:57Z

by Bramer, Max. author.
http://dx.doi.org/10.1007/978-1-4471-5487-7
Format: Electronic Resources

Sudoku Programming with C

2026-04-02T03:30:57Z

by Zambon, Giulio. author.
http://dx.doi.org/10.1007/978-1-4842-0995-0
Format: Electronic Resources

Pro Android Games

2026-04-02T03:30:57Z

by Nardone, Massimo. author.
http://dx.doi.org/10.1007/978-1-4842-0587-7
Format: Electronic Resources

Xamarin Mobile Application Development Cross-Platform C# and Xamarin.Forms Fundamentals

2026-04-02T03:30:57Z

by Hermes, Dan. author.
http://dx.doi.org/10.1007/978-1-4842-0214-2
Format: Electronic Resources

Visual Studio LightSwitch 2015

2026-04-02T03:30:57Z

by Leung, Tim. author.
http://dx.doi.org/10.1007/978-1-4842-0766-6
Format: Electronic Resources

HL7 for BizTalk

2026-04-02T03:30:57Z

by Edidin, Howard. author.
http://dx.doi.org/10.1007/978-1-4302-6763-8
Format: Electronic Resources

Migrating from Drupal to Backdrop

2026-04-02T03:30:57Z

by Tomlinson, Todd. author.
http://dx.doi.org/10.1007/978-1-4842-1760-3
Format: Electronic Resources

TouchDevelop: Programming on the Go

2026-04-02T03:30:57Z

by Horspool, R. Nigel. author.
http://dx.doi.org/10.1007/978-1-4302-6137-7
Format: Electronic Resources

Make a 2D RPG in a Weekend With RPG Maker MV

2026-04-02T03:30:57Z

by Perez, Darrin. author.
http://dx.doi.org/10.1007/978-1-4842-1793-1
Format: Electronic Resources

Real-Time Visual Effects for Game Programming

2026-04-02T03:30:57Z

by Kim, Chang-Hun. author.
http://dx.doi.org/10.1007/978-981-287-487-0
Format: Electronic Resources

BiLBIQ: A Biologically Inspired Robot with Walking and Rolling Locomotion

2026-04-02T03:30:57Z

by King, Ralf Simon. author.
http://dx.doi.org/10.1007/978-3-642-34682-8
Format: Electronic Resources

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

2026-04-02T03:30:57Z

by Quintão Pereira, Fernando Magno. editor.
http://dx.doi.org/10.1007/978-3-319-11863-5
Format: Electronic Resources

JavaScript Object Programming

2026-04-02T03:30:57Z

by Rinehart, Martin. author.
http://dx.doi.org/10.1007/978-1-4842-1787-0
Format: Electronic Resources

Transactions on Aspect-Oriented Software Development X

2026-04-02T03:30:57Z

by Leavens, Gary T. editor.
http://dx.doi.org/10.1007/978-3-642-36964-3
Format: Electronic Resources

Transactions on Aspect-Oriented Software Development XII

2026-04-02T03:30:57Z

by Chiba, Shigeru. editor.
http://dx.doi.org/10.1007/978-3-662-46734-3
Format: Electronic Resources

Programming Smalltalk – Object-Orientation from the Beginning An introduction to the principles of programming

2026-04-02T03:30:57Z

by Brauer, Johannes. author.
http://dx.doi.org/10.1007/978-3-658-06823-3
Format: Electronic Resources

Make an E-commerce Site in a Weekend Using PHP

2026-04-02T03:30:57Z

by Harwani, Bintu. author.
http://dx.doi.org/10.1007/978-1-4842-1672-9
Format: Electronic Resources

Transactions on Aspect-Oriented Software Development XI

2026-04-02T03:30:57Z

by Chiba, Shigeru. editor.
http://dx.doi.org/10.1007/978-3-642-55099-7
Format: Electronic Resources

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

2026-04-02T03:30:57Z

by Chivers, Ian. author.
http://dx.doi.org/10.1007/978-3-319-17701-4
Format: Electronic Resources

Proceedings of the FISITA 2012 World Automotive Congress Volume 6: Vehicle Electronics.

2026-04-02T03:30:57Z

by SpringerLink (Online service)
http://dx.doi.org/10.1007/978-3-642-33829-8
Format: Electronic Resources

Swift OS X Programming for Absolute Beginners

2026-04-02T03:30:57Z

by Wang, Wallace. author.
http://dx.doi.org/10.1007/978-1-4842-1233-2
Format: Electronic Resources

Engineering Multi-Agent Systems First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers

2026-04-02T03:30:57Z

by Cossentino, Massimo. editor.
http://dx.doi.org/10.1007/978-3-642-45343-4
Format: Electronic Resources

Genetic Programming Theory and Practice XII

2026-04-02T03:30:57Z

by Riolo, Rick. editor.
http://dx.doi.org/10.1007/978-3-319-16030-6
Format: Electronic Resources

Principles of Data Mining

2026-04-02T03:30:57Z

by Bramer, Max. author.
http://dx.doi.org/10.1007/978-1-4471-4884-5
Format: Electronic Resources

Data Structures and Algorithms with Python

2026-04-02T03:30:57Z

by Lee, Kent D. author.
http://dx.doi.org/10.1007/978-3-319-13072-9
Format: Electronic Resources

Distributed Algorithms for Message-Passing Systems

2026-04-02T03:30:57Z

by Raynal, Michel. author.
http://dx.doi.org/10.1007/978-3-642-38123-2
Format: Electronic Resources

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

2026-04-02T03:30:57Z

by Bois, André Rauber Du. editor.
http://dx.doi.org/10.1007/978-3-642-40922-6
Format: Electronic Resources

Practical Analysis of Algorithms

2026-04-02T03:30:57Z

by Vrajitoru, Dana. author.
http://dx.doi.org/10.1007/978-3-319-09888-3
Format: Electronic Resources

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

2026-04-02T03:30:57Z

by McCarthy, Jay. editor.
http://dx.doi.org/10.1007/978-3-642-45340-3
Format: Electronic Resources

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

2026-04-02T03:30:57Z

by Loidl, Hans-Wolfgang. editor.
http://dx.doi.org/10.1007/978-3-642-40447-4
Format: Electronic Resources

Parallel Scientific Computing Theory, Algorithms, and Applications of Mesh Based and Meshless Methods

2026-04-02T03:30:57Z

by Trobec, Roman. author.
http://dx.doi.org/10.1007/978-3-319-17073-2
Format: Electronic Resources

Guide to Programming and Algorithms Using R

2026-04-02T03:30:57Z

by Ergül, Özgür. author.
http://dx.doi.org/10.1007/978-1-4471-5328-3
Format: Electronic Resources

Ada 2012 Rationale The Language, The Standard Libraries

2026-04-02T03:30:57Z

by Barnes, John. author.
http://dx.doi.org/10.1007/978-3-642-45210-9
Format: Electronic Resources

JRuby Rails Web Application Development

2026-04-02T03:30:57Z

by Vohra, Deepak. author.
http://dx.doi.org/10.1007/978-3-319-03934-3
Format: Electronic Resources

Ada 2012 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/2012 (E)

2026-04-02T03:30:57Z

by Taft, S. Tucker. editor.
http://dx.doi.org/10.1007/978-3-642-45419-6
Format: Electronic Resources

Verification of Business Rules Programs

2026-04-02T03:30:57Z

by Berstel-Da Silva, Bruno. author.
http://dx.doi.org/10.1007/978-3-642-40038-4
Format: Electronic Resources

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

2026-04-02T03:30:57Z

by Achten, Peter. editor.
http://dx.doi.org/10.1007/978-3-642-40355-2
Format: Electronic Resources

Post-Optimal Analysis in Linear Semi-Infinite Optimization

2026-04-02T03:30:57Z

by Goberna, Miguel A. author.
http://dx.doi.org/10.1007/978-1-4899-8044-1
Format: Electronic Resources

Using Event-B for Critical Device Software Systems

2026-04-02T03:30:57Z

by Singh, Neeraj Kumar. author.
http://dx.doi.org/10.1007/978-1-4471-5260-6
Format: Electronic Resources

Tools for High Performance Computing 2012

2026-04-02T03:30:57Z

by Cheptsov, Alexey. editor.
http://dx.doi.org/10.1007/978-3-642-37349-7
Format: Electronic Resources

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

2026-04-02T03:30:57Z

by Zsók, Viktória. editor.
http://dx.doi.org/10.1007/978-3-319-15940-9
Format: Electronic Resources

Learning C# by Programming Games

2026-04-02T03:30:57Z

by Egges, Arjan. author.
http://dx.doi.org/10.1007/978-3-642-36580-5
Format: Electronic Resources

Practical Aspects of Declarative Languages 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings

2026-04-02T03:30:57Z

by Pontelli, Enrico. editor.
http://dx.doi.org/10.1007/978-3-319-19686-2
Format: Electronic Resources

Patterns of HCI Design and HCI Design of Patterns Bridging HCI Design and Model-Driven Software Engineering

2026-04-02T03:30:57Z

by Seffah, Ahmed. author.
http://dx.doi.org/10.1007/978-3-319-15687-3
Format: Electronic Resources

Genetic Programming Theory and Practice XI

2026-04-02T03:30:57Z

by Riolo, Rick. editor.
http://dx.doi.org/10.1007/978-1-4939-0375-7
Format: Electronic Resources

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

2026-04-02T03:30:57Z

by Hunt, John. author.
http://dx.doi.org/10.1007/978-3-319-06776-6
Format: Electronic Resources

Genetic Programming Theory and Practice X

2026-04-02T03:30:57Z

by Riolo, Rick. editor.
http://dx.doi.org/10.1007/978-1-4614-6846-2
Format: Electronic Resources

Models@run.time Foundations, Applications, and Roadmaps

2026-04-02T03:30:57Z

by Bencomo, Nelly. editor.
http://dx.doi.org/10.1007/978-3-319-08915-7
Format: Electronic Resources

Compiler Construction 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

2026-04-02T03:30:57Z

by Franke, Björn. editor.
http://dx.doi.org/10.1007/978-3-662-46663-6
Format: Electronic Resources

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

2026-04-02T03:30:57Z

by Flatt, Matthew. editor.
http://dx.doi.org/10.1007/978-3-319-04132-2
Format: Electronic Resources

Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings

2026-04-02T03:30:57Z

by Sagonas, Kostis. editor.
http://dx.doi.org/10.1007/978-3-642-45284-0
Format: Electronic Resources

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

2026-04-02T03:30:57Z

by Felleisen, Matthias. editor.
http://dx.doi.org/10.1007/978-3-642-37036-6
Format: Electronic Resources

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

2026-04-02T03:30:57Z

by Agha, Gul. editor.
http://dx.doi.org/10.1007/978-3-662-44471-9
Format: Electronic Resources

Transactions on Pattern Languages of Programming III

2026-04-02T03:30:57Z

by Noble, James. editor.
http://dx.doi.org/10.1007/978-3-642-38676-3
Format: Electronic Resources

Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers

2026-04-02T03:30:57Z

by Hanus, Michael. editor.
http://dx.doi.org/10.1007/978-3-319-08909-6
Format: Electronic Resources

Frontiers of Combining Systems 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings

2026-04-02T03:30:57Z

by Lutz, Carsten. editor.
http://dx.doi.org/10.1007/978-3-319-24246-0
Format: Electronic Resources

Safe and Secure Software Reuse 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20. Proceedings

2026-04-02T03:30:57Z

by Favaro, John. editor.
http://dx.doi.org/10.1007/978-3-642-38977-1
Format: Electronic Resources

Languages and Compilers for Parallel Computing 27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised Selected Papers

2026-04-02T03:30:57Z

by Brodman, James. editor.
http://dx.doi.org/10.1007/978-3-319-17473-0
Format: Electronic Resources

Intelligent Cloud Computing First International Conference, ICC 2014, Muscat, Oman, February 24-26, 2014, Revised Selected Papers

2026-04-02T03:30:57Z

by Al-Saidi, Asma. editor.
http://dx.doi.org/10.1007/978-3-319-19848-4
Format: Electronic Resources

Building Secure Defenses Against Code-Reuse Attacks

2026-04-02T03:30:57Z

by Davi, Lucas. author.
http://dx.doi.org/10.1007/978-3-319-25546-0
Format: Electronic Resources

Smart Learning Objects for Smart Education in Computer Science Theory, Methodology and Robot-Based Implementation

2026-04-02T03:30:57Z

by Štuikys, Vytautas. author.
http://dx.doi.org/10.1007/978-3-319-16913-2
Format: Electronic Resources

Distributed Programming Theory and Practice

2026-04-02T03:30:57Z

by Shankar, A. Udaya. author.
http://dx.doi.org/10.1007/978-1-4614-4881-5
Format: Electronic Resources

Trends in Functional Programming 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers

2026-04-02T03:30:57Z

by Hage, Jurriaan. editor.
http://dx.doi.org/10.1007/978-3-319-14675-1
Format: Electronic Resources

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

2026-04-02T03:30:57Z

by Clarke, Dave. editor.
http://dx.doi.org/10.1007/978-3-642-36946-9
Format: Electronic Resources

Selenium WebDriver Recipes in C#

2026-04-02T03:30:57Z

by Zhan, Zhimin. author.
http://dx.doi.org/10.1007/978-1-4842-1742-9
Format: Electronic Resources

Search-Based Software Engineering 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings

2026-04-02T03:30:57Z

by Barros, Márcio. editor.
http://dx.doi.org/10.1007/978-3-319-22183-0
Format: Electronic Resources

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

2026-04-02T03:30:57Z

by Goues, Claire Le. editor.
http://dx.doi.org/10.1007/978-3-319-09940-8
Format: Electronic Resources

Logic, Rewriting, and Concurrency Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday

2026-04-02T03:30:57Z

by Martí-Oliet, Narciso. editor.
http://dx.doi.org/10.1007/978-3-319-23165-5
Format: Electronic Resources

Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings

2026-04-02T03:30:57Z

by Logozzo, Francesco. editor.
http://dx.doi.org/10.1007/978-3-642-38856-9
Format: Electronic Resources

An Introduction to Python and Computer Programming

2026-04-02T03:30:57Z

by Zhang, Yue. author.
http://dx.doi.org/10.1007/978-981-287-609-6
Format: Electronic Resources

Requirements Engineering and Management for Software Development Projects

2026-04-02T03:30:57Z

by Chemuturi, Murali. author.
http://dx.doi.org/10.1007/978-1-4614-5377-2
Format: Electronic Resources

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

2026-04-02T03:30:57Z

by Shao, Zhong. editor.
http://dx.doi.org/10.1007/978-3-642-54833-8
Format: Electronic Resources

An Introduction to Network Programming with Java Java 7 Compatible

2026-04-02T03:30:57Z

by Graba, Jan. author.
http://dx.doi.org/10.1007/978-1-4471-5254-5
Format: Electronic Resources

Emotion Modeling Towards Pragmatic Computational Models of Affective Processes

2026-04-02T03:30:57Z

by Bosse, Tibor. editor.
http://dx.doi.org/10.1007/978-3-319-12973-0
Format: Electronic Resources

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

2026-04-02T03:30:57Z

by Holvoet, Tom. editor.
http://dx.doi.org/10.1007/978-3-319-19282-6
Format: Electronic Resources

Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers

2026-04-02T03:30:57Z

by Dastani, Mehdi. editor.
http://dx.doi.org/10.1007/978-3-319-24644-4
Format: Electronic Resources

Languages and Compilers for Parallel Computing 24th International Workshop, LCPC 2011, Fort Collins, CO, USA, September 8-10, 2011. Revised Selected Papers

2026-04-02T03:30:57Z

by Rajopadhye, Sanjay. editor.
http://dx.doi.org/10.1007/978-3-642-36036-7
Format: Electronic Resources

Parallel Processing and Applied Mathematics 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part I

2026-04-02T03:30:57Z

by Wyrzykowski, Roman. editor.
http://dx.doi.org/10.1007/978-3-642-55224-3
Format: Electronic Resources

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

2026-04-02T03:30:57Z

by Bodei, Chiara. editor.
http://dx.doi.org/10.1007/978-3-319-25527-9
Format: Electronic Resources

Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings

2026-04-02T03:30:57Z

by Ruhe, Günther. editor.
http://dx.doi.org/10.1007/978-3-642-39742-4
Format: Electronic Resources

Solving Software Challenges for Exascale International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised Selected Papers

2026-04-02T03:30:57Z

by Markidis, Stefano. editor.
http://dx.doi.org/10.1007/978-3-319-15976-8
Format: Electronic Resources

Adaptive Resource Management and Scheduling for Cloud Computing Second International Workshop, ARMS-CC 2015, Held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2015, Donostia-San Sebastián, Spain, July 20, 2015, Revised Selected Papers

2026-04-02T03:30:57Z

by Pop, Florin. editor.
http://dx.doi.org/10.1007/978-3-319-28448-4
Format: Electronic Resources

Languages and Compilers for Parallel Computing 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers

2026-04-02T03:30:57Z

by Kasahara, Hironori. editor.
http://dx.doi.org/10.1007/978-3-642-37658-0
Format: Electronic Resources

Automated Technology for Verification and Analysis 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings

2026-04-02T03:30:57Z

by Finkbeiner, Bernd. editor.
http://dx.doi.org/10.1007/978-3-319-24953-7
Format: Electronic Resources

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

2026-04-02T03:30:57Z

by Schaefer, Ina. editor.
http://dx.doi.org/10.1007/978-3-319-14130-5
Format: Electronic Resources

NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings

2026-04-02T03:30:57Z

by Brat, Guillaume. editor.
http://dx.doi.org/10.1007/978-3-642-38088-4
Format: Electronic Resources

Introduction to Software Quality

2026-04-02T03:30:57Z

by O’Regan, Gerard. author.
http://dx.doi.org/10.1007/978-3-319-06106-1
Format: Electronic Resources

Guide to Cloud Computing Principles and Practice

2026-04-02T03:30:57Z

by Hill, Richard. author.
http://dx.doi.org/10.1007/978-1-4471-4603-2
Format: Electronic Resources

Distributed Computing and Networking 14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 2013. Proceedings

2026-04-02T03:30:57Z

by Frey, Davide. editor.
http://dx.doi.org/10.1007/978-3-642-35668-1
Format: Electronic Resources

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

2026-04-02T03:30:57Z

by Codish, Michael. editor.
http://dx.doi.org/10.1007/978-3-319-07151-0
Format: Electronic Resources

A Primer on Scientific Programming with Python

2026-04-02T03:30:57Z

by Langtangen, Hans Petter. author.
http://dx.doi.org/10.1007/978-3-642-54959-5
Format: Electronic Resources

Open Source Geospatial Tools Applications in Earth Observation

2026-04-02T03:30:57Z

by McInerney, Daniel. author.
http://dx.doi.org/10.1007/978-3-319-01824-9
Format: Electronic Resources

Programming Languages and Operational Semantics A Concise Overview

2026-04-02T03:30:57Z

by Fernández, Maribel. author.
http://dx.doi.org/10.1007/978-1-4471-6368-8
Format: Electronic Resources

Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers

2026-04-02T03:30:57Z

by Lemos, Rogério de. editor.
http://dx.doi.org/10.1007/978-3-642-35813-5
Format: Electronic Resources

OpenMP in the Era of Low Power Devices and Accelerators 9th International Workshop on OpenMP, IWOMP 2013, Canberra, ACT, Australia, September 16-18, 2013. Proceedings

2026-04-02T03:30:57Z

by Rendell, Alistair P. editor.
http://dx.doi.org/10.1007/978-3-642-40698-0
Format: Electronic Resources

Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers

2026-04-02T03:30:57Z

by Escobar, Santiago. editor.
http://dx.doi.org/10.1007/978-3-319-12904-4
Format: Electronic Resources

Automated Reasoning with Analytic Tableaux and Related Methods 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings

2026-04-02T03:30:57Z

by De Nivelle, Hans. editor.
http://dx.doi.org/10.1007/978-3-319-24312-2
Format: Electronic Resources

Formal Methods and Software Engineering 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

2026-04-02T03:30:57Z

by Butler, Michael. editor.
http://dx.doi.org/10.1007/978-3-319-25423-4
Format: Electronic Resources

NASA Formal Methods 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings

2026-04-02T03:30:57Z

by Havelund, Klaus. editor.
http://dx.doi.org/10.1007/978-3-319-17524-9
Format: Electronic Resources

Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers

2026-04-02T03:30:57Z

by Zaverucha, Gerson. editor.
http://dx.doi.org/10.1007/978-3-662-44923-3
Format: Electronic Resources

Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers

2026-04-02T03:30:57Z

by Albert, Elvira. editor.
http://dx.doi.org/10.1007/978-3-642-38197-3
Format: Electronic Resources

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

2026-04-02T03:30:57Z

by Liu, Shaoying. editor.
http://dx.doi.org/10.1007/978-3-642-39277-1
Format: Electronic Resources

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

2026-04-02T03:30:57Z

by Fischbach, Kai. editor.
http://dx.doi.org/10.1007/978-3-319-05359-2
Format: Electronic Resources

Guide to High Performance Distributed Computing Case Studies with Hadoop, Scalding and Spark

2026-04-02T03:30:57Z

by Srinivasa, K.G. author.
http://dx.doi.org/10.1007/978-3-319-13497-0
Format: Electronic Resources

Distributed Computing and Networking 15th International Conference, ICDCN 2014, Coimbatore, India, January 4-7, 2014. Proceedings

2026-04-02T03:30:57Z

by Chatterjee, Mainak. editor.
http://dx.doi.org/10.1007/978-3-642-45249-9
Format: Electronic Resources

Agent Environments for Multi-Agent Systems IV 4th International Workshop, E4MAS 2014 - 10 Years Later, Paris, France, May 6, 2014, Revised Selected and Invited Papers

2026-04-02T03:30:57Z

by Weyns, Danny. editor.
http://dx.doi.org/10.1007/978-3-319-23850-0
Format: Electronic Resources

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

2026-04-02T03:30:57Z

by Giannakopoulou, Dimitra. editor.
http://dx.doi.org/10.1007/978-3-319-10431-7
Format: Electronic Resources

Software Engineering International Summer Schools, ISSSE 2009-2011, Salerno, Italy. Revised Tutorial Lectures

2026-04-02T03:30:57Z

by Lucia, Andrea De. editor.
http://dx.doi.org/10.1007/978-3-642-36054-1
Format: Electronic Resources

Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday

2026-04-02T03:30:57Z

by Eiter, Thomas. editor.
http://dx.doi.org/10.1007/978-3-319-14726-0
Format: Electronic Resources

Algorithmic Decision Theory 4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015, Proceedings

2026-04-02T03:30:57Z

by Walsh, Toby. editor.
http://dx.doi.org/10.1007/978-3-319-23114-3
Format: Electronic Resources

Numerical Computations with GPUs

2026-04-02T03:30:57Z

by Kindratenko, Volodymyr. editor.
http://dx.doi.org/10.1007/978-3-319-06548-9
Format: Electronic Resources

Parallel Programming for Multicore and Cluster Systems

2026-04-02T03:30:57Z

by Rauber, Thomas. author.
http://dx.doi.org/10.1007/978-3-642-37801-0
Format: Electronic Resources

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

2026-04-02T03:30:57Z

by Giannakopoulou, Dimitra. editor.
http://dx.doi.org/10.1007/978-3-319-12154-3
Format: Electronic Resources

Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

2026-04-02T03:30:57Z

by Gupta, Gopal. editor.
http://dx.doi.org/10.1007/978-3-319-14125-1
Format: Electronic Resources

Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers

2026-04-02T03:30:57Z

by Hinze, Ralf. editor.
http://dx.doi.org/10.1007/978-3-642-41582-1
Format: Electronic Resources

Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings

2026-04-02T03:30:57Z

by Veanes, Margus. editor.
http://dx.doi.org/10.1007/978-3-642-38916-0
Format: Electronic Resources

Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

2026-04-02T03:30:57Z

by Davis, Martin. editor.
http://dx.doi.org/10.1007/978-3-662-48899-7
Format: Electronic Resources

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

2026-04-02T03:30:57Z

by Poole, Stephen. editor.
http://dx.doi.org/10.1007/978-3-319-05215-1
Format: Electronic Resources

Logics in Artificial Intelligence 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings

2026-04-02T03:30:57Z

by Fermé, Eduardo. editor.
http://dx.doi.org/10.1007/978-3-319-11558-0
Format: Electronic Resources

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

2026-04-02T03:30:57Z

by Badger, Julia M. editor.
http://dx.doi.org/10.1007/978-3-319-06200-6
Format: Electronic Resources

Software, Services, and Systems Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering

2026-04-02T03:30:57Z

by Nicola, Rocco De. editor.
http://dx.doi.org/10.1007/978-3-319-15545-6
Format: Electronic Resources

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

2026-04-02T03:30:57Z

by Lämmel, Ralf. editor.
http://dx.doi.org/10.1007/978-3-642-35992-7
Format: Electronic Resources

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

2026-04-02T03:30:57Z

by Seidl, Martina. editor.
http://dx.doi.org/10.1007/978-3-319-09099-3
Format: Electronic Resources

Programming Logics Essays in Memory of Harald Ganzinger

2026-04-02T03:30:57Z

by Voronkov, Andrei. editor.
http://dx.doi.org/10.1007/978-3-642-37651-1
Format: Electronic Resources

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

2026-04-02T03:30:57Z

by Riguzzi, Fabrizio. editor.
http://dx.doi.org/10.1007/978-3-642-38812-5
Format: Electronic Resources

The Deductive Spreadsheet

2026-04-02T03:30:57Z

by Cervesato, Iliano. author.
http://dx.doi.org/10.1007/978-3-642-37747-1
Format: Electronic Resources

Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings

2026-04-02T03:30:57Z

by Blanchette, Jasmin Christian. editor.
http://dx.doi.org/10.1007/978-3-319-21215-9
Format: Electronic Resources

Inductive Logic Programming 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers

2026-04-02T03:30:57Z

by Davis, Jesse. editor.
http://dx.doi.org/10.1007/978-3-319-23708-4
Format: Electronic Resources

Software Engineering International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures

2026-04-02T03:30:57Z

by Meyer, Bertrand. editor.
http://dx.doi.org/10.1007/978-3-319-28406-4
Format: Electronic Resources

Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings

2026-04-02T03:30:57Z

by Fontaine, Pascal. editor.
http://dx.doi.org/10.1007/978-3-642-40885-4
Format: Electronic Resources

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

2026-04-02T03:30:57Z

by Cohen, Ernie. editor.
http://dx.doi.org/10.1007/978-3-642-54108-7
Format: Electronic Resources

Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings

2026-04-02T03:30:57Z

by Lourenço, João M. editor.
http://dx.doi.org/10.1007/978-3-642-39955-8
Format: Electronic Resources

Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings

2026-04-02T03:30:57Z

by Hierons, Robert M. editor.
http://dx.doi.org/10.1007/978-3-642-40561-7
Format: Electronic Resources

Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers

2026-04-02T03:30:57Z

by Qadeer, Shaz. editor.
http://dx.doi.org/10.1007/978-3-642-35632-2
Format: Electronic Resources

Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers

2026-04-02T03:30:57Z

by Fiadeiro, José Luiz. editor.
http://dx.doi.org/10.1007/978-3-319-07602-7
Format: Electronic Resources

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

2026-04-02T03:30:57Z

by Merz, Stephan. editor.
http://dx.doi.org/10.1007/978-3-319-11737-9
Format: Electronic Resources

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

2026-04-02T03:30:57Z

by Groves, Lindsay. editor.
http://dx.doi.org/10.1007/978-3-642-41202-8
Format: Electronic Resources

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

2026-04-02T03:30:57Z

by Cassez, Franck. editor.
http://dx.doi.org/10.1007/978-3-319-11936-6
Format: Electronic Resources

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

2026-04-02T03:30:57Z

by Jones, Richard. editor.
http://dx.doi.org/10.1007/978-3-662-44202-9
Format: Electronic Resources

Software Engineering for Collective Autonomic Systems The ASCENS Approach

2026-04-02T03:30:57Z

by Wirsing, Martin. editor.
http://dx.doi.org/10.1007/978-3-319-16310-9
Format: Electronic Resources

Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

2026-04-02T03:30:57Z

by Calinescu, Radu. editor.
http://dx.doi.org/10.1007/978-3-319-22969-0
Format: Electronic Resources

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

2026-04-02T03:30:57Z

by Bonakdarpour, Borzoo. editor.
http://dx.doi.org/10.1007/978-3-319-11164-3
Format: Electronic Resources

Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings

2026-04-02T03:30:57Z

by Galmiche, Didier. editor.
http://dx.doi.org/10.1007/978-3-642-40537-2
Format: Electronic Resources

Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings

2026-04-02T03:30:57Z

by Legay, Axel. editor.
http://dx.doi.org/10.1007/978-3-642-40787-1
Format: Electronic Resources

Modelling Foundations and Applications 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings

2026-04-02T03:30:57Z

by Gorp, Pieter Van. editor.
http://dx.doi.org/10.1007/978-3-642-39013-5
Format: Electronic Resources

Algorithmic Decision Theory Third International Conference, ADT 2013, Bruxelles, Belgium, November 12-14, 2013, Proceedings

2026-04-02T03:30:57Z

by Perny, Patrice. editor.
http://dx.doi.org/10.1007/978-3-642-41575-3
Format: Electronic Resources

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

2026-04-02T03:30:57Z

by Castagna, Giuseppe. editor.
http://dx.doi.org/10.1007/978-3-642-39038-8
Format: Electronic Resources

Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings

2026-04-02T03:30:57Z

by Hung, Dang Van. editor.
http://dx.doi.org/10.1007/978-3-319-02444-8
Format: Electronic Resources

Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings

2026-04-02T03:30:57Z

by Bartocci, Ezio. editor.
http://dx.doi.org/10.1007/978-3-319-23820-3
Format: Electronic Resources

Modelling Foundations and Applications 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedings

2026-04-02T03:30:57Z

by Taentzer, Gabriele. editor.
http://dx.doi.org/10.1007/978-3-319-21151-0
Format: Electronic Resources

Globalizing Domain-Specific Languages International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers

2026-04-02T03:30:57Z

by Combemale, Benoit. editor.
http://dx.doi.org/10.1007/978-3-319-26172-0
Format: Electronic Resources

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

2026-04-02T03:30:57Z

by Calimeri, Francesco. editor.
http://dx.doi.org/10.1007/978-3-319-23264-5
Format: Electronic Resources

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

2026-04-02T03:30:57Z

by McMillan, Ken. editor.
http://dx.doi.org/10.1007/978-3-642-45221-5
Format: Electronic Resources

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

2026-04-02T03:30:57Z

by Cabalar, Pedro. editor.
http://dx.doi.org/10.1007/978-3-642-40564-8
Format: Electronic Resources

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

2026-04-02T03:30:57Z

by Lanese, Ivan. editor.
http://dx.doi.org/10.1007/978-3-319-15317-9
Format: Electronic Resources

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

2026-04-02T03:30:57Z

by Păsăreanu, Corina S. editor.
http://dx.doi.org/10.1007/978-3-642-35861-6
Format: Electronic Resources

Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings

2026-04-02T03:30:57Z

by Cariani, Fabrizio. editor.
http://dx.doi.org/10.1007/978-3-319-08615-6
Format: Electronic Resources

Finite Difference Methods,Theory and Applications 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers

2026-04-02T03:30:57Z

by Dimov, Ivan. editor.
http://dx.doi.org/10.1007/978-3-319-20239-6
Format: Electronic Resources

Optimization in Science and Engineering In Honor of the 60th Birthday of Panos M. Pardalos

2026-04-02T03:30:57Z

by Rassias, Themistocles M. editor.
http://dx.doi.org/10.1007/978-1-4939-0808-0
Format: Electronic Resources

MATLAB : a practical introduction to programming and problem solving

2026-04-02T03:30:57Z

by Attaway, Stormy.
Format: Books

Pro MongoDB™ Development

2026-04-02T03:30:57Z

by Vohra, Deepak. author.
http://dx.doi.org/10.1007/978-1-4842-1598-2
Format: Electronic Resources

Python Algorithms Mastering Basic Algorithms in the Python Language

2026-04-02T03:30:57Z

by Hetland, Magnus Lie. author.
http://dx.doi.org/10.1007/978-1-4842-0055-1
Format: Electronic Resources

Adapted aquatics programming : a professional guide

2026-04-02T03:30:57Z

by Lepore, Monica, 1956-
Format: Books

Parallel Computing Technologies 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, Proceedings

2026-04-02T03:30:57Z

by Malyshkin, Victor. editor.
http://dx.doi.org/10.1007/978-3-319-21909-7
Format: Electronic Resources

Supply Chain Management Under Fuzziness Recent Developments and Techniques

2026-04-02T03:30:57Z

by Kahraman, Cengiz. editor.
http://dx.doi.org/10.1007/978-3-642-53939-8
Format: Electronic Resources

Languages and Compilers for Parallel Computing 26th International Workshop, LCPC 2013, San Jose, CA, USA, September 25--27, 2013. Revised Selected Papers

2026-04-02T03:30:57Z

by Cașcaval, Călin. editor.
http://dx.doi.org/10.1007/978-3-319-09967-5
Format: Electronic Resources

Real World Windows 8 Development

2026-04-02T03:30:57Z

by Basu, Samidip. author.
http://dx.doi.org/10.1007/978-1-4302-5026-5
Format: Electronic Resources

Discrete–Time Stochastic Control and Dynamic Potential Games The Euler–Equation Approach

2026-04-02T03:30:57Z

by González-Sánchez, David. author.
http://dx.doi.org/10.1007/978-3-319-01059-5
Format: Electronic Resources

L1-Norm and L∞-Norm Estimation An Introduction to the Least Absolute Residuals, the Minimax Absolute Residual and Related Fitting Procedures

2026-04-02T03:30:57Z

by Farebrother, Richard William. author.
http://dx.doi.org/10.1007/978-3-642-36300-9
Format: Electronic Resources

Advanced Computational Methods for Knowledge Engineering Proceedings of 3rd International Conference on Computer Science, Applied Mathematics and Applications - ICCSAMA 2015

2026-04-02T03:30:57Z

by Le Thi, Hoai An. editor.
http://dx.doi.org/10.1007/978-3-319-17996-4
Format: Electronic Resources

Production and Efficiency Analysis with R

2026-04-02T03:30:57Z

by Behr, Andreas. author.
http://dx.doi.org/10.1007/978-3-319-20502-1
Format: Electronic Resources

Coordination Models and Languages 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings

2026-04-02T03:30:57Z

by Nicola, Rocco De. editor.
http://dx.doi.org/10.1007/978-3-642-38493-6
Format: Electronic Resources

Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings

2026-04-02T03:30:57Z

by Giacobazzi, Roberto. editor.
http://dx.doi.org/10.1007/978-3-642-35873-9
Format: Electronic Resources

Beginning Android C++ Game Development

2026-04-02T03:30:57Z

by Sutherland, Bruce. author.
http://dx.doi.org/10.1007/978-1-4302-5831-5
Format: Electronic Resources

Advanced ActionScript 3 Design Patterns

2026-04-02T03:30:57Z

by Smith, Ben. author.
http://dx.doi.org/10.1007/978-1-4842-0671-3
Format: Electronic Resources

Intel® Galileo and Intel® Galileo Gen 2 API Features and Arduino Projects for Linux Programmers

2026-04-02T03:30:57Z

by Ramon, Manoel Carlos. author.
http://dx.doi.org/10.1007/978-1-4302-6838-3
Format: Electronic Resources

Computational Logic in Multi-Agent Systems 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014. Proceedings

2026-04-02T03:30:57Z

by Bulling, Nils. editor.
http://dx.doi.org/10.1007/978-3-319-09764-0
Format: Electronic Resources

MATLAB Optimization Techniques

2026-04-02T03:30:57Z

by López, César Pérez. author.
http://dx.doi.org/10.1007/978-1-4842-0292-0
Format: Electronic Resources

MATLAB Differential Equations

2026-04-02T03:30:57Z

by Pérez López, César. author.
http://dx.doi.org/10.1007/978-1-4842-0310-1
Format: Electronic Resources

ECUMICT 2014 Proceedings of the European Conference on the Use of Modern Information and Communication Technologies, Gent, March 2014

2026-04-02T03:30:57Z

by Strycker, Lieven De. editor.
http://dx.doi.org/10.1007/978-3-319-05440-7
Format: Electronic Resources

Reasoning Web. Semantic Technologies for Intelligent Data Access 9th International Summer School 2013, Mannheim, Germany, July 30 – August 2, 2013. Proceedings

2026-04-02T03:30:57Z

by Rudolph, Sebastian. editor.
http://dx.doi.org/10.1007/978-3-642-39784-4
Format: Electronic Resources

Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings

2026-04-02T03:30:57Z

by Hasegawa, Masahito. editor.
http://dx.doi.org/10.1007/978-3-642-38946-7
Format: Electronic Resources

Hybrid Metaheuristics

2026-04-02T03:30:57Z

by Talbi, El-Ghazali. editor.
http://dx.doi.org/10.1007/978-3-642-30671-6
Format: Electronic Resources

Developing Synthetic Transport Systems

2026-04-02T03:30:57Z

by Melkikh, Alexey. author.
http://dx.doi.org/10.1007/978-94-007-5893-3
Format: Electronic Resources

The designer's guide to VHDL

2026-04-02T03:30:57Z

by Ashenden, Peter J.
Format: Books

Modelling and Simulation in Management Econometric Models Used in the Management of Organizations

2026-04-02T03:30:57Z

by Dima, Ioan Constantin. author.
http://dx.doi.org/10.1007/978-3-319-16592-9
Format: Electronic Resources

More iPhone Development with Swift Exploring the iOS SDK

2026-04-02T03:30:57Z

by Mark, David. author.
http://dx.doi.org/10.1007/978-1-4842-0448-1
Format: Electronic Resources

Instance-Specific Algorithm Configuration

2026-04-02T03:30:57Z

by Malitsky, Yuri. author.
http://dx.doi.org/10.1007/978-3-319-11230-5
Format: Electronic Resources

Scheduling Real-Time Streaming Applications onto an Embedded Multiprocessor

2026-04-02T03:30:57Z

by Moreira, Orlando. author.
http://dx.doi.org/10.1007/978-3-319-01246-9
Format: Electronic Resources

Digital Media A Problem-solving Approach for Computer Graphics

2026-04-02T03:30:57Z

by Elias, Rimon. author.
http://dx.doi.org/10.1007/978-3-319-05137-6
Format: Electronic Resources

Introduction to Image Processing Using R Learning by Examples

2026-04-02T03:30:57Z

by Frery, Alejandro C. author.
http://dx.doi.org/10.1007/978-1-4471-4950-7
Format: Electronic Resources

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

2026-04-02T03:30:57Z

by Liu, Zhiming. editor.
http://dx.doi.org/10.1007/978-3-642-39721-9
Format: Electronic Resources

Pro ASP.NET Web API Security Securing ASP.NET Web API

2026-04-02T03:30:57Z

by Lakshmiraghavan, Badrinarayanan. author.
http://dx.doi.org/10.1007/978-1-4302-5783-7
Format: Electronic Resources

Pro Bash Programming Scripting the GNU/Linux Shell

2026-04-02T03:30:57Z

by Johnson, Chris F. A. author.
http://dx.doi.org/10.1007/978-1-4842-0121-3
Format: Electronic Resources

Spatial Auditory Human-Computer Interfaces

2026-04-02T03:30:57Z

by Sodnik, Jaka. author.
http://dx.doi.org/10.1007/978-3-319-22111-3
Format: Electronic Resources

Foundation ActionScript 3

2026-04-02T03:30:57Z

by Richardson, Darren. author.
http://dx.doi.org/10.1007/978-1-4842-0583-9
Format: Electronic Resources

Pro Python Second Edition

2026-04-02T03:30:57Z

by Browning, J. Burton. author.
http://dx.doi.org/10.1007/978-1-4842-0334-7
Format: Electronic Resources

JavaScript Programmer’s Reference

2026-04-02T03:30:57Z

by Reid, Jonathan. author.
http://dx.doi.org/10.1007/978-1-4302-4630-5
Format: Electronic Resources

Expert F# 4.0

2026-04-02T03:30:57Z

by Syme, Don. author.
http://dx.doi.org/10.1007/978-1-4842-0740-6
Format: Electronic Resources

Beginning C for Arduino Learn C Programming for the Arduino

2026-04-02T03:30:57Z

by Purdum, Jack. author.
http://dx.doi.org/10.1007/978-1-4842-0940-0
Format: Electronic Resources

Game Development Tool Essentials

2026-04-02T03:30:57Z

by Ardolino, Alessandro. author.
http://dx.doi.org/10.1007/978-1-4302-6701-0
Format: Electronic Resources

Pro Unity Game Development with C#

2026-04-02T03:30:57Z

by Thorn, Alan. author.
http://dx.doi.org/10.1007/978-1-4302-6745-4
Format: Electronic Resources

Programming Heterogeneous MPSoCs Tool Flows to Close the Software Productivity Gap

2026-04-02T03:30:57Z

by Castrillón Mazo, Jerónimo. author.
http://dx.doi.org/10.1007/978-3-319-00675-8
Format: Electronic Resources

MATLAB Differential and Integral Calculus

2026-04-02T03:30:57Z

by Pérez López, César. author.
http://dx.doi.org/10.1007/978-1-4842-0304-0
Format: Electronic Resources

Autonomous Robotics and Deep Learning

2026-04-02T03:30:57Z

by Nath, Vishnu. author.
http://dx.doi.org/10.1007/978-3-319-05603-6
Format: Electronic Resources

Optimizing Hospital-wide Patient Scheduling Early Classification of Diagnosis-related Groups Through Machine Learning

2026-04-02T03:30:57Z

by Gartner, Daniel. author.
http://dx.doi.org/10.1007/978-3-319-04066-0
Format: Electronic Resources

Advances in Bio-inspired Computing for Combinatorial Optimization Problems

2026-04-02T03:30:57Z

by Pintea, Camelia-Mihaela. author.
http://dx.doi.org/10.1007/978-3-642-40179-4
Format: Electronic Resources

Java 8 Recipes

2026-04-02T03:30:57Z

by Juneau, Josh. author.
http://dx.doi.org/10.1007/978-1-4302-6826-0
Format: Electronic Resources

Resource Management in Utility and Cloud Computing

2026-04-02T03:30:57Z

by Zhao, Han. author.
http://dx.doi.org/10.1007/978-1-4614-8970-2
Format: Electronic Resources

SAS for Epidemiologists Applications and Methods

2026-04-02T03:30:57Z

by DiMaggio, Charles. author.
http://dx.doi.org/10.1007/978-1-4614-4854-9
Format: Electronic Resources

Agent-Oriented Software Engineering XIII 13th International Workshop, AOSE 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers

2026-04-02T03:30:57Z

by Müller, Jörg P. editor.
http://dx.doi.org/10.1007/978-3-642-39866-7
Format: Electronic Resources

Pro Asynchronous Programming with .NET

2026-04-02T03:30:57Z

by Blewett, Richard. author.
http://dx.doi.org/10.1007/978-1-4302-5921-3
Format: Electronic Resources

Learn OpenGL ES For Mobile Game and Graphics Development

2026-04-02T03:30:57Z

by Mehta, Prateek. author.
http://dx.doi.org/10.1007/978-1-4302-5054-8
Format: Electronic Resources

Excel 2010 power programming with VBA

2026-04-02T03:30:57Z

by Walkenbach, John.
Format: Books

Practical C++ Financial Programming

2026-04-02T03:30:57Z

by Oliveira, Carlos. author.
http://dx.doi.org/10.1007/978-1-4302-6716-4
Format: Electronic Resources

Socially Responsible Investment A Multi-Criteria Decision Making Approach

2026-04-02T03:30:57Z

by Ballestero, Enrique. editor.
http://dx.doi.org/10.1007/978-3-319-11836-9
Format: Electronic Resources

DNA Computing and Molecular Programming 21st International Conference, DNA 21, Boston and Cambridge, MA, USA, August 17-21, 2015. Proceedings

2026-04-02T03:30:57Z

by Phillips, Andrew. editor.
http://dx.doi.org/10.1007/978-3-319-21999-8
Format: Electronic Resources

C# 6.0 and the .NET 4.6 Framework

2026-04-02T03:30:57Z

by Troelsen, Andrew. author.
http://dx.doi.org/10.1007/978-1-4842-1332-2
Format: Electronic Resources

Embedded Systems Design for High-Speed Data Acquisition and Control

2026-04-02T03:30:57Z

by Di Paolo Emilio, Maurizio. author.
http://dx.doi.org/10.1007/978-3-319-06865-7
Format: Electronic Resources

Digital Fourier Analysis: Fundamentals

2026-04-02T03:30:57Z

by Kido, Ken'iti. author.
http://dx.doi.org/10.1007/978-1-4614-9260-3
Format: Electronic Resources

Optimizing Liner Shipping Fleet Repositioning Plans

2026-04-02T03:30:57Z

by Tierney, Kevin. author.
http://dx.doi.org/10.1007/978-3-319-17665-9
Format: Electronic Resources

Evolutionary Constrained Optimization

2026-04-02T03:30:57Z

by Datta, Rituparna. editor.
http://dx.doi.org/10.1007/978-81-322-2184-5
Format: Electronic Resources

Dynamics and Control of Trajectory Tubes Theory and Computation

2026-04-02T03:30:57Z

by Kurzhanski, Alexander B. author.
http://dx.doi.org/10.1007/978-3-319-10277-1
Format: Electronic Resources

EVOLVE - A Bridge between Probability, Set Oriented Numerics, and Evolutionary Computation V

2026-04-02T03:30:57Z

by Tantar, Alexandru-Adrian. editor.
http://dx.doi.org/10.1007/978-3-319-07494-8
Format: Electronic Resources

Algorithmic Differentiation of Pragma-Defined Parallel Regions Differentiating Computer Programs Containing OpenMP

2026-04-02T03:30:57Z

by Förster, Michael. author.
http://dx.doi.org/10.1007/978-3-658-07597-2
Format: Electronic Resources

Compilation and Synthesis for Embedded Reconfigurable Systems An Aspect-Oriented Approach

2026-04-02T03:30:57Z

by Cardoso, João Manuel Paiva. editor.
http://dx.doi.org/10.1007/978-1-4614-4894-5
Format: Electronic Resources

Handbook of Optimization From Classical to Modern Approach

2026-04-02T03:30:57Z

by Zelinka, Ivan. editor.
http://dx.doi.org/10.1007/978-3-642-30504-7
Format: Electronic Resources

Algebra and Coalgebra in Computer Science 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings

2026-04-02T03:30:57Z

by Heckel, Reiko. editor.
http://dx.doi.org/10.1007/978-3-642-40206-7
Format: Electronic Resources

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

2026-04-02T03:30:57Z

by Coecke, Bob. editor.
http://dx.doi.org/10.1007/978-3-642-38164-5
Format: Electronic Resources

Energy and protein metabolism and nutrition in sustainable animal production 4th International Symposium on Energy and Protein Metabolism and Nutrition Sacramento, California, USA 9-12 September 2013

2026-04-02T03:30:57Z

by Oltjen, James W. editor.
http://dx.doi.org/10.3920/978-90-8686-781-3
Format: Electronic Resources

Parameterized Algorithms

2026-04-02T03:30:57Z

by Cygan, Marek. author.
http://dx.doi.org/10.1007/978-3-319-21275-3
Format: Electronic Resources

BONUS Algorithm for Large Scale Stochastic Nonlinear Programming Problems

2026-04-02T03:30:57Z

by Diwekar, Urmila. author.
http://dx.doi.org/10.1007/978-1-4939-2282-6
Format: Electronic Resources

Introduction to Modern Fortran for the Earth System Sciences

2026-04-02T03:30:57Z

by Chirila, Dragos B. author.
http://dx.doi.org/10.1007/978-3-642-37009-0
Format: Electronic Resources

Social Networks: A Framework of Computational Intelligence

2026-04-02T03:30:57Z

by Pedrycz, Witold. editor.
http://dx.doi.org/10.1007/978-3-319-02993-1
Format: Electronic Resources

Innovative Approaches Towards Low Carbon Economics Regional Development Cybernetics

2026-04-02T03:30:57Z

by Xu, Jiuping. author.
http://dx.doi.org/10.1007/978-3-642-45429-5
Format: Electronic Resources

Automated Scheduling and Planning From Theory to Practice

2026-04-02T03:30:57Z

by Uyar, A. Sima. editor.
http://dx.doi.org/10.1007/978-3-642-39304-4
Format: Electronic Resources

Beginning C# Object-Oriented Programming

2026-04-02T03:30:57Z

by Clark, Dan. author.
http://dx.doi.org/10.1007/978-1-4302-4936-8
Format: Electronic Resources

Probabilistic Graphical Models Principles and Applications

2026-04-02T03:30:57Z

by Sucar, Luis Enrique. author.
http://dx.doi.org/10.1007/978-1-4471-6699-3
Format: Electronic Resources

Simulation-Based Optimization Parametric Optimization Techniques and Reinforcement Learning

2026-04-02T03:30:57Z

by Gosavi, Abhijit. author.
http://dx.doi.org/10.1007/978-1-4899-7491-4
Format: Electronic Resources

Sparse Representation, Modeling and Learning in Visual Recognition Theory, Algorithms and Applications

2026-04-02T03:30:57Z

by Cheng, Hong. author.
http://dx.doi.org/10.1007/978-1-4471-6714-3
Format: Electronic Resources

Wireless Multimedia Sensor Networks on Reconfigurable Hardware Information Reduction Techniques

2026-04-02T03:30:57Z

by Ang, Li-minn. author.
http://dx.doi.org/10.1007/978-3-642-38203-1
Format: Electronic Resources

Practical Business Analytics Using SAS A Hands-on Guide

2026-04-02T03:30:57Z

by Konasani, Venkat Reddy. author.
http://dx.doi.org/10.1007/978-1-4842-0043-8
Format: Electronic Resources