Filter by
AI renaissance machines :Inside the new world of machine-created art, literat…
OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262354592
- Collation
- 1 online resource (408 pages).
- Series Title
- -
- Call Number
- -
Teaching computational thinking :an integrative approach for middle and high …
"This book provides a model for teaching computational thinking to middle and high school students across a broad range of school subjects"--OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 0262366142
- Collation
- 1 online resource.
- Series Title
- -
- Call Number
- -
Weaving the dark web :legitimacy on freenet, Tor, and I2P
An exploration of the Dark Web--websites accessible only with special routing software--that examines the history of three anonymizing networks, Freenet, Tor, and I2P.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262347587
- Collation
- 1 online resource (xi, 276 pages).
- Series Title
- -
- Call Number
- -
You'll see this message when it is too late :the legal and economic aftermath…
What we can learn from the aftermath of cybersecurity breaches and how we can do a better job protecting online data. Cybersecurity incidents make the news with startling regularity. Each breach--the theft of 145.5 million Americans' information from Equifax, for example, or the Russian government's theft of National Security Agency documents, or the Sony Pictures data dump--makes headlines, in…
- Edition
- -
- ISBN/ISSN
- 9780262349536
- Collation
- 1 online resource (336 pages).
- Series Title
- -
- Call Number
- -
Your computer is on fire
"Collection of arguments about STEM fields' blind spots in computing and a deliberately provocative underscoring of humanists' appeals for a "wake up call" in computing culture"--OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 0262360772
- Collation
- 1 online resource.
- Series Title
- -
- Call Number
- -
Architectural intelligence :how designers, tinkerers, and archtiects created …
Architects who engaged with cybernetics, artificial intelligence, and other technologies poured the foundation for digital interactivity.In Architectural Intelligence, Molly Wright Steenson explores the work of four architects in the 1960s and 1970s who incorporated elements of interactivity into their work. Christopher Alexander, Richard Saul Wurman, Cedric Price, and Nicholas Negroponte and t…
- Edition
- -
- ISBN/ISSN
- 9780262343428
- Collation
- 1 online resource.
- Series Title
- -
- Call Number
- -
Making IT work :a history of the computer services industry
The evolution of the multi-billion-dollar computer services industry, from consulting and programming to data analytics and cloud computing, with case studies of important companies.The computer services industry has worldwide annual revenues of nearly a trillion dollars and employs millions of workers, but is often overshadowed by the hardware and software products industries. In this book, Je…
- Edition
- -
- ISBN/ISSN
- 9780262342193
- Collation
- 1 online resource (x, 359 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Computer games for learning :an evidence-based approach
Many strong claims are made for the educational value of computer games, but there is a need for systematic examination of the research evidence that might support such claims. This book fills that need by providing, a comprehensive and up-to-date investigation of what research shows about learning with computer games. Computer Games for Learning describes three genres of game research: the val…
- Edition
- -
- ISBN/ISSN
- 0262324504
- Collation
- 1 online resource (xvii, 281 pages)
- Series Title
- -
- Call Number
- -
The outsourcer :the story of India's IT revolution
Originally published as: The long revolution.A history of how India became a major player in the global technology industry, mapping technological, economic, and political transformations.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 026232833X
- Collation
- 1 online resource (xviii, 274 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Certified programming with dependent types :a pragmatic introduction to the C…
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 Coq software for writing and checking mathematical proofs. It takes a practical engineering focus throughout, empha…
- Edition
- -
- ISBN/ISSN
- 9780262317870
- Collation
- 1 online resource (xii, 424 pages)
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography