Search Results for Programming languages (Electronic computers).

Bilgisayar işletim sistemleri

2026-04-02T03:53:46Z

by Saatçi, Ali.
Format: Books

Programming language pragmatics

2026-04-02T03:53:46Z

by Scott, Michael Lee, 1959-
Format: Books

Concepts of programming languages

2026-04-02T03:53:46Z

by Sebesta, Robert W.
Format: Books

A'dan Z'ye C kılavuzu

2026-04-02T03:53:46Z

by Aslan, Kaan.
Format: Books

A'dan Z'ye C kılavuzu

2026-04-02T03:53:46Z

by Aslan, Kaan.
Format: Books

Programming Languages 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings

2026-04-02T03:53:46Z

by Pardo, Alberto. editor.
http://dx.doi.org/10.1007/978-3-319-24012-1
Format: Electronic Resources

Advanced Metaprogramming in Classic C++

2026-04-02T03:53:46Z

by Gennaro, Davide Di. author.
http://dx.doi.org/10.1007/978-1-4842-1010-9
Format: Electronic Resources

Learn Swift on the Mac For OS X and iOS

2026-04-02T03:53:46Z

by Malik, Waqar. author.
http://dx.doi.org/10.1007/978-1-4842-0376-7
Format: Electronic Resources

Android Recipes A Problem-Solution Approach for Android 5.0

2026-04-02T03:53:46Z

by Smith, Dave. author.
http://dx.doi.org/10.1007/978-1-4842-0475-7
Format: Electronic Resources

Expert F# 4.0

2026-04-02T03:53:46Z

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

Learn Swift 2 on the Mac

2026-04-02T03:53:46Z

by Malik, Waqar. author.
http://dx.doi.org/10.1007/978-1-4842-1627-9
Format: Electronic Resources

Stripes by Example

2026-04-02T03:53:46Z

by Watson, Brent. author.
http://dx.doi.org/10.1007/978-1-4842-0980-6
Format: Electronic Resources

Learn Java for Android Development

2026-04-02T03:53:46Z

by Friesen, Jeff. author.
http://dx.doi.org/10.1007/978-1-4302-5723-3
Format: Electronic Resources

JavaScript Frameworks for Modern Web Dev

2026-04-02T03:53:46Z

by Ambler, Tim. author.
http://dx.doi.org/10.1007/978-1-4842-0662-1
Format: Electronic Resources

Developing for Apple TV using tvOS and Swift

2026-04-02T03:53:46Z

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

Objective-C Programmer’s Reference

2026-04-02T03:53:46Z

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

Swift Game Programming for Absolute Beginners

2026-04-02T03:53:46Z

by Egges, Arjan. author.
http://dx.doi.org/10.1007/978-1-4842-0650-8
Format: Electronic Resources

Foundations of Programming Languages

2026-04-02T03:53:46Z

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

Web Development with Go Building Scalable Web Apps and RESTful Services

2026-04-02T03:53:46Z

by Varghese, Shiju. author.
http://dx.doi.org/10.1007/978-1-4842-1052-9
Format: Electronic Resources

Python Programming Fundamentals

2026-04-02T03:53:46Z

by Lee, Kent D. author.
http://dx.doi.org/10.1007/978-1-4471-6642-9
Format: Electronic Resources

Uzman kullanıcılar için Visual Basic .NET 2005 : object oriented programming

2026-04-02T03:53:46Z

by Demirli, Nihat
Format: Books

Microsoft GW-BASIC interpreter : user's guide.

2026-04-02T03:53:46Z

by Microsoft.
Format: Books

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

2026-04-02T03:53:46Z

by Dal, Deniz.
Format: Books

SQL Server T-SQL Recipes

2026-04-02T03:53:46Z

by Brimhall, Jason. author.
http://dx.doi.org/10.1007/978-1-4842-0061-2
Format: Electronic Resources

Beginning C for Arduino Learn C Programming for the Arduino

2026-04-02T03:53:46Z

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

Model-Integrating Software Components Engineering Flexible Software Systems

2026-04-02T03:53:46Z

by Derakhshanmanesh, Mahdi. author.
http://dx.doi.org/10.1007/978-3-658-09646-5
Format: Electronic Resources

Expert T-SQL Window Functions in SQL Server

2026-04-02T03:53:46Z

by Kellenberger, Kathi. author.
http://dx.doi.org/10.1007/978-1-4842-1103-8
Format: Electronic Resources

Node.js Recipes

2026-04-02T03:53:46Z

by Gackenheimer, Cory. author.
http://dx.doi.org/10.1007/978-1-4302-6059-2
Format: Electronic Resources

Introduction to React

2026-04-02T03:53:46Z

by Gackenheimer, Cory. author.
http://dx.doi.org/10.1007/978-1-4842-1245-5
Format: Electronic Resources

Learn Lua for iOS Game Development

2026-04-02T03:53:46Z

by Varma, Jayant. author.
http://dx.doi.org/10.1007/978-1-4302-4663-3
Format: Electronic Resources

Swift for Absolute Beginners

2026-04-02T03:53:46Z

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

Pro React

2026-04-02T03:53:46Z

by Antonio, Cássio de Sousa. author.
http://dx.doi.org/10.1007/978-1-4842-1260-8
Format: Electronic Resources

Pro TypeScript Application-Scale JavaScript Development

2026-04-02T03:53:46Z

by Fenton, Steve. author.
http://dx.doi.org/10.1007/978-1-4302-6790-4
Format: Electronic Resources

Learn Cocoa on the Mac

2026-04-02T03:53:46Z

by Nutting, Jack. author.
http://dx.doi.org/10.1007/978-1-4302-4543-8
Format: Electronic Resources

Her yönüyle C #

2026-04-02T03:53:46Z

by Algan, Sefer.
Format: Books

Her yönüyle C #

2026-04-02T03:53:46Z

by Algan, Sefer.
Format: Books

Her yönüyle C#

2026-04-02T03:53:46Z

by Algan, Sefer.
Format: Books

Her yönüyle C#

2026-04-02T03:53:46Z

by Algan, Sefer
Format: Books

Agile Android

2026-04-02T03:53:46Z

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:46Z

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

Beginning django CMS

2026-04-02T03:53:46Z

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:46Z

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:46Z

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:46Z

by Çelikkol, Soner, yazar.
Format: Books

Pro Design Patterns in Swift

2026-04-02T03:53:46Z

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

MATLAB Recipes A Problem-Solution Approach

2026-04-02T03:53:46Z

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

Beginning Java 8 Games Development

2026-04-02T03:53:46Z

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:46Z

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

C++ 14 Quick Syntax Reference

2026-04-02T03:53:46Z

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:46Z

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:46Z

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:46Z

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

Using Microsoft Dynamics AX 2012 Updated for Version R3

2026-04-02T03:53:46Z

by Luszczak, Andreas. author.
http://dx.doi.org/10.1007/978-3-658-08295-6
Format: Electronic Resources

Transitioning to Swift

2026-04-02T03:53:46Z

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

Beginning Haskell A Project-Based Approach

2026-04-02T03:53:46Z

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

Beginning R An Introduction to Statistical Programming

2026-04-02T03:53:46Z

by Wiley, Joshua F. author.
http://dx.doi.org/10.1007/978-1-4842-0373-6
Format: Electronic Resources

İleri programlama uygulamaları / Fahri Vatansever.

2026-04-02T03:53:46Z

by Vatansever, Fahri
Format: Books

Introduction to computers

2026-04-02T03:53:46Z

by Davis, Gordon Bitter.
Format: Books

The Python Workbook A Brief Introduction with Exercises and Solutions

2026-04-02T03:53:46Z

by Stephenson, Ben. author.
http://dx.doi.org/10.1007/978-3-319-14240-1
Format: Electronic Resources

Guide to Java A Concise Introduction to Programming

2026-04-02T03:53:46Z

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:46Z

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:46Z

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:46Z

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

Guide to Fortran 2008 Programming

2026-04-02T03:53:46Z

by Brainerd, Walter S. author.
http://dx.doi.org/10.1007/978-1-4471-6759-4
Format: Electronic Resources

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

2026-04-02T03:53:46Z

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

HL7 for BizTalk

2026-04-02T03:53:46Z

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:46Z

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:46Z

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:46Z

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

Programlamaya giriş ve algoritmalar

2026-04-02T03:53:46Z

by Çelikkol, Soner.
Format: Books

Design and Implementation of the MTX Operating System

2026-04-02T03:53:46Z

by Wang, K. C. author.
http://dx.doi.org/10.1007/978-3-319-17575-1
Format: Electronic Resources

Formalizing Data-Centric Web Services

2026-04-02T03:53:46Z

by Saleh, Iman. author.
http://dx.doi.org/10.1007/978-3-319-24678-9
Format: Electronic Resources

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

2026-04-02T03:53:46Z

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

Visual Studio 2005 ile C .net

2026-04-02T03:53:46Z

by Kilmen, Erman.
Format: Books

Numerical Python A Practical Techniques Approach for Industry

2026-04-02T03:53:46Z

by Johansson, Robert. author.
http://dx.doi.org/10.1007/978-1-4842-0553-2
Format: Electronic Resources

JavaScript Object Programming

2026-04-02T03:53:46Z

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:46Z

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:46Z

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

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

2026-04-02T03:53:46Z

by Cordeiro, José. editor.
http://dx.doi.org/10.1007/978-3-662-44920-2
Format: Electronic Resources

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

2026-04-02T03:53:46Z

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:46Z

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:46Z

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

Software and Data Technologies 7th International Conference, ICSOFT 2012, Rome, Italy, July 24-27, 2012, Revised Selected Papers

2026-04-02T03:53:46Z

by Cordeiro, José. editor.
http://dx.doi.org/10.1007/978-3-642-45404-2
Format: Electronic Resources

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

2026-04-02T03:53:46Z

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

Cryptography in C and C++

2026-04-02T03:53:46Z

by Welschenbach, Michael. author.
http://dx.doi.org/10.1007/978-1-4302-5099-9
Format: Electronic Resources

Introduction to Image Processing Using R Learning by Examples

2026-04-02T03:53:46Z

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

Constraints Meet Concurrency

2026-04-02T03:53:46Z

by Mauro, Jacopo. author.
http://dx.doi.org/10.2991/978-94-6239-067-6
Format: Electronic Resources

Compiler Construction 22nd International Conference, CC 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:46Z

by Jhala, Ranjit. editor.
http://dx.doi.org/10.1007/978-3-642-37051-9
Format: Electronic Resources

Using Microsoft Dynamics AX 2012 Updated for Version R2

2026-04-02T03:53:46Z

by Luszczak, Andreas. author.
http://dx.doi.org/10.1007/978-3-658-01709-5
Format: Electronic Resources

C++ Game Development Primer

2026-04-02T03:53:46Z

by Sutherland, Bruce. author.
http://dx.doi.org/10.1007/978-1-4842-0814-4
Format: Electronic Resources

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

2026-04-02T03:53:46Z

by Cohen, Albert. editor.
http://dx.doi.org/10.1007/978-3-642-54807-9
Format: Electronic Resources

Swift OS X Programming for Absolute Beginners

2026-04-02T03:53:46Z

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

XML and Web Technologies for Data Sciences with R

2026-04-02T03:53:46Z

by Nolan, Deborah. author.
http://dx.doi.org/10.1007/978-1-4614-7900-0
Format: Electronic Resources

Application and Theory of Petri Nets and Concurrency 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings

2026-04-02T03:53:46Z

by Devillers, Raymond. editor.
http://dx.doi.org/10.1007/978-3-319-19488-2
Format: Electronic Resources

Beginning Neo4j

2026-04-02T03:53:46Z

by Kemper, Chris. author.
http://dx.doi.org/10.1007/978-1-4842-1227-1
Format: Electronic Resources

Python Data Analytics Data Analysis and Science Using Pandas, matplotlib, and the Python Programming Language

2026-04-02T03:53:46Z

by Nelli, Fabio. author.
http://dx.doi.org/10.1007/978-1-4842-0958-5
Format: Electronic Resources

Exploring C++ 11 Problems and Solutions Handbook

2026-04-02T03:53:46Z

by Lischner, Ray. author.
http://dx.doi.org/10.1007/978-1-4302-6194-0
Format: Electronic Resources

Model Checking Software 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings

2026-04-02T03:53:46Z

by Fischer, Bernd. editor.
http://dx.doi.org/10.1007/978-3-319-23404-5
Format: Electronic Resources

Ubiquitous Information Technologies and Applications CUTE 2012

2026-04-02T03:53:46Z

by Han, Youn-Hee. editor.
http://dx.doi.org/10.1007/978-94-007-5857-5
Format: Electronic Resources

Model Checking Software 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings

2026-04-02T03:53:46Z

by Bartocci, Ezio. editor.
http://dx.doi.org/10.1007/978-3-642-39176-7
Format: Electronic Resources

Bayesian Networks in R with Applications in Systems Biology

2026-04-02T03:53:46Z

by Nagarajan, Radhakrishnan. author.
http://dx.doi.org/10.1007/978-1-4614-6446-4
Format: Electronic Resources

Software and Data Technologies 6th International Conference, ICSOFT 2011, Seville, Spain, July 18-21, 2011. Revised Selected Papers

2026-04-02T03:53:46Z

by Escalona, María José. editor.
http://dx.doi.org/10.1007/978-3-642-36177-7
Format: Electronic Resources

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

2026-04-02T03:53:46Z

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

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

2026-04-02T03:53:46Z

by Ciardo, Gianfranco. editor.
http://dx.doi.org/10.1007/978-3-319-07734-5
Format: Electronic Resources

In Search of Elegance in the Theory and Practice of Computation Essays Dedicated to Peter Buneman

2026-04-02T03:53:46Z

by Tannen, Val. editor.
http://dx.doi.org/10.1007/978-3-642-41660-6
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:46Z

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:46Z

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

Construction and Evolution of Code Generators A Model-Driven and Service-Oriented Approach

2026-04-02T03:53:46Z

by Jörges, Sven. author.
http://dx.doi.org/10.1007/978-3-642-36127-2
Format: Electronic Resources

Exploring Robotics with ROBOTIS Systems

2026-04-02T03:53:46Z

by Thai, Chi N. author.
http://dx.doi.org/10.1007/978-3-319-20418-5
Format: Electronic Resources

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

2026-04-02T03:53:46Z

by Counsell, Steve. editor.
http://dx.doi.org/10.1007/978-3-319-05032-4
Format: Electronic Resources

Guide to Programming and Algorithms Using R

2026-04-02T03:53:46Z

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:46Z

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:46Z

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

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

Mathematica®: A Problem-Centered Approach

2026-04-02T03:53:46Z

by Hazrat, Roozbeh. author.
http://dx.doi.org/10.1007/978-3-319-27585-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:46Z

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

Automatic SIMD Vectorization of SSA-based Control Flow Graphs

2026-04-02T03:53:46Z

by Karrenberg, Ralf. author.
http://dx.doi.org/10.1007/978-3-658-10113-8
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:46Z

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

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

2026-04-02T03:53:46Z

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

Learning C# by Programming Games

2026-04-02T03:53:46Z

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:46Z

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

From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartz

2026-04-02T03:53:46Z

by Davis, Martin. editor.
http://dx.doi.org/10.1007/978-1-4471-4282-9
Format: Electronic Resources

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

2026-04-02T03:53:46Z

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

R for Cloud Computing An Approach for Data Scientists

2026-04-02T03:53:46Z

by Ohri, A. author.
http://dx.doi.org/10.1007/978-1-4939-1702-0
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:46Z

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:46Z

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:46Z

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

Formal Techniques for Safety-Critical Systems Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers

2026-04-02T03:53:46Z

by Artho, Cyrille. editor.
http://dx.doi.org/10.1007/978-3-319-17581-2
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:46Z

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

Concrete Semantics With Isabelle/HOL

2026-04-02T03:53:46Z

by Nipkow, Tobias. author.
http://dx.doi.org/10.1007/978-3-319-10542-0
Format: Electronic Resources

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

2026-04-02T03:53:46Z

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

Static Analysis 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings

2026-04-02T03:53:46Z

by Blazy, Sandrine. editor.
http://dx.doi.org/10.1007/978-3-662-48288-9
Format: Electronic Resources

Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings

2026-04-02T03:53:46Z

by Johnsen, Einar Broch. editor.
http://dx.doi.org/10.1007/978-3-642-38613-8
Format: Electronic Resources

Transactions on Pattern Languages of Programming III

2026-04-02T03:53:46Z

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

Software Technologies 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers

2026-04-02T03:53:46Z

by Holzinger, Andreas. editor.
http://dx.doi.org/10.1007/978-3-319-25579-8
Format: Electronic Resources

Programming Languages and Systems 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings

2026-04-02T03:53:46Z

by Feng, Xinyu. editor.
http://dx.doi.org/10.1007/978-3-319-26529-2
Format: Electronic Resources

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

2026-04-02T03:53:46Z

by Müller-Olm, Markus. editor.
http://dx.doi.org/10.1007/978-3-319-10936-7
Format: Electronic Resources

Software Architecture 9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015. Proceedings

2026-04-02T03:53:46Z

by Weyns, Danny. editor.
http://dx.doi.org/10.1007/978-3-319-23727-5
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:46Z

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

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

2026-04-02T03:53:46Z

by Voronkov, Andrei. editor.
http://dx.doi.org/10.1007/978-3-662-46823-4
Format: Electronic Resources

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

2026-04-02T03:53:46Z

by Garrigue, Jacques. editor.
http://dx.doi.org/10.1007/978-3-319-12736-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:46Z

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

Giants of Computing A Compendium of Select, Pivotal Pioneers

2026-04-02T03:53:46Z

by O’Regan, Gerard. author.
http://dx.doi.org/10.1007/978-1-4471-5340-5
Format: Electronic Resources

Building Secure Defenses Against Code-Reuse Attacks

2026-04-02T03:53:46Z

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

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

2026-04-02T03:53:46Z

by Liu, Shaoying. editor.
http://dx.doi.org/10.1007/978-3-319-04915-1
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:46Z

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

Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers

2026-04-02T03:53:46Z

by Liu, Shaoying. editor.
http://dx.doi.org/10.1007/978-3-319-17404-4
Format: Electronic Resources

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

2026-04-02T03:53:46Z

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

The R Software Fundamentals of Programming and Statistical Analysis

2026-04-02T03:53:46Z

by Lafaye de Micheaux, Pierre. author.
http://dx.doi.org/10.1007/978-1-4614-9020-3
Format: Electronic Resources

Reliable Software Technologies – Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings

2026-04-02T03:53:46Z

by Keller, Hubert B. editor.
http://dx.doi.org/10.1007/978-3-642-38601-5
Format: Electronic Resources

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

2026-04-02T03:53:46Z

by Albert, Elvira. editor.
http://dx.doi.org/10.1007/978-3-319-10181-1
Format: Electronic Resources

Theory and Practice of Model Transformations 8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings

2026-04-02T03:53:46Z

by Kolovos, Dimitris. editor.
http://dx.doi.org/10.1007/978-3-319-21155-8
Format: Electronic Resources

Fundamental Approaches to Software Engineering 18th International Conference, FASE 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:46Z

by Egyed, Alexander. editor.
http://dx.doi.org/10.1007/978-3-662-46675-9
Format: Electronic Resources

Selenium WebDriver Recipes in C#

2026-04-02T03:53:46Z

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

Digital Electronics for Musicians

2026-04-02T03:53:46Z

by Drymonitis, Alexandros. author.
http://dx.doi.org/10.1007/978-1-4842-1583-8
Format: Electronic Resources

Advanced Parallel Processing Technologies 11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015, Proceedings

2026-04-02T03:53:46Z

by Chen, Yunji. editor.
http://dx.doi.org/10.1007/978-3-319-23216-4
Format: Electronic Resources

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

2026-04-02T03:53:46Z

by DeRose, Luiz. editor.
http://dx.doi.org/10.1007/978-3-319-11454-5
Format: Electronic Resources

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

2026-04-02T03:53:46Z

by Gnesi, Stefania. editor.
http://dx.doi.org/10.1007/978-3-642-54804-8
Format: Electronic Resources

Python For ArcGIS

2026-04-02T03:53:46Z

by Tateosian, Laura. author.
http://dx.doi.org/10.1007/978-3-319-18398-5
Format: Electronic Resources

System Analysis and Modeling: Theory and Practice 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papers

2026-04-02T03:53:46Z

by Haugen, Øystein. editor.
http://dx.doi.org/10.1007/978-3-642-36757-1
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 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:46Z

by Piterman, Nir. editor.
http://dx.doi.org/10.1007/978-3-642-36742-7
Format: Electronic Resources

Theory and Practice of Model Transformations 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings

2026-04-02T03:53:46Z

by Duddy, Keith. editor.
http://dx.doi.org/10.1007/978-3-642-38883-5
Format: Electronic Resources

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

2026-04-02T03:53:46Z

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:46Z

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

Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi

2026-04-02T03:53:46Z

by Iida, Shusaku. editor.
http://dx.doi.org/10.1007/978-3-642-54624-2
Format: Electronic Resources

Introduction to Modern Fortran for the Earth System Sciences

2026-04-02T03:53:46Z

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

Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers

2026-04-02T03:53:46Z

by Canal, Carlos. editor.
http://dx.doi.org/10.1007/978-3-319-15201-1
Format: Electronic Resources

OpenMP: Heterogenous Execution and Data Movements 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015, Proceedings

2026-04-02T03:53:46Z

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

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

2026-04-02T03:53:46Z

by Lang, Frédéric. editor.
http://dx.doi.org/10.1007/978-3-319-10702-8
Format: Electronic Resources

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

2026-04-02T03:53:46Z

by Ruscio, Davide Di. editor.
http://dx.doi.org/10.1007/978-3-319-08789-4
Format: Electronic Resources

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

2026-04-02T03:53:46Z

by Ciobanu, Gabriel. editor.
http://dx.doi.org/10.1007/978-3-319-10882-7
Format: Electronic Resources

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

2026-04-02T03:53:46Z

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:46Z

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

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

Unifying Theories of Programming 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers

2026-04-02T03:53:46Z

by Naumann, David. editor.
http://dx.doi.org/10.1007/978-3-319-14806-9
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:46Z

by Shao, Zhong. editor.
http://dx.doi.org/10.1007/978-3-642-54833-8
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:46Z

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:46Z

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

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

2026-04-02T03:53:46Z

by Shan, Chung-chieh. editor.
http://dx.doi.org/10.1007/978-3-319-03542-0
Format: Electronic Resources

Understanding Network Hacks Attack and Defense with Python

2026-04-02T03:53:46Z

by Ballmann, Bastian. author.
http://dx.doi.org/10.1007/978-3-662-44437-5
Format: Electronic Resources

Model-Based Safety and Assessment 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedings

2026-04-02T03:53:46Z

by Ortmeier, Frank. editor.
http://dx.doi.org/10.1007/978-3-319-12214-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:46Z

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

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

2026-04-02T03:53:46Z

by Wolff, Burkhart. editor.
http://dx.doi.org/10.1007/978-3-642-35705-3
Format: Electronic Resources

Advanced Parallel Processing Technologies 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers

2026-04-02T03:53:46Z

by Wu, Chenggang. editor.
http://dx.doi.org/10.1007/978-3-642-45293-2
Format: Electronic Resources

Evaluation of Novel Approaches to Software Engineering 7th International Conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012, Revised Selected Papers

2026-04-02T03:53:46Z

by Maciaszek, Leszek A. editor.
http://dx.doi.org/10.1007/978-3-642-45422-6
Format: Electronic Resources

Assurances for Self-Adaptive Systems Principles, Models, and Techniques

2026-04-02T03:53:46Z

by Cámara, Javier. editor.
http://dx.doi.org/10.1007/978-3-642-36249-1
Format: Electronic Resources

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

2026-04-02T03:53:46Z

by Ruhe, Günther. editor.
http://dx.doi.org/10.1007/978-3-642-39742-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:46Z

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

Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

2026-04-02T03:53:46Z

by Biere, Armin. editor.
http://dx.doi.org/10.1007/978-3-642-39611-3
Format: Electronic Resources

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

2026-04-02T03:53:46Z

by Bensalem, Saddek. editor.
http://dx.doi.org/10.1007/978-3-642-54848-2
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:46Z

by Bernardo, Marco. editor.
http://dx.doi.org/10.1007/978-3-319-18941-3
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:46Z

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

Theoretical Aspects of Computing - ICTAC 2015 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings

2026-04-02T03:53:46Z

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

Algorithms - ESA 2015 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings

2026-04-02T03:53:46Z

by Bansal, Nikhil. editor.
http://dx.doi.org/10.1007/978-3-662-48350-3
Format: Electronic Resources

Languages, Applications and Technologies 4th International Symposium, SLATE 2015, Madrid, Spain, June 18-19, 2015, Revised Selected Papers

2026-04-02T03:53:46Z

by Sierra-Rodríguez, José-Luis. editor.
http://dx.doi.org/10.1007/978-3-319-27653-3
Format: Electronic Resources

Formal Methods for Industrial Critical Systems 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings

2026-04-02T03:53:46Z

by Núñez, Manuel. editor.
http://dx.doi.org/10.1007/978-3-319-19458-5
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:46Z

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

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

2026-04-02T03:53:46Z

by Amyot, Daniel. editor.
http://dx.doi.org/10.1007/978-3-319-11743-0
Format: Electronic Resources

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

2026-04-02T03:53:46Z

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

Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 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:46Z

by Pfenning, Frank. editor.
http://dx.doi.org/10.1007/978-3-642-37075-5
Format: Electronic Resources

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

2026-04-02T03:53:46Z

by Kovalev, Mikhail. author.
http://dx.doi.org/10.1007/978-3-319-13906-7
Format: Electronic Resources

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

2026-04-02T03:53:46Z

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

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

2026-04-02T03:53:46Z

by Cabot, Jordi. editor.
http://dx.doi.org/10.1007/978-3-319-09195-2
Format: Electronic Resources

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

2026-04-02T03:53:46Z

by Muscholl, Anca. editor.
http://dx.doi.org/10.1007/978-3-642-54830-7
Format: Electronic Resources

Programming Languages and Operational Semantics A Concise Overview

2026-04-02T03:53:46Z

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:46Z

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

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

2026-04-02T03:53:46Z

by George, Laurent. editor.
http://dx.doi.org/10.1007/978-3-319-08311-7
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:46Z

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

Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 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:46Z

by Pitts, Andrew. editor.
http://dx.doi.org/10.1007/978-3-662-46678-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:46Z

by Escobar, Santiago. editor.
http://dx.doi.org/10.1007/978-3-319-12904-4
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:46Z

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:46Z

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

Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012, Advanced Lectures

2026-04-02T03:53:46Z

by Remke, Anne. editor.
http://dx.doi.org/10.1007/978-3-662-45489-3
Format: Electronic Resources

SDL 2015: Model-Driven Engineering for Smart Cities 17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings

2026-04-02T03:53:46Z

by Fischer, Joachim. editor.
http://dx.doi.org/10.1007/978-3-319-24912-4
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:46Z

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

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

2026-04-02T03:53:46Z

by Silva, Fernando. editor.
http://dx.doi.org/10.1007/978-3-319-09873-9
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:46Z

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

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

2026-04-02T03:53:46Z

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

Model-Based Methodologies for Pervasive and Embedded Software 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers

2026-04-02T03:53:46Z

by Machado, Ricardo J. editor.
http://dx.doi.org/10.1007/978-3-642-38209-3
Format: Electronic Resources

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

2026-04-02T03:53:46Z

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

Numerical Computations with GPUs

2026-04-02T03:53:46Z

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

Correct System Design Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings

2026-04-02T03:53:46Z

by Meyer, Roland. editor.
http://dx.doi.org/10.1007/978-3-319-23506-6
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:46Z

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

Formal Methods: Foundations and Applications 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings

2026-04-02T03:53:46Z

by Braga, Christiano. editor.
http://dx.doi.org/10.1007/978-3-319-15075-8
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:46Z

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:46Z

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

Hardware and Software: Verification and Testing 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings

2026-04-02T03:53:46Z

by Piterman, Nir. editor.
http://dx.doi.org/10.1007/978-3-319-26287-1
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:46Z

by Davis, Martin. editor.
http://dx.doi.org/10.1007/978-3-662-48899-7
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:46Z

by Koornneef, Floor. editor.
http://dx.doi.org/10.1007/978-3-319-24255-2
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:46Z

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

Software and Data Technologies 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papers

2026-04-02T03:53:46Z

by Cordeiro, José. editor.
http://dx.doi.org/10.1007/978-3-642-29578-2
Format: Electronic Resources

Verification, Model Checking, and Abstract Interpretation 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings

2026-04-02T03:53:46Z

by D’Souza, Deepak. editor.
http://dx.doi.org/10.1007/978-3-662-46081-8
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:53:46Z

by Bulling, Nils. editor.
http://dx.doi.org/10.1007/978-3-319-09764-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:46Z

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:46Z

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:46Z

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

Reliable Software Technologies – Ada-Europe 2015 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings

2026-04-02T03:53:46Z

by de la Puente, Juan Antonio. editor.
http://dx.doi.org/10.1007/978-3-319-19584-1
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:46Z

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

Information Security 16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013, Proceedings

2026-04-02T03:53:46Z

by Desmedt, Yvo. editor.
http://dx.doi.org/10.1007/978-3-319-27659-5
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:46Z

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

Constraint Solving and Language Processing 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers

2026-04-02T03:53:46Z

by Duchier, Denys. editor.
http://dx.doi.org/10.1007/978-3-642-41578-4
Format: Electronic Resources

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

2026-04-02T03:53:46Z

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

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

2026-04-02T03:53:46Z

by Dal Lago, Ugo. editor.
http://dx.doi.org/10.1007/978-3-319-12466-7
Format: Electronic Resources

Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings

2026-04-02T03:53:46Z

by Abdulla, Parosh Aziz. editor.
http://dx.doi.org/10.1007/978-3-642-41036-9
Format: Electronic Resources

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers

2026-04-02T03:53:46Z

by Ayala, José L. editor.
http://dx.doi.org/10.1007/978-3-642-36157-9
Format: Electronic Resources

Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

2026-04-02T03:53:46Z

by Beckert, Bernhard. editor.
http://dx.doi.org/10.1007/978-3-642-35887-6
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:46Z

by Cohen, Ernie. editor.
http://dx.doi.org/10.1007/978-3-642-54108-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:53:46Z

by Coecke, Bob. editor.
http://dx.doi.org/10.1007/978-3-642-38164-5
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:46Z

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:46Z

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:46Z

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

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

2026-04-02T03:53:46Z

by Hinze, Ralf. editor.
http://dx.doi.org/10.1007/978-3-319-19797-5
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:46Z

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

Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings

2026-04-02T03:53:46Z

by Erwig, Martin. editor.
http://dx.doi.org/10.1007/978-3-319-02654-1
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:46Z

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:46Z

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:46Z

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:46Z

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

Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings

2026-04-02T03:53:46Z

by Ouaknine, Joël. editor.
http://dx.doi.org/10.1007/978-3-319-11439-2
Format: Electronic Resources

Software Engineering for Collective Autonomic Systems The ASCENS Approach

2026-04-02T03:53:46Z

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:46Z

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:46Z

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

Fundamental Approaches to Software Engineering 16th International Conference, FASE 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:46Z

by Cortellessa, Vittorio. editor.
http://dx.doi.org/10.1007/978-3-642-37057-1
Format: Electronic Resources

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

2026-04-02T03:53:46Z

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

Evaluation of Novel Approaches to Software Engineering 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers

2026-04-02T03:53:46Z

by Maciaszek, Leszek A. editor.
http://dx.doi.org/10.1007/978-3-642-32341-6
Format: Electronic Resources

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

2026-04-02T03:53:46Z

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

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

2026-04-02T03:53:46Z

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:46Z

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

Software Engineering for Resilient Systems 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings

2026-04-02T03:53:46Z

by Fantechi, Alessandro. editor.
http://dx.doi.org/10.1007/978-3-319-23129-7
Format: Electronic Resources

Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings

2026-04-02T03:53:46Z

by Moreira, Ana. editor.
http://dx.doi.org/10.1007/978-3-642-41533-3
Format: Electronic Resources

Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings

2026-04-02T03:53:46Z

by Leite, João. editor.
http://dx.doi.org/10.1007/978-3-642-40624-9
Format: Electronic Resources

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

2026-04-02T03:53:46Z

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:46Z

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

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

2026-04-02T03:53:46Z

by Yahav, Eran. editor.
http://dx.doi.org/10.1007/978-3-319-13338-6
Format: Electronic Resources

Web Services and Formal Methods 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers

2026-04-02T03:53:46Z

by Beek, Maurice H. ter. editor.
http://dx.doi.org/10.1007/978-3-642-38230-7
Format: Electronic Resources

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

2026-04-02T03:53:46Z

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

Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings

2026-04-02T03:53:46Z

by Colom, José-Manuel. editor.
http://dx.doi.org/10.1007/978-3-642-38697-8
Format: Electronic Resources

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

2026-04-02T03:53:46Z

by Bertacco, Valeria. editor.
http://dx.doi.org/10.1007/978-3-319-03077-7
Format: Electronic Resources

Testing Software and Systems 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings

2026-04-02T03:53:46Z

by El-Fakih, Khaled. editor.
http://dx.doi.org/10.1007/978-3-319-25945-1
Format: Electronic Resources

SDL 2013: Model-Driven Dependability Engineering 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings

2026-04-02T03:53:46Z

by Khendek, Ferhat. editor.
http://dx.doi.org/10.1007/978-3-642-38911-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:46Z

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

Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings

2026-04-02T03:53:46Z

by Yenigün, Hüsnü. editor.
http://dx.doi.org/10.1007/978-3-642-41707-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:46Z

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

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

2026-04-02T03:53:46Z

by Combemale, Benoît. editor.
http://dx.doi.org/10.1007/978-3-319-11245-9
Format: Electronic Resources

Evaluation of Novel Approaches to Software Engineering 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013, Revised Selected Papers

2026-04-02T03:53:46Z

by Filipe, Joaquim. editor.
http://dx.doi.org/10.1007/978-3-642-54092-9
Format: Electronic Resources

Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings

2026-04-02T03:53:46Z

by Gonthier, Georges. editor.
http://dx.doi.org/10.1007/978-3-319-03545-1
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:46Z

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

Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers

2026-04-02T03:53:46Z

by Czarnecki, Krzysztof. editor.
http://dx.doi.org/10.1007/978-3-642-36089-3
Format: Electronic Resources

ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers

2026-04-02T03:53:46Z

by Ermolayev, Vadim. editor.
http://dx.doi.org/10.1007/978-3-642-35737-4
Format: Electronic Resources

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

2026-04-02T03:53:46Z

by Margaria, Tiziana. editor.
http://dx.doi.org/10.1007/978-3-662-45234-9
Format: Electronic Resources

Euro-Par 2013 Parallel Processing 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings

2026-04-02T03:53:46Z

by Wolf, Felix. editor.
http://dx.doi.org/10.1007/978-3-642-40047-6
Format: Electronic Resources

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

2026-04-02T03:53:46Z

by Tuosto, Emilio. editor.
http://dx.doi.org/10.1007/978-3-319-08260-8
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 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:46Z

by Baier, Christel. editor.
http://dx.doi.org/10.1007/978-3-662-46681-0
Format: Electronic Resources

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

2026-04-02T03:53:46Z

by Ábrahám, Erika. editor.
http://dx.doi.org/10.1007/978-3-642-54862-8
Format: Electronic Resources

Software Architecture 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings

2026-04-02T03:53:46Z

by Drira, Khalil. editor.
http://dx.doi.org/10.1007/978-3-642-39031-9
Format: Electronic Resources

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

2026-04-02T03:53:46Z

by Margaria, Tiziana. editor.
http://dx.doi.org/10.1007/978-3-662-45231-8
Format: Electronic Resources

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

2026-04-02T03:53:46Z

by Avgeriou, Paris. editor.
http://dx.doi.org/10.1007/978-3-319-09970-5
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:46Z

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

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

2026-04-02T03:53:46Z

by Merayo, Mercedes G. editor.
http://dx.doi.org/10.1007/978-3-662-44857-1
Format: Electronic Resources

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

2026-04-02T03:53:46Z

by Dingel, Juergen. editor.
http://dx.doi.org/10.1007/978-3-319-11653-2
Format: Electronic Resources