Filter by
Mechanizing proof :computing, risk, and trust
Most aspects of our private and social lives--our safety, the integrity of the financial system, the functioning of utilities and other services, and national security--now depend on computing. But how can we know that this computing is trustworthy? In Mechanizing Proof, Donald MacKenzie addresses this key issue by investigating the interrelations of computing, risk, and mathematical proof over…
- Edition
- -
- ISBN/ISSN
- 9780262278829
- Collation
- 1 online resource (xi, 427 pages) :illustrations.
- Series Title
- -
- Call Number
- -
The Microelectronics revolution :the complete guide to the new technology and…
"The Microelectronics Revolution is a comprehensive guide to the silicon chip revolution and its impact on society. The distinguished contributors to this volume explain in turn the origins and nature of microelectronics, the characteristics of the burgeoning microchip industry and the increasing use of microprocessors in everyday products.The book details the impact of this new technology on s…
- Edition
- -
- ISBN/ISSN
- 0262256169
- Collation
- 1 online resource (xvii, 589 pages) :illustrations
- Series Title
- -
- Call Number
- -
Snap to grid :a user's guide to digital arts, media, and cultures
"In Snap to Grid, an idiosyncratic guide to the interactive, telematic era, Peter Lunenfeld maps out the trajectories that digital technologies have traced upon our cultural imaginary. His evaluation of new media includes an impassioned discussion - informed by the discourses of technology, aesthetics, and cultural theory - of the digital artists, designers, and makers who matter most. "Snap to…
- Edition
- -
- ISBN/ISSN
- 058528850X
- Collation
- 1 online resource (xxv, 226 pages) :illustrations
- Series Title
- -
- Call Number
- -
Slaves of the machine :the quickening of computer technology
"A Bradford book."Includes index.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262282123
- Collation
- 1 online resource (x, 160 pages)
- Series Title
- -
- Call Number
- -
Shaping the network society :the new role of civil society in cyberspace
"An outgrowth of the Seventh DIAC symposium held in Seattle in 2000"--Introduction.Information and computer technologies are used every day by real people with real needs. The authors contributing to Shaping the Network Society describe how technology can be used effectively by communities, activists, and citizens to meet society's challenges. In their vision, computer professionals are concern…
- Edition
- -
- ISBN/ISSN
- 9780262283250
- Collation
- 1 online resource (x, 433 pages) :maps
- Series Title
- -
- Call Number
- -
Innovation on Education and Social Sciences: Proceedings of the International…
After a year of a global Covid-19 pandemic, still, we have more questions than answers to the future of education and our social life. It is more important than ever to follow the developments closely in the coming period, pay attention to critical concerns such as inequality, as well as positive signs of transformation and innovation in all aspects of the world of teaching and learning. Expect…
- Edition
- Ed. 1
- ISBN/ISSN
- 9781000581607, 9781032207537
- Collation
- 254
- Series Title
- -
- Call Number
- 624 INN i
Urban Mining Systems
This book focuses on the fundamental concept of and current endeavors in “urban mining” among those who are interested in both metal resources and ecology. Systems for recycling and reusing precious metals and rare-earth minerals contained in used and discarded electronics are introduced in this book. The target audience is not academic researchers in the resource management and ecology fie…
- Edition
- -
- ISBN/ISSN
- 978-4-431-55075-4
- Collation
- -
- Series Title
- -
- Call Number
- -
Transformation Literacy Pathways to Regenerative Civilizations
This open access book brings science and practice together and inspires a global movement towards co-creating regenerative civilizations that work for 100% of humanity and the Earth as a whole. With its conceptual foundation of the concept of transformation literacy it enhances the knowledge and capacity of decision-makers, change agents and institutional actors to steward transformations effec…
- Edition
- -
- ISBN/ISSN
- 9783030932541
- Collation
- -
- Series Title
- -
- Call Number
- -
Timor-Leste's Bill of Rights : A Preliminary History
The Constitution of the Democratic Republic of Timor-Leste of 2002 contains over 40 human rights provisions in its Bill of Rights. In addition to providing an overview of the process leading up to the adoption of the Constitution, this book brings together information relating to each section of the Bill of Rights, presenting: progressive texts produced during the process of the Constituent …
- Edition
- -
- ISBN/ISSN
- 9781925022391
- Collation
- -
- Series Title
- -
- Call Number
- 900 DEV t
Accountability and the Law : Rights, Authority and Transparency of Public Power
This book discusses contemporary accountability and transparency mechanisms by presenting a selection of case studies.The authors deal with various problems connected to controlling public institutions and incumbents’ responsibility in state bodies. The work is divided into three parts. Part I: Law examines the institutional and objective approach. Part II: Fairness and Rights considers the s…
- Edition
- -
- ISBN/ISSN
- 9781003168331
- Collation
- 234 halaman
- Series Title
- -
- Call Number
- 340 MIK a
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography