Programming languages (Electronic computers)

Resource Information

The concept Programming languages (Electronic computers) represents the subject, aboutness, idea or notion of resources found in Boston University Libraries.

The Resource Programming languages (Electronic computers)

Label: Programming languages (Electronic computers)

Authority link: (uri) http://id.loc.gov/authorities/subjects/sh85107313

Focus

Programming languages (Electronic computers)

100+ Items that share the Concept Programming languages (Electronic computers)

.NET Development Using the Compiler API, by Jason Bock, (electronic resource)

Borrow it

A Beginner's Guide to Scala, Object Orientation and Functional Programming, by John Hunt, (electronic resource)

Borrow it

A List of Successes That Can Change the World : Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday, edited by Sam Lindley, Conor McBride, Phil Trinder, Don Sannella, (electronic resource)

Borrow it

A Practical Approach to Compiler Construction, by Des Watson, (electronic resource)

Borrow it

A comparative study of programming languages

Borrow it

A general theory of semi-unification, by Said Jahama

Borrow it

A hierarchical associative processing system, Heinrich J. Stüttgen

Borrow it

A study in string processing languages, Paul Klint

Borrow it

AI*IA 2017 Advances in Artificial Intelligence : XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings, edited by Floriana Esposito, Roberto Basili, Stefano Ferilli, Francesca A. Lisi, (electronic resource)

Borrow it

Abstract State Machines, Alloy, B, TLA, VDM, and Z : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings, edited by Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklos Biro, (electronic resource)

Borrow it

Abstract State Machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings, edited by Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl, (electronic resource)

Borrow it

Abstraction mechanisms and language design, Paul N. Hilfinger

Borrow it

Accelerator Programming Using Directives : 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings, edited by Sunita Chandrasekaran, Guido Juckeland, (electronic resource)

Borrow it

Advanced Finite Element Simulation with MSC Marc : Application of User Subroutines, by Zia Javanbakht, Andreas Öchsner, (electronic resource)

Borrow it

Advanced Object-Oriented Programming in R : Statistical Programming for Data Science, Analysis and Finance, by Thomas Mailund, (electronic resource)

Borrow it

Advanced Parallel Processing Technologies : 12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017, Proceedings, edited by Yong Dou, Haixiang Lin, Guangyu Sun, Junjie Wu, Dora Heras, Luc Bougé, (electronic resource)

Borrow it

Advanced R : Data Programming and the Cloud, by Matt Wiley, Joshua F. Wiley, (electronic resource)

Borrow it

Advanced computer design, J.K. Iliffe

Borrow it

Advanced topics in types and programming languages, Benjamin C. Pierce, editor

Borrow it

Advances in Data Mining. Applications and Theoretical Aspects : 16th Industrial Conference, ICDM 2016, New York, NY, USA, July 13-17, 2016. Proceedings, edited by Petra Perner, (electronic resource)

Borrow it

Advances in Data Mining. Applications and Theoretical Aspects : 17th Industrial Conference, ICDM 2017, New York, NY, USA, July 12-13, 2017, Proceedings, edited by Petra Perner, (electronic resource)

Borrow it

Adventures in Raspberry Pi, Philbin Carrie Anne

Borrow it

Agents and Artificial Intelligence : 8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016, Revised Selected Papers, edited by Jaap van den Herik, Joaquim Filipe, (electronic resource)

Borrow it

Agile Swift : Swift Programming Using Agile Tools and Techniques, by Godfrey Nolan, (electronic resource)

Borrow it

An Introduction to Statistics with Python : With Applications in the Life Sciences, by Thomas Haslwanter, (electronic resource)

Borrow it

An analysis of the effectiveness of methods of instruction used in the teaching of Fortran IV computer programming, by Robert Joseph Witherell

Borrow it

An introduction to formal language theory, Robert N. Moll, Michael A. Arbib, A.J. Kfoury ; with contributions by James Pustejovsky

Borrow it

An investigation of tools for building expert systems : prepared for the National Science Foundation, Donald A. Waterman, Frederick Hayes-Roth

Borrow it

Android Apps for Absolute Beginners : Covering Android 7, by Wallace Jackson, (electronic resource)

Borrow it

Android Recipes : A Problem-Solution Approach, by Dave Smith, Erik Hellman, (electronic resource)

Borrow it

Android Studio New Media Fundamentals : Content Production of Digital Audio/Video, Illustration and 3D Animation, by Wallace Jackson, (electronic resource)

Borrow it

Applied OpenStack Design Patterns : Design solutions for production-ready infrastructure with OpenStack components, by Uchit Vyas, (electronic resource)

Borrow it

Automated Reasoning : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings, edited by Nicola Olivetti, Ashish Tiwari, (electronic resource)

Borrow it

Automated Technology for Verification and Analysis : 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings, edited by Deepak D'Souza, K. Narayan Kumar, (electronic resource)

Borrow it

Automated Technology for Verification and Analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, edited by Shuvendu K. Lahiri, Chao Wang, (electronic resource)

Borrow it

Automated Trading with R : Quantitative Research and Platform Development, by Chris Conlan, (electronic resource)

Borrow it

Automatic Tuning of Compilers Using Machine Learning, by Amir H. Ashouri, Gianluca Palermo, John Cavazos, Cristina Silvano, (electronic resource)

Borrow it

Bad Programming Practices 101 : Become a Better Coder by Learning How (Not) to Program, by Karl Beecher, (electronic resource)

Borrow it

Beginning Adobe Animate CC : Learn to Efficiently Create and Deploy Animated and Interactive Content, by TOM GREEN, Joseph Labrecque, (electronic resource)

Borrow it

Beginning Backdrop CMS, by Todd Tomlinson, (electronic resource)

Borrow it

Beginning C++17 : From Novice to Professional, by Ivor Horton, Peter Van Weert, (electronic resource)

Borrow it

Beginning Data Science in R : Data Analysis, Visualization, and Modelling for the Data Scientist, by Thomas Mailund, (electronic resource)

Borrow it

Beginning Django : Web Application Development and Deployment with Python, by Daniel Rubio, (electronic resource)

Borrow it

Beginning EJB in Java EE 8 : Building Applications with Enterprise JavaBeans, by Jonathan Wetherbee, Massimo Nardone, Chirag Rathod, Raghu Kodali, (electronic resource)

Borrow it

Beginning F# 4.0, by Robert Pickering, Kit Eason, (electronic resource)

Borrow it

Beginning Julia Programming : For Engineers and Scientists, by Sandeep Nagar, (electronic resource)

Borrow it

Beginning KeystoneJS : A practical introduction to KeystoneJS using a real-world project, by Manikanta Panati, (electronic resource)

Borrow it

Beginning Neo4j, by Chris Kemper, (electronic resource)

Borrow it

Beginning PostgreSQL on the Cloud : Simplifying Database as a Service on Cloud Platforms, by Baji Shaik, Avinash Vallarapu, (electronic resource)

Borrow it

Beginning Robotics Programming in Java with LEGO Mindstorms, by Wei Lu, (electronic resource)

Borrow it

Beginning Rust : From Novice to Professional, by Carlo Milanesi, (electronic resource)

Borrow it

Beginning SQL Server R Services : Analytics for Data Scientists, by Bradley Beard, (electronic resource)

Borrow it

Beginning Spring Boot 2 : Applications and Microservices with the Spring Framework, by K. Siva Prasad Reddy, (electronic resource)

Borrow it

Beginning Xamarin Development for the Mac : Create iOS, watchOS, and Apple tvOS apps with Xamarin.iOS and Visual Studio for Mac, by Dawid Borycki, (electronic resource)

Borrow it

Beginning django CMS, by Nigel George, (electronic resource)

Borrow it

Build Mobile Apps with Ionic 2 and Firebase : Hybrid Mobile App Development, by Fu Cheng, (electronic resource)

Borrow it

Build iOS Database Apps with Swift and SQLite, by Kevin Languedoc, (electronic resource)

Borrow it

Building Apps for the Universal Windows Platform : Explore Windows 10 Native, IoT, HoloLens, and Xamarin, by Ayan Chatterjee, (electronic resource)

Borrow it

Building Arduino Projects for the Internet of Things : Experiments with Real-World Applications, by Adeel Javed, (electronic resource)

Borrow it

Building Secure Defenses Against Code-Reuse Attacks, by Lucas Davi, Ahmad-Reza Sadeghi, (electronic resource)

Borrow it

Building Web Applications with Visual Studio 2017 : Using .NET Core and Modern JavaScript Frameworks, by Philip Japikse, Kevin Grossnicklaus, Ben Dewey, (electronic resource)

Borrow it

Business Analytics Using R - A Practical Approach, by Umesh R. Hodeghatta, Umesh Nayak, (electronic resource)

Borrow it

C Recipes : A Problem-Solution Approach, by Shirish Chavan, (electronic resource)

Borrow it

C# 7 Quick Syntax Reference : A Pocket Guide to the Language, APIs, and Library, by Mikael Olsson, (electronic resource)

Borrow it

C# Programming for Absolute Beginners, by Radek Vystavěl, (electronic resource)

Borrow it

C# and XML Primer, by Jonathan Hartwell, (electronic resource)

Borrow it

C++ 14 Quick Syntax Reference, by Mikael Olsson, (electronic resource)

Borrow it

C++/CLI Primer : For .NET Development, by Vivek Ragunathan, (electronic resource)

Borrow it

C++17 Quick Syntax Reference : A Pocket Guide to the Language, APIs and Library, by Mikael Olsson, (electronic resource)

Borrow it

Categories, types, and structures : an introduction to category theory for the working computer scientist, Andrea Asperti, Giuseppe Longo

Borrow it

Clean C++ : Sustainable Software Development Patterns and Best Practices with C++ 17, by Stephan Roth, (electronic resource)

Borrow it

Code Generation with Roslyn, by Nick Harrison, (electronic resource)

Borrow it

Comparative programming languages : generalizing the programming function, Linda Weiser Friedman

Borrow it

Computation of language : an essay on syntax, semantics, and pragmatics in natural man-machine communication, Roland Hausser

Borrow it

Computational Science and Its Applications – ICCSA 2017 : 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part V, edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Giuseppe Borruso, Carmelo M. Torre, Ana Maria A.C. Rocha, David Taniar, Bernady O. Apduhan, Elena Stankova, Alfredo Cuzzocrea, (electronic resource)

Borrow it

Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II, edited by Rupak Majumdar, Viktor Kunčak, (electronic resource)

Borrow it

Computer Graphics for Java Programmers, by Leen Ammeraal, Kang Zhang, (electronic resource)

Borrow it

Computer Safety, Reliability, and Security : 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings, edited by Floor Koornneef, Coen van Gulijk, (electronic resource)

Borrow it

Computer Safety, Reliability, and Security : 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings, edited by Amund Skavhaug, Jérémie Guiochet, Friedemann Bitsch, (electronic resource)

Borrow it

Computer Safety, Reliability, and Security : 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings, edited by Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch, (electronic resource)

Borrow it

Computer Safety, Reliability, and Security : SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings, edited by Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch, (electronic resource)

Borrow it

Computer science : achievements and opportunities : report, of the NSF Advisory Committee for Computer Research ; John E. Hopcroft and Kenneth W. Kennedy, chairs

Borrow it

Computers and languages : theory and practice, Anton Nijholt

Borrow it

Conceptual Modeling : 36th International Conference, ER 2017, Valencia, Spain, November 6–9, 2017, Proceedings, edited by Heinrich C. Mayr, Giancarlo Guizzardi, Hui Ma, Oscar Pastor, (electronic resource)

Borrow it

Concurrency and programming languages, D.M. Harland

Borrow it

Concurrency, Security, and Puzzles : Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday, edited by Thomas Gibson-Robinson, Philippa Hopcroft, Ranko Lazić, (electronic resource)

Borrow it

Coordination Models and Languages : 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings, edited by Alberto Lluch Lafuente, José Proença, (electronic resource)

Borrow it

Coordination, Organizations, Institutions, and Norms in Agent Systems XII : COIN 2016 International Workshops, COIN@AAMAS, Singapore, Singapore, May 9, 2016, COIN@ECAI, The Hague, The Netherlands, August 30, 2016, Revised Selected Papers, edited by Stephen Cranefield, Samhar Mahmoud, Julian Padget, Ana Paula Rocha, (electronic resource)

Borrow it

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, edited by Roland Meyer, André Platzer, Heike Wehrheim, (electronic resource)

Borrow it

Creating Google Chrome Extensions, by Prateek Mehta, (electronic resource)

Borrow it

Creating Maintainable APIs : A Practical, Case-Study Approach, by Ervin Varga, (electronic resource)

Borrow it

Critical Systems: Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings, edited by Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp, (electronic resource)

Borrow it

Data Mining Algorithms in C++ : Data Patterns and Algorithms for Modern Applications, by Timothy Masters, (electronic resource)

Borrow it

Data Science Using Oracle Data Miner and Oracle R Enterprise : Transform Your Business Systems into an Analytical Powerhouse, by Sibanjan Das, (electronic resource)

Borrow it

Data abstraction in programming languages, Judy Bishop

Borrow it

Deductive Software Verification – The KeY Book : From Theory to Practice, edited by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich, (electronic resource)

Borrow it

Deep Belief Nets in C++ and CUDA C: Volume 1 : Restricted Boltzmann Machines and Supervised Feedforward Networks, by Timothy Masters, (electronic resource)

Borrow it

Deep Belief Nets in C++ and CUDA C: Volume 2 : Autoencoding in the Complex Domain, by Timothy Masters, (electronic resource)

Borrow it

Deep Belief Nets in C++ and CUDA C: Volume 3 : Convolutional Nets, by Timothy Masters, (electronic resource)

Borrow it

Deep Learning with Python : A Hands-on Introduction, by Nikhil Ketkar, (electronic resource)

Borrow it

Context

Context of Programming languages (Electronic computers)

Subject of

.NET Development Using the Compiler API
A Beginner's Guide to Scala, Object Orientation and Functional Programming
A List of Successes That Can Change the World : Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday
A Practical Approach to Compiler Construction
A comparative study of programming languages
A general theory of semi-unification
A hierarchical associative processing system
A study in string processing languages
AI*IA 2017 Advances in Artificial Intelligence : XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings
Abstract State Machines, Alloy, B, TLA, VDM, and Z : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
Abstract State Machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings
Abstraction mechanisms and language design
Accelerator Programming Using Directives : 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings
Advanced Finite Element Simulation with MSC Marc : Application of User Subroutines
Advanced Object-Oriented Programming in R : Statistical Programming for Data Science, Analysis and Finance
Advanced Parallel Processing Technologies : 12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017, Proceedings
Advanced R : Data Programming and the Cloud
Advanced computer design
Advanced topics in types and programming languages
Advances in Data Mining. Applications and Theoretical Aspects : 16th Industrial Conference, ICDM 2016, New York, NY, USA, July 13-17, 2016. Proceedings
Advances in Data Mining. Applications and Theoretical Aspects : 17th Industrial Conference, ICDM 2017, New York, NY, USA, July 12-13, 2017, Proceedings
Adventures in Raspberry Pi
Agents and Artificial Intelligence : 8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016, Revised Selected Papers
Agile Swift : Swift Programming Using Agile Tools and Techniques
An Introduction to Statistics with Python : With Applications in the Life Sciences
An analysis of the effectiveness of methods of instruction used in the teaching of Fortran IV computer programming
An introduction to formal language theory
An investigation of tools for building expert systems : prepared for the National Science Foundation
Android Apps for Absolute Beginners : Covering Android 7
Android Recipes : A Problem-Solution Approach
Android Studio New Media Fundamentals : Content Production of Digital Audio/Video, Illustration and 3D Animation
Applied OpenStack Design Patterns : Design solutions for production-ready infrastructure with OpenStack components
Automated Reasoning : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings
Automated Technology for Verification and Analysis : 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings
Automated Technology for Verification and Analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
Automated Trading with R : Quantitative Research and Platform Development
Automatic Tuning of Compilers Using Machine Learning
Bad Programming Practices 101 : Become a Better Coder by Learning How (Not) to Program
Beginning Adobe Animate CC : Learn to Efficiently Create and Deploy Animated and Interactive Content
Beginning Backdrop CMS
Beginning C++17 : From Novice to Professional
Beginning Data Science in R : Data Analysis, Visualization, and Modelling for the Data Scientist
Beginning Django : Web Application Development and Deployment with Python
Beginning EJB in Java EE 8 : Building Applications with Enterprise JavaBeans
Beginning F# 4.0
Beginning Julia Programming : For Engineers and Scientists
Beginning KeystoneJS : A practical introduction to KeystoneJS using a real-world project
Beginning Neo4j
Beginning PostgreSQL on the Cloud : Simplifying Database as a Service on Cloud Platforms
Beginning Robotics Programming in Java with LEGO Mindstorms
Beginning Rust : From Novice to Professional
Beginning SQL Server R Services : Analytics for Data Scientists
Beginning Spring Boot 2 : Applications and Microservices with the Spring Framework
Beginning Xamarin Development for the Mac : Create iOS, watchOS, and Apple tvOS apps with Xamarin.iOS and Visual Studio for Mac
Beginning django CMS
Build Mobile Apps with Ionic 2 and Firebase : Hybrid Mobile App Development
Build iOS Database Apps with Swift and SQLite
Building Apps for the Universal Windows Platform : Explore Windows 10 Native, IoT, HoloLens, and Xamarin
Building Arduino Projects for the Internet of Things : Experiments with Real-World Applications
Building Secure Defenses Against Code-Reuse Attacks
Building Web Applications with Visual Studio 2017 : Using .NET Core and Modern JavaScript Frameworks
Business Analytics Using R - A Practical Approach
C Recipes : A Problem-Solution Approach
C# 7 Quick Syntax Reference : A Pocket Guide to the Language, APIs, and Library
C# Programming for Absolute Beginners
C# and XML Primer
C++ 14 Quick Syntax Reference
C++/CLI Primer : For .NET Development
C++17 Quick Syntax Reference : A Pocket Guide to the Language, APIs and Library
Categories, types, and structures : an introduction to category theory for the working computer scientist
Clean C++ : Sustainable Software Development Patterns and Best Practices with C++ 17
Code Generation with Roslyn
Comparative programming languages : generalizing the programming function
Computation of language : an essay on syntax, semantics, and pragmatics in natural man-machine communication
Computational Science and Its Applications – ICCSA 2017 : 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part V
Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
Computer Graphics for Java Programmers
Computer Safety, Reliability, and Security : 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings
Computer Safety, Reliability, and Security : 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings
Computer Safety, Reliability, and Security : 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings
Computer Safety, Reliability, and Security : SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings
Computer science : achievements and opportunities : report
Computers and languages : theory and practice
Conceptual Modeling : 36th International Conference, ER 2017, Valencia, Spain, November 6–9, 2017, Proceedings
Concurrency and programming languages
Concurrency, Security, and Puzzles : Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday
Coordination Models and Languages : 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings
Coordination, Organizations, Institutions, and Norms in Agent Systems XII : COIN 2016 International Workshops, COIN@AAMAS, Singapore, Singapore, May 9, 2016, COIN@ECAI, The Hague, The Netherlands, August 30, 2016, Revised Selected Papers
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
Creating Google Chrome Extensions
Creating Maintainable APIs : A Practical, Case-Study Approach
Critical Systems: Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings
Data Mining Algorithms in C++ : Data Patterns and Algorithms for Modern Applications
Data Science Using Oracle Data Miner and Oracle R Enterprise : Transform Your Business Systems into an Analytical Powerhouse
Data abstraction in programming languages
Deductive Software Verification – The KeY Book : From Theory to Practice
Deep Belief Nets in C++ and CUDA C: Volume 1 : Restricted Boltzmann Machines and Supervised Feedforward Networks
Deep Belief Nets in C++ and CUDA C: Volume 2 : Autoencoding in the Complex Domain
Deep Belief Nets in C++ and CUDA C: Volume 3 : Convolutional Nets
Deep Learning with Python : A Hands-on Introduction
Dependable Software Engineering. Theories, Tools, and Applications : 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings
Deploying Raspberry Pi in the Classroom
Design Patterns in C# : A Hands-on Guide with Real-World Examples
Design Patterns in Modern C++ : Reusable Approaches for Object-Oriented Software Design
DevOps for Azure Applications : Deploy Web Applications on Azure
Developing for Apple TV using tvOS and Swift
Digital Electronics for Musicians
Domain-Specific Languages in R : Advanced Statistical Programming
Domain-specific modeling : enabling full code generation
ES6 for Humans : The Latest Standard of JavaScript: ES2015 and Beyond
Economics of Grids, Clouds, Systems, and Services : 14th International Conference, GECON 2017, Biarritz, France, September 19-21, 2017, Proceedings
Engineering Trustworthy Software Systems : First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures
Engineering Trustworthy Software Systems : Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures
Erlang and Elixir for Imperative Programmers
Essentials of programming languages
Evaluation of Novel Approaches to Software Engineering : 12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised Selected Papers
Expert F# 4.0
Exploring Robotics with ROBOTIS Systems
Exploring Swift Playgrounds : The Fastest and Most Effective Way to Learn to Code and to Teach Others to Use Your Code
Formal Aspects of Component Software : 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers
Formal Aspects of Component Software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings
Formal Methods : 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
Formal Methods and Software Engineering : 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings
Formal Methods and Software Engineering : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
Formal Methods: Foundations and Applications : 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings
Formal Methods: Foundations and Applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings
Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings
Formal Techniques for Distributed Objects, Components, and Systems : 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings
Formal Techniques for Safety-Critical Systems : 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers
Formal Techniques for Safety-Critical Systems : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers
Formal and natural computing : essays dedicated to Grzegorz Rozenberg
Foundations for programming languages
Foundations of Programming Languages
Foundations of programming languages
Fourth and fifth generation programming languages
Fourth-generation languages
Full Stack AngularJS for Java Developers : Build a Full-Featured Web Application from Scratch Using AngularJS with Spring RESTful
Functional Data Structures in R : Advanced Statistical Programming in R
Functional Programming in R : Advanced Statistical Programming for Data Science, Analysis and Finance
Functional and Logic Programming : 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings
Functional and Logic Programming : 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings
Fundamental Approaches to Software Engineering : 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
Fundamental Approaches to Software Engineering : 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Fundamentals of Java Programming
Fundamentals of Software Engineering : 7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers
GAG, a practical compiler generator
Game Development with Construct 2 : From Design to Realization
Getting started with R : an introduction for biologists
Go Recipes : A Problem-Solution Approach
Good Habits for Great Coding : Improving Programming Skills with Examples in Python
Grand Timely Topics in Software Engineering : International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures
Graph Transformation : 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings
Graph Transformation, Specifications, and Nets : In Memory of Hartmut Ehrig
Guide to Scientific Computing in C++
Handbook of Floating-Point Arithmetic
Hardware and Software: Verification and Testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings
Hardware and Software: Verification and Testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings
Harley Hahn's Emacs Field Guide
High Performance Computing : ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017, Revised Selected Papers
How to cheat at windows system administration using command line scripts
Human-Centered and Error-Resilient Systems Development : IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, August 29-31, 2016, Proceedings
Hybrid Artificial Intelligent Systems : 12th International Conference, HAIS 2017, La Rioja, Spain, June 21-23, 2017, Proceedings
Inductive Logic Programming : 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers
Inductive Logic Programming : 28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedings
Information Security : 16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013, Proceedings
Information and Communication Technologies in Education, Research, and Industrial Applications : 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers
Instruction Level Parallelism
Integrated Formal Methods : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
Intelligent Computer Mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
Interactive C# : Fundamentals, Core Concepts and Patterns
Interactive Object Oriented Programming in Java : Learn and Test Your Skills
Interactive Theorem Proving : 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings
Interpreting LISP : Programming and Data Structures
Introducing Bootstrap 4
Introducing Materialize
Introducing Zurb Foundation 6
Introduction to Compiler Design
Introduction to Deep Learning Using R : A Step-by-Step Guide to Learning and Implementing Deep Learning Models Using R
Introduction to GNU Octave : a brief tutorial for linear algebra and calculus students
Introduction to MATLAB for Engineers and Scientists : Solutions for Numerical Computation and Modeling
Introduction to Octave : For Engineers and Scientists
Introduction to Programming with Fortran
Introduction to Python for Engineers and Scientists : Open Source Solutions for Numerical Computation
Introduction to Scilab : For Engineers and Scientists
Introduction to the theory of programming languages
Introduction to the theory of programming languages
Isomorphisms of types : from [lambda]-calculus to information retrieval and language design
It's All About Coordination : Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab
JSON Quick Syntax Reference
Java 9 Modularity Revealed : Project Jigsaw and Scalable Java Applications
Java 9 Recipes : A Problem-Solution Approach
Java 9 Revealed : For Early Adoption and Migration
Java : practical guide for programmers
Java Design Patterns : A tour of 23 gang of four design patterns in Java
Java Lambdas and Parallel Streams
Java XML and JSON
JavaFX 9 by Example
JavaScript Essentials for SAP ABAP Developers : A Guide to Mobile and Desktop Application Development
JavaScript Frameworks for Modern Web Dev
JavaScript Object Programming
Kubernetes Microservices with Docker
Language and rules
Language architectures and programming environments
Languages and Compilers for Parallel Computing : 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers
Languages and Compilers for Parallel Computing : 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers
Languages, Applications and Technologies : 4th International Symposium, SLATE 2015, Madrid, Spain, June 18-19, 2015, Revised Selected Papers
Languages, compilers, and run-time environments for distributed memory machines
Lean Python : Learn Just Enough Python to Build Useful Tools
Learn Electronics with Raspberry Pi : Physical Computing with Circuits, Sensors, Outputs, and Projects
Learn PHP 7 : Object-Oriented Modular Programming using HTML5, CSS3, JavaScript, XML, JSON, and MySQL
Learn Rails 5.2 : Accelerated Web Development with Ruby on Rails
Learn Swift 2 on the Mac
Learn Unity for Android Game Development : A Guide to Game Design, Development, and Marketing
Learn iOS Application Distribution : Successfully Distribute Apps
Learn to Program with Python 3 : A Step-by-Step Guide to Programming
Learning Groovy
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I
Leveraging WMI scripting : using Windows Management Instrumentation to solve Windows management problems
Logic for Programming, Artificial Intelligence, and Reasoning : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
Logic programming and its applications
Logic, Language, Information, and Computation : 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings
Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers
Logic-Based Program Synthesis and Transformation : 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers
Logical Foundations of Computer Science : International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings
Low Level X Window Programming : An Introduction by Examples
Low-Level Programming : C, Assembly, and Program Execution on Intel® 64 Architecture
Lumen Programming Guide : Writing PHP Microservices, REST and Web Service APIs
MATLAB Deep Learning : With Machine Learning, Neural Networks and Artificial Intelligence
MATLAB Machine Learning
MVVM in Delphi : Architecting and Building Model View ViewModel Applications
Machine Learning Using R
Machine Learning with R
Make Your Own Python Text Adventure : A Guide to Learning Programming
Make a 2D RPG in a Weekend : With RPG Maker MV
Make an E-commerce Site in a Weekend : Using PHP
Material Design implementation with AngularJS : UI Component Framework
Mathematical Software – ICMS 2018 : 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings
Mathematical logic and programming languages
MathematicaÂ®: A Problem-Centered Approach
Meta-level architectures and reflection
Metaprogramming in R : Advanced Statistical Programming for Data Science, Analysis and Finance
Microservices From Day One : Build robust and scalable software from the start
Migrating from Drupal to Backdrop
Model Checking Software : 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings
Model Checking Software : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
Model and Data Engineering : 7th International Conference, MEDI 2017, Barcelona, Spain, October 4–6, 2017, Proceedings
Model-Based Systems Engineering with OPM and SysML
Model-Driven Engineering and Software Development : 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised Selected Papers
Model-Driven Engineering and Software Development : 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers
Modelling Foundations and Applications : 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings
Modern Programming Made Easy : Using Java, Scala, Groovy, and JavaScript
More Math Into LaTeX
Moving to Responsive Web Design : Bring existing static sites into today's multi-device world with responsive web design
Multiparadigm constraint programming languages
NASA Formal Methods : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings
NASA Formal Methods : 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings
Network Programming with Go : Essential Skills for Using and Securing Networks
New Opportunities for Software Reuse : 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings
New trends in formal languages : control, cooperation, and combinatorics
Object-Oriented Design with ABAP : A Practical Approach
Object-oriented programming : a unified foundation
On conceptual modelling : perspectives from artificial intelligence, databases, and programming languages
On the Move to Meaningful Internet Systems. OTM 2017 Workshops : Confederated International Workshops, EI2N, FBM, ICSP, Meta4eS, OTMA 2017 and ODBASE Posters 2017, Rhodes, Greece, October 23–28, 2017, Revised Selected Papers
OpenMP: Heterogenous Execution and Data Movements : 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015, Proceedings
OpenMP: Memory, Devices, and Tasks : 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings
OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments : Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 – 4, 2016, Revised Selected Papers
Options and Derivatives Programming in C++ : Algorithms and Programming Techniques for the Financial Industry
Oracle Certified Professional Java SE 8 Programmer Exam 1Z0-809 : Comprehensive OCPJP 8 Certification Guide
PHP 7 Zend Certification Study Guide : Ace the ZCE 2017-PHP Exam
PHP Arrays : Single, Multi-dimensional, Associative and Object Arrays in PHP 7
PHP Beyond the Web
PHP CLI : Create Command Line Interface Scripts with PHP
PHP Objects, Patterns, and Practice
PHP Persistence : Concepts, Techniques and Practical Solutions with Doctrine
POPL 98: Annual Symposium on Principles of Programming Languages
PRIMA 2016: Princiles and Practice of Multi-Agent Systems : 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings
PRIMA 2017: Principles and Practice of Multi-Agent Systems : 20th International Conference, Nice, France, October 30 – November 3, 2017, Proceedings
Parsing with Perl 6 Regexes and Grammars : A Recursive Descent into Parsing
Penetration Testing Basics : A Quick-Start Guide to Breaking into Systems
Perl 6 Fundamentals : A Primer with Examples, Projects, and Case Studies
Personal Finance with Python : Using pandas, Requests, and Recurrent
Perspectives of System Informatics : 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
Perspectives of System Informatics : 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers
Polymorphic programming languages : design and implementation
Practical Android : 14 Complete Projects on Advanced Techniques and Approaches
Practical Aspects of Declarative Languages : 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings
Practical Aspects of Declarative Languages : 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings
Practical Aspects of Declarative Languages : 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings
Practical C
Practical C++ Design : From Programming to Architecture
Practical Concurrent Haskell : With Big Data Applications
Practical JSF in Java EE 8 : Web Applications in Java for the Enterprise
Practical Scala DSLs : Real-World Applications Using Domain Specific Languages
Practical Swift
Practical Video Game Bots : Automating Game Processes using C++, Python, and AutoIt
Practical Web Design for Absolute Beginners
Practical aspects of declarative languages : 4th international symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002 ; proceedings
Present and Ulterior Software Engineering
Principles of Modeling : Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday
Principles of programming languages
Principles of programming languages : design, evaluation, and implementation
Pro Android with Kotlin : Developing Modern Mobile Apps
Pro Functional PHP Programming : Application Development Strategies for Performance Optimization, Concurrency, Testability, and Code Brevity
Pro Hadoop Data Analytics : Designing and Building Big Data Systems using the Hadoop Ecosystem
Pro JPA 2 in Java EE 8 : An In-Depth Guide to Java Persistence APIs
Pro MERN Stack : Full Stack Web App Development with Mongo, Express, React, and Node
Pro Python Best Practices : Debugging, Testing and Maintenance
Pro RESTful APIs : Design, Build and Integrate with REST, JSON, XML and JAX-RS
Pro React
Pro SAP Scripts, Smartforms, and Data Migration : ABAP Programming Simplified
Pro TypeScript : Application-Scale JavaScript Development
Program Arcade Games : With Python and Pygame
Programming Language Concepts
Programming Languages : 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings
Programming Languages and Systems : 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings
Programming Languages and Systems : 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings
Programming Languages and Systems : 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings
Programming Languages and Systems : 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Programming language foundations
Programming language theory and its implementation : applicative and imperative paradigms
Programming languages : concepts and constructs
Programming languages for parallel processing
Programming languages, information structures, and machine organization
Programming languages: history and fundamentals
Programming linguistics
Programming with Scala : Language Exploration
PySpark Recipes : A Problem-Solution Approach with PySpark2
Python Descriptors
Python Machine Learning Case Studies : Five Case Studies for the Data Scientist
Python Unit Test Automation : Practical Techniques for Python Developers and Testers
Quick Clojure : Effective Functional Programming
Rails 5 Revealed
Raspberry Pi GPU Audio Video Programming
Raspberry Pi Supercomputing and Scientific Programming : MPI4PY, NumPy, and SciPy for Enthusiasts
Reactive Programming with Angular and ngrx : Learn to Harness the Power of Reactive Programming with RxJS and ngrx Extensions
Real-Time Web Application Development : With ASP.NET Core, SignalR, Docker, and Azure
Real-time systems and their programming languages
Recent Trends in Algebraic Development Techniques : 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers
Regex Quick Syntax Reference : Understanding and Using Regular Expressions
Regulating code : good governance and better regulation in the information age
Reliable Software Technologies – Ada-Europe 2016 : 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings
Reliable Software Technologies – Ada-Europe 2017 : 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings
Requirements Engineering: Foundation for Software Quality : 24th International Working Conference, REFSQ 2018, Utrecht, The Netherlands, March 19-22, 2018, Proceedings
Reversible Computation : 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings
Rewriting Logic and Its Applications : 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers
Ruby Data Processing : Using Map, Reduce, and Select
Ruby Recipes : A Problem-Solution Approach
Rules and Reasoning : International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedings
Rules and Reasoning : Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings
Runtime Verification : 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings
Runtime Verification : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings
SDL 2017: Model-Driven Engineering for Future Internet : 18th International SDL Forum, Budapest, Hungary, October 9–11, 2017, Proceedings
SOFSEM 2018: Theory and Practice of Computer Science : 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings
Scala for Java Developers : A Practical Primer
Scala: From a Functional Programming Perspective : An Introduction to the Programming Language
Scaling OpenMP for Exascale Performance and Portability : 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20–22, 2017, Proceedings
Scratch by Example : Programming for All Ages
Search Based Software Engineering : 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings
Search Based Software Engineering : 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings
Securing PHP Apps
Selenium WebDriver Recipes in C#
Semantics of the Probabilistic Typed Lambda Calculus : Markov Chain Semantics, Termination Behavior, and Denotational Semantics
Semantics, Logics, and Calculi : Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays
Separation Logic for High-level Synthesis
Service-Oriented Computing – ICSOC 2016 Workshops : ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10–13, 2016, Revised Selected Papers
Service-Oriented Computing – ICSOC 2017 Workshops : ASOCA, ISyCC, WESOACS, and Satellite Events, Málaga, Spain, November 13–16, 2017, Revised Selected Papers
Small Dynamic Complexity Classes : An Investigation into Dynamic Descriptive Complexity
Smart Card Research and Advanced Applications : 15th International Conference, CARDIS 2016, Cannes, France, November 7–9, 2016, Revised Selected Papers
Software Architecture : 10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28 -- December 2, 2016, Proceedings
Software Architecture : 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings
Software Development, Design and Coding : With Patterns, Debugging, Unit Testing, and Refactoring
Software Engineering and Formal Methods : 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings
Software Engineering and Formal Methods : 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings
Software Engineering for Resilient Systems : 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings
Software Engineering for Resilient Systems : 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings
Software Engineering: Specification, Implementation, Verification
Software Reading Techniques : Twenty Techniques for More Effective Software Review and Inspection
Software Reuse: Bridging with Social-Awareness : 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings
Software Technologies : 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers
Software Technologies : 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016, Revised Selected Papers
Software Technologies : 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papers
Software Technologies: Applications and Foundations : STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers
Software Testing Automation Tips : 50 Things Automation Engineers Should Know
Source Code Analytics With Roslyn and JavaScript Data Visualization
Speech and Language Processing for Human-Machine Communications : Proceedings of CSI 2015
Static Analysis : 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings
Static Analysis : 24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings
Static Analysis : 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings
String Analysis for Software Verification and Security
Supporting the transfer of simulation technology
Swift 3 for Absolute Beginners
Swift 4 for Absolute Beginners : Develop Apps for iOS
Synchronous programming of reactive systems
System Analysis and Modeling. Technology-Specific Aspects of Models : 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings
Systems Programming in Unix/Linux
Test Driven Development in Ruby : A Practical Introduction to TDD Using Problem and Solution Domain Analysis
Testing Software and Systems : 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings
Tests and Proofs : 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings
Text Analytics with Python : A Practical Real-World Approach to Gaining Actionable Insights from your Data
The Agent Modeling Language, AML : a comprehensive approach to modeling multi-agent systems
The Blender Python API : Precision 3D Modeling and Add-on Development
The C# Programmer’s Study Guide (MCSD) : Exam: 70-483
The anatomy of programming languages
The definition of programming languages
The programming language landscape
The structure of typed programming languages
Theoretical Aspects of Computing – ICTAC 2017 : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings
Theory and Applications of Formal Argumentation : 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised Selected Papers
Theory and Practice of Model Transformation : 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings
Theory of computation
Tools and Algorithms for the Construction and Analysis of Systems : 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I
Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II
Tools and Methods of Program Analysis : 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers
Topics in Parallel and Distributed Computing : Enhancing the Undergraduate Curriculum: Performance, Concurrency, and Programming on Modern Platforms
Topics in Theoretical Computer Science : Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings
Topics in advanced language implementation
Transactions on Foundations for Mastering Change I
Transactions on Modularity and Composition I
Transactions on pattern languages of programming III
Trends in Functional Programming : 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers
Trends in Functional Programming : 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers
Tutorial on advanced microprocessors and high-level language computer architecture
Typed PHP : Stronger Types For Cleaner Code
Understanding Control Flow : Concurrent Programming Using μC++
Understanding WMI scripting
Understanding natural language
Unifying Theories of Programming : 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers
Using Microsoft Dynamics AX : The New Dynamics ‘AX 7‘
Verification and Evaluation of Computer and Communication Systems : 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings
Verification, Model Checking, and Abstract Interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
Verification, Model Checking, and Abstract Interpretation : 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings
Verification, Model Checking, and Abstract Interpretation : 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings
Verified Software. Theories, Tools, and Experiments : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers
Verified Software. Theories, Tools, and Experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers
Web Applications with Elm : Functional Programming for the Web
Web Development with Go : Building Scalable Web Apps and RESTful Services
Windows 10 Development Recipes : A Problem-Solution Approach in HTML and JavaScript
iOS Code Testing : Test-Driven Development and Behavior-Driven Development with Swift
macOS Programming for Absolute Beginners : Developing Apps Using Swift and Xcode

Embed (Experimental)

Settings

Select options that apply then copy and paste the RDF/HTML data fragment to include in your application

Embed this data in a secure (HTTPS) page:

Layout options: Carousel Grid List Card

Include data citation:

<div class="citation" vocab="http://schema.org/"> Data from <a href="http://link.bu.edu/resource/XPjXETLgrss/">Programming languages (Electronic computers)</a> - <a property="url" href="http://link.bu.edu/">Boston University Libraries</a></div>

Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements

Preview

Cite Data - Experimental

Data Citation of the Concept Programming languages (Electronic computers)

Copy and paste the following RDF/HTML data fragment to cite this resource

<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.bu.edu/resource/XPjXETLgrss/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/XPjXETLgrss/">Programming languages (Electronic computers)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>

Programming languages (Electronic computers)

Resource Information

The concept Programming languages (Electronic computers) represents the subject, aboutness, idea or notion of resources found in Boston University Libraries.

Context

Subject of