メインコンテンツに移動

このページのQRコード

CONCUR '99 : concurrency theory : 10th International Conference, Eindhoven, the Netherlands, August 24-27, 1999 : proceedings

書誌情報を取り込む
フォーマット
  • 図書
責任表示
Jos C.M. Baeten, Sjouke Mauw (eds.)
出版情報
  • Berlin : Springer , c1999
形態
  • xi, 572 p.  :  ill.  ;  24 cm
ISBN
  • 9783540664253 [3540664254]
シリーズ名
著者名
書誌ID
  • BA42751998
注記
  • Includes bibliographical references and index
E-Resources
Loading...
Loading...
Loading...
言語
  • 英語
分類・件名
  • LCC：QA76.58
  • LCSH：Parallel processing (Electronic computers)--Congresses
  • LCSH：Multitasking (Computer science)--Congresses
主題
タイトルが類似している資料
類似資料
図書

CONCUR 2000 - concurrency theory : 11th International Conference, University Park, PA, USA, August 22-25, 2000 : proceedings

International Conference on Concurrency Theory Palamidessi, Catuscia
Springer, c2000
図書

CONCUR 2001 - concurrency theory : 12th International Conference, Aalborg, Denmark, August 20-25, 2001 : proceedings

International Conference on Concurrency Theory Larsen, K. G. (Kim G.), 1957- Nielsen, M. (Mogens), 1949-
Springer, c2001
図書

CONCUR '97 : concurrency theory : 8th International Conference, Warsaw, Poland, July 1-4, 1997 : proceedings

International Conference on Concurrency Theory Mazurkiewicz, Antoni Winkowski, Józef, 1934-
Springer, c1997
図書

Applications and theory of Petri nets 2003 : 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003 : proceedings

International Conference on Applications and Theory of Petri Nets Aalst, Wil van der Best, Eike
Springer, c2003
図書

Compiler construction : 8th international conference, CC '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings

International Workshop on Compiler Construction Jähnichen, Stefan
Springer-Verlag, c1999
図書

Foundations of software science and computation structures : second international conference, FOSSACS '99, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings

FOSSACS Thomas, Wolfgang European Conferences on Theory and Practice of Software
Springer, c1999
図書

Computing and combinatorics : 5th Annual International Conference, COCOON '99, Tokyo, Japan, July 26-28, 1999 : proceedings

International Computing and Combinatorics Conference 浅野, 孝夫(1949-)
Springer, c1999
図書

Algorithms and computation : 10th International Symposium, ISAAC '99, Chennai, India, December 16-18, 1999 : proceedings

ISAAC (Conference) Aggarwal, Alok Rangan, C. Pandu
Springer, c1999
図書

Parallel problem solving from nature-PPSN V : 5th International Conference, Amsterdam, The Netherlands, September 27-30, 1998 : proceedings

Conference on Parallel Problem Solving from Nature Eiben, Agoston E.
Springer, c1998
図書

Automated deduction--CADE-16 : 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings

International Conference on Automated Deduction Ganzinger, Harald, 1950-
Springer, c1999
図書

Discovery science : second International Conference, DS '99, Tokyo, Japan, December 6-8, 1999 : proceedings

International Conference on Discovery Science 有川, 節夫 古川, 康一(1942-)
Springer, c1999
図書

Implementation of functional languages : 11th International Workshop, IFL'99, Lochem, the Netherlands, September 7-10, 1999 : selected papers

International Workshop on the Implementation of Functional Languages Koopman, Pieter Clack, Chris
Springer, c2000
図書

Application and theory of Petri nets 1998 : 19th International Conference, ICATPN'98, Lisbon, Portugal, June 22-26, 1998 : proceedings

International Conference on Applications and Theory of Petri Nets Desel, Jörg Silva, Manuel
Springer, c1998
図書

Combinatorial mathematics : proceedings of the International Conference on Combinatorial Theory Canberra, August 16-27, 1977

International Conference on Combinatorial Theory Holton, Derek Allan, 1941- Seberry, Jennifer, 1944-
Springer-Verlag distributed in Australia by Australian Academy of Science, c1978
図書

TAPSOFT '93 : theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings

International Joint Conference on Theory and Practice of Software Development Gaudel, M.-C. (Marie-Claude) Jouannaud, Jean-Pierre Colloquium on Trees in Algebra and Programming Colloquium on Formal Approaches of Software Engineering
Springer-Verlag, c1993
図書

Statistical mechanics and field theory : mathematical aspects : proceedings of the International Conference on the Mathematical Aspects of Statistical Mechanics and Field Theory, held in Groningen, The Netherlands, August 26-30, 1985

International Conference on the Mathematical Aspects of Statistical Mechanics and Field Theory Dorlas, Teunis Christiaan, 1955- Hugenholtz, Nicolaas Marinus, 1924- Winnink, Marinus, 1936-
Springer-Verlag, c1986
図書

TAPSOFT '97 : theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings

International Joint Conference on Theory and Practice of Software Development Bidoit, M. (Michel), 1957- Dauchet, Max, 1946-
Springer, c1997
図書

11th International Conference of Women Engineers and Scientists : proceedings "science and technology for global ecology", Makuhari Messe, Chiba, Japan, July 24-27, 1999

International Conference of Women Engineers and Scientists 日本学術会議 日本婦人科学者の会 Japanese Women Engineers Forum
[International Conference of Women Engineers and Scientists], [1999]
図書

Theorem proving in higher order logics : 10th International Conference, TPHOLsʾ97, Murray Hill, NJ, USA, August 19-22, 1997 : proceedings

International Conference on Theorem Proving in Higher Order Logics Gunter, Elsa L. Felty, Amy
Springer, c1997
図書

TAPSOFT '95 : theory and practice of software development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 : proceedings

International Joint Conference on Theory and Practice of Software Development Mosses, Peter D. Nielsen, M. (Mogens), 1949- Schwartzbach, Michael I Colloquium on Trees in Algebra and Programming Colloquium on Formal Approaches of Software Engineering
Springer, c1995