Welcome to our book review site go-pdf.online!
You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Software Development and Reality Construction
The present book is based on the conference Software Development and Reality Construction held at SchloB Eringerfeld in Germany, September 25 - 30, 1988. This was organized by the Technical University of Berlin (TUB) in cooperation with the German National Research Center for Computer Science (GMD), Sankt Augustin, and sponsored by the Volkswagen Foundation whose financial support we gratefully acknowledge. The conference was an interdisciplinary scientific and cultural event aimed at promoting discussion on the nature of computer science as a scientific discipline and on the theoretical foundations and systemic practice required for human-oriented system design. In keeping with the conversa...
Algebra, Meaning, and Computation
This volume - honoring the computer science pioneer Joseph Goguen on his 65th Birthday - includes 32 refereed papers by leading researchers in areas spanned by Goguen's work. The papers address a variety of topics from meaning, meta-logic, specification and composition, behavior and formal languages, as well as models, deduction, and computation, by key members of the research community in computer science and other fields connected with Joseph Goguen's work.
Education for the 21st Century - Impact of ICT and Digital Resources
It is a pleasure to offer you this book containing papers about ICT and education from the World Computer Congress 2006 (WCC 2006), held in Santiago, Chile and sponsored by the International Federation for Information Processing (IFIP). A lot of people worked very hard to make this event happen and to produce this book. The programme committee with IFIP members from around the world issued a call for papers inspiring almost 80 people to submit papers, posters, demonstrations, and workshops to the IFIP TC3 (Technical Committee on Education) sub-conference of WCC 2006. The submitted papers were reviewed by a large group of referees to select the papers to be presented at the conference. What i...
Projektevaluation in der Lehre
Was wird anders, wenn Lernen und Lehren in Multimediaprojekten systematisch evaluiert wird? Dieser Tagungsband öffnet ein Fenster zu Theorie und Praxis der Evaluation in den Hochschulen. Neben Werkstattberichten aus unterschiedlichen Projekten zeigen die Beiträge, welche Evaluationsansätze verfolgt wurden, welche theoretischen Grundlagen zu beachten sind, welche Bedeutung Evaluation für Projekte haben kann und schließlich, welche Rolle die Ergebnisse z. B. für eine Politik gezielter Förderungen spielen. Erfahrungen, die im Alltag durch eine Evaluation gewonnen werden, entwickeln letztlich auch das Bild und die Theorie der Evaluation weiter. Die Geschäftsstelle des niedersächsischen Landesarbeitskreises Multimedia und Telematik dokumentiert mit diesem Band die Veranstaltung "Projektevaluation in der Lehre - Multimedia an Hochschulen zeigt Profil(e)" aus dem November 1998. Die Diskussion verortet Evaluation im Forschungsfeld zwischen Rechenschaftslegung und interner Qualitätssicherung, schließlich auch als Auswahlinstrument in der Projektförderung.
Formal Methods in Systems Engineering
As computer technology is used to control critical systems to an increasing degree, it is vital that the methods for developing and understanding these systems are substantially improved. The mathematical and scientific foundations currently used are extremely limited which means that their correctness and reliability cannot be ensured to an acceptable level. Systems engineering needs to become a fully fledged scientific discipline and formal methods, which are characterised by their firm mathematical foundations, are playing a vital role in achieving this transition. This volume is based on the proceedings of the Formal Methods Workshop (FM91), held in Drymen, Scotland, 24-27 September 1991...
Early Computer Science Education – Goals and Success Criteria for Pre-Primary and Primary Education
“Scientific Studies on the Work of the ‘Haus der kleinen Forscher’ Foundation” is a regularly published series of scientific reports authored by distinguished experts from the field of early education. This series serves to pursue professional dialogue between the Foundation, academia and practice, with the aim of lending sound support to all child-care centres, after-school care centres and primary schools in Germany in their educational mission. This ninth volume of the series, with a foreword by Ilan Chabay, deals with the goals and requirements of computer science education in the elementary and primary sector. In their expert report, Nadine Bergner, Hilde Köster, Johannes Magen...
Abstractions and Embodiments
"This anthology of original historical essays examines how social relations are enacted in and through computing using the twin frameworks of abstraction and embodiment. The book highlights a wide range of understudied contexts and experiences, such as computing and disability, working mothers as technical innovators, race and community formation, and gaming behind the Iron Curtain"--
