Search Results for Computer programming.

An Introduction to Python and Computer Programming

2026-04-02T03:53:04Z

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

Programming with class A C++ introduction to computer science

2026-04-02T03:53:04Z

by Kamin, Samuel N.
Format: Books

Linear programming for managerial decisions : a non-algorithmic approach with computer applications

2026-04-02T03:53:04Z

by Acar, Ahmet.
Format: Books

Robot manipulators : mathematics, programming, and control : the computer control of robot manipulators

2026-04-02T03:53:04Z

by Paul, Richard P.
Format: Books

Advances in computational and stochastic optimization, logic programming, and heuristic search : interfaces in computer science and operations research

2026-04-02T03:53:04Z

by Woodruff, David L.
Format: Books

Evolutionary algorithms in engineering and computer science recent advances in genetic algorithms, evolution strategies, evolutionary programming, genetic programming, and industrial applications

2026-04-02T03:53:04Z

by Miettinen, Kaisa.
Tam Metin Erişim Linki An electronic book accessible through the World Wide Web; click for information
Format: Electronic Resources

Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures

2026-04-02T03:53:04Z

by Bernardo, Marco. editor.
http://dx.doi.org/10.1007/978-3-319-18941-3
Format: Electronic Resources

Perl ve MySQL ile CGI programlama.

2026-04-02T03:53:04Z

by Ayfer, Can Ugur.
Format: Books

Bilgisayar programlama ve veri yönetimi

2026-04-02T03:53:04Z

by Güneş, Mustafa.
Format: Books

Computing: fundamentals and applications

2026-04-02T03:53:04Z

by Booth, Taylor L.
Format: Books

Introduction to algorithms

2026-04-02T03:53:04Z

by Cormen, Thomas H.
Format: Continuing Resources

Bilgisyar programlama

2026-04-02T03:53:04Z

by Hoşcan, Yaşar
Format: Books

Bilgisayar programlama

2026-04-02T03:53:04Z

by Temiz, Mustafa
Format: Books

Programlamaya giriş ve algoritmalar

2026-04-02T03:53:04Z

by Çelikkol, Soner.
Format: Books

Bilgisayar Programlama ve Cobol

2026-04-02T03:53:04Z

by Töreci,Ersin
Format: Books

MATLAB ile programlama : Cçözümlü ve açıklamalı uygulamalarla

2026-04-02T03:53:04Z

by Dal, Deniz, yazar.
Format: Books

Visual C ♯ .net 2005: oyun programlama

2026-04-02T03:53:04Z

by İnan, Yüksel.
Format: Books

C Programming : Problem book

2026-04-02T03:53:04Z

by Yazıcı, Ali.
Format: Books

Hackerlar : bilgisayar devriminin kahramanları

2026-04-02T03:53:04Z

by Levy, Steven.
Format: Books

Şifreleme ve Şifre Çözme Yöntemleri

2026-04-02T03:53:04Z

by Ural, Nuri.
Format: Books

Şifreleme ve Şifre Çözme Yöntemleri

2026-04-02T03:53:04Z

by Ural, Nuri.
Format: Books

Her yönüyle Borland Delphi 2.0

2026-04-02T03:53:04Z

by Çömlekçi, Mehmet.
Format: Books

Genetic algorithms + data structures = evolution programs

2026-04-02T03:53:04Z

by Michalewicz, Zbigniew.
Format: Books

Evolutionary multiobjective optimization : theoretical advances and applications

2026-04-02T03:53:04Z

by Abraham, Ajith, 1968-
Format: Books

Learn WatchKit for iOS

2026-04-02T03:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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

Excel 2010 power programming with VBA

2026-04-02T03:53:04Z

by Walkenbach, John.
Format: Books

Object-Oriented Analysis, Design and Implementation An Integrated Approach

2026-04-02T03:53:04Z

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:53:04Z

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:53:04Z

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

Visual Studio Condensed

2026-04-02T03:53:04Z

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:53:04Z

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

Professional VB.NET

2026-04-02T03:53:04Z

by Barwell, Fred.
Format: Books

An introduction to object-oriented programming with Java

2026-04-02T03:53:04Z

by Wu, C. Thomas.
Format: Books

Programming the boundary element method : an introduction for engineers

2026-04-02T03:53:04Z

by Beer, Gernot.
Table of Contents http://www.loc.gov/catdir/toc/onix06/00054558.html
Format: Books

Introduction to algorithms

2026-04-02T03:53:04Z

by Cormen, Thomas H.
Table of contents http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=017675862&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
Format: Books

Html ve Xhtml

2026-04-02T03:53:04Z

by Gürkan, Osman
Format: Books

Pro PowerShell for Database Developers

2026-04-02T03:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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

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

2026-04-02T03:53:04Z

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

Python 3: Veri yapıları

2026-04-02T03:53:04Z

by Karaçay, Timur.
Format: Books

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

2026-04-02T03:53:04Z

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

C # ile nesne programlama: programlama bilmeyenler için

2026-04-02T03:53:04Z

by Karaçay, Aybar.
Format: Books

Experimenting with AVR Microcontrollers

2026-04-02T03:53:04Z

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:53:04Z

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

PicBasic Pro ile PIC Micro programlama : Uygulamalı elektronik devreler - 7

2026-04-02T03:53:04Z

by Dinçer, Gökhan.
Format: Books

Delphi programcılığı ve SQL

2026-04-02T03:53:04Z

by Türkoğlu, Tansu.
Format: Books

Delphi programcılığı ve SQL

2026-04-02T03:53:04Z

by Türkoğlu, Tansu.
Format: Books

Pro Couchbase Development A NoSQL Platform for the Enterprise

2026-04-02T03:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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

Teach yourself visually Mac OS X v.10.3 Panther

2026-04-02T03:53:04Z

by Maran, Ruth, 1970-
Format: Books

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

2026-04-02T03:53:04Z

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

Beginning C

2026-04-02T03:53:04Z

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

Numerical Python: scientific computing and data science applications with Numpy, SciPy and Matplotlib

2026-04-02T03:53:04Z

by Johansson, Robert, author.
Format: Books

Programmieren mit UNIX : eine Einführung in das Betriebssystem

2026-04-02T03:53:04Z

by Martin, Günter.
Format: Books

C programlama dili: işaretçiler (pointers)- dosyalar- ikili (binary) sayıcı: 465 çözümlü örnek program

2026-04-02T03:53:04Z

by Arıkan, Şerafettin.
Format: Books

Sorularla SEO

2026-04-02T03:53:04Z

by Gülten, Kaan
Format: Books

Matrix computer analysis of structures

2026-04-02T03:53:04Z

by Rubinstein, Moshe F.
Format: Books

Visual C++ .NET Bible

2026-04-02T03:53:04Z

by Archer, Tom.
Format: Books

MATLAB : a practical introduction to programming and problem solving

2026-04-02T03:53:04Z

by Attaway, Stormy.
Format: Books

C Programming : Problem book

2026-04-02T03:53:04Z

by Yazıcı, Ali.
Format: Books

Online Game Pioneers at Work

2026-04-02T03:53:04Z

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

Genetic algorithms and evolution strategy in engineering and computer science recent advances and industrial applications

2026-04-02T03:53:04Z

by Quagliarella, D.
Tam Metin Erişim Linki An electronic book accessible through the World Wide Web; click for information
Format: Electronic Resources

Understanding object-oriented programming with Java

2026-04-02T03:53:04Z

by Budd, Timothy.
Format: Books

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

2026-04-02T03:53:04Z

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:53:04Z

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

Parallel programming in C with MPI and openMP

2026-04-02T03:53:04Z

by Quinn, Michael J. (Michael Jay)
Format: Books

C++ programlama dilinin esasları ve uygulamaları

2026-04-02T03:53:04Z

by Akkurt, Mustafa.
Format: Books

Microsoft ADO.NET step by step

2026-04-02T03:53:04Z

by Riordan, Rebecca.
Format: Books

C++ temel öğrenim kılavuzu

2026-04-02T03:53:04Z

by Schildt, Herbert
Format: Books

Yeni başlayanlar için C # ile nesne tabanlı programlama

2026-04-02T03:53:04Z

by Erdinç, Fahrettin.
Format: Books

Web Programming with PHP and MySQL A Practical Guide

2026-04-02T03:53:04Z

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

Bilgisayarda 101 proje = 101 things to do with your computer

2026-04-02T03:53:04Z

by Doherty, Gillian.
Format: Books

The hacker crackdown law and disorder on the electronic frontier

2026-04-02T03:53:04Z

by Sterling, Bruce.
Tam metin erişim linki http://www.netlibrary.com/urlapi.asp?action=summary&v=1&bookid=2009691
Format: Electronic Resources

Herkes için Adobe illustrator 10 kurs kitabı : Adobe'nin yetkili kılavuzu

2026-04-02T03:53:04Z

by Bahar, Melda
Format: Books

Agile Android

2026-04-02T03:53:04Z

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:53:04Z

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:53:04Z

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

Beginning django CMS

2026-04-02T03:53:04Z

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

Object-Oriented Technology

2026-04-02T03:53:04Z

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:53:04Z

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

Programlamaya giriş ve algoritmalar

2026-04-02T03:53:04Z

by Çelikkol, Soner, yazar.
Format: Books

Pro Design Patterns in Swift

2026-04-02T03:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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

Transitioning to Swift

2026-04-02T03:53:04Z

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:53:04Z

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

C # ile Asp.Net Web Programlama : Visual Studio 2008

2026-04-02T03:53:04Z

by Şentürk, Faruk.
Format: Books

Pro HTML5 with Visual Studio 2015

2026-04-02T03:53:04Z

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:53:04Z

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

Veri yapıları ve algoritma temelleri.

2026-04-02T03:53:04Z

by Kurnaz, Sefer.
Format: Books

Bilgisayar programlamaya yeni başlayanlar için programlama sanatı algoritmalar

2026-04-02T03:53:04Z

by Çölkesen, Rifat.
Format: Books

Introduction to computer science using Pascal

2026-04-02T03:53:04Z

by Glinert, Ephraim P., 1949-
Format: Books

The Coder's Path to Wealth and Independence

2026-04-02T03:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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

Pro Android Games

2026-04-02T03:53:04Z

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:53:04Z

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

Hacker etiği : iş hayatına yıkıcı bir yaklaşım

2026-04-02T03:53:04Z

by Himanen, Pekka.
Format: Books

Visual Studio LightSwitch 2015

2026-04-02T03:53:04Z

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

HL7 for BizTalk

2026-04-02T03:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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

Kendinize güvenerek Android ve oyun programlama

2026-04-02T03:53:04Z

by Çavuş, Musa
Format: Books

Real-Time Visual Effects for Game Programming

2026-04-02T03:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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

Bilgisayar programlama ve yazılım mühendisliginde veri yapıları ve algoritmalar

2026-04-02T03:53:04Z

by Çölkesen, Rifat.
Format: Books

Bilgisayar programlama ve yazılım mühendisliginde veri yapıları ve algoritmalar.

2026-04-02T03:53:04Z

by Çölkesen, Rifat.
Format: Books

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

2026-04-02T03:53:04Z

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

Herkes için Pascal ile Delphi : programlama kılavuzu

2026-04-02T03:53:04Z

by Walmsley, Sue
Format: Books

Software design for engineers and scientists

2026-04-02T03:53:04Z

by Robinson, John A.
Format: Books

Herkes için Matlab 6.5

2026-04-02T03:53:04Z

by Çetin, Emre A.
Format: Books

Swift OS X Programming for Absolute Beginners

2026-04-02T03:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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

Uzman C/C++ programlama : tüm yönleriyle işaretçiler ve dinamik bellek yönetimi

2026-04-02T03:53:04Z

by Erdun, Hakan
Format: Books

Data Structures and Algorithms with Python

2026-04-02T03:53:04Z

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:53:04Z

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

Microsoft Visual C# 2008 step by step

2026-04-02T03:53:04Z

by Sharp, John.
Format: Books

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

2026-04-02T03:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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

Design patterns : elements of reusable object-oriented software

2026-04-02T03:53:04Z

by Gamma, Erich.
Format: Books

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

2026-04-02T03:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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

Problem solving and structured programming in FORTRAN

2026-04-02T03:53:04Z

by Friedman, Frank L.
Format: Books

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

2026-04-02T03:53:04Z

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:53:04Z

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

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

2026-04-02T03:53:04Z

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

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

2026-04-02T03:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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

Evolutionary algorithms in molecular design

2026-04-02T03:53:04Z

by Clark, David E., 1966-
Format: Books

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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

C C++ ve JAVA dilleriyle algoritma ve programlama

2026-04-02T03:53:04Z

by Çobanoğlu, Bülent, yazar.
Format: Books

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

2026-04-02T03:53:04Z

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:53:04Z

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

Requirements Engineering and Management for Software Development Projects

2026-04-02T03:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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

The Deductive Spreadsheet

2026-04-02T03:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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:53:04Z

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

Controlling the world with your PC

2026-04-02T03:53:04Z

by Bergsman, Paul.
Format: Books

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

2026-04-02T03:53:04Z

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:53:04Z

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

Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

2026-04-02T03:53:04Z

by Artemov, Sergei. editor.
http://dx.doi.org/10.1007/978-3-642-35722-0
Format: Electronic Resources

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

2026-04-02T03:53:04Z

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

The Python Quick Syntax Reference

2026-04-02T03:53:04Z

by Walters, Gregory. author.
http://dx.doi.org/10.1007/978-1-4302-6479-8
Format: Electronic Resources

Mathematical Foundations of Computer Science 2015 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II

2026-04-02T03:53:04Z

by Italiano, Giuseppe F. editor.
http://dx.doi.org/10.1007/978-3-662-48054-0
Format: Electronic Resources

Python Algorithms Mastering Basic Algorithms in the Python Language

2026-04-02T03:53:04Z

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

Computer Safety, Reliability, and Security 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings

2026-04-02T03:53:04Z

by Koornneef, Floor. editor.
http://dx.doi.org/10.1007/978-3-319-24255-2
Format: Electronic Resources

Mathematical Foundations of Computer Science 2015 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I

2026-04-02T03:53:04Z

by Italiano, Giuseppe F. editor.
http://dx.doi.org/10.1007/978-3-662-48057-1
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:53:04Z

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

Learn Raspberry Pi Programming with Python

2026-04-02T03:53:04Z

by Donat, Wolfram. author.
http://dx.doi.org/10.1007/978-1-4302-6425-5
Format: Electronic Resources

User-Level Workflow Design A Bioinformatics Perspective

2026-04-02T03:53:04Z

by Lamprecht, Anna-Lena. editor.
http://dx.doi.org/10.1007/978-3-642-45389-2
Format: Electronic Resources

Practical Raspberry Pi

2026-04-02T03:53:04Z

by Horan, Brendan. author.
http://dx.doi.org/10.1007/978-1-4302-4972-6
Format: Electronic Resources

The designer's guide to VHDL

2026-04-02T03:53:04Z

by Ashenden, Peter J.
Format: Books

A Guide to Applied Machine Learning for Biologists

2026-04-02T03:53:04Z

by Badar, Mohammad "Sufian". editor.
https://doi.org/10.1007/978-3-031-22206-1
Format: Electronic Resources

Cloud Networking for Big Data

2026-04-02T03:53:04Z

by Zeng, Deze. author.
http://dx.doi.org/10.1007/978-3-319-24720-5
Format: Electronic Resources

Digital Media A Problem-solving Approach for Computer Graphics

2026-04-02T03:53:04Z

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