Computer science Logo style

This series is for people--adults and teenagers--who are interested in computer programming because it's fun. The three volumes use the Logo programming language as the vehicle for an exploration of computer science from the perspective of symbolic computation and artificial intelligence. Logo is a dialect of Lisp, a language used in the most advanced research projects in computer science, espe…

Computer science Logo style.

This series is for people--adults and teenagers--who are interested in computer programming because it's fun. The three volumes use the Logo programming language as the vehicle for an exploration of computer science from the perspective of symbolic computation and artificial intelligence. Logo is a dialect of Lisp, a language used in the most advanced research projects in computer science, espe…

Coordination Models and Languages

This book constitutes the refereed proceedings of the 17th International Conference on Coordination Models and Languages, COORDINATION 2015, held as part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, in Grenoble, France, in June 2015. The 14 full papers and one short paper presented were carefully reviewed and selected from 36 submissions. Th…

Dag Prawitz on Proofs and Meaning

This volume is dedicated to Prof. Dag Prawitz and his outstanding contributions to philosophical and mathematical logic. Prawitz's eminent contributions to structural proof theory, or general proof theory, as he calls it, and inference-based meaning theories have been extremely influential in the development of modern proof theory and anti-realistic semantics. In particular, Prawitz is the main…

Design, User experience, and usability: Users and interactions: 4th Internati…

Edition

-

ISBN/ISSN

5932473878

Collation

-

Series Title

-

Call Number

005.1

Computer Networking : Principles, Protocols and Practice Release 0.25

When the first computers were built during the second world war, they were expensive and isolated. However, after about twenty years, as their prices gradually decreased, the first experiments began to connect computers together. In the early 1960s, researchers including Paul Baran, Donald Davies or Joseph Licklider independently published the first papers describing the idea of building comput…

PRIMA 2015: Principles and Practice of Multi-Agent Systems, 18th Internationa…

This book constitutes the proceedings of the 18th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2015, held in Bertinoro, Italy, in October 2015. The 29 full papers and 24 short papers presented in this volume were carefully reviewed and selected from 94 submissions. The conference brings together active researchers, developers and practitioners from both a…