メインコンテンツに移動

このページのQRコード

International Symposium on Programming : proceedings of the Fourth "Colloque International sur la Programmation" Paris, 22-24 April 1980

書誌情報を取り込む
フォーマット
  • 図書
責任表示
edited by B. Robinet
出版情報
  • Berlin : Springer-Verlag , 1980
形態
  • vii, 341 p.  ;  25 cm
ISBN
  • 9783540099819 [3540099816] (: gw)
  • 9780387099811 [0387099816] (: us)
シリーズ名
著者名
書誌ID
  • BA03642008
注記
  • English or French
  • Includes bibliographies
E-Resources
Loading...
Loading...
Loading...
言語
  • 英語 ; フランス語
分類・件名
  • LCC：QA76.6
  • DCC：001.64/2
  • LCSH：Electronic digital computers--Programming--Congresses
主題
タイトルが類似している資料
類似資料
図書

International Symposium on Programming : 6th colloquium, Toulouse, April 17-19, 1984 : proceedings

International symposium on programming Paul, Manfred, 1932- Robinet, Bernard, 1941-
Springer-Verlag, 1984
図書

Programming languages and systems -- ESOP '96 : 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996 : proceedings

European Symposium on Programming Nielson, Hanne Riis, 1954-
Springer-Verlag, c1996
図書

ESOP 86 : European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986, proceedings

European Symposium on Programming Robinet, Bernard, 1941- Wilhelm, Reinhard, 1946-
Springer-Verlag, c1986
図書

Programming languages and systems, ESOP '94 : 5th European Symposium on Programming, Edinburgh, U.K., April 11-13, 1994 : proceedings

European Symposium on Programming Sannella, Donald, 1956-
Springer-Verlag, c1994
図書

Programming languages : implementations, logics, and programs : 9th International Symposium, PLILP '97 including a special track on declarative programming languages in education, Southampton, UK, September 3-5, 1997 : proceedings

International Symposium, PLILP Glaser, Hugh Hartel, Pieter H. Kuchen, Herbert R., 1958-
Springer, c1997
図書

ESOP '88 : 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988 : proceedings

European Symposium on Programming Ganzinger, Harald, 1950- Colloquium on Trees in Algebra and Programming
Springer-Verlag, c1988
図書

Principles of declarative programming : 10th International Symposium, PLILP'98 held jointly with the 6th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998 : proceedings

International Symposium, PLILP Palamidessi, Catuscia Glaser, Hugh Meinke, Karl
Springer, c1998
図書

Formalization of programming concepts : International Colloquium, Peniscola, Spain, April 19-25, 1981 : proceedings

Ramos, I. (Isidro), 1943- International Colloquium on the Formalization of Programming Concepts Díaz, Josep, 1950-
Springer-Verlag, 1981
図書

Programming languages and systems : 7th European Symposium on Programming, ESOP '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings

European Symposium on Programming European Conferences on Theory and Practice of Software Hankin, Chris
Springer-Verlag, c1998
図書

ESOP '92 : 4th European Symposium on Programming, Rennes, France, February 26-28, 1992 : proceedings

European Symposium on Programming Krieg-Brückner, B. (Bernd)
Springer-Verlag, c1992
図書

Logic-based program synthesis and transformation : 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 : selected papers

International Workshop on Logic Program Synthesis and Transformation Bossi, Annalisa, 1948-
Springer, c2000
図書

Programming languages implementation and logic programming : International Workshop PLILP '88, Orléans, France, May 16-18, 1988 : proceedings

International Workshop PLILP Deransart, Pierre, 1945- Lorho, Bernard Małuszyński, Jan, 1941-
Springer-Verlag, c1989
図書

Functional and logic programming : 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001 : proceedings

FLOPS Kuchen, Herbert R., 1958- 上田, 和紀(1956-)
Springer, c2001
図書

Applied algebra, algebraic algorithms and error-correcting codes : 11th International Symposium, AAECC-11, Paris, France, July 17-22, 1995 : proceedings

AAECC Cohen, Gérard, 1951- Mora, Teo Giusti, Marc
Springer, c1995
図書

Programming languages and systems : 9th European Symposium on Programming, ESOP 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings

European Symposium on Programming Smolka, Gert European Conferences on Theory and Practice of Software
Springer, c2000
図書

Programming languages and systems : 10th European Symposium on Programming, ESOP 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings

European Symposium on Programming Sands, David European Conferences on Theory and Practice of Software
Springer, c2001
図書

Agent systems, mobile agents, and applications : second International Symposium on Agent Systems and Applications and fourth International Symposium on Mobile Agents, ASA/MA 2000, Zurich, Switzerland, September 13-15, 2000 : proceedings

International Symposium on Agent Systems and Applications International Symposium on Mobile Agents Kotz, David, 1964- Mattern, Friedemann
Springer, c2000
図書

Automata, languages, and programming : 19th International Colloquium, Wien, Austria, July 13-17, 1992 : proceedings

International Colloquium on Automata, Languages and Programming Kuich, Werner, 1941- European Association for Theoretical Computer Science
Springer-Verlag, c1992
図書

Mathematics of program construction : 4th International Conference, MPC '98, Marstrand, Sweden, June 15-17, 1998 : proceedings

International Conference on the Mathematics of Program Construction Jeuring, Johan, 1965-
Springer, c1998
図書

Logical foundations of computer science--Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 : proceedings

International Symposium on Logical Foundations of Computer Science Nerode, Anil, 1932- Taitslin, M. A. (Mikhail A.), 1936-
Springer-Verlag, c1992