Filter by
Certified Programming with Dependent Types: A Pragmatic Introduction to the C…
A handbook to the Coq software for writing and checking mathematical proofs, with a practical engineering focus. The technology of mechanized program verification can play a supporting role in many kinds of research projects in computer science, and related tools for formal proof-checking are seeing increasing adoption in mathematics and engineering. This book provides an introduction to the Co…
- Edition
- -
- ISBN/ISSN
- 9780262026659
- Collation
- -
- Series Title
- -
- Call Number
- -
The Constitution of Algorithms: Ground-Truthing, Programming, Formulating
A laboratory study that investigates how algorithms come into existence. Algorithms—often associated with the terms big data, machine learning, or artificial intelligence—underlie the technologies we use every day, and disputes over the consequences, actual or potential, of new algorithms arise regularly. In this book, Florian Jaton offers a new way to study computerized methods, providi…
- Edition
- -
- ISBN/ISSN
- 9780262363235
- Collation
- -
- Series Title
- -
- Call Number
- 005.1
The State of Open Data: Histories and Horizons
It’s been ten years since open data first broke onto the global stage. Over the past decade, thousands of programmes and projects around the world have worked to open data and use it to address a myriad of social and economic challenges. Meanwhile, issues related to data rights and privacy have moved to the centre of public and political discourse. As the open data movement enters a new phase…
- Edition
- -
- ISBN/ISSN
- 9781552506127
- Collation
- -
- Series Title
- -
- Call Number
- 005.642 STA
Programming Languages and Systems
This open access book constitutes the proceedings of the 27th European Symposium on Programming, ESOP 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018. The 36 papers presented in this volume were carefully reviewed and selected from 114 submissions. The papers are organized in topical s…
- Edition
- -
- ISBN/ISSN
- 9783319898841
- Collation
- -
- Series Title
- -
- Call Number
- -
Mathematical Aspects of Logic Programming Semantics
Covering the authors' own state-of-the-art research results, this book presents a rigorous, modern account of the mathematical methods and tools required for the semantic analysis of logic programs. It significantly extends the tools and methods from traditional order theory to include nonconventional methods from mathematical analysis that depend on topology, domain theory, generalized distanc…
- Edition
- Ed. 1
- ISBN/ISSN
- 1439829624, 9781439829622
- Collation
- -
- Series Title
- -
- Call Number
- -
Sistemi Embedded
The explosion of the market linked to mobile telephony, automation, home automation, infotainment systems and automatic driving, the design of drones and 3D printers have brought to the fore the interest in "embedded" technologies. In recent years there has been a progressive increase in the demand for skills in this sector, both in the professional / industrial area and for the community of en…
- Edition
- -
- ISBN/ISSN
- 9788867056583
- Collation
- -
- Series Title
- -
- Call Number
- -
Developing Graphics Frameworks with Python and OpenGL
Developing Graphics Frameworks with Python and OpenGL shows you how to create software for rendering complete three-dimensional scenes. The authors explain the foundational theoretical concepts as well as the practical programming techniques that will enable you to create your own animated and interactive computer-generated worlds.You will learn how to combine the power of OpenGL, the most wide…
- Edition
- Ed. 1
- ISBN/ISSN
- 1000407950, 9781000407952
- Collation
- -
- Series Title
- -
- Call Number
- -
The Mobile Commerce Prospects
Mobile Commerce has gained increasing acceptance amongst various sections of the society in previous years. The reasons for its growth can be traced back to technological and demographical developments that have influenced many aspects of the socio-cultural behaviour in today's world. The need (and/or wish) for mobility seems to be the driving force behind Mobile Commerce. The launch of UMTS te…
- Edition
- -
- ISBN/ISSN
- 9783937816319
- Collation
- -
- Series Title
- -
- Call Number
- -
Evolutionary Application Service Providing (eASP). Ein Ansatz der Softwareber…
This study deals with the provision of software and develops an approach to the analysis and design of software deployment contexts in which software is provided centrally for many. The provision of the web-based cooperation platform CommSy in two different constellations exemplifies the necessity of such a software supply approach for understanding and designing software supply contexts. The p…
- Edition
- -
- ISBN/ISSN
- 9783937816227
- Collation
- -
- Series Title
- -
- Call Number
- -
Digital Humanities 2012 - Conference Abstracts
Digital Diversity: Cultures, Languages and Methods' is the motto for this year's Digital Humanities conference; it relates methodical and technical innovation to the traditional research agenda of the Humanities. The conference schedule includes contributions on a wide range of topics, reflecting the increasing breadth in the field on all levels. A recurring theme at Digital Humanities conferen…
- Edition
- -
- ISBN/ISSN
- 9783937816999
- Collation
- -
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography