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)
Resource Information
The concept Programming languages (Electronic computers) represents the subject, aboutness, idea or notion of resources found in Boston University Libraries.
- Label
- Programming languages (Electronic computers)
- Authority link
- (uri) http://id.loc.gov/authorities/subjects/sh85107313
A sample of Items that share the Concept Programming languages (Electronic computers) See All
Context
Context of Programming languages (Electronic computers)Subject of
No resources found
No enriched resources found
- .NET Development Using the Compiler API
- A Beginner's Guide to Scala, Object Orientation and Functional Programming
- A Beginner's Guide to Scala, Object Orientation and Functional Programming
- A Beginners Guide to Python 3 Programming
- A Concise Introduction to Languages and Machines
- A Concise Introduction to Software Engineering
- A List of Successes That Can Change the World : Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday
- A Modular Calculus for the Average Cost of Data Structuring
- A Pipelined Multi-core MIPS Machine : Hardware Implementation and Correctness Proof
- A Practical Approach to Compiler Construction
- A Software Process Model Handbook for Incorporating People's Capabilities
- A comparative study of programming languages
- A programming language
- A theory of semi-unification
- AI*IA 2017 Advances in Artificial Intelligence : XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings
- API Development : A Practical Guide for Business Implementation Success
- ASP.NET Core Recipes : A Problem-Solution Approach
- Abstract Computing Machines : A Lambda Calculus Perspective
- 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, Refinement and Proof for Probabilistic Systems
- 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
- Accelerator Programming Using Directives : 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings
- Accelerator Programming Using Directives : 6th International Workshop, WACCPD 2019, Denver, CO, USA, November 18, 2019, Revised Selected Papers
- Ada 2012 Rationale : The Language -- The Standard Libraries
- Ada 2012 Reference Manual. Language and Standard Libraries : International Standard ISO/IEC 8652/2012 (E)
- Advanced API Security : OAuth 2.0 and Beyond
- Advanced C and C++ Compiling
- Advanced Finite Element Simulation with MSC Marc : Application of User Subroutines
- Advanced Guide to Python 3 Programming
- Advanced Metaprogramming in Classic C++
- Advanced Object-Oriented Programming in R : Statistical Programming for Data Science, Analysis and Finance
- Advanced Parallel Processing Technologies : 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers
- Advanced Parallel Processing Technologies : 11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015, Proceedings
- Advanced Parallel Processing Technologies : 12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017, Proceedings
- Advanced Perl Programming : From Advanced to Expert
- Advanced Python Development : Using Powerful Language Features in Real-World Applications
- Advanced R 4 Data Programming and the Cloud : Using PostgreSQL, AWS, and Shiny
- Advanced R : Data Programming and the Cloud
- Advanced R Statistical Programming and Data Models : Analysis, Machine Learning, and Visualization
- Advanced Topics in C : Core Concepts in Data Structures
- Advanced business programming with C++ 2005
- Advanced topics in types and programming languages
- Advances in Conceptual Modeling - Applications and Challenges : ER 2010 Workshops ACM-L, CMLSA, CMS, DE@ER, FP-UML, SeCoGIS, WISM, Vancouver, BC, Canada, November 1-4, 2010, Proceedings
- 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
- Advances in Software Engineering : International Conference on Advanced Software Engineering and Its Applications, ASEA 2009 Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings
- Advances in Software Engineering Techniques : 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers
- Adventures in Raspberry Pi
- Agents and Artificial Intelligence : 8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016, Revised Selected Papers
- Agile Android
- Agile Artificial Intelligence in Pharo : Implementing Neural Networks, Genetic Algorithms, and Neuroevolution
- Agile Swift : Swift Programming Using Agile Tools and Techniques
- Agreement Technologies : 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers
- Algebraic and Numeric Biology : 4th International Conference, ANB 2010, Hagenberg, Austria, July 31-August 2, 2010, Revised Selected Papers
- Algorithms - ESA 2015 : 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings
- Aliasing in Object-Oriented Programming : Types, Analysis and Verification
- An Introduction to HTML and JavaScript : for Scientists and Engineers
- An Introduction to Network Programming with Java
- An Introduction to PHP for Scientists and Engineers : Beyond JavaScript
- An Introduction to Python and Computer Programming
- An Introduction to Statistics with Python : With Applications in the Life Sciences
- An introduction to TTCN-3
- An investigation of tools for building expert systems : prepared for the National Science Foundation
- Android Apps for Absolute Beginners : Covering Android 7
- Android Espresso Revealed : Writing Automated UI Tests
- Android Recipes : A Problem-Solution Approach for Android 5.0
- Android Studio Game Development : Concepts and Design
- Android Studio IDE Quick Reference : A Pocket Guide to Android Studio Development
- Answer Set Programming
- Application and Theory of Petri Nets and Concurrency : 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013, Proceedings
- Application and Theory of Petri Nets and Concurrency : 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings
- Application and Theory of Petri Nets and Concurrency : 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings
- Applied OpenStack Design Patterns : Design solutions for production-ready infrastructure with OpenStack components
- Arduino Software Internals : A Complete Guide to How Your Arduino Language and Hardware Work Together
- Artificial Intelligence in Medicine : 16th Conference on Artificial Intelligence in Medicine, AIME 2017, Vienna, Austria, June 21-24, 2017, Proceedings
- Artificial Intelligence in Music, Sound, Art and Design : 9th International Conference, EvoMUSART 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15-17, 2020, Proceedings
- Assurances for Self-Adaptive Systems : Principles, Models, and Techniques
- Automated Reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part I
- Automated Reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part II
- Automated Reasoning : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings
- Automated Reasoning : 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings
- Automated Reasoning with Analytic Tableaux and Related Methods : 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings
- Automated Technology for Verification and Analysis : 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings
- Automated Technology for Verification and Analysis : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings
- Automated Technology for Verification and Analysis : 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings
- Automated Technology for Verification and Analysis : 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings
- Automated Technology for Verification and Analysis : 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 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 Technology for Verification and Analysis : 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings
- Automated Trading with R : Quantitative Research and Platform Development
- Automatic Program Development : A Tribute to Robert Paige
- Automatic SIMD Vectorization of SSA-based Control Flow Graphs
- Automatic Tuning of Compilers Using Machine Learning
- Autonomics Development: A Domain-Specific Aspect Language Approach
- Bad Programming Practices 101 : Become a Better Coder by Learning How (Not) to Program
- Basic simple type theory
- Bayesian Networks in R : with Applications in Systems Biology
- Beginning Ada Programming : From Novice to Professional
- Beginning Adobe Animate CC : Learn to Efficiently Create and Deploy Animated and Interactive Content
- Beginning Application Lifecycle Management
- Beginning Backdrop CMS
- Beginning Ballerina Programming : From Novice to Professional
- Beginning Bazel : Building and Testing for Java, Go, and More
- Beginning C
- Beginning C : From Beginner to Pro
- Beginning C for Arduino, Second Edition : Learn C Programming for the Arduino
- Beginning C++
- Beginning C++17 : From Novice to Professional
- Beginning C++20 : From Novice to Professional
- Beginning COBOL for Programmers
- Beginning Data Science in R : Data Analysis, Visualization, and Modelling for the Data Scientist
- Beginning Django : Web Application Development and Deployment with Python
- Beginning Django CMS
- Beginning EJB in Java EE 8 : Building Applications with Enterprise JavaBeans
- Beginning F# 4.0
- Beginning Game Development with Amazon Lumberyard : Create 3D Games Using Amazon Lumberyard and Lua
- Beginning Haskell : A Project-Based Approach
- Beginning Jakarta EE : Enterprise Edition for Java: From Novice to Professional
- Beginning Java 8 Games Development
- Beginning Julia Programming : For Engineers and Scientists
- Beginning KeystoneJS : A practical introduction to KeystoneJS using a real-world project
- Beginning MATLAB and Simulink : From Novice to Professional
- Beginning Neo4j
- Beginning Perl Programming : From Novice to Professional
- Beginning PostgreSQL on the Cloud : Simplifying Database as a Service on Cloud Platforms
- Beginning Programming Using Retro Computing : Learn BASIC with a Commodore Emulator
- Beginning PyQt : A Hands-on Approach to GUI Programming
- Beginning Quarkus Framework : Build Cloud-Native Enterprise Java Applications and Microservices
- Beginning R 4 : From Beginner to Pro
- Beginning R : An Introduction to Statistical Programming
- Beginning R : An Introduction to Statistical Programming
- Beginning Rails 6 : From Novice to Professional
- Beginning Ring Programming : From Novice to Professional
- Beginning Robotics Programming in Java with LEGO Mindstorms
- Beginning Ruby : From Novice to Professional
- Beginning Rust : From Novice to Professional
- Beginning SQL Queries : From Novice to Professional
- Beginning SQL Server R Services : Analytics for Data Scientists
- Beginning Spring 5 : From Novice to Professional
- Beginning Spring Boot 2 : Applications and Microservices with the Spring Framework
- Beginning Visual C# 2012 programming
- Beginning Xamarin Development for the Mac : Create iOS, watchOS, and Apple tvOS apps with Xamarin.iOS and Visual Studio for Mac
- Beginning iPhone Development with Swift 5 : Exploring the iOS SDK
- Beginning x64 Assembly Programming : From Novice to AVX Professional
- Being Agile : Your Roadmap to Successful Adoption of Agile
- Biostatistics for epidemiology and public health using R
- Broken Agile : Second Edition
- Build Mobile Apps with Ionic 2 and Firebase : Hybrid Mobile App Development
- Build Mobile Apps with Ionic 4 and Firebase : Hybrid Mobile App Development
- Build iOS Database Apps with Swift and SQLite
- Build your own framework with Visual FoxPro
- 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 Chatbots with Python : Using Natural Language Processing and Machine Learning
- Building Embedded Systems : Programmable Hardware
- Building REST APIs with Flask : Create Python Web Services with MySQL
- Building Scalable PHP Web Applications Using the Cloud : A Simple Guide to Programming and Administering Cloud-Based Applications
- Building Secure Defenses Against Code-Reuse Attacks
- Building Telegram Bots : Develop Bots in 12 Programming Languages using the Telegram Bot API
- Building Web Applications with .NET Core 2.1 and JavaScript : Leveraging Modern JavaScript Frameworks
- Building Web Applications with Visual Studio 2017 : Using .NET Core and Modern JavaScript Frameworks
- Building Xamarin.Forms Mobile Apps Using XAML : Mobile Cross-Platform XAML and Xamarin.Forms Fundamentals
- Business Analytics Using R - A Practical Approach
- Business Process Technology : A Unified View on Business Processes, Workflows and Enterprise Applications
- C Quick Syntax Reference
- C Recipes : A Problem-Solution Approach
- C# 7 Quick Syntax Reference : A Pocket Guide to the Language, APIs, and Library
- C# 8 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 : Second Edition
- C++ 2013 for C# Developers
- C++ Game Development Primer
- C++ Quick Syntax Reference
- C++ Recipes : A Problem-Solution Approach
- C++ Standard Library Quick Reference
- C++ for Lazy Programmers : Quick, Easy, and Fun C++ for Beginners
- C++/CLI Primer : For .NET Development
- C++17 Quick Syntax Reference : A Pocket Guide to the Language, APIs and Library
- C++17 Standard Library Quick Reference : A Pocket Guide to Data Structures, Algorithms, and Functions
- C++20 Quick Syntax Reference : A Pocket Guide to the Language, APIs, and Library
- C++20 Recipes : A Problem-Solution Approach
- CONCUR 2012- Concurrency Theory : 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, September 4-7, 2012. Proceedings
- CSS3 Quick Syntax Reference : A Pocket Guide to the Cascading Style Sheets Language
- Categories for Software Engineering
- Categories, types, and structures : an introduction to category theory for the working computer scientist
- Central European Functional Programming School : 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers
- Central European Functional Programming School : 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers
- Central European Functional Programming School : 6th Summer School, CEFP 2015, Budapest, Hungary, July 6-10, 2015, Revised Selected Papers
- Certified Programs and Proofs : Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings
- Certified Programs and Proofs : Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings
- Chatbot Research and Design : Third International Workshop, CONVERSATIONS 2019, Amsterdam, The Netherlands, November 19-20, 2019, Revised Selected Papers
- Clean C++ : Sustainable Software Development Patterns and Best Practices with C++ 17
- Clean Python : Elegant Coding in Python
- Clean Ruby : A Guide to Crafting Better Code for Rubyists
- Code Generation with Roslyn
- Coding Interviews : Questions, Analysis & Solutions
- CoffeeScript programming with jQuery, Rails, and Node.js
- Common Lisp Recipes : A Problem-Solution Approach
- Compiler Construction : 21st International Conference, CC 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings
- 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
- 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
- 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
- Compiler Design : Analysis and Transformation
- Compiler Design : Syntactic and Semantic Analysis
- Compiler Design : Virtual Machines
- Complete Guide to Test Automation : Techniques, Practices, and Patterns for Building and Maintaining Effective Software Projects
- Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky : Essays Dedicted to Samson Abramsky on the Occasion of His 60th Birthday
- Computational Logic in Multi-Agent Systems : 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012, Proceedings
- Computational Logic in Multi-Agent Systems : 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013, Proceedings
- Computational Logic in Multi-Agent Systems : 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014, Proceedings
- Computational Science and Its Applications - ICCSA 2017 : 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part V
- Computationally relevant properties of natural languages and their grammars
- Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
- Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
- Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
- Computer Applications for Software Engineering, Disaster Recovery, and Business Continuity : International Conferences, ASEA and DRBC 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings
- Computer Graphics for Java Programmers
- Computer Music Instruments II : Realtime and Object-Oriented Audio
- Computer Programming in C for Beginners
- 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 : The Hardware, Software and Heart of It
- Computing and Software Science : State of the Art and Perspectives
- Computing with Data : An Introduction to the Data Industry
- Concepts of programming languages
- Concepts of programming languages
- Conceptual Modeling : 36th International Conference, ER 2017, Valencia, Spain, November 6-9, 2017, Proceedings
- Conceptual Modeling: Foundations and Applications : Essays in Honor of John Mylopoulos
- Conceptual Modelling and Its Theoretical Foundations : Essays Dedicated to Bernhard Thalheim on the Occasion of his 60th Birthday
- Concrete Semantics : With Isabelle/HOL
- Concurrency, Security, and Puzzles : Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday
- Concurrent Objects and Beyond : Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday
- Constraint Solving and Language Processing : 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers
- Constraints Meet Concurrency
- Construction and Evolution of Code Generators : A Model-Driven and Service-Oriented Approach
- 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
- 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 Models and Languages : 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings
- Coordination Models and Languages : 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings
- Coordination Models and Languages : 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings
- Coordination Models and Languages : 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, 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 Reasoning : Essays on Logic-Based AI in Honour of Vladimir Lifschitz
- 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 Business Applications with Office 365 : Techniques in SharePoint, PowerApps, Power BI, and More
- 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
- Critical Systems: Formal Methods and Automated Verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings
- Cryptography in C and C++
- Customizing Dynamics 365 : Implementing and Releasing Business Solutions
- Cyber Physical Systems. Model-Based Design : 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers
- Dart for Absolute Beginners
- Data Analytics and Management in Data Intensive Domains : 20th International Conference, DAMDID/RCDL 2018, Moscow, Russia, October 9-12, 2018, Revised Selected Papers
- Data Engineering and Management : Second International Conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010. Revised Selected Papers
- Data Mining Algorithms in C++ : Data Patterns and Algorithms for Modern Applications
- Data Parallel C++ : Mastering DPC++ for Programming of Heterogeneous Systems using C++ and SYCL
- Data Parallel C++ : Mastering DPC++ for Programming of Heterogeneous Systems using C++ and SYCL
- Data Science Using Oracle Data Miner and Oracle R Enterprise : Transform Your Business Systems into an Analytical Powerhouse
- Data Structures and Algorithms with Scala : A Practitioner's Approach with Emphasis on Functional Programming
- Declarative Agent Languages and Technologies IX : 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers
- Declarative Programming and Knowledge Management : Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9-12, 2019, Revised Selected Papers
- 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
- Delphi Quick Syntax Reference : A Pocket Guide to the Delphi and Object Pascal Language
- 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 Concepts in Programming Languages
- Design Patterns in C# : A Hands-on Guide with Real-World Examples
- Design Patterns in C# : A Hands-on Guide with Real-world Examples
- Design Patterns in Modern C++ : Reusable Approaches for Object-Oriented Software Design
- Design and Implementation of the MTX Operating System
- Designing Microservices with Django : An Overview of Tools and Practices
- DevOps for Azure Applications : Deploy Web Applications on Azure
- DevOps in Python : Infrastructure as Python
- Developing Turn-Based Multiplayer Games : with GameMaker Studio 2 and NodeJS
- 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
- Domain-specific modeling : enabling full code generation
- Drawing Programs: The Theory and Practice of Schematic Functional Programming
- Dynamic Logic. New Trends and Applications : Second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019, Proceedings
- Dynamic SQL : Applications, Performance, and Security
- ECOOP 2013 -- Object-Oriented Programming : 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings
- ECOOP 2014 -- Object-Oriented Programming : 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings
- ES6 for Humans : The Latest Standard of JavaScript: ES2015 and Beyond
- Eclipse TEA Revealed : Building Plug-ins and Creating Extensions for Eclipse
- Economics of Grids, Clouds, Systems, and Services : 14th International Conference, GECON 2017, Biarritz, France, September 19-21, 2017, Proceedings
- Embedded Software Development with C
- Empirical Software Engineering and Verification : International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures
- Encyclopedia of Parallel Computing
- End-User Development : 7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10-12, 2019, Proceedings
- Engineering Theories of Software Intensive Systems : Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, Marktoberdorf, Germany, from 3 to 15 August 2004
- 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
- Engineering Trustworthy Software Systems : Third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures
- Erlang and Elixir for Imperative Programmers
- Essential RenderMan®
- Essential TypeScript : From Beginner to Pro
- Essentials of programming languages
- Essentials of programming languages
- Ethereum for Architects and Developers : With Case Studies and Code Samples in Solidity
- Euro-Par 2012 Parallel Processing : 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings
- Euro-Par 2013: Parallel Processing : 19th International Conference, Aachen, Germany, August 26-30, 2013, Proceedings
- Euro-Par 2014: Parallel Processing : 20th International Conference, Porto, Portugal, August 25-29, 2014, Proceedings
- Euro-Par 2015: Parallel Processing : 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings
- Euro-Par 2016: Parallel Processing : 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings
- Euro-Par 2017: Parallel Processing : 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 - September 1, 2017, Proceedings
- Euro-Par 2018: Parallel Processing : 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings
- Evaluation of Novel Approaches to Software Engineering : 12th International Conference, ENASE 2017, Porto, Portugal, April 28-29, 2017, Revised Selected Papers
- Evaluation of Novel Approaches to Software Engineering : 13th International Conference, ENASE 2018, Funchal, Madeira, Portugal, March 23-24, 2018, Revised Selected Papers
- Evaluation of Novel Approaches to Software Engineering : 3rd and 4th International Conference, ENASE 2008 / 2009, Funchal, Madeira, Portugal, May 4-7, 2008 / Milan, Italy, May 9-10, 2009, Revised Selected Papers
- Evaluation of Novel Approaches to Software Engineering : 5th International Conference, ENASE 2010, Athens, Greece, July 22-24, 2010, Revised Selected Papers
- Evaluation of Novel Approaches to Software Engineering : 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers
- Evaluation of Novel Approaches to Software Engineering : 7th International Conference, ENASE 2012, Wroclaw, Poland, June 29-30, 2012, Revised Selected Papers
- Evaluation of Novel Approaches to Software Engineering : 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013. Revised Selected Papers
- Expert F# 4.0
- Expert T-SQL Window Functions in SQL Server
- Expert T-SQL Window Functions in SQL Server 2019 : The Hidden Secret to Fast Analytic and Reporting Queries
- Expert Twisted : Event-Driven and Asynchronous Programming with Python
- Exploring Advanced Features in C# : Enhance Your Code and Productivity
- Exploring Blazor : Creating Hosted, Server-side, and Client-side Applications with C#
- Exploring C++ 11
- Exploring C++20 : The Programmer's Introduction to C++
- 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
- Exploring the .NET Core 3.0 Runtime : Through Code Generation and Metadata Inspection
- F# for quantitative finance
- Finite representations of CCS and TCSP programs by automata and Petri nets
- Finitely typed functional programs : syntax, semantics, and implementation, Part I
- Finitely typed functional programs, Part II, Comparisons to imperative languages
- Formal Aspects of Component Software : 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers
- Formal Aspects of Component Software : 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers
- 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 Aspects of Component Software : 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings
- Formal Aspects of Component Software : 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers
- Formal Aspects of Component Software : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers
- Formal Aspects of Component Software : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers
- Formal Languages and Compilation
- Formal Languages and Compilation
- Formal Methods - The Next 30 Years : Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, 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 Teaching : Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings
- Formal Methods and Software Engineering : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings
- Formal Methods and Software Engineering : 15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings
- Formal Methods and Software Engineering : 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings
- Formal Methods and Software Engineering : 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, 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 and Software Engineering : 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021, Proceedings
- Formal Methods for Components and Objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
- Formal Methods for Components and Objects : 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010
- 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
- Formal Methods for Industrial Critical Systems : 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings
- Formal Methods for Industrial Critical Systems : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
- Formal Methods for Industrial Critical Systems : 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings
- Formal Methods for Industrial Critical Systems : 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings
- Formal Methods for Industrial Critical Systems : 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings
- Formal Methods for Model-Driven Engineering : 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures
- 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
- Formal Methods for Quantitative Aspects of Programming Languages : 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21, 2010, Advanced Lectures
- 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 : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
- Formal Methods: Foundations and Applications : 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings
- Formal Methods: Foundations and Applications : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings
- Formal Methods: Foundations and Applications : 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings
- 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 Methods: Foundations and Applications : 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings
- Formal Methods: State of the Art and New Directions
- Formal Modeling and Analysis of Timed Systems : 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, 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 Distributed Objects, Components, and Systems : 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings