Filter by
The Future of Learning Institutions in a Digital Age
In this report, Cathy Davidson and David Theo Goldberg focus on the potential for shared and interactive learning made possible by the Internet. They argue that the single most important characteristic of the Internet is its capacity for world-wide community and the limitless exchange of ideas. The Internet brings about a way of learning that is not new or revolutionary but is now the norm for …
- Edition
- -
- ISBN/ISSN
- 9780262513593
- Collation
- -
- Series Title
- -
- Call Number
- 370 DAV f
A Framework for Priority Arguments
This book presents a unifying framework for using priority arguments to prove theorems in computability. Priority arguments provide the most powerful theorem-proving technique in the field, but most of the applications of this technique are ad hoc, masking the unifying principles used in the proofs. The proposed framework presented isolates many of these unifying combinatorial principles and us…
- Edition
- -
- ISBN/ISSN
- 9780511750779
- Collation
- -
- Series Title
- Lecture Notes in Logic
- Call Number
- -
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…
- Edition
- -
- ISBN/ISSN
- 9783319192826
- Collation
- xiv, 247 pages
- Series Title
- -
- Call Number
- 005.1
A Formal Theory of Commonsense Psychology
Commonsense psychology refers to the implicit theories that we all use to make sense of people's behavior in terms of their beliefs, goals, plans, and emotions. These are also the theories we employ when we anthropomorphize complex machines and computers as if they had humanlike mental lives. In order to successfully cooperate and communicate with people, these theories will need to be represen…
- Edition
- -
- ISBN/ISSN
- 9781316584705
- Collation
- -
- Series Title
- -
- Call Number
- -
Environmental Software Systems. Infrastructures, Services and Applications 1…
This book constitutes the refereed proceedings of the 11th IFIP WG 5.11 International Symposium on Environmental Software Systems, ISESS 2015, held in Melbourne, Australia, in March 2015. The 62 revised full papers presented were carefully reviewed and selected from 104 submissions. The papers are organized in the following topical sections: information systems, information modeling and semanti…
- Edition
- -
- ISBN/ISSN
- 978-3-319-15994-2
- Collation
- 206 illustrations in colour
- Series Title
- Springer Texts in Business and Economics
- Call Number
- -
Trustworthy Computing and Services International Conference, ISCTCS 2014, Be…
This book constitutes the refereed proceedings of the International Standard Conference on Trustworthy Computing and Services, ISCTCS 2014, held in Beijing, China, in November 2014. The 51 revised full papers presented were carefully reviewed and selected from 279 submissions. The topics covered are architecture for trusted computing systems; trusted computing platform; trusted system building;…
- Edition
- -
- ISBN/ISSN
- 978-3-662-47401-3
- Collation
- -
- Series Title
- -
- Call Number
- -
Trusted Systems 6th International Conference, INTRUST 2014, Beijing, China, …
Normal 0 false false false EN-US X-NONE X-NONE This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Trusted Systems, INTRUST 2014, held in Beijing, China, in December 2014. The conference brings together academic and industrial researchers, designers, and implementers with end-users of trusted systems, in order to foster the exchan…
- Edition
- -
- ISBN/ISSN
- 978-3-319-27998-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Trust, Privacy and Security in Digital Business 12th International Conferenc…
This book constitutes the refereed proceedings of the 12th International Conference on Trust, Privacy and Security in Digital Business, TrustBus 2015, held in Valencia, Spain, in September 2015 in conjunction with DEXA 2015. The 17 revised full papers presented were carefully reviewed and selected from 45 submissions. The papers are organized in the following topical sections: access control; t…
- Edition
- -
- ISBN/ISSN
- 978-3-319-22906-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Trust and Trustworthy Computing 8th International Conference, TRUST 2015, He…
This book constitutes the refereed proceedings of the 8th International Conference on Trust and Trustworthy Computing, TRUST 2015, held in Heraklion, Crete, Greece, in August 2015. The 15 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 42 submissions. They were organized in topical sections named: hardware-enhanced trusted execution; trust an…
- Edition
- -
- ISBN/ISSN
- 978-3-319-22846-4
- Collation
- -
- Series Title
- -
- Call Number
- -
Trust Management IX 9th IFIP WG 11.11 International Conference, IFIPTM 2015,…
This book constitutes the refereed proceedings of the 9th IFIP WG 11.11 International Conference on Trust Management, IFIPTM 2015, held in Hamburg, Germany, in May 2015. The 10 revised full papers and 5 short papers presented were carefully reviewed and selected from 28 submissions. In addition, the book contains one invited paper and 5 papers from a special session on trusted cloud ecosystems.…
- Edition
- -
- ISBN/ISSN
- 978-3-319-18491-3
- 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