Programming languages (Electronic computers).
Overview
Works: | 812 works in 0 publications in 0 languages |
---|
Titles
Introducing Blockchain with Java = Program, Implement, and Extend Blockchains with Java /
by:
(Language materials, printed)
Languages and Compilers for Parallel Computing = 33rd International Workshop, LCPC 2020, Virtual Event, October 14-16, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Functional and Logic Programming = 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022, Proceedings /
by:
(Language materials, printed)
C# 10 Quick Syntax Reference = A Pocket Guide to the Language, APIs, and Library /
by:
(Language materials, printed)
C++ Software Interoperability for Windows Programmers = Connecting to C#, R, and Python Clients /
by:
(Language materials, printed)
Learn JavaFX 17 = Building User Experience and Interfaces with Java /
by:
(Language materials, printed)
Beginning Scala 3 = A Functional and Object-Oriented Java Language /
by:
(Language materials, printed)
Practical Docker with Python = Build, Release, and Distribute Your Python App with Docker /
by:
(Language materials, printed)
Language Server Protocol and Implementation = Supporting Language-Smart Editing and Programming Tools /
by:
(Language materials, printed)
C and Python Applications = Embedding Python Code in C Programs, SQL Methods, and Python Sockets /
by:
(Language materials, printed)
Introducing Qt 6 = Learn to Build Fun Apps & Games for Mobile & Desktop in C++ /
by:
(Language materials, printed)
Spring REST = Building Java Microservices and Cloud Applications /
by:
(Language materials, printed)
Beginning IntelliJ IDEA = Integrated Development Environment for Java Programming /
by:
(Language materials, printed)
Pro Jakarta Persistence in Jakarta EE 10 = An In-Depth Guide to Persistence in Enterprise Java Development /
by:
(Language materials, printed)
Beginning jOOQ = Learn to Write Efficient and Effective Java-Based SQL Database Operations /
by:
(Language materials, printed)
Java Challenges = 100+ Proven Tasks that Will Prepare You for Anything /
by:
(Language materials, printed)
Java 17 Quick Syntax Reference = A Pocket Guide to the Java SE Language, APIs, and Library /
by:
(Language materials, printed)
Artificial Neural Networks with Java = Tools for Building Neural Network Applications /
by:
(Language materials, printed)
Pro Go = The Complete Guide to Programming Reliable and Efficient Software Using Golang /
by:
(Language materials, printed)
Beginning Java 17 Fundamentals = Object-Oriented Programming in Java 17 /
by:
(Language materials, printed)
The Definitive Guide to Modern Java Clients with JavaFX 17 = Cross-Platform Mobile and Cloud Development /
by:
(Language materials, printed)
Go for Java Programmers = Learn the Google Go Programming Language /
by:
(Language materials, printed)
Java 17 for Absolute Beginners = Learn the Fundamentals of Java Programming /
by:
(Language materials, printed)
Numerical Methods Using Java = For Data Science, Analysis, and Engineering /
by:
(Language materials, printed)
Python Challenges = 100 Proven Programming Tasks Designed to Prepare You for Anything /
by:
(Language materials, printed)
Genetic Programming = 25th European Conference, EuroGP 2022, Held as Part of EvoStar 2022, Madrid, Spain, April 20–22, 2022, Proceedings /
by:
(Language materials, printed)
Cryptography and Cryptanalysis in Java = Creating and Programming Advanced Algorithms with Java SE 17 LTS and Jakarta EE 10 /
by:
(Language materials, printed)
The Definitive Guide to Security in Jakarta EE = Securing Java-based Enterprise Applications with Jakarta Security, Authorization, Authentication and More /
by:
(Language materials, printed)
Practical Aspects of Declarative Languages = 24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17–18, 2022, Proceedings /
by:
(Language materials, printed)
Pervasive Computing and Social Networking = Proceedings of ICPCSN 2021 /
by:
(Language materials, printed)
Fundamental Approaches to Software Engineering = 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings /
by:
(Language materials, printed)
Languages and Compilers for Parallel Computing = 34th International Workshop, LCPC 2021, Newark, DE, USA, October 13–14, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Beginning PyQt = A Hands-on Approach to GUI Programming with PyQt6 /
by:
(Language materials, printed)
R 4 Quick Syntax Reference = A Pocket Guide to the Language, API's and Library /
by:
(Language materials, printed)
The Definitive Guide to Jakarta Faces in Jakarta EE 10 = Building Java-Based Enterprise Web Applications /
by:
(Language materials, printed)
Modern Parallel Programming with C++ and Assembly Language = X86 SIMD Development Using AVX, AVX2, and AVX-512 /
by:
(Language materials, printed)
Python for MATLAB Development = Extend MATLAB with 300,000+ Modules from the Python Package Index /
by:
(Language materials, printed)
Java Design Patterns = A Hands-On Experience with Real-World Examples /
by:
(Language materials, printed)
Pro Data Visualization Using R and JavaScript = Analyze and Visualize Key Data on the Web /
by:
(Language materials, printed)
Sequence Analysis and Modern C++ = The Creation of the SeqAn3 Bioinformatics Library /
by:
(Language materials, printed)
Create an Enterprise-Level Test Automation Framework with Appium = Using Spring-Boot, Gradle, Junit, ALM Integration, and Custom Reports with TDD and BDD Support /
by:
(Language materials, printed)
Pro C# 10 with .NET 6 = Foundational Principles and Practices in Programming /
by:
(Language materials, printed)
Java EE to Jakarta EE 10 Recipes = A Problem-Solution Approach for Enterprise Java /
by:
(Language materials, printed)
Deployment and Operation of Complex Software in Heterogeneous Execution Environments = The SODALITE Approach /
by:
(Language materials, printed)
Generic Data Structures and Algorithms in Go = An Applied Approach Using Concurrency, Genericity and Heuristics /
by:
(Language materials, printed)
Foundations of Information and Knowledge Systems = 12th International Symposium, FoIKS 2022, Helsinki, Finland, June 20–23, 2022, Proceedings /
by:
(Language materials, printed)
Network Programming with Go Language = Essential Skills for Programming, Using and Securing Networks with Open Source Google Golang /
by:
(Language materials, printed)
OCaml Scientific Computing = Functional Programming in Data Science and Artificial Intelligence /
by:
(Language materials, printed)
Introducing Software Verification with Dafny Language = Proving Program Correctness /
by:
(Language materials, printed)
Introducing Spring Framework 6 = Learning and Building Java-based Applications With Spring /
by:
(Language materials, printed)
Beginning Go Programming = Build Reliable and Efficient Applications with Go /
by:
(Language materials, printed)
Pro Cloud Native Java EE Apps = DevOps with MicroProfile, Jakarta EE 10 APIs, and Kubernetes /
by:
(Language materials, printed)
R 4 Data Science Quick Reference = A Pocket Guide to APIs, Libraries, and Packages /
by:
(Language materials, printed)
Technical Building Blocks = A Technology Reference for Real-world Product Development /
by:
(Language materials, printed)
Introducing Micronaut = Build, Test, and Deploy Java Microservices on Oracle Cloud /
by:
(Language materials, printed)
The Absolute Beginner's Guide to Python Programming = A Step-by-Step Guide with Examples and Lab Exercises /
by:
(Language materials, printed)
Modern C Up and Running = A Programmer's Guide to Finding Fluency and Bypassing the Quirks /
by:
(Language materials, printed)
Test Your Skills in C# Programming = Review and Analyze Important Features of C# /
by:
(Language materials, printed)
PHP 8 for Absolute Beginners = Basic Website and Web Application Development /
by:
(Language materials, printed)
Practical Haskell = A Real-World Guide to Functional Programming /
by:
(Language materials, printed)
Programming 101 = Learn to Code with the Processing Language Using a Visual Approach /
by:
(Language materials, printed)
Logic, Language, Information, and Computation = 28th International Workshop, WoLLIC 2022, Iași, Romania, September 20–23, 2022, Proceedings /
by:
(Language materials, printed)
From Complex Sentences to a Formal Semantic Representation using Syntactic Text Simplification and Open Information Extraction
by:
(Language materials, printed)
Mit Jupyter durchs Physikpraktikum = Auswerten mit Python leicht gemacht /
by:
(Language materials, printed)
Computer Safety, Reliability, and Security = 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6–9, 2022, Proceedings /
by:
(Language materials, printed)
Service-Oriented Computing – ICSOC 2021 Workshops = AIOps, STRAPS, AI-PA and Satellite Events, Dubai, United Arab Emirates, November 22–25, 2021, Proceedings /
by:
(Language materials, printed)
Simulation with Python = Develop Simulation and Modeling in Natural Sciences, Engineering, and Social Sciences /
by:
(Language materials, printed)
Blockchain and Ethereum Smart Contract Solution Development = Dapp Programming with Solidity /
by:
(Language materials, printed)
Learn to Program with Assembly = Foundational Learning for New Programmers /
by:
(Language materials, printed)
More Java 17 = An In-Depth Exploration of the Java Language and Its Features /
by:
(Language materials, printed)
Logic, Computation and Rigorous Methods = Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday /
by:
(Language materials, printed)
Practical Aspects of Declarative Languages = 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings /
by:
(Language materials, printed)
Coding Art = The Four Steps to Creative Programming with the Processing Language /
by:
(Language materials, printed)
Genetic Programming = 24th European Conference, EuroGP 2021, Held as Part of EvoStar 2021, Virtual Event, April 7–9, 2021, Proceedings /
by:
(Language materials, printed)
Logic and Argumentation = 4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings /
by:
(Language materials, printed)
Leveraging Applications of Formal Methods, Verification and Validation = 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Proceedings /
by:
(Language materials, printed)
Programming Languages and Systems = 19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17–18, 2021, Proceedings /
by:
(Language materials, printed)
Applied Reconfigurable Computing. Architectures, Tools, and Applications = 17th International Symposium, ARC 2021, Virtual Event, June 29–30, 2021, Proceedings /
by:
(Language materials, printed)
Clean C++20 = Sustainable Software Development Patterns and Best Practices /
by:
(Language materials, printed)
Artificial Intelligence and Soft Computing = 20th International Conference, ICAISC 2021, Virtual Event, June 21–23, 2021, Proceedings, Part II /
by:
(Language materials, printed)
Rigorous State-Based Methods = 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings /
by:
(Language materials, printed)
AIxIA 2020 – Advances in Artificial Intelligence = XIXth International Conference of the Italian Association for Artificial Intelligence, Virtual Event, November 25–27, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Novel Techniques in Recovering, Embedding, and Enforcing Policies for Control-Flow Integrity
by:
(Language materials, printed)
Programming Algorithms in Lisp = Writing Efficient Programs with Examples in ANSI Common Lisp /
by:
(Language materials, printed)
Practical Rust Web Projects = Building Cloud and Web-Based Applications /
by:
(Language materials, printed)
Programming with TensorFlow = Solution for Edge Computing Applications /
by:
(Language materials, printed)
Pointers in C Programming = A Modern Approach to Memory Management, Recursive Data Structures, Strings, and Arrays /
by:
(Language materials, printed)
Nonsequential and Distributed Programming with Go = Synchronization of Concurrent Processes: Communication - Cooperation - Competition /
by:
(Language materials, printed)
Pro Cryptography and Cryptanalysis with C++20 = Creating and Programming Advanced Algorithms /
by:
(Language materials, printed)
Accelerator Programming Using Directives = 7th International Workshop, WACCPD 2020, Virtual Event, November 20, 2020, Proceedings /
by:
(Language materials, printed)
Pro Spring MVC with WebFlux = Web Development in Spring Framework 5 and Spring Boot 2 /
by:
(Language materials, printed)
Beginning HCL Programming = Using Hashicorp Language for Automation and Configuration /
by:
(Language materials, printed)
Introducing Blockchain with Lisp = Implement and Extend Blockchains with the Racket Language /
by:
(Language materials, printed)
Practical C++20 Financial Programming = Problem Solving for Quantitative Finance, Financial Engineering, Business, and Economics /
by:
(Language materials, printed)
XcalableMP PGAS Programming Language = From Programming Model to Applications /
by:
(Language materials, printed)
Modelling to Program = Second International Workshop, M2P 2020, Lappeenranta, Finland, March 10–12, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Languages and Compilers for Parallel Computing = 32nd International Workshop, LCPC 2019, Atlanta, GA, USA, October 22–24, 2019, Revised Selected Papers /
by:
(Language materials, printed)
OpenMP: Enabling Massive Node-Level Parallelism = 17th International Workshop on OpenMP, IWOMP 2021, Bristol, UK, September 14–16, 2021, Proceedings /
by:
(Language materials, printed)
Programming Languages and Systems = 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings /
by:
(Language materials, printed)
C++ mit Visual Studio 2019 = C++17 für Studierende und erfahrene Programmierer /
by:
(Language materials, printed)
Euro-Par 2020: Parallel Processing Workshops = Euro-Par 2020 International Workshops, Warsaw, Poland, August 24–25, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Euro-Par 2021: Parallel Processing = 27th International Conference on Parallel and Distributed Computing, Lisbon, Portugal, September 1–3, 2021, Proceedings /
by:
(Language materials, printed)
Programmieren lernen mit Python und JavaScript = Eine praxisorientierte Einführung für Einsteiger /
by:
(Language materials, printed)
Trends in Functional Programming = 22nd International Symposium, TFP 2021, Virtual Event, February 17–19, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Evaluation of Novel Approaches to Software Engineering = 15th International Conference, ENASE 2020, Prague, Czech Republic, May 5–6, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Data Parallel C++ = Mastering DPC++ for Programming of Heterogeneous Systems using C++ and SYCL /
by:
(Language materials, printed)
Tools and Methods of Program Analysis = 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7–9, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Formal Methods for Industrial Critical Systems = 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings /
by:
(Language materials, printed)
Statistisches Programmieren mit R = Eine ausführliche, übersichtliche, spannende und praxiserprobte Einführung /
by:
(Language materials, printed)
Formal Methods and Software Engineering = 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings /
by:
(Language materials, printed)
Trends in Functional Programming = 21st International Symposium, TFP 2020, Krakow, Poland, February 13–14, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Monotonicity in Logic and Language = Second Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning, TLLM 2020, Beijing, China, December 17-20, 2020, Proceedings /
by:
(Language materials, printed)
Java in 14 Wochen = Ein Lehrbuch für Studierende der Wirtschaftsinformatik /
by:
(Language materials, printed)
C++ mit Visual Studio 2019 und Windows Forms-Anwendungen = C++17 für Studierende und erfahrene Programmierer – Windows Programme mit C++ entwickeln /
by:
(Language materials, printed)
Runtime Verification = 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings /
by:
(Language materials, printed)
Reuse in Emerging Software Engineering Practices = 19th International Conference on Software and Systems Reuse, ICSR 2020, Hammamet, Tunisia, December 2–4, 2020, Proceedings /
by:
(Language materials, printed)
Programming Languages and Systems = 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020, Proceedings /
by:
(Language materials, printed)
Design Patterns in C# = A Hands-on Guide with Real-world Examples /
by:
(Language materials, printed)
Beginning Quarkus Framework = Build Cloud-Native Enterprise Java Applications and Microservices /
by:
(Language materials, printed)
Spring Quick Reference Guide = A Pocket Handbook for Spring Framework, Spring Boot, and More /
by:
(Language materials, printed)
OpenMP: Portable Multi-Level Parallelism on Modern Systems = 16th International Workshop on OpenMP, IWOMP 2020, Austin, TX, USA, September 22–24, 2020, Proceedings /
by:
(Language materials, printed)
Learn Microservices with Spring Boot = A Practical Approach to RESTful Services Using an Event-Driven Architecture, Cloud-Native Patterns, and Containerization /
by:
(Language materials, printed)
Verified Software. Theories, Tools, and Experiments = 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers /
by:
(Language materials, printed)
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 /
by:
(Language materials, printed)
Implementing Effective Code Reviews = How to Build and Maintain Clean Code /
by:
(Language materials, printed)
String Algorithms in C = Efficient Text Representation and Search /
by:
(Language materials, printed)
Grundkurs JAVA = Von den Grundlagen bis zu Datenbank- und Netzanwendungen /
by:
(Language materials, printed)
Delphi Quick Syntax Reference = A Pocket Guide to the Delphi and Object Pascal Language /
by:
(Language materials, printed)
Arduino Software Internals = A Complete Guide to How Your Arduino Language and Hardware Work Together /
by:
(Language materials, printed)
Graph Transformation = 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25–26, 2020, Proceedings /
by:
(Language materials, printed)
Getting Started with Advanced C# = Upgrade Your Programming Skills /
by:
(Language materials, printed)
Accelerator Programming Using Directives = 6th International Workshop, WACCPD 2019, Denver, CO, USA, November 18, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Tests and Proofs = 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings /
by:
(Language materials, printed)
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 /
by:
(Language materials, printed)
Inductive Logic Programming = 29th International Conference, ILP 2019, Plovdiv, Bulgaria, September 3–5, 2019, Proceedings /
by:
(Language materials, printed)
Foundations of Software Science and Computation Structures = 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings /
by:
(Language materials, printed)
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 /
by:
(Language materials, printed)
Chatbot Research and Design = Third International Workshop, CONVERSATIONS 2019, Amsterdam, The Netherlands, November 19–20, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Introduction to R for Terrestrial Ecology = Basics of Numerical Analysis, Mapping, Statistical Tests and Advanced Application of R /
by:
(Language materials, printed)
Building Web Applications with .NET Core 2.1 and JavaScript = Leveraging Modern JavaScript Frameworks /
by:
(Language materials, printed)
Practical Machine Learning with Rust = Creating Intelligent Applications in Rust /
by:
(Language materials, printed)
Formal Methods for Industrial Critical Systems = 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings /
by:
(Language materials, printed)
Practical Aspects of Declarative Languages = 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20–21, 2020, Proceedings /
by:
(Language materials, printed)
Interactive Object-Oriented Programming in Java = Learn and Test Your Programming Skills /
by:
(Language materials, printed)
Python Projects for Beginners = A Ten-Week Bootcamp Approach to Python Programming /
by:
(Language materials, printed)
Introducing Algorithms in C = A Step by Step Guide to Algorithms in C /
by:
(Language materials, printed)
Options and Derivatives Programming in C++20 = Algorithms and Programming Techniques for the Financial Industry /
by:
(Language materials, printed)
Python Data Analytics = Data Analysis and Science using pandas, matplotlib and the Python Programming Language /
by:
(Language materials, printed)
Software Engineering = International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures /
by:
(Language materials, printed)
Globalizing Domain-Specific Languages = International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers /
by:
(Language materials, printed)
Software Engineering and Formal Methods = 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings /
by:
(Language materials, printed)
Beginning C for Arduino, Second Edition = Learn C Programming for the Arduino /
by:
(Language materials, printed)
Information Security = 16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013, Proceedings /
by:
(Language materials, printed)
Software Engineering for Collective Autonomic Systems = The ASCENS Approach /
by:
(Language materials, printed)
Structured Object-Oriented Formal Language and Method = 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers /
by:
(Language materials, printed)
NASA Formal Methods = 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings /
by:
(Language materials, printed)
Search-Based Software Engineering = 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings /
by:
(Language materials, printed)
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 /
by:
(Language materials, printed)
Software Architecture = 9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015. Proceedings /
by:
(Language materials, printed)
OpenMP: Heterogenous Execution and Data Movements = 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015, Proceedings /
by:
(Language materials, printed)
Automated Technology for Verification and Analysis = 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings /
by:
(Language materials, printed)
Theoretical Aspects of Computing - ICTAC 2015 = 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings /
by:
(Language materials, printed)
Hardware and Software: Verification and Testing = 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings /
by:
(Language materials, printed)
OpenSHMEM and Related Technologies. Experiences, Implementations, and Technologies = Second Workshop, OpenSHMEM 2015, Annapolis, MD, USA, August 4-6, 2015. Revised Selected Papers /
by:
(Language materials, printed)
Practical Aspects of Declarative Languages = 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings /
by:
(Language materials, printed)
SDL 2015: Model-Driven Engineering for Smart Cities = 17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings /
by:
(Language materials, printed)
Xamarin Mobile Application Development = Cross-Platform C# and Xamarin.Forms Fundamentals /
by:
(Language materials, printed)
Programming Languages and Systems = 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings /
by:
(Language materials, printed)
Model Checking Software = 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings /
by:
(Language materials, printed)
Verification, Model Checking, and Abstract Interpretation = 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings /
by:
(Language materials, printed)
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 /
by:
(Language materials, printed)
Theory and Practice of Model Transformations = 8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings /
by:
(Language materials, printed)
Reliable Software Technologies – Ada-Europe 2015 = 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings /
by:
(Language materials, printed)
Advanced Parallel Processing Technologies = 11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015, Proceedings /
by:
(Language materials, printed)
Computer Safety, Reliability, and Security = 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings /
by:
(Language materials, printed)
Formal Techniques for Safety-Critical Systems = Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers /
by:
(Language materials, printed)
Fundamentals of Software Engineering = 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers /
by:
(Language materials, printed)
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 /
by:
(Language materials, printed)
Formal Methods for Industrial Critical Systems = 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings /
by:
(Language materials, printed)
Software Technologies = 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers /
by:
(Language materials, printed)
Programmierung von verteilten Systemen und Webanwendungen mit Java EE = Erste Schritte in der Java Enterprise Edition /
by:
(Language materials, printed)
Introduction to Programming with Fortran = With Coverage of Fortran 90, 95, 2003, 2008 and 77 /
by:
(Language materials, printed)
Grundkurs JAVA = Von den Grundlagen bis zu Datenbank- und Netzanwendungen /
by:
(Language materials, printed)
C++20 Quick Syntax Reference = A Pocket Guide to the Language, APIs, and Library /
by:
(Language materials, printed)
Rust for the IoT = Building Internet of Things Apps with Rust and Raspberry Pi /
by:
(Language materials, printed)
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 /
by:
(Language materials, printed)
Agile Artificial Intelligence in Pharo = Implementing Neural Networks, Genetic Algorithms, and Neuroevolution /
by:
(Language materials, printed)
Modern Data Mining Algorithms in C++ and CUDA C = Recent Developments in Feature Extraction and Selection Algorithms for Data Science /
by:
(Language materials, printed)
Functional and Logic Programming = 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings /
by:
(Language materials, printed)
Advanced Python Development = Using Powerful Language Features in Real-World Applications /
by:
(Language materials, printed)
The Definitive Guide to Masonite = Building Web Applications with Python /
by:
(Language materials, printed)
Modern Programming Made Easy = Using Java, Scala, Groovy, and JavaScript /
by:
(Language materials, printed)
Modern C++ for Absolute Beginners = A Friendly Introduction to C++ Programming Language and C++11 to C++20 Standards /
by:
(Language materials, printed)
Dynamic Logic. New Trends and Applications = Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019, Proceedings /
by:
(Language materials, printed)
Pivotal Certified Professional Core Spring 5 Developer Exam = A Study Guide Using Spring Framework 5 /
by:
(Language materials, printed)
C# 8 Quick Syntax Reference = A Pocket Guide to the Language, APIs, and Library /
by:
(Language materials, printed)
Advanced R 4 Data Programming and the Cloud = Using PostgreSQL, AWS, and Shiny /
by:
(Language materials, printed)
Trends in Functional Programming = 20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12–14, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Practical MATLAB Modeling with Simulink = Programming and Simulating Ordinary and Partial Differential Equations /
by:
(Language materials, printed)
Quick Start Guide to Dart Programming = Create High-Performance Applications for the Web and Mobile /
by:
(Language materials, printed)
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 /
by:
(Language materials, printed)
Practical Rust Projects = Building Game, Physical Computing, and Machine Learning Applications /
by:
(Language materials, printed)
Einstieg in Java und OOP = Grundelemente, Objektorientierung, Design-Patterns und Aspektorientierung /
by:
(Language materials, printed)
Getting Started with Visual Studio 2019 = Learning and Implementing New Features /
by:
(Language materials, printed)
Python lernen in abgeschlossenen Lerneinheiten = Programmieren für Einsteiger mit vielen Beispielen /
by:
(Language materials, printed)
Getting Structured Data from the Internet = Running Web Crawlers/Scrapers on a Big Data Production Scale /
by:
(Language materials, printed)
Raku Fundamentals = A Primer with Examples, Projects, and Case Studies /
by:
(Language materials, printed)
Automated Reasoning = 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I /
by:
(Language materials, printed)
Spring Boot Persistence Best Practices = Optimize Java Persistence Performance in Spring Boot Applications /
by:
(Language materials, printed)
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 /
by:
(Language materials, printed)
Practical Numerical C Programming = Finance, Engineering, and Physics Applications /
by:
(Language materials, printed)
Automated Reasoning = 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II /
by:
(Language materials, printed)
Hands-on Booting = Learn the Boot Process of Linux, Windows, and Unix /
by:
(Language materials, printed)
Practical R 4 = Applying R to Data Manipulation, Processing and Integration /
by:
(Language materials, printed)
Python lernen in abgeschlossenen Lerneinheiten = Programmieren für Einsteiger mit vielen Beispielen /
by:
(Language materials, printed)
Introducing Jakarta EE CDI = Contexts and Dependency Injection for Enterprise Java Development /
by:
(Language materials, printed)
Programming Smalltalk – Object-Orientation from the Beginning = An introduction to the principles of programming /
by:
(Language materials, printed)
Web Development with Go = Building Scalable Web Apps and RESTful Services /
by:
(Language materials, printed)
Model-Integrating Software Components = Engineering Flexible Software Systems /
by:
(Language materials, printed)
Trends in Functional Programming = 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers /
by:
(Language materials, printed)
Software, Services, and Systems = Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering /
by:
(Language materials, printed)
Formal Methods and Software Engineering = 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings /
by:
(Language materials, printed)
Euro-Par 2015: Parallel Processing = 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings /
by:
(Language materials, printed)
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 /
by:
(Language materials, printed)
Static Analysis = 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings /
by:
(Language materials, printed)
Software Engineering and Formal Methods = SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers /
by:
(Language materials, printed)
Tools and Algorithms for the Construction and Analysis of Systems = 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings /
by:
(Language materials, printed)
Modelling Foundations and Applications = 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedings /
by:
(Language materials, printed)
Logic for Programming, Artificial Intelligence, and Reasoning = 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings /
by:
(Language materials, printed)
Tests and Proofs = 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings /
by:
(Language materials, printed)
Algorithms - ESA 2015 = 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings /
by:
(Language materials, printed)
Logic, Rewriting, and Concurrency = Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday /
by:
(Language materials, printed)
Programming Languages = 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings /
by:
(Language materials, printed)
Testing Software and Systems = 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings /
by:
(Language materials, printed)
Runtime Verification = 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings /
by:
(Language materials, printed)
Fundamental Approaches to Software Engineering = 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings /
by:
(Language materials, printed)
Unifying Theories of Programming = 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers /
by:
(Language materials, printed)
Formal Aspects of Component Software = 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers /
by:
(Language materials, printed)
Perspectives of System Informatics = 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers /
by:
(Language materials, printed)
Formal Methods: Foundations and Applications = 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings /
by:
(Language materials, printed)
Mathematics of Program Construction = 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings /
by:
(Language materials, printed)
Foundations of Software Science and Computation Structures = 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings /
by:
(Language materials, printed)
Languages and Compilers for Parallel Computing = 27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised Selected Papers /
by:
(Language materials, printed)
Application and Theory of Petri Nets and Concurrency = 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings /
by:
(Language materials, printed)
Software Engineering for Resilient Systems = 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings /
by:
(Language materials, printed)
Central European Functional Programming School = 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers /
by:
(Language materials, printed)
Languages, Applications and Technologies = 4th International Symposium, SLATE 2015, Madrid, Spain, June 18-19, 2015, Revised Selected Papers /
by:
(Language materials, printed)
A List of Successes That Can Change the World = Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday /
by:
(Language materials, printed)
Software Engineering and Formal Methods = 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings /
by:
(Language materials, printed)
Trends in Functional Programming = 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers /
by:
(Language materials, printed)
Model Checking Software = 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings /
by:
(Language materials, printed)
Software Reading Techniques = Twenty Techniques for More Effective Software Review and Inspection /
by:
(Language materials, printed)
Scala: From a Functional Programming Perspective = An Introduction to the Programming Language /
by:
(Language materials, printed)
Lumen Programming Guide = Writing PHP Microservices, REST and Web Service APIs /
by:
(Language materials, printed)
Interactive Object Oriented Programming in Java = Learn and Test Your Skills /
by:
(Language materials, printed)
Abstract State Machines, Alloy, B, TLA, VDM, and Z = 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings /
by:
(Language materials, printed)
Integrated Formal Methods = 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings /
by:
(Language materials, printed)
Learn Electronics with Raspberry Pi = Physical Computing with Circuits, Sensors, Outputs, and Projects /
by:
(Language materials, printed)
Hardware and Software: Verification and Testing = 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings /
by:
(Language materials, printed)
Learn PHP 7 = Object Oriented Modular Programming using HTML5, CSS3, JavaScript, XML, JSON, and MySQL /
by:
(Language materials, printed)
Practical Aspects of Declarative Languages = 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings /
by:
(Language materials, printed)
An Introduction to Statistics with Python = With Applications in the Life Sciences /
by:
(Language materials, printed)
Numeric Computation and Statistical Data Analysis on the Java Platform
by:
(Language materials, printed)
Formal Techniques for Safety-Critical Systems = 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers /
by:
(Language materials, printed)
Languages and Compilers for Parallel Computing = 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers /
by:
(Language materials, printed)
NASA Formal Methods = 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings /
by:
(Language materials, printed)
Tests and Proofs = 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings /
by:
(Language materials, printed)
Advances in Data Mining. Applications and Theoretical Aspects = 16th Industrial Conference, ICDM 2016, New York, NY, USA, July 13-17, 2016. Proceedings /
by:
(Language materials, printed)
Computer Safety, Reliability, and Security = 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings /
by:
(Language materials, printed)
Automated Technology for Verification and Analysis = 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings /
by:
(Language materials, printed)
System Analysis and Modeling. Technology-Specific Aspects of Models = 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings /
by:
(Language materials, printed)
Information and Communication Technologies in Education, Research, and Industrial Applications = 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers /
by:
(Language materials, printed)
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 /
by:
(Language materials, printed)
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 /
by:
(Language materials, printed)
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 /
by:
(Language materials, printed)
OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments = Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 – 4, 2016, Revised Selected Papers /
by:
(Language materials, printed)
Formal Methods: Foundations and Applications = 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings /
by:
(Language materials, printed)
Theoretical Aspects of Computing – ICTAC 2016 = 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings /
by:
(Language materials, printed)
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 /
by:
(Language materials, printed)
Formal Aspects of Component Software = 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Formal Methods and Software Engineering = 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings /
by:
(Language materials, printed)
Data Science Using Oracle Data Miner and Oracle R Enterprise = Transform Your Business Systems into an Analytical Powerhouse /
by:
(Language materials, printed)
Verified Software. Theories, Tools, and Experiments = 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers /
by:
(Language materials, printed)
Programming Languages = 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings /
by:
(Language materials, printed)
Structured Object-Oriented Formal Language and Method = 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers /
by:
(Language materials, printed)
Software Engineering for Resilient Systems = 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings /
by:
(Language materials, printed)
Semantics, Logics, and Calculi = Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays /
by:
(Language materials, printed)
Building Arduino Projects for the Internet of Things = Experiments with Real-World Applications /
by:
(Language materials, printed)
Einführung in C = Praktisches Lern- und Arbeitsbuch für Programmieranfänger /
by:
(Language materials, printed)
Software Reuse: Bridging with Social-Awareness = 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings /
by:
(Language materials, printed)
Programming Languages and Systems = 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings /
by:
(Language materials, printed)
Moving to Responsive Web Design = Bring existing static sites into today's multi-device world with responsive web design /
by:
(Language materials, printed)
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications = 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II /
by:
(Language materials, printed)
Automated Reasoning = 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings /
by:
(Language materials, printed)
Theory and Practice of Formal Methods = Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday /
by:
(Language materials, printed)
PRIMA 2016: Principles and Practice of Multi-Agent Systems = 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings /
by:
(Language materials, printed)
Source Code Analytics With Roslyn and JavaScript Data Visualization
by:
(Language materials, printed)
Text Analytics with Python = A Practical Real-World Approach to Gaining Actionable Insights from your Data /
by:
(Language materials, printed)
MVVM in Delphi = Architecting and Building Model View ViewModel Applications /
by:
(Language materials, printed)
Automated Trading with R = Quantitative Research and Platform Development /
by:
(Language materials, printed)
PHP Persistence = Concepts, Techniques and Practical Solutions with Doctrine /
by:
(Language materials, printed)
Math Mutation Classics = Exploring Interesting, Fun and Weird Corners of Mathematics /
by:
(Language materials, printed)
Microservices From Day One = Build robust and scalable software from the start /
by:
(Language materials, printed)
Windows 10 Development Recipes = A Problem-Solution Approach in HTML and JavaScript /
by:
(Language materials, printed)
Programmierparadigmen = Eine Einführung auf der Grundlage von Racket /
by:
(Language materials, printed)
Beginning KeystoneJS = A practical introduction to KeystoneJS using a real-world project /
by:
(Language materials, printed)
Grundkurs Programmieren mit Delphi = Systematisch programmieren lernen für Einsteiger /
by:
(Language materials, printed)
Modern Programming Made Easy = Using Java, Scala, Groovy, and JavaScript /
by:
(Language materials, printed)
Options and Derivatives Programming in C++ = Algorithms and Programming Techniques for the Financial Industry /
by:
(Language materials, printed)
Search Based Software Engineering = 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings /
by:
(Language materials, printed)
Tools and Algorithms for the Construction and Analysis of Systems = 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings /
by:
(Language materials, printed)
Deductive Software Verification – The KeY Book = From Theory to Practice /
by:
(Language materials, printed)
Intelligent Computer Mathematics = 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings /
by:
(Language materials, printed)
OpenMP: Memory, Devices, and Tasks = 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings /
by:
(Language materials, printed)
Engineering Trustworthy Software Systems = First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures /
by:
(Language materials, printed)
Static Analysis = 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings /
by:
(Language materials, printed)
Reversible Computation = 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings /
by:
(Language materials, printed)
Reliable Software Technologies – Ada-Europe 2016 = 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings /
by:
(Language materials, printed)
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 /
by:
(Language materials, printed)
C++-Metaprogrammierung = Eine Einführung in die Präprozessor- und Template-Metaprogrammierung /
by:
(Language materials, printed)
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 /
by:
(Language materials, printed)
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 /
by:
(Language materials, printed)
Verification, Model Checking, and Abstract Interpretation = 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings /
by:
(Language materials, printed)
Verified Software: Theories, Tools, and Experiments = 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers /
by:
(Language materials, printed)
Applied OpenStack Design Patterns = Design solutions for production-ready infrastructure with OpenStack components /
by:
(Language materials, printed)
Formal Methods: Foundations and Applications = 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings /
by:
(Language materials, printed)
Functional and Logic Programming = 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings /
by:
(Language materials, printed)
Software Architecture = 10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28 -- December 2, 2016, Proceedings /
by:
(Language materials, printed)
Oracle Certified Professional Java SE 8 Programmer Exam 1Z0-809: A Comprehensive OCPJP 8 Certification Guide = A Comprehensive OCPJP 8 Certification Guide /
by:
(Language materials, printed)
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques = 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I /
by:
(Language materials, printed)
Modelling Foundations and Applications = 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings /
by:
(Language materials, printed)
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 /
by:
(Language materials, printed)
Funktionale Programmierung und Metaprogrammierung = Interaktiv in Common Lisp /
by:
(Language materials, printed)
Runtime Verification = 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings /
by:
(Language materials, printed)
Testing Software and Systems = 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings /
by:
(Language materials, printed)
Grundkurs JAVA = Von den Grundlagen bis zu Datenbank- und Netzanwendungen /
by:
(Language materials, printed)
Software Technologies = 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers /
by:
(Language materials, printed)
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 /
by:
(Language materials, printed)
Euro-Par 2016: Parallel Processing = 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings /
by:
(Language materials, printed)
Verified Software. Theories, Tools, and Experiments = 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Python Descriptors = Understanding and Using the Descriptor Protocol /
by:
(Language materials, printed)
Product-Focused Software Process Improvement = 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28–30, 2018, Proceedings /
by:
(Language materials, printed)
API Development = A Practical Guide for Business Implementation Success /
by:
(Language materials, printed)
Practical Video Game Bots = Automating Game Processes using C++, Python, and AutoIt /
by:
(Language materials, printed)
Java for Absolute Beginners = Learn to Program the Fundamentals the Java 9+ Way /
by:
(Language materials, printed)
C# 7 Quick Syntax Reference = A Pocket Guide to the Language, APIs, and Library /
by:
(Language materials, printed)
Ethereum for Architects and Developers = With Case Studies and Code Samples in Solidity /
by:
(Language materials, printed)
Deep Belief Nets in C++ and CUDA C: Volume 2 = Autoencoding in the Complex Domain /
by:
(Language materials, printed)
Service-Oriented Computing – ICSOC 2017 Workshops = ASOCA, ISyCC, WESOACS, and Satellite Events, Málaga, Spain, November 13–16, 2017, Revised Selected Papers /
by:
(Language materials, printed)
High Performance Computing = ISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Pro .NET Memory Management = For Better Code, Performance, and Scalability /
by:
(Language materials, printed)
Eclipse TEA Revealed = Building Plug-ins and Creating Extensions for Eclipse /
by:
(Language materials, printed)
Principles of Package Design = Creating Reusable Software Components /
by:
(Language materials, printed)
Personal Finance with Python = Using pandas, Requests, and Recurrent /
by:
(Language materials, printed)
Software Engineering and Formal Methods = 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings /
by:
(Language materials, printed)
Good Habits for Great Coding = Improving Programming Skills with Examples in Python /
by:
(Language materials, printed)
Automated Technology for Verification and Analysis = 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings /
by:
(Language materials, printed)
Pro DevOps with Google Cloud Platform = With Docker, Jenkins, and Kubernetes /
by:
(Language materials, printed)
Testing Software and Systems = 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings /
by:
(Language materials, printed)
Build Mobile Apps with Ionic 4 and Firebase = Hybrid Mobile App Development /
by:
(Language materials, printed)
Regex Quick Syntax Reference = Understanding and Using Regular Expressions /
by:
(Language materials, printed)
Formal Methods = 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings /
by:
(Language materials, printed)
Learn to Program with Python 3 = A Step-by-Step Guide to Programming /
by:
(Language materials, printed)
Topics in Parallel and Distributed Computing = Enhancing the Undergraduate Curriculum: Performance, Concurrency, and Programming on Modern Platforms /
by:
(Language materials, printed)
Programming Languages and Systems = 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings /
by:
(Language materials, printed)
NASA Formal Methods = 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings /
by:
(Language materials, printed)
Logic-Based Program Synthesis and Transformation = 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Rewriting Logic and Its Applications = 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings /
by:
(Language materials, printed)
Principled Software Development = Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday /
by:
(Language materials, printed)
Integrated Formal Methods = 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings /
by:
(Language materials, printed)
Practical Java Machine Learning = Projects with Google Cloud Platform and Amazon Web Services /
by:
(Language materials, printed)
Developing Turn-Based Multiplayer Games = with GameMaker Studio 2 and NodeJS /
by:
(Language materials, printed)
Practical PHP 7, MySQL 8, and MariaDB Website Databases = A Simplified Approach to Developing Database-Driven Websites /
by:
(Language materials, printed)
Stylish F# = Crafting Elegant Functional Code for .NET and .NET Core /
by:
(Language materials, printed)
Complete Guide to Test Automation = Techniques, Practices, and Patterns for Building and Maintaining Effective Software Projects /
by:
(Language materials, printed)
Formal Methods: Foundations and Applications = 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings /
by:
(Language materials, printed)
Abstract State Machines, Alloy, B, TLA, VDM, and Z = 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings /
by:
(Language materials, printed)
Rules and Reasoning = Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings /
by:
(Language materials, printed)
Leveraging Applications of Formal Methods, Verification and Validation. Modeling = 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I /
by:
(Language materials, printed)
Leveraging Applications of Formal Methods, Verification and Validation. Verification = 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II /
by:
(Language materials, printed)
Symposium on Real-Time and Hybrid Systems = Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday /
by:
(Language materials, printed)
Practical Quantum Computing for Developers = Programming Quantum Rigs in the Cloud using Python, Quantum Assembly Language and IBM QExperience /
by:
(Language materials, printed)
Static Analysis = 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings /
by:
(Language materials, printed)
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 /
by:
(Language materials, printed)
New Opportunities for Software Reuse = 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings /
by:
(Language materials, printed)
Principles of Modeling = Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday /
by:
(Language materials, printed)
Mathematical Software – ICMS 2018 = 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings /
by:
(Language materials, printed)
Provenance and Annotation of Data and Processes = 7th International Provenance and Annotation Workshop, IPAW 2018, London, UK, July 9-10, 2018, Proceedings /
by:
(Language materials, printed)
Visual Design of GraphQL Data = A Practical Introduction with Legacy Data and Neo4j /
by:
(Language materials, printed)
Learn Android Studio 3 with Kotlin = Efficient Android App Development /
by:
(Language materials, printed)
Theoretical Aspects of Computing – ICTAC 2018 = 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings /
by:
(Language materials, printed)
Engineering Trustworthy Software Systems = Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures /
by:
(Language materials, printed)
Programming with Actors = State-of-the-Art and Research Perspectives /
by:
(Language materials, printed)
Formal Aspects of Component Software = 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings /
by:
(Language materials, printed)
Scalable Uncertainty Management = 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings /
by:
(Language materials, printed)
Security Standardisation Research = 4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings /
by:
(Language materials, printed)
Java üben mit dem Plotter = Ein Überblick für Studierende und Einsteiger /
by:
(Language materials, printed)
Logical Foundations of Computer Science = International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings /
by:
(Language materials, printed)
Reversible Computation = 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings /
by:
(Language materials, printed)
Relational and Algebraic Methods in Computer Science = 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings /
by:
(Language materials, printed)
Runtime Verification = 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings /
by:
(Language materials, printed)
Tools and Methods of Program Analysis = 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Practical Aspects of Declarative Languages = 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings /
by:
(Language materials, printed)
Euro-Par 2018: Parallel Processing = 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings /
by:
(Language materials, printed)
Dependable Software Engineering. Theories, Tools, and Applications = 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings /
by:
(Language materials, printed)
Verification, Model Checking, and Abstract Interpretation = 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings /
by:
(Language materials, printed)
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice = 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV /
by:
(Language materials, printed)
Formal Methods for Industrial Critical Systems = 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings /
by:
(Language materials, printed)
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems = 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III /
by:
(Language materials, printed)
Modern X86 Assembly Language Programming = Covers x86 64-bit, AVX, AVX2, and AVX-512 /
by:
(Language materials, printed)
Model and Data Engineering = 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedings /
by:
(Language materials, printed)
Model-Driven Engineering and Software Development = 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Intelligent Computer Mathematics = 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings /
by:
(Language materials, printed)
Software Technologies: Applications and Foundations = STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Inductive Logic Programming = 28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedings /
by:
(Language materials, printed)
Learn Rails 5.2 = Accelerated Web Development with Ruby on Rails /
by:
(Language materials, printed)
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 /
by:
(Language materials, printed)
Practical Android = 14 Complete Projects on Advanced Techniques and Approaches /
by:
(Language materials, printed)
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 /
by:
(Language materials, printed)
Make Your Own Python Text Adventure = A Guide to Learning Programming /
by:
(Language materials, printed)
Deep Belief Nets in C++ and CUDA C: Volume 1 = Restricted Boltzmann Machines and Supervised Feedforward Networks /
by:
(Language materials, printed)
Design Patterns in Modern C++ = Reusable Approaches for Object-Oriented Software Design /
by:
(Language materials, printed)
Trends in Functional Programming = 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Beginning Xamarin Development for the Mac = Create iOS, watchOS, and Apple tvOS apps with Xamarin.iOS and Visual Studio for Mac /
by:
(Language materials, printed)
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 /
by:
(Language materials, printed)
Programmierung mit PASCAL = Eine Einführung für Programmieranfänger /
by:
(Language materials, printed)
DevOps for Azure Applications = Deploy Web Applications on Azure /
by:
(Language materials, printed)
On the Move to Meaningful Internet Systems. OTM 2017 Workshops = Confederated International Workshops, EI2N, FBM, ICSP, Meta4eS, OTMA 2017 and ODBASE Posters 2017, Rhodes, Greece, October 23–28, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Functional and Logic Programming = 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings /
by:
(Language materials, printed)
Practical Scala DSLs = Real-World Applications Using Domain Specific Languages /
by:
(Language materials, printed)
C++ mit Visual Studio 2017 und Windows Forms-Anwendungen = Ein Fach- und Lehrbuch für Standard C++ und Windows Forms-Anwendungen /
by:
(Language materials, printed)
It's All About Coordination = Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab /
by:
(Language materials, printed)
Programmieren lernen mit Computergrafik = Eine Einführung mit Java und Processing /
by:
(Language materials, printed)
Beginning EJB in Java EE 8 = Building Applications with Enterprise JavaBeans /
by:
(Language materials, printed)
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 /
by:
(Language materials, printed)
Nichtsequentielle und Verteilte Programmierung mit Go = Synchronisation nebenläufiger Prozesse: Kommunikation – Kooperation – Konkurrenz /
by:
(Language materials, printed)
Practical JSF in Java EE 8 = Web Applications in Java for the Enterprise /
by:
(Language materials, printed)
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 /
by:
(Language materials, printed)
Speech and Language Processing for Human-Machine Communications = Proceedings of CSI 2015 /
by:
(Language materials, printed)
Grundkurs JAVA = Von den Grundlagen bis zu Datenbank- und Netzanwendungen /
by:
(Language materials, printed)
Theory and Applications of Formal Argumentation = 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised Selected Papers /
by:
(Language materials, printed)
A Beginner's Guide to Scala, Object Orientation and Functional Programming
by:
(Language materials, printed)
Design Patterns in C# = A Hands-on Guide with Real-World Examples /
by:
(Language materials, printed)
Model Checking Software = 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings /
by:
(Language materials, printed)
Modelling Foundations and Applications = 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings /
by:
(Language materials, printed)
Graph Transformation = 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings /
by:
(Language materials, printed)
Pro JPA 2 in Java EE 8 = An In-Depth Guide to Java Persistence APIs /
by:
(Language materials, printed)
Domain-Specific Languages in R = Advanced Statistical Programming /
by:
(Language materials, printed)
Tests and Proofs = 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings /
by:
(Language materials, printed)
Beginning PostgreSQL on the Cloud = Simplifying Database as a Service on Cloud Platforms /
by:
(Language materials, printed)
Logic, Language, Information, and Computation = 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings /
by:
(Language materials, printed)
Programmierung in Python = Ein kompakter Einstieg für die Praxis /
by:
(Language materials, printed)
Objektorientierte Programmierung mit JavaScript = Direktstart für Einsteiger /
by:
(Language materials, printed)
Introduction to Python for Engineers and Scientists = Open Source Solutions for Numerical Computation /
by:
(Language materials, printed)
C++ mit Visual Studio 2017 = Ein Fach- und Lehrbuch für Standard-C++ /
by:
(Language materials, printed)
Software Technologies: Applications and Foundations = STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Perspectives of System Informatics = 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Requirements Engineering: Foundation for Software Quality = 24th International Working Conference, REFSQ 2018, Utrecht, The Netherlands, March 19-22, 2018, Proceedings /
by:
(Language materials, printed)
Inductive Logic Programming = 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Theory and Practice of Model Transformation = 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings /
by:
(Language materials, printed)
Evaluation of Novel Approaches to Software Engineering = 12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Software Technologies = 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Data Mining Algorithms in C++ = Data Patterns and Algorithms for Modern Applications /
by:
(Language materials, printed)
Graph Transformation, Specifications, and Nets = In Memory of Hartmut Ehrig /
by:
(Language materials, printed)
Grundkurs Software-Engineering mit UML = Der pragmatische Weg zu erfolgreichen Softwareprojekten /
by:
(Language materials, printed)
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 /
by:
(Language materials, printed)
Deep Belief Nets in C++ and CUDA C: Volume 3 = Convolutional Nets /
by:
(Language materials, printed)
Bad Programming Practices 101 = Become a Better Coder by Learning How (Not) to Program /
by:
(Language materials, printed)
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 /
by:
(Language materials, printed)
C++17 Quick Syntax Reference = A Pocket Guide to the Language, APIs and Library /
by:
(Language materials, printed)
Customizing Dynamics 365 = Implementing and Releasing Business Solutions /
by:
(Language materials, printed)
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 /
by:
(Language materials, printed)
R Data Science Quick Reference = A Pocket Guide to APIs, Libraries, and Packages /
by:
(Language materials, printed)
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 /
by:
(Language materials, printed)
R3 Corda for Architects and Developers = With Case Studies in Finance, Insurance, Healthcare, Travel, Telecom, and Agriculture /
by:
(Language materials, printed)
Formal Methods – The Next 30 Years = Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings /
by:
(Language materials, printed)
Scala Programming for Big Data Analytics = Get Started With Big Data Analytics Using Apache Spark /
by:
(Language materials, printed)
From Software Engineering to Formal Methods and Tools, and Back = Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday /
by:
(Language materials, printed)
Practical Microservices Architectural Patterns = Event-Based Java Microservices with Spring Boot and Spring Cloud /
by:
(Language materials, printed)
Models, Mindsets, Meta: The What, the How, and the Why Not? = Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday /
by:
(Language materials, printed)
Multi-Agent Systems = 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Masterkurs Client/Server-Programmierung mit Java = Anwendungen entwickeln mit Standard-Technologien /
by:
(Language materials, printed)
Languages and Compilers for Parallel Computing = 31st International Workshop, LCPC 2018, Salt Lake City, UT, USA, October 9–11, 2018, Revised Selected Papers /
by:
(Language materials, printed)
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 /
by:
(Language materials, printed)
C/C++ anwenden = Technisch-wissenschaftliche Übungsaufgaben mit Lösungen /
by:
(Language materials, printed)
Logics in Artificial Intelligence = 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings /
by:
(Language materials, printed)
Beginning Jakarta EE = Enterprise Edition for Java: From Novice to Professional /
by:
(Language materials, printed)
Game Development with GameMaker Studio 2 = Make Your Own Games with GameMaker Language /
by:
(Language materials, printed)
Exploring the .NET Core 3.0 Runtime = Through Code Generation and Metadata Inspection /
by:
(Language materials, printed)
Introducing Markdown and Pandoc = Using Markup Language and Document Converter /
by:
(Language materials, printed)
Perl 6 Quick Syntax Reference = A Pocket Guide to the Language, the Core Modules, and the Community /
by:
(Language materials, printed)
Pro CDI 2 in Java EE 8 = An In-Depth Guide to Context and Dependency Injection /
by:
(Language materials, printed)
Nichtsequentielle und Verteilte Programmierung mit Go = Synchronisation nebenläufiger Prozesse: Kommunikation – Kooperation – Konkurrenz /
by:
(Language materials, printed)
Static Analysis = 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings /
by:
(Language materials, printed)
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 /
by:
(Language materials, printed)
Accelerator Programming Using Directives = 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings /
by:
(Language materials, printed)
Models, Languages, and Tools for Concurrent and Distributed Programming = Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday /
by:
(Language materials, printed)
Programming Languages and Systems = 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings /
by:
(Language materials, printed)
Computer Music Instruments II = Realtime and Object-Oriented Audio /
by:
(Language materials, printed)
Product-Focused Software Process Improvement = 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings /
by:
(Language materials, printed)
Integrated Formal Methods = 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings /
by:
(Language materials, printed)
Search-Based Software Engineering = 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings /
by:
(Language materials, printed)
Central European Functional Programming School = 6th Summer School, CEFP 2015, Budapest, Hungary, July 6–10, 2015, Revised Selected Papers /
by:
(Language materials, printed)
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 /
by:
(Language materials, printed)
Software Engineering and Formal Methods = 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings /
by:
(Language materials, printed)
System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 = 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings /
by:
(Language materials, printed)
Data Structures and Algorithms with Scala = A Practitioner's Approach with Emphasis on Functional Programming /
by:
(Language materials, printed)
Agreement Technologies = 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Formal Methods for Industrial Critical Systems = 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings /
by:
(Language materials, printed)
Computer Aided Verification = 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I /
by:
(Language materials, printed)
Learn RStudio IDE = Quick, Effective, and Productive Data Science /
by:
(Language materials, printed)
Beginning x64 Assembly Programming = From Novice to AVX Professional /
by:
(Language materials, printed)
Requirements Engineering: Foundation for Software Quality = 25th International Working Conference, REFSQ 2019, Essen, Germany, March 18–21, 2019, Proceedings /
by:
(Language materials, printed)
Runtime Verification = 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings /
by:
(Language materials, printed)
Pro .NET Framework with the Base Class Library = Understanding the Virtual Execution System and the Common Type System /
by:
(Language materials, printed)
Visual Studio Code Distilled = Evolved Code Editing for Windows, macOS, and Linux /
by:
(Language materials, printed)
Java Design Patterns = A Hands-On Experience with Real-World Examples /
by:
(Language materials, printed)
Reactive Streams in Java = Concurrency with RxJava, Reactor, and Akka Streams /
by:
(Language materials, printed)
Advanced R Statistical Programming and Data Models = Analysis, Machine Learning, and Visualization /
by:
(Language materials, printed)
Let’s Build a Multiplayer Phaser Game = With TypeScript, Socket.IO, and Phaser /
by:
(Language materials, printed)
Building Telegram Bots = Develop Bots in 12 Programming Languages using the Telegram Bot API /
by:
(Language materials, printed)
R Quick Syntax Reference = A Pocket Guide to the Language, APIs and Library /
by:
(Language materials, printed)
Expert Twisted = Event-Driven and Asynchronous Programming with Python /
by:
(Language materials, printed)
OpenMP: Conquering the Full Hardware Spectrum = 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings /
by:
(Language materials, printed)
Building Xamarin.Forms Mobile Apps Using XAML = Mobile Cross-Platform XAML and Xamarin.Forms Fundamentals /
by:
(Language materials, printed)
Transactions on High-Performance Embedded Architectures and Compilers V
by:
(Language materials, printed)
JavaScript Frameworks for Modern Web Development = The Essential Frameworks, Libraries, and Tools to Learn Right Now /
by:
(Language materials, printed)
Practical Machine Learning and Image Processing = For Facial Recognition, Object Detection, and Pattern Recognition Using Python /
by:
(Language materials, printed)
Beginning iPhone Development with Swift 5 = Exploring the iOS SDK /
by:
(Language materials, printed)
Practical Domain-Driven Design in Enterprise Java = Using Jakarta EE, Eclipse MicroProfile, Spring Boot, and the Axon Framework /
by:
(Language materials, printed)
The Python Workbook = A Brief Introduction with Exercises and Solutions /
by:
(Language materials, printed)
Practical Aspects of Declarative Languages = 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings /
by:
(Language materials, printed)
NASA Formal Methods = 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings /
by:
(Language materials, printed)
Pro MERN Stack = Full Stack Web App Development with Mongo, Express, React, and Node /
by:
(Language materials, printed)
Quality of Information and Communications Technology = 12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11–13, 2019, Proceedings /
by:
(Language materials, printed)
Symbolic and Quantitative Approaches to Reasoning with Uncertainty = 15th European Conference, ECSQARU 2019, Belgrade, Serbia, September 18-20, 2019, Proceedings /
by:
(Language materials, printed)
Integration of Constraint Programming, Artificial Intelligence, and Operations Research = 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019, Proceedings /
by:
(Language materials, printed)
Modern C Quick Syntax Reference = A Pocket Guide to the Language, APIs, and Library /
by:
(Language materials, printed)
Learn Kotlin for Android Development = The Next Generation Language for Modern Android Apps Programming /
by:
(Language materials, printed)
CSS3 Quick Syntax Reference = A Pocket Guide to the Cascading Style Sheets Language /
by:
(Language materials, printed)
Machine Learning Using R = With Time Series and Industry-Based Use Cases in R /
by:
(Language materials, printed)
Beginning Programming Using Retro Computing = Learn BASIC with a Commodore Emulator /
by:
(Language materials, printed)
Building Chatbots with Python = Using Natural Language Processing and Machine Learning /
by:
(Language materials, printed)
Exploring Advanced Features in C# = Enhance Your Code and Productivity /
by:
(Language materials, printed)
Supercomputing = 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24–25, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Introducing Vala Programming = A Language and Techniques to Boost Productivity /
by:
(Language materials, printed)
High Performance Computing for Computational Science – VECPAR 2018 = 13th International Conference, São Pedro, Brazil, September 17-19, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Trends in Functional Programming = 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers /
by:
(Language materials, printed)
Logic-Based Program Synthesis and Transformation = 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Trends in Functional Programming = 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers /
by:
(Language materials, printed)
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 /
by:
(Language materials, printed)
Creating Business Applications with Office 365 = Techniques in SharePoint, PowerApps, Power BI, and More /
by:
(Language materials, printed)
Haskell Quick Syntax Reference = A Pocket Guide to the Language, APIs, and Library /
by:
(Language materials, printed)
Julia Quick Syntax Reference = A Pocket Guide for Data Science Programming /
by:
(Language materials, printed)
Numerical C = Applied Computational Programming with Case Studies /
by:
(Language materials, printed)
Java lernen in abgeschlossenen Lerneinheiten = Programmieren für Einsteiger mit vielen Beispielen /
by:
(Language materials, printed)
The Definitive Guide to Modern Java Clients with JavaFX = Cross-Platform Mobile and Cloud Development /
by:
(Language materials, printed)
Graph Transformation = 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings /
by:
(Language materials, printed)
Unifying Theories of Programming = 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings /
by:
(Language materials, printed)
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 /
by:
(Language materials, printed)
Functional and Constraint Logic Programming = 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Practical MATLAB = With Modeling, Simulation, and Processing Projects /
by:
(Language materials, printed)
Evaluation of Novel Approaches to Software Engineering = 13th International Conference, ENASE 2018, Funchal, Madeira, Portugal, March 23–24, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Data Analytics and Management in Data Intensive Domains = 20th International Conference, DAMDID/RCDL 2018, Moscow, Russia, October 9–12, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Schnellstart Python = Ein Einstieg ins Programmieren für MINT-Studierende /
by:
(Language materials, printed)
How to Speak Tech = The Non-Techie’s Guide to Key Technology Concepts /
by:
(Language materials, printed)
Beginning Game Development with Amazon Lumberyard = Create 3D Games Using Amazon Lumberyard and Lua /
by:
(Language materials, printed)
Graphical Models for Security = 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers /
by:
(Language materials, printed)
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 /
by:
(Language materials, printed)
Fundamentals of Software Engineering = 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers /
by:
(Language materials, printed)
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 /
by:
(Language materials, printed)
Foundations of Security, Protocols, and Equational Reasoning = Essays Dedicated to Catherine A. Meadows /
by:
(Language materials, printed)
Computing and Software Science = State of the Art and Perspectives /
by:
(Language materials, printed)
Webanwendungen erstellen mit Vue.js = MVVM-Muster für konventionelle und Single-Page-Webseiten /
by:
(Language materials, printed)
Logic, Rationality, and Interaction = 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings /
by:
(Language materials, printed)
Foundations of Libvirt Development = How to Set Up and Maintain a Virtual Machine Environment with Python /
by:
(Language materials, printed)
Introducing Delphi ORM = Object Relational Mapping Using TMS Aurelius /
by:
(Language materials, printed)
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification = Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings /
by:
(Language materials, printed)
Rapid Java Persistence and Microservices = Persistence Made Easy Using Java EE8, JPA and Spring /
by:
(Language materials, printed)
Foundations and Practice of Security = 11th International Symposium, FPS 2018, Montreal, QC, Canada, November 13–15, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Pro TBB = C++ Parallel Programming with Threading Building Blocks /
by:
(Language materials, printed)
Building Scalable PHP Web Applications Using the Cloud = A Simple Guide to Programming and Administering Cloud-Based Applications /
by:
(Language materials, printed)
Reversible Computation = 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings /
by:
(Language materials, printed)
Learn R for Applied Statistics = With Data Visualizations, Regressions, and Statistics /
by:
(Language materials, printed)
C++17 Standard Library Quick Reference = A Pocket Guide to Data Structures, Algorithms, and Functions /
by:
(Language materials, printed)
Android Studio IDE Quick Reference = A Pocket Guide to Android Studio Development /
by:
(Language materials, printed)
Exploring Blazor = Creating Hosted, Server-side, and Client-side Applications with C# /
by:
(Language materials, printed)
Expert T-SQL Window Functions in SQL Server 2019 = The Hidden Secret to Fast Analytic and Reporting Queries /
by:
(Language materials, printed)
Automated Technology for Verification and Analysis = 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings /
by:
(Language materials, printed)
C++ for Lazy Programmers = Quick, Easy, and Fun C++ for Beginners /
by:
(Language materials, printed)
Designing Microservices with Django = An Overview of Tools and Practices /
by:
(Language materials, printed)
Geographical Information Systems Theory, Applications and Management = 4th International Conference, GISTAM 2018, Funchal, Madeira, Portugal, March 17–19, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Languages and Compilers for Parallel Computing = 30th International Workshop, LCPC 2017, College Station, TX, USA, October 11–13, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Formal Techniques for Safety-Critical Systems = 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers /
by:
(Language materials, printed)
End-User Development = 7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10–12, 2019, Proceedings /
by:
(Language materials, printed)
Building REST APIs with Flask = Create Python Web Services with MySQL /
by:
(Language materials, printed)
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 /
by:
(Language materials, printed)
Python Continuous Integration and Delivery = A Concise Guide with Examples /
by:
(Language materials, printed)
Show more
Fewer
Subjects