Filter by
Principles of security and trust : 8th International Conference, POST 2019, h…
This volume contains the papers presented a t POST 2019, the 8th Conference on Principles of Security and Trust, held April 11, 2019, in Prague, Czech Republic, as part of ETAPS. Principles of Security and Trust is a broad forum related to all theoretical and foundational aspects of security and trust, and thus welcomes papers of many kinds: new theoretical results, practical applications of ex…
- Edition
- -
- ISBN/ISSN
- 9783030171384
- Collation
- ix, 248p. : ill.
- Series Title
- -
- Call Number
- 005.8 PRI p
Foundations of software science and computation structures : 22nd internation…
This volume contains the papers presented at the 22nd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), which took place in Prague during April 8– 11, 2019 . The conference is dedicated to foundational research with a clear significance for software science. It brings together research on theories and methods to support the analysis, integration…
- Edition
- -
- ISBN/ISSN
- 9783030171278
- Collation
- xv, 542p. : ill.
- Series Title
- -
- Call Number
- 005.1 FOU f
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
Open Source Systems : Towards Robust Practices
This book constitutes the refereed proceedings of the 13th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2017, held in Buenos Aires, Argentina, in May 2017. The 16 revised full papers and 3 short papers presented were carefully reviewed and selected from 32 submissions. The papers cover a wide range of topics related to free, libre, and open source software (FLOSS), incl…
- Edition
- -
- ISBN/ISSN
- 9783319577357
- Collation
- XIV, 220 p.
- Series Title
- -
- Call Number
- 005.3 OPE o
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
Enabling things to talk : designing IoT solutions with the IoT architectural …
The Internet of Things (IoT) is an emerging network superstructure that will connect physical resources and actual users. It will support an ecosystem of smart applications and services bringing hyper-connectivity to our society by using augmented and rich interfaces. Whereas in the beginning IoT referred to the advent of barcodes and Radio Frequency Identification (RFID), which helped to auto…
- Edition
- -
- ISBN/ISSN
- 9783642404030
- Collation
- x, 349p. : ill.
- Series Title
- -
- Call Number
- 004.678 ENA e
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 on x86 : an introduction to optimizing for Intel architecture
Android on x86: an Introduction to Optimizing for Intel® Architecture serves two main purposes. First, it makes the case for adapting your applications onto Intel’s x86 architecture, including discussions of the business potential, the changing landscape of the Android marketplace, and the unique challenges and opportunities that arise from x86 devices. The fundamental idea is that extending…
- Edition
- -
- ISBN/ISSN
- 9781430261315
- Collation
- xxvii, 380p. : ill.
- Series Title
- -
- Call Number
- 004 KRA a
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography