Jump to main content

yr 〜
yr

Search results 13

Fundamental approaches to software engineering : 12th International Conference, Fase 2009, held As part of the joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009 : proceedings

Fundamental approaches to software engineering : 12th International Conference, Fase 2009, held As part of the joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009 : proceedings
Paper図書
Marsha Chechik, Martin Wirsing (eds.)Springerc2009
Other Libraries in Japan
  • Author Heading (ID)DA00831565 https://ci.nii......ac.jp/author/DA00831565#entity https:/......urceID/NII%7CDA00831565

Theoretical aspects of computing : ICTAC 2005 : second International colloquium, Hanoi, Vietnam, October 17-21, 2005 : proceedings

Theoretical aspects of computing : ICTAC 2005 : second International colloquium, Hanoi, Vietnam, October 17-21, 2005 : proceedings
Paper図書
Dang Van Hung , Martin Wirsing (eds.)Springerc2005
Other Libraries in Japan
  • Author Heading (ID)...7CDA1513671X DA00831565 https://ci.nii......ac.jp/author/DA00831565#entity https:/......urceID/NII%7CDA00831565

Adapting proofs-as-programs : the Curry-Howard protocol : hbk : pbk

Adapting proofs-as-programs : the Curry-Howard protocol : hbk : pbk
Paper図書
Iman Hafiz Poernomo, John Newsome Crossley, Martin WirsingSpringerc2005
Other Libraries in Japan
  • Author Heading (ID)...7CDA00749034 DA00831565 https://ci.nii......ac.jp/author/DA00831565#entity https:/......urceID/NII%7CDA00831565

Radical innovations of software and systems engineering in the future : 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11. 2002 : revised papers

Radical innovations of software and systems engineering in the future : 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11. 2002 : revised papers
Paper図書
Martin Wirsing, Alexander Knapp, Simonetta Balsamo, (eds.)Springerc2004
Other Libraries in Japan
  • Author Heading (ID)...7CDA14429075 DA00831565 https://ci.nii......ac.jp/author/DA00831565#entity https:/......urceID/NII%7CDA00831565

Algebraic methodology and software technology : 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996 : proceedings

Algebraic methodology and software technology : 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996 : proceedings
Paper図書
Martin Wirsing, Maurice Nivat (eds.)Springerc1996
Other Libraries in Japan
  • Author Heading (ID)...7CDA07076725 DA00831565 https://ci.nii......ac.jp/author/DA00831565#entity https:/......urceID/NII%7CDA00831565 DA0104972X https://ci.nii.ac....

Methods of programming : selected papers on the CIP-project : gw : us

Methods of programming : selected papers on the CIP-project : gw : us
Paper図書
M. Broy, M. Wirsing, (eds.)Springer-Verlagc1991
Other Libraries in Japan
  • Author Heading (ID)...7CDA00119422 DA00831565 https://ci.nii......ac.jp/author/DA00831565#entity https:/......urceID/NII%7CDA00831565

Programming language implementation and logic programming : 4th International Symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992 : proceedings : gw : us

Programming language implementation and logic programming : 4th International Symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992 : proceedings : gw : us
Paper図書
M. Bruynooghe, M. Wirsing, (eds.)Springer-Verlagc1992
Other Libraries in Japan
  • Author Heading (ID)...7CDA06625828 DA00831565 https://ci.nii......ac.jp/author/DA00831565#entity https:/......urceID/NII%7CDA00831565

Programming language implementation and logic programming : 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991 : proceedings : gw : us

Programming language implementation and logic programming : 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991 : proceedings : gw : us
Paper図書
J. Maluszyński, M. Wirsing, (eds.)Springer-Verlagc1991
Other Libraries in Japan
  • Author Heading (ID)...7CDA03188884 DA00831565 https://ci.nii......ac.jp/author/DA00831565#entity https:/......urceID/NII%7CDA00831565

STACS 88 : 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13, 1988 : proceedings : gw : us

STACS 88 : 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13, 1988 : proceedings : gw : us
Paper図書
R. Cori, M. Wirsing (eds.)Springer-Verlagc1988
Other Libraries in Japan
  • Author Heading (ID)...7CDA01981712 DA00831565 https://ci.nii......ac.jp/author/DA00831565#entity https:/......urceID/NII%7CDA00831565

Algebraic methods : theory, tools and applications [1] : gw [1] : us 2 : gw 2 : us

Algebraic methods : theory, tools and applications [1] : gw [1] : us 2 : gw 2 : us
Paper図書
M. Wirsing, J.A. Bergstra, edsSpringer-Verlagc1989-c1991
Other Libraries in Japan
  • Author Heading (ID)DA00831565 https://ci.nii......ac.jp/author/DA00831565#entity https:/......urceID/NII%7CDA00831565 DA03712584 https://ci.nii.ac....

Formal description of programming concepts--III : proceedings of the IFIP TC2/WG 2.2 Working Conference on Formal Description of Programming Concepts , Ebberup, Denmark, 25-28 August, 1986

Formal description of programming concepts--III : proceedings of the IFIP TC2/WG 2.2 Working Conference on Formal Description of Programming Concepts , Ebberup, Denmark, 25-28 August, 1986
Paper図書
edited by Martin WirsingNorth-Holland Pub. Co.1987
Other Libraries in Japan
  • Author Heading (ID)...7CDA00525751 DA00831565 https://ci.nii......ac.jp/author/DA00831565#entity https:/......urceID/NII%7CDA00831565 DA00188491 https://ci.nii.ac....

STACS 87 : 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, Federal Republic of Germany, February 19-21, 1987, proceedings : gw : us

STACS 87 : 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, Federal Republic of Germany, February 19-21, 1987, proceedings : gw : us
Paper図書
edited by F.J. Brandenburg, G. Vidal-Naquet and M. WirsingSpringer-Verlagc1987
Other Libraries in Japan
  • Author Heading (ID)...7CDA00831485 DA00831565 https://ci.nii......ac.jp/author/DA00831565#entity https:/......urceID/NII%7CDA00831565

票拠通論 (中央銀行叢刊)

票拠通論 (中央銀行叢刊)
Paper図書
陳天表 著商務印書館1937<338.14-Ti276h>
National Diet LibraryOther Libraries in Japan
  • Author Heading (ID)00750963 00831565

Reached to the end of result.

RSS