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.
Fundamentals of Software Culture
As the first book about software culture, this book discusses software culture from three perspectives including historical perspective, the classification of software and software applications. This book takes credit from the view of science and technology development. It analyzed scientific innovations and the social areas promoted following the growth of technology. And according to the fact that information helps to build human cultural form, we proposed the concept and researching method of software culture. The aim of writing this book is to strengthen the connection between software and culture, to replenish knowledge system in the subject of software engineering, and to establish a new area of study that is the culture of software.
Programming Languages: Implementations, Logics, and Programs
This volume constitutes the refereed proceedings of the 9th International Symposium on Programming Languages, Implementations, Logics and Programs, PLILP '97, held in Southampton, UK, in September 1997, including a special track on Declarative Programming in Education. The volume presents 25 revised full papers selected from 68 submissions. Also included are one invited paper and three posters. The papers are devoted to exploring the relation between implementation techniques, the logic of the languages, and the use of the languages in construcing real programs. Topics of interest include implementation of declarative concepts, integration of paradigms, program analysis and transformation, programming environments, executable specifications, reasoning about language constructs, etc.
PARLE '89 - Parallel Architectures and Languages Europe
Since the first PARLE conference, PARLE '87, attracted more than 300 participants, it was considered a useful and successful forum and encouraged the organization of this second issue known as PARLE '89. The initiative for these conferences was taken by project 415 of ESPRIT (the European Strategic Programme for Research and Development in Information Technology of the Commission of the European Communities). Their scope covers central themes in the area of parallel architectures and languages, including such topics as concurrent, object-oriented, logic and functional programming; MIMD, dataflow, inference and reduction machines; design and verification of parallel systems; VLSI, WSI and RIS...
New Generation Computing
New Generation Computing and Supercomputing have attracted a large amount of research effort throughout the world. This book introduces some of the recent research carried out in China. It consists of forty-two papers covering five main areas: logic-based inference machines from sequential to parallel; knowledge-based systems; heuristic search in AI; dataflow computer architecture; and optimization techniques for supercomputing.
China’s Techno-Warriors
This book skillfully weaves together four stories: Chinese views of technology during the Communist era; the role of the military in Chinese political and economic life; the evolution of open and flexible conceptions of public management in China; and the technological dimensions of the rise of Chinese power.
New Generation Computer Systems
Proceedings of the international conference held in Beijing, April 17-21, 1989. Topics covered include: knowledge representation, knowledge base systems, intelligent environment, knowledge acquisition, on parallel architecture, computation models, Prolog machines, knowledge base machines, functional
