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 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
- -
Software studies : A Lexicon
This collection of short expository, critical and speculative texts offers a field guide to the cultural, political, social and aesthetic impact of software. Experts from a range of disciplines each take a key topic in software and the understanding of software, such as algorithms and logical structures.
- Edition
- -
- ISBN/ISSN
- -
- Collation
- 1 online resource (xii, 334 pages) : illustrations.
- Series Title
- -
- Call Number
- -
Logic Programming: The 14th International Conference
"The International Conference on Logic Programming is the main annual conference sponsored by the Association for Logic Programming. It covers the latest research in areas such as theoretical foundations, constraints, concurrency and parallelism, deductive databases, language design and implementation nonmonotonic reasoning, and logic programming and the Internet."--BOOK JACKET.
- Edition
- 1
- ISBN/ISSN
- 9780262291354
- Collation
- -
- Series Title
- -
- Call Number
- -
The Kantian Legacy in Nineteenth-Century Science The Kantian Legacy in Ninet…
"Historians of philosophy, science, and mathematics explore the influence of Kant's philosophy on the evolution of modern scientific thought."--Jacket.
- Edition
- 1
- ISBN/ISSN
- 9780262273268
- Collation
- -
- Series Title
- -
- Call Number
- -
Logic Programming: The 12th International Conference
"13-16 June 1995, Tokyo, Japan ICLP, which is sponsored by the Association for Logic Programming, is one of two major annual international conferences reporting recent research results in logic programming. Logic programming originates from the discovery that a subset of predicate logic could be given a procedural interpretation which was first embodied in the programming language, Prolog. The …
- Edition
- 1
- ISBN/ISSN
- 9780262291439
- Collation
- -
- Series Title
- -
- Call Number
- -
Logic Programming: The 1997 International Symposium
The annual International Logic Programming Symposium, traditionally held in North America, is one of the main international conferences sponsored by the Association of Logic Programming. The themes of the 1997 conference are new theoretical and practical accomplishments in logic programming, new research directions where ideas originating from logic programming can play a fundamental role, and …
- Edition
- 1
- ISBN/ISSN
- 9780262291323
- Collation
- -
- Series Title
- -
- Call Number
- -
Logic Programming: The 1995 International Symposium
"December 4-7, 1995, Portland, Oregon The International Logic Programming Symposium is one of two major international conferences sponsored by the Association of Logic Programming. It is held annually in North America. The theme for the 1995 conference is "Declarative Systems," particularly the integration of the logic programming, functional programming, and object-oriented programming paradig…
- Edition
- 1
- ISBN/ISSN
- 9780262291248
- 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