Takayasu Ito | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 10 tuotetta
Haluatko tarkentaa hakukriteerejä?

THEORETICAL ASPECTS OF COMPUTER SOFTWARE : INTERNATIONAL CONFERENCE TACS ’91, SENDAI, JAPAN, SEPTEMBER 24–27, 1991. PROCEEDINGS

Takayasu Ito (ed.); Albert R. Meyer (ed.)
Springer (1991)
Pehmeäkantinen kirja

101,40 €

PARALLEL LISP: LANGUAGES AND SYSTEMS : US/JAPAN WORKSHOP ON PARALLEL LISP, SENDAI, JAPAN, JUNE 5-8, 1989, PROCEEDINGS

Takayasu Ito (ed.); Robert H. Jr. Halstead (ed.)
Springer (1990)
Pehmeäkantinen kirja

51,40 €

PARALLEL SYMBOLIC LANGUAGES AND SYSTEMS : INTERNATIONAL WORKSHOP, PSLS '95, BEAUNE, FRANCE, OCTOBER (2-4), 1995. PROCEEDINGS

Takayasu Ito (ed.); Robert H. Jr. Halstead (ed.); Christian Queinnec (ed.)
Springer (1996)
Pehmeäkantinen kirja

51,40 €

THEORY AND PRACTICE OF PARALLEL PROGRAMMING : INTERNATIONAL WORKSHOP TPPP '94, SENDAI, JAPAN, NOVEMBER 7-9, 1994. PROCEEDINGS

Takayasu Ito (ed.); Akinori Yonezawa (ed.)
Springer (1995)
Pehmeäkantinen kirja

51,40 €

PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOCIAL MODELING AND SIMULATION, PLUS ECONOPHYSICS COLLOQUIUM 2014

Hideki Takayasu; Nobuyasu Ito; Itsuki Noda; Misako Takayasu
Springer International Publishing AG (2015)
Kovakantinen kirja

51,40 €

PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOCIAL MODELING AND SIMULATION, PLUS ECONOPHYSICS COLLOQUIUM 2014

Hideki Takayasu; Nobuyasu Ito; Itsuki Noda; Misako Takayasu
Springer International Publishing AG (2016)
Pehmeäkantinen kirja

51,40 €

THEORETICAL COMPUTER SCIENCE: EXPLORING NEW FRONTIERS OF THEORETICAL INFORMATICS - INTERNATIONAL CONFERENCE IFIP TCS 2000 SENDAI

Jan van Leeuwen; Osamu Watanabe; Masami Hagiya; Peter D. Mosses; Takayasu Ito
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2000)
Pehmeäkantinen kirja

101,40 €

PARALLEL SYMBOLIC COMPUTING: LANGUAGES, SYSTEMS, AND APPLICATIONS : US/JAPAN WORKSHOP, CAMBRIDGE, MA, USA, OCTOBER 14-17, 1992.

Robert H.Jr. Halstead (ed.); Takayasu Ito (ed.)
Springer (1993)
Pehmeäkantinen kirja

51,40 €

THEORETICAL ASPECTS OF COMPUTER SOFTWARE : THIRD INTERNATIONAL SYMPOSIUM, TACS'97, SENDAI, JAPAN, SEPTEMBER 23 - 26, 1997, PROCE

Martin Abadi (ed.); Takayasu Ito (ed.)
Springer (1997)
Pehmeäkantinen kirja

101,40 €

CONCURRENCY: THEORY, LANGUAGE, AND ARCHITECTURE : UK/JAPAN WORKSHOP, OXFORD, UK, SEPTEMBER 25–27, 1989, PROCEEDINGS

Akinori Yonezawa (ed.); Takayasu Ito (ed.)
Springer (1991)
Pehmeäkantinen kirja

51,40 €

Hae lisää...

Theoretical Aspects of Computer Software : International Conference TACS ’91, Sendai, Japan, September 24–27, 1991. Proceedings

Takayasu Ito (ed.), Albert R. Meyer (ed.)

101,40 €

Springer
Sivumäärä: 776 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 1991, 28.08.1991 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 526

TACS'91 is the first International Conference on Theoretical
Aspects of Computer Science held at Tohoku University,
Japan, in September 1991. This volume contains 37 papers and
an abstract for the talks presented at the conference.
TACS'91 focused on theoretical foundations of programming,
and theoretical aspects of the design, analysis and
implementation of programming languages and systems. The
following range of topics is covered: logic, proof,
specification and semantics of programs and languages;
theories and models of concurrent, parallel and distributed
computation; constructive logic, category theory, and type
theory in computer science; theory-based systems for
specifying, synthesizing, transforming, testing, and
verifying software.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa

Myymäläsaatavuus