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
- -
Frontiers of Combining Systems
This book constitutes the proceedings of the 10th International Symposium on Frontiers of Combining Systems, FroCoS 2015, held in Wroclaw, Poland, in September 2015. The 20 papers presented in this volume were carefully reviewed and selected from 34 submissions. They were organized in topical sections named: description logics; theorem proving and model building; decision procedures; decisio…
- Edition
- -
- ISBN/ISSN
- 978-3-319-24246-0
- Collation
- XVI, 275
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Die Resiliente Stadt
This open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023. The 28 full papers and 5 short papers presented were carefully reviewed and selected from 77 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundati…
- Edition
- -
- ISBN/ISSN
- 978-3-662-66915-0
- Collation
- XXV, 592
- 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
Word and Object
A new edition of Quine's most important work.Willard Van Orman Quine begins this influential work by declaring, "Language is a social art. In acquiring it we have to depend entirely on intersubjectively available cues as to what to say and when." As Patricia Smith Churchland notes in her foreword to this new edition, with Word and Object Quine challenged the tradition of conceptual analysis as …
- Edition
- New ed.
- ISBN/ISSN
- 9780262312790
- Collation
- 1 online resource (xxx, 277 pages)
- Series Title
- -
- Call Number
- -
Evolution of Communication Systems: A Comparative Approach
Laying foundations for an interdisciplinary approach to the study of evolution in communication systems with tools from evolutionary biology, linguistics, animal behavior, developmental psychology, philosophy, cognitive sciences, robotics, and neural network modeling.The search for origins of communication in a wide variety of species including humans is rapidly becoming a thoroughly interdisci…
- Edition
- -
- ISBN/ISSN
- 9780262281010
- Collation
- 1 online resource (x, 338 pages) :illustrations.
- 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
- -
Linguistic bodies :the continuity between life and language
A novel theoretical framework for an embodied, non-representational approach to language that extends and deepens enactive theory, bridging the gap between sensorimotor skills and language. Linguistic Bodies offers a fully embodied and fully social treatment of human language without positing mental representations. The authors present the first coherent, overarching theory that connects dynami…
- Edition
- -
- ISBN/ISSN
- 9780262347280
- Collation
- 1 online resource (xii, 414 pages)
- Series Title
- -
- Call Number
- -
Extraterrestrial languages
If we send a message into space, will extraterrestrial beings receive it? Will they understand?The endlessly fascinating question of whether we are alone in the universe has always been accompanied by another, more complicated one: if there is extraterrestrial life, how would we communicate with it? In this book, Daniel Oberhaus leads readers on a quest for extraterrestrial communication. Explo…
- Edition
- -
- ISBN/ISSN
- 9780262355261
- Collation
- 1 online resource (264 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