Compilers 27

This volume contains papers presented at UTP 2019, the 7th International Symposium on Unifying Theories of Programming, held in Porto, Portugal, on the 8th of October 2019. This edition of the UTP s……続きを見る

This book constitutes the refereed proceedings of the 13th International Conference on Tests and Proofs, TAP 2019, held as part of the Third World Congress on Formal Methods 2019, Porto, Portugal, i……続きを見る

This book constitutes the refereed proceedings of the Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, Oct……続きを見る

This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, in October 2019. ……続きを見る

Create stunning 3D games in a short amount of time using Amazon Lumberyard, a free and exciting game development platform. This book is a ground-up, out-of-the-box tutorial on 3D game development an……続きを見る

This condensed code and syntax reference book presents the Raku (formerly known as Perl 6) scripting language in a well-organized format designed to be used time and again. It contains an easy-to-re……続きを見る

This book constitutes the refereed proceedings of the 19th International Conference on Runtime Verification, RV 2019, held in Porto, Portugal, in October 2019. The 25 regular papers presented in thi……続きを見る

The papers of this volume focus on the foundational aspects of computer science, the thematic origin and stronghold of LNCS, under the title “Computing and Software Science: State of the Art and Per……続きを見る

This book constitutes the refereed proceedings of the 26th International Symposium on Static Analysis, SAS 2019, held in Porto, Portugal, in October 2019. The 20 regular papers presented in this boo……続きを見る

This volume was published in honor of Stefania Gnesi’s 65th birthday. The Festschrift volume contains 32 papers written by close collaborators and friends of Stefania and was presented to her on Oct……続きを見る

This LNCS book is part of the FOLLI book series and constitutes the proceedings of the 7th International Workshop on Logic, Rationality, and Interaction, LORI 2019, held in Chongqing, China, in Octo……続きを見る

This volume LNCS 11877 constitutes the refereed proceedings of the Confederated International Conferences: Cooperative Information Systems, CoopIS 2019, Ontologies, Databases, and Applications of Se……続きを見る

Become an expert who can use window functions to solve T-SQL query problems. Replace slow cursors and self-joins with queries that are easy to write and perform better. This new edition provides exp……続きを見る

Dieses Buch führt nach einem kurzen Kapitel über grundlegende Aspekte der Softwaretechnik und deren Realisierung in Go in die Nichtsequentielle und Verteilte Programmierung mit Go ein. Es stellt gru……続きを見る

Explore the new Java programming language features and APIs introduced in Java 10 through Java 13. Java 13 Revealed is for experienced Java programmers looking to migrate to Java 13. Author ***Kisho……続きを見る

Steigen Sie mit diesem Buch schnell und unkompliziert in Vue.js ein Dieses Buch bietet einen kompakten und praxisnahen Einstieg in das populäre Vue.js. Nutzen Sie auf Basis von MVC-Entwurfsmustern d……続きを見る

Apply MATLAB programming to the mathematical modeling of real-life problems from a wide range of topics. This pragmatic book shows you how to solve your programming problems, starting with a brief p……続きを見る

Enrich your software design skills and take a guided tour of the wild, vast, and untamed frontier that is JavaScript development. Especially useful for frontend developers, this revision includes sp……続きを見る

Get an introduction into the Vala programming language and learn about its syntax, semantics, and idioms. Do you want to boost your productivity? Are you interested in a programming language that co……続きを見る

Ein leicht verständliches Buch, um einfach und schnell Python zu lernen Sebastian Dörns Buch „Python lernen in abgeschlossenen Lerneinheiten“ bringt Einsteigern anhand in sich abgeschlossener Lernei……続きを見る

Take your Office 365 and SharePoint projects to a higher level by using PowerApps, Flow, Power BI, JavaScript/jQuery jQuery UI widgets, Cascading Style Sheets (CSS), and more. This book will help yo……続きを見る

This book constitutes the refereed proceedings of the 17th International Symposium on Automated Technology for Verification and Analysis, ATVA 2019, held in Taipei, Taiwan in October 2019. The 24 re……続きを見る

This book constitutes the thoroughly refereed post-conference proceedings of the 31st International Workshop on Languages and Compilers for Parallel Computing, LCPC 2018, held in Salt Lake City, UT,……続きを見る

This book constitutes the proceedings of the 17th Asian Symposium on Programming Languages and Systems, APLAS 2019, held in Nusa Dua, Bali, Indonesia, in December 2019. The 22 papers presented in th……続きを見る

This book constitutes the refereed proceedings of the 20th International Conference on Product-Focused Software Process Improvement, PROFES 2019, held in Barcelona, Spain, in November 2019. The 24 r……続きを見る

This book constitutes the refereed proceedings of the 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019. The 25 full papers and 3 short p……続きを見る

This book constitutes the proceedings of the 30th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2017, held in College Station, TX, USA, in October 2017. The 17 full ……続きを見る

There are many good Java programming books on the market, but it's not easy to find one fit for a beginner. This book simplifies the complexity of Java programming and guides you through the journey……続きを見る

Build enhanced visual experiences and design and deploy modern, easy-to-maintain, client applications across a variety of platforms. This book will show you how these applications can take advantage……続きを見る

Employ essential and hands-on tools and functions of the MATLAB and Simulink packages, which are explained and demonstrated via interactive examples and case studies. This book contains dozens of si……続きを見る