Filter by
Informatics in Schools. Beyond Bits and Bytes: Nurturing Informatics Intellig…
This book constitutes the proceedings of the 16th International Conference on Informatics in Schools: Situation, Evolution and Perspectives, ISSEP 2023, held in Lausanne, Switzerland, during October 23–25, 2023. The 14 full papers presented in this book were carefully reviewed and selected from 47 submissions. They are organized in four topical sections named: artificial intelligence and i…
- Edition
- -
- ISBN/ISSN
- 978-3-031-44899-7
- Collation
- XX, 195
- Series Title
- -
- Call Number
- -
Speaking Code: Coding as Aesthetic and Political Expression
Speaking Code begins by invoking the "Hello World" convention used by programmers when learning a new language, helping to establish the interplay of text and code that runs through the book. Interweaving the voice of critical writing from the humanities with the tradition of computing and software development, in Speaking Code Geoff Cox formulates an argument that aims to undermine the distinc…
- Edition
- -
- ISBN/ISSN
- 9780262305228
- Collation
- 1 online resource (xv, 149 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Generating language-based environments
"An MIT Press classic."Facsim. of ed. originally published: ?1984.This book addresses a fundamental software engineering issue, applying formal techniques and rigorous analysis to a practical problem of great current interest: the incorporation of language-specific knowledge in interactive programming environments. It makes a basic contribution in this area by proposing an attribute-grammar fra…
- Edition
- -
- ISBN/ISSN
- 0262256851
- Collation
- 1 online resource (138 pages)
- Series Title
- -
- Call Number
- 005 REP g
The Inner History of Devices
"For more than two decades, in such landmark studies as The Second Self and Life on the Screen, Sherry Turkle has challenged our collective imagination with her insights about how technology enters our private worlds. In The Inner History of Devices, she describes her process, an approach that reveals how what we make is woven into our ways of seeing ourselves. She brings together three traditi…
- Edition
- -
- ISBN/ISSN
- 9780262285247
- Collation
- 1 online resource (x, 208 pages)
- Series Title
- -
- Call Number
- -
Global networks : computers and international communication
Global Networks takes up the host of issues raised by the new networking technology that now links individuals, groups, and organizations in different countries and on different continents. The twenty-one contributions focus on the implementation, application, and impact of computer-mediated communication in a global context. Previously limited to scientific research, global networks now have a…
- Edition
- -
- ISBN/ISSN
- 0585020361
- Collation
- 1 online resource (xii, 411 pages) :illustrations
- Series Title
- -
- Call Number
- 005 GLO
Engineering Play: A Cultural History of Children's Software
How the influential industry that produced such popular games as Oregon Trail and KidPix emerged from experimental efforts to use computers as tools in child-centered learning.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262258913
- Collation
- 1 online resource (xii, 234 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Programming Models for Parallel Computing
"With the coming of the parallel computing era, computer scientists have turned their attention to designing programming models that are suited for high-performance parallel computing and supercomputing systems. Programming parallel systems is complicated by the fact that multiple processing units are simultaneously computing and moving data. This book offers an overview of some of the most pro…
- Edition
- -
- ISBN/ISSN
- 0262528819
- Collation
- 1 online resource.
- Series Title
- -
- Call Number
- -
Enabling Technologies for Petaflops Computing
Building a computer ten times more powerful than all the networked computing capability in the United States is the subject of this book by leading figures in the high performance computing community. It summarizes the near-term initiatives, including the technical and policy agendas for what could be a twenty-year effort to build a petaFLOP scale computer. (A FLOP -- Floating Point OPeration -…
- Edition
- -
- ISBN/ISSN
- 9780262287074
- Collation
- 1 online resource (x, 178, [1] pages) :illustrations.
- Series Title
- -
- Call Number
- -
English-Japanese, Japanese-English Dictionary of Computer and Data-Processing…
Parallel title in Japanese vernacular and romanized form.Winner, 1989, category of Computer Science, Professional/Scholarly Publishing Annual Awards Competition presented by the Association of American Publishers, Inc. With 10,000 entries, this dictionary is the most complete of its kind. It is a major contribution to more accurate sharing of scientific and technological information. The dictio…
- Edition
- -
- ISBN/ISSN
- 9780262290852
- Collation
- 1 online resource (470 pages)
- Series Title
- -
- Call Number
- -
The Formal Semantics of Programming Languages: An Introduction
"The Formal Semantics of Programming Languages provides the basic mathematical techniques necessary for those who are beginning a study of the semantics and logics of programming languages. These techniques will allow students to invent, formalize, and justify rules with which to reason about a variety of programming languages. Although the treatment is elementary, several of the topics covered…
- Edition
- -
- ISBN/ISSN
- 9780262291453
- Collation
- 1 online resource (xviii, 361 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography