Groote jan (59 Ergebnisse)

Soft cover. Zustand: Very Good. pp.viii, 432 pages, a VG+ paperback [3540565175]. Ex-university library, and hard to find outside of America.

Paperback. Zustand: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.

PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

Zustand: New.

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Zustand: New. pp. 392 65 Illus.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

Hardcover. First Edition, First Printing. Small Quarto, xii, xvi, 376 pages. In Very Good condition. Bound in the publisher's black cloth bearing blue and white lettering to the spine. Boards have slight wear including few soiling scuffs and minor edge wear. Text block has very slight wear. Illustrated. First edition, first printing. NOTE: Shelved in Locked Annex, Quarto and Folio Case. Oversized book(s). Additional postage necessary for international/expedited orders. Economy International shipping unavailable due to size/weight restrictions. For international/expedited customers, please inquire for rates. 1411340. FP New Rockville Stock. …

Zustand: New. In English.

Zustand: New. In English.

Paperback. Zustand: Brand New. 211 pages. 9.25x6.10x0.48 inches. In Stock.

Hardcover. Zustand: Brand New. 211 pages. 9.25x6.10x0.50 inches. In Stock.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New.

Paperback. Zustand: Brand New. 265 pages. 9.25x6.10x0.63 inches. In Stock.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

Zustand: NEW.

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Manufacturing computers in series was quite a feat in the 1950s. As mathematical as it gets, the machines discussed here were called X1 and X8.The industrial achievement combined with the background in a mathematical research center made the company Electrologica a legend in Dutch computing. The tales in this book are told by those who have a right to tell. Highly engaged professionals take readers back to their pioneering work with the machines and in retrospect unveil some of the values, which went without saying in the 1960s. Todisagree, Paul Klint relates the contrasting views on software in Dutch research traditions. ALGOL culture: Frans Kruseman Aretz takes the reader along to the detailed decisions on constructing compilers and shows the values of an ALGOL culture transpiring. Signposts: Dirk Dekker for the first time 'owns' his algorithm for mutual exclusion. In particle physics: René van Dantzig's use case was an Electrologica X8 computer controlling two other computers in three-dimensional detection of colliding particles. Early steps in AI: Lambert Meertens' tale of the X8 machine composing a violin quartet comes with his original presentation, as well as the code in ALGOL 60. The reflections of first hand experiences combine well with the second thoughts of historical research into archival sources. Historians Huub de Beer and Gerard Alberts offer a view into the boardrooms of the local enterprise Electrologica, and of the electronics multinational Philips. Where pioneers and historians meet in an inspiring dialogue, the reader gains a view on the often implicit decisions constituting the field.Fortuitously, a copy of the X8 was retrieved from Kiel, Germany, and put on display at Rijksmuseum Boerhaave, Leiden. Sparked by the very material presence of an X8, the present book takes stock of the state of historiography of Electrologica.Gerard Albertsis an associate professor in History of Digital Cultures, retired from the University of Amsterdam.Jan Friso Grooteis a full professor of Formal Methods at the Eindhoven University of Technology.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Manufacturing computers in series was quite a feat in the 1950s. As mathematical as it gets, the machines discussed here were called X1 and X8.The industrial achievement combined with the background in a mathematical research center made the company Electrologica a legend in Dutch computing. The tales in this book are told by those who have a right to tell. Highly engaged professionals take readers back to their pioneering work with the machines and in retrospect unveil some of the values, which went without saying in the 1960s. Todisagree, Paul Klint relates the contrasting views on software in Dutch research traditions. ALGOL culture: Frans Kruseman Aretz takes the reader along to the detailed decisions on constructing compilers and shows the values of an ALGOL culture transpiring. Signposts: Dirk Dekker for the first time 'owns' his algorithm for mutual exclusion. In particle physics: René van Dantzig's use case was an Electrologica X8 computer controlling two other computers in three-dimensional detection of colliding particles. Early steps in AI: Lambert Meertens' tale of the X8 machine composing a violin quartet comes with his original presentation, as well as the code in ALGOL 60. The reflections of first hand experiences combine well with the second thoughts of historical research into archival sources. Historians Huub de Beer and Gerard Alberts offer a view into the boardrooms of the local enterprise Electrologica, and of the electronics multinational Philips. Where pioneers and historians meet in an inspiring dialogue, the reader gains a view on the often implicit decisions constituting the field.Fortuitously, a copy of the X8 was retrieved from Kiel, Germany, and put on display at Rijksmuseum Boerhaave, Leiden. Sparked by the very material presence of an X8, the present book takes stock of the state of historiography of Electrologica.Gerard Albertsis an associate professor in History of Digital Cultures, retired from the University of Amsterdam.Jan Friso Grooteis a full professor of Formal Methods at the Eindhoven University of Technology.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 - April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers.The papers are organized in topical sections as follows:Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication.Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers. …

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 - April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic.The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers.The papers are organized in topical sections as follows:Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication.Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers. …

Zustand: New.

Zustand: New.