Filter by
Pro TBB = C++ Parallel Programming with Threading Building Blocks
This open access book is a modern guide for all C++ programmers to learn Threading Building Blocks (TBB). Written by TBB and parallel programming experts, this book reflects their collective decades of experience in developing and teaching parallel programming with TBB, offering their insights in an approachable manner. Throughout the book the authors present numerous examples and best practice…
- Edition
- 1
- ISBN/ISSN
- 9781484243985
- Collation
- LXVI, 754 hlm; ill., lamp.,
- Series Title
- -
- Call Number
- -
Programming Persistent Memory
Beginning and experienced programmers will use this comprehensive guide to persistent memory programming. You will understand how persistent memory brings together several new software/hardware requirements, and offers great promise for better performance and faster application startup times—a huge leap forward in byte-addressable capacity compared with current DRAM offerings. This revolution…
- Edition
- 1
- ISBN/ISSN
- 9781484249321
- Collation
- XXXI, 438 hlm,: ill, lamp;
- Series Title
- -
- Call Number
- -
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
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
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography