Programming languages (Electronic computers)
Resource Information
The concept Programming languages (Electronic computers) represents the subject, aboutness, idea or notion of resources found in Bates College.
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 Bates College.
- Label
- Programming languages (Electronic computers)
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 Beginners Guide to Python 3 Programming
- A List of Successes That Can Change the World : Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday
- Abstract State Machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, June 5{u2013}8, 2018, Proceedings
- 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
- Advanced Finite Element Simulation with MSC Marc : Application of User Subroutines
- Advanced Guide to Python 3 Programming
- 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 R : Data Programming and the Cloud
- Advanced R Statistical Programming and Data Models : Analysis, Machine Learning, and Visualization
- Advanced business programming with C++ 2005
- 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
- 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
- Agreement Technologies : 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers
- Algorithms - ESA 2015 : 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings
- An Introduction to Statistics with Python : With Applications in the Life Sciences
- An introduction to TTCN-3
- Android Apps for Absolute Beginners : Covering Android 7
- Android Espresso Revealed : Writing Automated UI Tests
- Android Recipes : A Problem-Solution Approach
- Android Studio Game Development : Concepts and Design
- Android Studio IDE Quick Reference : A Pocket Guide to Android Studio Development
- Android Studio New Media Fundamentals : Content Production of Digital Audio/Video, Illustration and 3D Animation
- Answer Set Programming
- 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
- Automated Reasoning : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 {u2013} 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{u2013}28, 2017, 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{u2013}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
- Basic simple type theory
- Beginning Adobe Animate CC : Learn to Efficiently Create and Deploy Animated and Interactive Content
- Beginning Backdrop CMS
- Beginning Bazel : Building and Testing for Java, Go, and More
- Beginning C
- Beginning C# 2008 : from novice to professional
- Beginning C++17 : From Novice to Professional
- Beginning Django : Web Application Development and Deployment with Python
- Beginning Django CMS
- Beginning EJB in Java EE 8 : Building Applications with Enterprise JavaBeans
- Beginning Game Development with Amazon Lumberyard : Create 3D Games Using Amazon Lumberyard and Lua
- Beginning Jakarta EE : Enterprise Edition for Java: From Novice to Professional
- Beginning Java SE 6 platform : from novice to professional
- 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 Programming Using Retro Computing : Learn BASIC with a Commodore Emulator
- Beginning PyQt : A Hands-on Approach to GUI Programming
- Beginning R : An Introduction to Statistical Programming
- Beginning R : the statistical programming language
- Beginning Ring Programming : From Novice to Professional
- Beginning Robotics Programming in Java with LEGO Mindstorms
- 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 groovy and grails : from novice to professional
- Beginning iPhone Development with Swift 5 : Exploring the iOS SDK
- Beginning x64 Assembly Programming : From Novice to AVX Professional
- Build Mobile Apps with Ionic 2 and Firebase : Hybrid Mobile App Development
- Build iOS Database Apps with Swift and SQLite
- Build your own framework with Visual FoxPro
- Building Chatbots with Python : Using Natural Language Processing and Machine Learning
- 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
- C Recipes : A Problem-Solution Approach
- 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
- 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
- CSS3 Quick Syntax Reference : A Pocket Guide to the Cascading Style Sheets Language
- Central European Functional Programming School : 6th Summer School, CEFP 2015, Budapest, Hungary, July 6-10, 2015, Revised Selected Papers
- 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
- Code craft : the practice of writing excellent code
- CoffeeScript programming with jQuery, Rails, and Node.js
- Computational Science and Its Applications {u2013} 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 Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
- Computer Graphics for Java Programmers
- Computer Music Instruments II : Realtime and Object-Oriented Audio
- 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
- Computing and Software Science : State of the Art and Perspectives
- Concepts in programming languages
- Concurrency, Security, and Puzzles : Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday
- 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, 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 Business Applications with Office 365 : Techniques in SharePoint, PowerApps, Power BI, and More
- Creating Maintainable APIs : A Practical, Case-Study Approach
- Credibilistic programming : an introduction to models and applications
- 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{u2013}20, 2017, Proceedings
- Critical code studies : initial methods
- 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
- Data Analytics and Management in Data Intensive Domains : 20th International Conference, DAMDID/RCDL 2018, Moscow, Russia, October 9-12, 2018, Revised Selected Papers
- 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 Programming and Knowledge Management : Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9-12, 2019, Revised Selected Papers
- 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
- 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
- Design concepts in programming languages
- Designing Microservices with Django : An Overview of Tools and Practices
- Designing embedded systems with the SIGNAL programming language : synchronous, reactive specification
- DevOps for Azure Applications : Deploy Web Applications on Azure
- DevOps in Python : Infrastructure as Python
- 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
- Dynamic Logic. New Trends and Applications : Second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019, Proceedings
- Dynamic SQL : Applications, Performance, and Security
- 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
- End-User Development : 7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10-12, 2019, 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
- Essential TypeScript : From Beginner to Pro
- 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 {u2013} September 1, 2017, Proceedings
- Evaluation of Novel Approaches to Software Engineering : 12th International Conference, ENASE 2017, Porto, Portugal, April 28{u2013}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
- Expert F# 4.0
- 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 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
- 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 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 : 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 {u2013} November 1, 2013, 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 for Industrial Critical Systems : 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, 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{u2013}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
- 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 Techniques for Safety-Critical Systems : 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers
- Formalizing Data-Centric Web Services
- Foundational Java : key elements and practical programming
- Foundations and Practice of Security : 11th International Symposium, FPS 2018, Montreal, QC, Canada, November 13-15, 2018, Revised Selected Papers
- Foundations of Libvirt Development : How to Set Up and Maintain a Virtual Machine Environment with Python
- Foundations of Programming Languages
- Foundations of Qt development
- Foundations of Security, Protocols, and Equational Reasoning : Essays Dedicated to Catherine A. Meadows
- Foundations of Software Science and Computation Structures : 19th International Conference, FOSSACS 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
- Foundations of Software Science and Computation Structures : 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
- Foundations of Software Science and Computation Structures : 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings
- From Software Engineering to Formal Methods and Tools, and Back : Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
- Full Stack AngularJS for Java Developers : Build a Full-Featured Web Application from Scratch Using AngularJS with Spring RESTful
- Functional Interfaces in Java : Fundamentals and Examples
- Functional Programming in R : Advanced Statistical Programming for Data Science, Analysis and Finance
- Functional and Constraint Logic Programming : 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers
- 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{u2013}11, 2018, Proceedings
- Fundamental Approaches to Software Engineering : 19th International Conference, FASE 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
- 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
- Fundamental Approaches to Software Engineering : 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings
- Fundamentals of Java Programming
- Fundamentals of Software Engineering : 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers
- Fundamentals of Software Engineering : 7th International Conference, FSEN 2017, Tehran, Iran, April 26{u2013}28, 2017, Revised Selected Papers
- Fundamentals of Software Engineering : 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers
- GNU Octave : beginner's guide : become a proficient Octave user by learning this high-level scientific numerical tool from the ground up
- Game Development with Construct 2 : From Design to Realization
- Game Development with GameMaker Studio 2 : Make Your Own Games with GameMaker Language
- Geographical Information Systems Theory, Applications and Management : 4th International Conference, GISTAM 2018, Funchal, Madeira, Portugal, March 17-19, 2018, Revised Selected Papers
- Getting Started with Visual Studio 2019 : Learning and Implementing New Features
- Getting started with SBT for Scala : equip yourself with a high-productivity work environment using SBT, a build tool for Scala
- Globalizing Domain-Specific Languages : International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers
- 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 : 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25{u2013}26, 2018, Proceedings
- Graph Transformation : 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15-16, 2019, Proceedings
- Graph Transformation, Specifications, and Nets : In Memory of Hartmut Ehrig
- Graphical Models for Security : 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers
- Guide to Assembly Language : A Concise Introduction
- Guide to Fortran 2008 Programming
- Guide to Scientific Computing in C++
- Guide to assembly language : a concise introduction
- Hands-on microservices with Kotlin : build reactive and cloud-native microservices with Kotlin using Spring 5 and Spring Boot 2.0
- Hardware and Software: Verification and Testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings
- 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 : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
- Harley Hahn's Emacs Field Guide
- Haskell Quick Syntax Reference : A Pocket Guide to the Language, APIs, and Library
- 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
- High Performance Computing for Computational Science - VECPAR 2018 : 13th International Conference, São Pedro, Brazil, September 17-19, 2018, Revised Selected Papers
- How to Speak Tech : The Non-Techie's Guide to Key Technology Concepts
- 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
- In Search of Elegance in the Theory and Practice of Computation : Essays Dedicated to Peter Buneman
- 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
- Instant AutoIt scripting
- Instruction Level Parallelism
- Integrated Formal Methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
- Integrated Formal Methods : 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings
- Integration of Constraint Programming, Artificial Intelligence, and Operations Research : 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019, Proceedings
- Intelligent Computer Mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
- Intelligent Computer Mathematics : 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
- Interaction flow modeling language : model-driven ui engineering of web and mobile apps with ifml
- Interactive C# : Fundamentals, Core Concepts and Patterns
- Interactive Object Oriented Programming in Java : Learn and Test Your Skills
- Interactive Theorem Proving : 8th International Conference, ITP 2017, Brasília, Brazil, September 26{u2013}29, 2017, Proceedings
- 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
- Intermediate business programming with C++
- Introducing Algorithms in C : A Step by Step Guide to Algorithms in C
- Introducing Bootstrap 4
- Introducing Delphi ORM : Object Relational Mapping Using TMS Aurelius
- Introducing Markdown and Pandoc : Using Markup Language and Document Converter
- Introducing Materialize
- Introducing Play Framework : Java Web Application Development
- Introducing Vala Programming : A Language and Techniques to Boost Productivity
- Introducing Zurb Foundation 6
- Introduction to Compiler Design
- Introduction to Python for Engineers and Scientists : Open Source Solutions for Numerical Computation
- Introduction to R for Terrestrial Ecology : Basics of Numerical Analysis, Mapping, Statistical Tests and Advanced Application of R
- Introduction to React
- Introduction to Software Design with Java
- Introduction to the theory of programming languages
- It's All About Coordination : Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab
- Java 13 Revealed : For Early Adoption and Migration
- Java 9 Recipes : A Problem-Solution Approach
- Java Design Patterns : A Hands-On Experience with Real-World Examples
- Java Design Patterns : A tour of 23 gang of four design patterns in Java
- Java Lambdas and Parallel Streams
- Java XML and JSON
- Java XML and JSON : Document Processing for Java SE
- Java for dummies
- Java in Two Semesters : Featuring JavaFX
- JavaFX 9 by Example
- JavaScript Frameworks for Modern Web Dev
- JavaScript Frameworks for Modern Web Development : The Essential Frameworks, Libraries, and Tools to Learn Right Now
- JavaScript Object Programming
- Journal on data semantics XI
- Julia Quick Syntax Reference : A Pocket Guide for Data Science Programming
- Kubernetes Microservices with Docker
- LISP 1.5 programmer's manual : the Computation Center and Research Laboratory of Electronics, Massachusetts Institute of Technology
- 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 and Compilers for Parallel Computing : 30th International Workshop, LCPC 2017, College Station, TX, USA, October 11-13, 2017, Revised Selected Papers
- Languages and Compilers for Parallel Computing : 31st International Workshop, LCPC 2018, Salt Lake City, UT, USA, October 9-11, 2018, Revised Selected Papers
- Languages: from formal to natural : essays dedicated to Nissim Francez on the occasion of his 65th birthday
- Lean Python : Learn Just Enough Python to Build Useful Tools
- Learn Electronics with Raspberry Pi : Physical Computing with Circuits, Sensors, Outputs, and Projects
- Learn Java with Math : Using Fun Projects and Games
- Learn Kotlin for Android Development : The Next Generation Language for Modern Android Apps Programming
- Learn Microsoft Visual Studio App Center : With Xamarin Forms
- Learn PHP 7 : Object-Oriented Modular Programming using HTML5, CSS3, JavaScript, XML, JSON, and MySQL
- Learn Pixi.js : Create Great Interactive Graphics for Games and the Web
- Learn R for Applied Statistics : With Data Visualizations, Regressions, and Statistics
- Learn RStudio IDE : Quick, Effective, and Productive Data Science
- 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 meteor : node.js and mongodb javascript platform
- Learn to Tango with D
- Learn to program Visual Basic : databases
- Learning C# by Programming Games
- Learning Dart
- Learning Groovy
- Learning Groovy 3 : Java-Based Dynamic Scripting
- Let's Build a Multiplayer Phaser Game : With TypeScript, Socket.IO, and Phaser
- Logic for Programming, Artificial Intelligence, and Reasoning : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
- Logic, Language, Information, and Computation : 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings
- Logic, Rationality, and Interaction : 7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings
- Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6{u2013}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
- Logic-Based Program Synthesis and Transformation : 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers
- Logical Foundations of Computer Science : International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8{u2013}11, 2018, Proceedings
- Logics and languages for reliability and security
- Logics in Artificial Intelligence : 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, 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 Machine Learning
- MVVM in Delphi : Architecting and Building Model View ViewModel Applications
- Machine Learning Using R
- Machine Learning Using R : With Time Series and Industry-Based Use Cases in R
- Machine learning with R
- Make a 2D RPG in a Weekend : With RPG Maker MV
- Make an E-commerce Site in a Weekend : Using PHP
- Mastering Scale and Complexity in Software Reuse : 16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017, Proceedings
- Mastering python regular expressions : leverage regular expressions in python even for the most complex features
- Material Design implementation with AngularJS : UI Component Framework
- Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems : 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings
- 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-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
- ModelEd, TestEd, TrustEd : Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
- Modelling Foundations and Applications : 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings
- Modelling Foundations and Applications : 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings
- Modelling Foundations and Applications : 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings
- Models, Algorithms, Logics and Tools : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
- Models, Languages, and Tools for Concurrent and Distributed Programming : Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday
- Models, Mindsets, Meta: The What, the How, and the Why Not? : Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday
- Modern C Quick Syntax Reference : A Pocket Guide to the Language, APIs, and Library
- 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
- Multi-Agent Systems : 16th European Conference, EUMAS 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers
- Multiparadigm constraint programming languages
- NASA Formal Methods : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings
- NASA Formal Methods : 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings
- NASA Formal Methods : 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings
- NASA Formal Methods : 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, 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
- Numeric Computation and Statistical Data Analysis on the Java Platform
- Numerical C : Applied Computational Programming with Case Studies
- Numerical Python : A Practical Techniques Approach for Industry
- 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{u2013}28, 2017, Revised Selected Papers
- On the Move to Meaningful Internet Systems: OTM 2019 Conferences : Confederated International Conferences: CoopIS, ODBASE, C&TC 2019, Rhodes, Greece, October 21-25, 2019, Proceedings
- On the Move to Meaningful Internet Systems: OTM 2019 Workshops : Confederated International Workshops: EI2N, FBM, ICSP, Meta4eS and SIAnA 2019, Rhodes, Greece, October 21-25, 2019, Revised Selected Papers
- OpenGL 4.0 shading language cookbook : over 60 highly focused, practical recipes to maximize your use of the OpenGL shading language
- OpenMP: Conquering the Full Hardware Spectrum : 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11-13, 2019, Proceedings
- 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 {u2013} 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
- Oracle embedded programming and application development
- PHP 7 Solutions : Dynamic Web Design Made Easy
- 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
- PRICAI 2019: Trends in Artificial Intelligence : 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26-30, 2019, Proceedings, Part I
- 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 {u2013} 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
- Perl 6 Quick Syntax Reference : A Pocket Guide to the Language, the Core Modules, and the Community
- 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
- Pig design patterns : simplify hadoop programming to create complex end-to-end enterprise big data solutions with pig
- 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{u2013}9, 2018, Proceedings
- Practical Aspects of Declarative Languages : 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings
- Practical Aspects of Declarative Languages : 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20-21, 2020, Proceedings
- Practical C
- Practical C++ Design : From Programming to Architecture
- Practical Concurrent Haskell : With Big Data Applications
- Practical Domain-Driven Design in Enterprise Java : Using Jakarta EE, Eclipse MicroProfile, Spring Boot, and the Axon Framework
- Practical Haskell : A Real World Guide to Programming
- Practical JSF in Java EE 8 : Web Applications {u200B}in Java for the Enterprise
- Practical MATLAB : With Modeling, Simulation, and Processing Projects
- Practical MATLAB Deep Learning : A Project-Based Approach
- Practical Machine Learning and Image Processing : For Facial Recognition, Object Detection, and Pattern Recognition Using Python
- Practical Machine Learning with Rust : Creating Intelligent Applications in Rust
- Practical Microservices Architectural Patterns : Event-Based Java Microservices with Spring Boot and Spring Cloud
- Practical Ruby projects : ideas for the eclectic programmer
- Practical Rust Projects : Building Game, Physical Computing, and Machine Learning Applications
- Practical Web Design for Absolute Beginners
- Practical foundations for programming languages
- Practical foundations for programming languages
- Principles of Modeling : Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday
- Principles of programming languages
- Pro .NET Framework with the Base Class Library : Understanding the Virtual Execution System and the Common Type System
- Pro CDI 2 in Java EE 8 : An In-Depth Guide to Context and Dependency Injection
- 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 MERN Stack : Full Stack Web App Development with Mongo, Express, React, and Node
- Pro PHP Security
- Pro Python 3 : Features and Tools for Professional Development
- Pro Python Best Practices : Debugging, Testing and Maintenance
- Pro RESTful APIs : Design, Build and Integrate with REST, JSON, XML and JAX-RS
- Pro SAP Scripts, Smartforms, and Data Migration : ABAP Programming Simplified
- Pro SQL Server on Microsoft Azure
- Pro TBB : C++ Parallel Programming with Threading Building Blocks
- Product-Focused Software Process Improvement : 20th International Conference, PROFES 2019, Barcelona, Spain, November 27-29, 2019, Proceedings
- Professional Swift
- 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 : 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, 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 : 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019, Proceedings
- Programming Languages and Systems : 25th European Symposium on Programming, ESOP 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
- Programming Languages and Systems : 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22{u2013}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 Languages and Systems : 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings
- Programming Languages and Systems : 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
- Programming and Performance Visualization Tools : International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018, Revised Selected Papers
- Programming distributed computing systems : a foundational approach
- Programming language concepts
- Programming language pragmatics
- Programming languages : an active learning approach
- Programming languages : principles and paradigms
- Programming languages and systems : 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
- Programming with Scala : Language Exploration
- PySpark Recipes : A Problem-Solution Approach with PySpark2
- PySpark SQL Recipes : With HiveQL, Dataframe and Graphframes
- Python Continuous Integration and Delivery : A Concise Guide with Examples
- Python Descriptors
- Python For ArcGIS
- Python Machine Learning Case Studies : Five Case Studies for the Data Scientist
- Python Projects for Beginners : A Ten-Week Bootcamp Approach to Python Programming
- Python Unit Test Automation : Practical Techniques for Python Developers and Testers
- Python for signal processing : featuring IPython notebooks
- Quality of Information and Communications Technology : 12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11-13, 2019, Proceedings
- R Data Science Quick Reference : A Pocket Guide to APIs, Libraries, and Packages
- R Quick Syntax Reference : A Pocket Guide to the Language, APIs and Library
- R3 Corda for Architects and Developers : With Case Studies in Finance, Insurance, Healthcare, Travel, Telecom, and Agriculture
- Rails 5 Revealed
- Rapid Java Persistence and Microservices : Persistence Made Easy Using Java EE8, JPA and Spring
- Raspberry Pi GPU Audio Video Programming
- Raspberry Pi Supercomputing and Scientific Programming : MPI4PY, NumPy, and SciPy for Enthusiasts
- Raspberry Pi user guide
- Reactive Programming with Angular and ngrx : Learn to Harness the Power of Reactive Programming with RxJS and ngrx Extensions
- Reactive Streams in Java : Concurrency with RxJava, Reactor, and Akka Streams
- Real-Time Web Application Development : With ASP.NET Core, SignalR, Docker, and Azure
- Recent Trends in Algebraic Development Techniques : 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21{u2013}24, 2016, Revised Selected Papers
- Regular expression recipes for Windows developers : a problem-solution approach
- Regulating code : good governance and better regulation in the information age
- Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : Third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings
- Reliable Software Technologies {u2013} 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
- Requirements Engineering: Foundation for Software Quality : 25th International Working Conference, REFSQ 2019, Essen, Germany, March 18-21, 2019, Proceedings
- Rethinking Productivity in Software Engineering
- Reversible Computation : 11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019, 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{u2013}15, 2017, Proceedings
- Runtime Verification : 16th International Conference, RV 2016, Madrid, Spain, September 23{u2013}30, 2016, Proceedings
- Runtime Verification : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings
- Runtime Verification : 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings
- Runtime Verification : 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings
- SDL 2015: Model-Driven Engineering for Smart Cities : 17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings
- SDL 2017: Model-Driven Engineering for Future Internet : 18th International SDL Forum, Budapest, Hungary, October 9{u2013}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: 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{u2013}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
- Search-Based Software Engineering : 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 - September 1, 2019, 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 {u2013} ICSOC 2016 Workshops : ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10{u2013}13, 2016, Revised Selected Papers
- Service-Oriented Computing {u2013} ICSOC 2017 Workshops : ASOCA, ISyCC, WESOACS, and Satellite Events, Málaga, Spain, November 13{u2013}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{u2013}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 Architecture : 9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015. Proceedings
- Software Engineering : International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures
- 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{u2013}8, 2017, Proceedings
- Software Engineering and Formal Methods : 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27{u2013}29, 2018, Proceedings
- Software Engineering and Formal Methods : 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, 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{u2013}5, 2017, Proceedings
- Software Engineering: Specification, Implementation, Verification
- Software Language Engineering : 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings
- Software Reading Techniques : Twenty Techniques for More Effective Software Review and Inspection
- Software Technologies : 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers
- Software Technologies : 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24{u2013}26, 2017, Revised Selected Papers
- Software Technologies : 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, 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
- Software engineering : (a lifecycle approach)
- Source Code Analytics With Roslyn and JavaScript Data Visualization
- Special issue on emergent semantics
- Squarespace 6 for dummies
- Static Analysis : 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings
- 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 {u2013} September 1, 2017, Proceedings
- Static Analysis : 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings
- String Analysis for Software Verification and Security
- Structured Object-Oriented Formal Language and Method : 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers
- Supercomputing : 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24-25, 2018, Revised Selected Papers
- Swift 2 for Absolute Beginners
- Swift 3 for Absolute Beginners
- Swift 4 for Absolute Beginners : Develop Apps for iOS
- Swift 5 for Absolute Beginners : Learn to Develop Apps for iOS
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 15th European Conference, ECSQARU 2019, Belgrade, Serbia, September 18-20, 2019, Proceedings
- System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 : 11th International Conference, SAM 2019, Munich, Germany, September 16-17, 2019, Proceedings
- Tcl/Tk8.5 programming cookbook : over 100 great recipes to effectively learn Tcl/Tk8.5
- Test Driven Development in Ruby : A Practical Introduction to TDD Using Problem and Solution Domain Analysis
- Testing Software and Systems : 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings
- Testing Software and Systems : 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings
- Testing Software and Systems : 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings
- 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
- Tests and Proofs : 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings
- Tests and Proofs : 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, 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