takayasu ito (36 Ergebnisse)

Paperback. Zustand: Good. Zustand des Schutzumschlags: No Dust Jacket. Paperback. Proceedings of the International Workshop TPPP '94. Covers are slightly scuffed and grubby. Label near upper inner corner of front cover. One or two small dents to page block foot. Marginal wear to leading corners. Page block and pages are a little sunned. Binding is sound; pages are tight; contents are clear. AF. Used.

Hardcover. Zustand: Wie neu. 1. Auflage. New book, remains sealed. English language. Ships from Berlin.

Zustand: Sehr gut. Zustand: Sehr gut - Gepflegter, sauberer Zustand. Aus der Auflösung einer renommierten Bibliothek. Kann Stempel beinhalten. | Seiten: 380 | Sprache: Englisch | Produktart: Bücher.

Zustand: Sehr gut. Zustand: Sehr gut - Gepflegter, sauberer Zustand. Aus der Auflösung einer renommierten Bibliothek. Kann Stempel beinhalten. | Seiten: 436 | Sprache: Englisch | Produktart: Bücher.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The proceedings of the international conference 'SMSEC2014', a joint conference of the first 'Social Modeling and Simulations' and the 10th 'Econophysics Colloquium', held in Kobe in November 2014 with 174 participants, are gathered herein. Cutting edge scientific researches on various social phenomena are reviewed. New methods for analysis of big data such as financial markets, automobile traffics, epidemic spreading, world-trades and social media communications are provided to clarify complex interaction and distributions underlying in these social phenomena. Robustness and fragility of social systems are discussed based on agent models and complex network models. Techniques about high performance computers are introduced for simulation of complicated social phenomena. Readers will feel the researchers minds that deep and quantitative understanding will make it possible to realize comprehensive simulations of our whole society in the near future, which will contribute to wide fields of industry also to scientific policy decision.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume presents the proceedings of a workshop at which major Parallel Lisp activities in the US and Japan were explained. Work covered includes Multilisp and Mul-T at MIT, Qlisp at Stanford, Lucid and Parcel at Illinois, PaiLisp at Tohoku University, Multiprocessor Lisp on TOP-1 at IBM Tokyo Research, and concurrent programming in TAO. Most papers present languages and systems of Parallel Lisp and are in particular concerned with: - Language constructs of Parallel Lisp and their meanings from the standpoint of implementing Parallel Lisp systems; - Some important technical issues such as parallel garbage collection, dynamic task partitioning, futures and continuations in parallelism, automatic parallelization of Lisp programs, and the kernel concept of Parallel Lisp. Some performance results are reported that suggest practical applicability of Parallel Lisp systems in the near future. Several papers on concurrent object-oriented systems are also included.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume is a collection of papers on topics focused around concurrency, based on research work presented at the UK/Japan Workshop held at Wadham College, Oxford, September 25-27, 1989. The volume is organized into four parts: - Papers on theoretical aspects of concurrency which reflect strong research activities in the UK, including theories on CCS and temporal logic RDL. - Papers on object orientation and concurrent languages which reflect major research activities on concurrency in Japan. The languages presented include extensions of C, Prolog and Lisp as well as object-based concurrent languages. - Papers on parallel architectures and VLSI logic, including a rewrite rule machine, a graph rewriting machine, and a dataflow architecture. - An overview of the workshop including the abstracts of the talks and the list of participants. The appendix gives a brief report of the first UK/Japan Workshop in Computer Science, held at Sendai, Japan, July 6-9, 1987.

Taschenbuch. Zustand: Gut. 772 Seiten ex Library Book / aus einer wissenschaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 1086.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the Third International Symposium on Theoretical Aspects of Computer Software, TACS'97, held in Sendai, Japan, in September 1997. The book presents 20 revised full papers selected from a total of 46 submissions. Also included are seven invited papers by internationally leading scientists. Among the topics addressed are action calculi, polymorphisms, type theory, lambda calculi, refinement, finite transition systems, model checking, process algebras, logical frameworks, higher-order logics, etc.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - In 1996 the International Federation for Information Processing (IFIP) establ- hed its rst Technical Committee on foundations of computer science, TC1. The aim of IFIP TC1 is to support the development of theoretical computer science as a fundamental science and to promote the exploration of fundamental c- cepts, models, theories, and formal systems in order to understand laws, limits, and possibilities of information processing. This volume constitutes the proceedings of the rst IFIP International C- ference on Theoretical Computer Science (IFIP TCS 2000) { Exploring New Frontiers of Theoretical Informatics { organized by IFIP TC1, held at Tohoku University, Sendai, Japan in August 2000. The IFIP TCS 2000 technical program consists of invited talks, contributed talks, and a panel discussion. In conjunction with this program there are two special open lectures by Professors Jan van Leeuwen and Peter D. Mosses. The decision to hold this conference was made by IFIP TC1 in August 1998, and since then IFIP TCS 2000 has bene ted from the e orts of many people; in particular, the TC1 members and the members of the Steering Committee, the Program Committee, and the Organizing Committee of the conference. Our special thanks go to the Program Committee Co-chairs: Track (1): Jan van Leeuwen (U. Utrecht), Osamu Watanabe (Tokyo Inst. Tech.) Track (2): Masami Hagiya (U. Tokyo), Peter D. Mosses (U. Aarhus).