Filter by
Tools and algorithms for the construction and analysis of systems : 26th Inte…
This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was …
- Edition
- -
- ISBN/ISSN
- 9783030452377
- Collation
- xxiii, 425p. : ill.
- Series Title
- -
- Call Number
- 004.21 TOO t
Programming languages and systems : 29th European Symposium on Programming, E…
This open access book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The papers deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.
- Edition
- -
- ISBN/ISSN
- 9783030449148
- Collation
- xv, 772p. : ill.
- Series Title
- -
- Call Number
- 005.1 PRO p
Fundamental approaches to software Eengineering : 23rd International Conferen…
This open access book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 23 full papers, 1 tool paper and 6 testing competition papers presented in this volume w…
- Edition
- -
- ISBN/ISSN
- 9783030452346
- Collation
- xiii, 552p. : ill.
- Series Title
- -
- Call Number
- 005.1 FUN f
Programming for computations - Python : a gentle introduction to numerical si…
This book presents computer programming as a key method for solving mathematical problems. This second edition of the well-received book has been extensively revised: All code is now written in Python version 3.6 (no longer version 2.7). In addition, the two first chapters of the previous edition have been extended and split up into five new chapters, thus expanding the introduction to programm…
- Edition
- -
- ISBN/ISSN
- 9783030168773
- Collation
- xxiii, 323p. " ill.
- Series Title
- -
- Call Number
- 004.0151 LIN p
TouchDevelop : programming on the go
Mobile devices such as smartphones and tablets are set to become the main computers that virtually all people will own and carry with them at all times. And yet,mobile devices are not yet used for all computing tasks. A project at Microsoft Research was created to answer a simple question: “It is possible to create interesting apps directly on a smartphone or tablet, without using a separate …
- Edition
- -
- ISBN/ISSN
- 9781430261377
- Collation
- xix, 270p. : ill.
- Series Title
- -
- Call Number
- 005.1 HOR t
Android application development for the Intel® platform
The number of Android devices running on Intel processors has increased since Intel and Google announced, in late 2011, that they would be working together to optimize future versions of Android for Intel Atom processors. Today, Intel processors can be found in Android smartphones and tablets made by some of the top manufacturers of Android devices, such as Samsung, Lenovo, and Asus. The inc…
- Edition
- -
- ISBN/ISSN
- 9781484201008
- Collation
- xx, 520p. : ill.
- Series Title
- -
- Call Number
- 005.1 COH a
Embedded Firmware solutions : development best practices for the Internet of …
Embedded Firmware Solutions is the perfect introduction and daily-use field guide--for the thousands of firmware designers, hardware engineers, architects, managers, and developers--to Intel’s new firmware direction (including Quark coverage), showing how to integrate Intel® Architecture designs into their plans. Featuring hands-on examples and exercises using Open Source codebases, like …
- Edition
- -
- ISBN/ISSN
- 9781484200704
- Collation
- xxiii, 224p. : ill.
- Series Title
- -
- Call Number
- 005.3 EMB e
Ray tracing gems : high-quality and real-time rendering with DXR and other APIs
This book is a must-have for anyone serious about rendering in real time. With the announcement of new ray tracing APIs and hardware to support them, developers can easily create real-time applications with ray tracing as a core component. As ray tracing on the GPU becomes faster, it will play a more central role in real-time rendering. Ray Tracing Gems provides key building blocks for develope…
- Edition
- -
- ISBN/ISSN
- 9781484244272
- Collation
- xliv, 607p. : ill.
- Series Title
- -
- Call Number
- 006.6 RAY r
Programming languages and systems
This volume contains the papers presented at the 28th European Symposium on Programming (ESOP 2019) held April 8–11, 2019, in Prague, Czech Republic. ESOP is one of the European Joint Conferences on Theory and Practice of Software (ETAPS). It is devoted to fundamental issues in the specification, design, analysis, and implementation of programming languages and systems. The 28 papers in t…
- Edition
- -
- ISBN/ISSN
- 9783030171841
- Collation
- XV, 816 p.
- Series Title
- -
- Call Number
- 005.1 PRO p
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography