A Quarter Century of IFIP PDF Download

Author: International Federation for Information Processing
Publisher: North Holland
ISBN:
Category : Computers
Languages : en
Pages : 598

View

Book Description

Author: National Library of Medicine (U.S.)
Publisher:
ISBN:
Category : Medicine
Languages : en
Pages : 1712

View

Book Description
First multi-year cumulation covers six years: 1965-70.

Author: Dick van Lente
Publisher: Morgan & Claypool
ISBN: 1450398189
Category : Computers
Languages : en
Pages : 556

View

Book Description
When electronic digital computers first appeared after World War II, they appeared as a revolutionary force. Business management, the world of work, administrative life, the nation state, and soon enough everyday life were expected to change dramatically with these machines’ use. Ever since, diverse prophecies of computing have continually emerged, through to the present day. As computing spread beyond the US and UK, such prophecies emerged from strikingly different economic, political, and cultural conditions. This volume explores how these expectations differed, assesses unexpected commonalities, and suggests ways to understand the divergences and convergences. This book examines thirteen countries, based on source material in ten different languages—the effort of an international team of scholars. In addition to analyses of debates, political changes, and popular speculations, we also show a wide range of pictorial representations of "the future with computers."

Author: International Federation for Information Processing
Publisher: North Holland
ISBN:
Category : Electronic data processing
Languages : en
Pages : 624

View

Book Description
In 1985 IFIP celebrated its silver jubilee and a quarter century of IFIP publications. This IFIP Bibliography lists and categorizes all of the published papers presented at IFIP conferences and congresses as well as further papers published in the name of IFIP in the first 25 years of existence. The Bibliography describes a comprehensive family of papers in the field of computer sciences, or informatics; it can be seen as an abstract monument for the volunteers who organized the events, composed the programmes, gave the papers and discussed and finally submitted the manuscripts; and it provides an overview of a quarter century of development, not only of a science and a profession, but also of a vocabulary and a language. The indexes list papers according to several different categories, enabling the reader to readily locate his source of interest. These indexes include listing by subject, by editor, according to the date of the event at which they were presented, under the name of the city in which the event was held and according to their TC/WG categorisation. Informatics is still a science of the future: much has been achieved, much more remains to be done, not only for the purely technical advance, but also for its humanistic and societal dimensions. This bibliography, therefore, does not close the subject - it is merely a milestone on a long way to go.

Author: Walter Gautschi
Publisher: American Mathematical Soc.
ISBN: 0821802917
Category : Mathematics
Languages : en
Pages : 669

View

Book Description
Proceedings of an International Conference held in Vancouver, B.C., August 1993, to commemorate the 50th anniversary of the founding of the journal Mathematics of Computation. It consisted of a Symposium on Numerical Analysis and a Minisymposium of Computational Number Theory. This proceedings contains 14 invited papers, including two not presented at the conference--an historical essay on integer factorization, and a paper on componentwise perturbation bounds in linear algebra. The invited papers present surveys on the various subdisciplines covered by Mathematics of Computation, in a historical perspective and in a language accessible to a wide audience. The 46 contributed papers address contemporary specialized work. Annotation copyright by Book News, Inc., Portland, OR

Author: I. Bernard Cohen
Publisher: MIT Press
ISBN: 9780262032636
Category : Computers
Languages : en
Pages : 346

View

Book Description
This collection of technical essays and reminiscences is a companion to I. Bernard Cohen's biography Howard Aiken: Portrait of a Computer Pioneer. After an overview by Cohen, Part I presents the complete publication of Aiken's 1937 proposal for an automatic calculating machine, later realized as the Mark I, as well as recollections by the chief engineer in charge of construction of Mark II, Robert Campbell, and the programmer of Mark I, Richard Bloch. Henry Tropp describes Aiken's hostility to the exclusive use of binary numbers in computational systems and his alternative approach.

Author:
Publisher: Springer Science & Business Media
ISBN: 9783540187790
Category : Computers
Languages : en
Pages : 536

View

Book Description
This book is the second of two volumes that present the main results which emerged from the project CIP - Computer-Aided, Intuition-Guided Programming - at the Technical University of Munich. Its central theme is program development by transformation, a methodology which is becoming more and more important. Whereas Volume I contains the description and formal specification of a wide spectrum language CIP-L particularly tailored to the needs of transformational programming, Volume II serves a double purpose: First, it describes a system, called CIP-S, that is to assist a programmer in the method of transformational programming. Second, it gives a non-toy example for this very method, since it contains a formal specification of the system core and transformational developments for the more interesting system routines. Based on a formal calculus of program transformations, the informal requirements for the system are stated. Then the system core is formally specified using the algebraic data types and the pre-algorithmic logical constructs of the wide spectrum language CIP-L. It is demonstrated how executable, procedural level programs can be developed from this specification according to formal rules. The extensive collection of these rules is also contained in the book; it can be used as the basis for further developments using this method. Since the system has been designed in such a way that it is parameterized with the concrete programming language to be transformed, the book also contains a guide how to actualize this parameter; the proceeding is exemplified with a small subset of CIP-L.

Author: Wolfgang Hofkirchner
Publisher: Routledge
ISBN: 113457486X
Category : Business & Economics
Languages : en
Pages : 642

View

Book Description
First published in 1999. Volume 13 in the 13-volume set titled World Futures General Evolution Studies with a common focus of the emerging field of general evolutionary theory. This volume will expand across disciplines where scholars from new fields will contribute books that propose general evolution theory in novel contexts. The essays are structured with five topics: Approaches to Unification; Concepts of Information; Self-Organizing Systems; Life and Consciousness; Society and Technology.

Author: Friedrich H. Vogt
Publisher: Springer Science & Business Media
ISBN: 9783540504030
Category : Computers
Languages : en
Pages : 412

View

Book Description
This volume contains the proceedings of CONCURRENCY 88, an international conference on formal methods for distributed systems, held October 18-19, 1988 in Hamburg. CONCURRENCY 88 responded to great interest in the field of formal methods as a means of mastering the complexity of distributed systems. In addition, the impulse was determined by the fact that the various methodological approaches, such as constructive or property oriented methods, have not had an extensive comparative analysis nor have they been investigated with respect to their possible integration and their practical implications. The following topics were addressed: Specification Languages, Models for Distributed Systems, Verification and Validation, Knowledge Based Protocol Modeling, Fault Tolerance, Distributed Databases. The volume contains 12 invited papers and 14 contributions selected by the program committee. They were presented by authors from Austria, the Federal Republic of Germany, France, Israel, Italy, the Netherlands, the United Kingdom and the United States.

Author: National Library of Medicine (U.S.)
Publisher:
ISBN:
Category : Medicine
Languages : en
Pages : 1028

View

Book Description