Jump to main content

yr 〜
yr

Search results 31

A Domain Analysis of Artistic Works and A Digital License Language

A Domain Analysis of Artistic Works and A Digital License Language
Digital文書・図像類
Xiang, Jianwen, Bjorner, D., Chen, X., Arimoto, Y., Ogata, K., Vestergaard, R., Futatsugi, K.2006-11-28p.1-31
Other Libraries in Japan
  • Author HeadingXiang, Jianwen Bjorner, D. Chen, X. Arimoto, Y. Ogata, K...

Domain science and engineering : a foundation for software development

Domain science and engineering : a foundation for software development
Paper図書
Dines BjørnerSpringerc2021
Other Libraries in Japan
  • Author HeadingBjørner, D. (Dines)

Perspectives of system informatics : 4th international Andrei Ershov memorial conference, PSI 2001 : Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : revised papers. : Jul 2001, Akademgorodok, Russia. (Lecture Notes in Computer Science ; 2244)

Perspectives of system informatics : 4th international Andrei Ershov memorial conference, PSI 2001 : Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : revised papers. : Jul 2001, Akademgorodok, Russia. (Lecture Notes in Computer Science ; 2244)
Paper図書
Springerc2001.<M17-03-2444>
National Diet Library
  • Author HeadingBjørner, D. (Dines) , 1937- Broy, M., 194...

Domains, requirements, and software design

Domains, requirements, and software design
Paper図書
D. BjørnerSpringerc2006
Other Libraries in Japan
  • Author HeadingBjørner, D. (Dines)

Specification of systems and languages

Specification of systems and languages
Paper図書
D. BjørnerSpringerc2006
Other Libraries in Japan
  • Author HeadingBjørner, D. (Dines)

Abstraction and modelling

Abstraction and modelling
Paper図書
D. BjørnerSpringerc2006
Other Libraries in Japan
  • Author HeadingBjørner, D. (Dines)

Logics of specification languages

Logics of specification languages
Paper図書
Dines Bjørner, Martin C. Henson editorsSpringerc2008
Other Libraries in Japan
  • Author HeadingBjørner, D. (Dines) Henson, Martin C.

Formal methods in programming and their applications : international conference, Academgorodok, Novosibirsk, Russia, June 28-July 2, 1993 : proceedings / Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.). (Lecture notes in computer science)

Formal methods in programming and their applications : international conference, Academgorodok, Novosibirsk, Russia, June 28-July 2, 1993 : proceedings / Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1993.<M15-A9117>
National Diet Library
  • Author HeadingBjørner, D. (Dines) , 1937- Broy, M., 194...

Baltic computer science : selected papers / J. Bārzdiṇš, D Bjørner, eds. (Lecture notes in computer science)

Baltic computer science : selected papers / J. Bārzdiṇš, D Bjørner, eds. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1991.<M154-A145>
National Diet Library
  • Author HeadingBarzdinʹ, I︠A︡. M. (I︠A︡n Martynovich) Bjørner, D. (Dines) , 1937-

Domain engineering : technology management,research and engineering : 北陸先端科学技術大学院大学21世紀COEプログラム検証進化可能電子社会 (COE research monograph series ; vol.4)

Domain engineering : technology management,research and engineering : 北陸先端科学技術大学院大学21世紀COEプログラム検証進化可能電子社会 (COE research monograph series ; vol.4)
Paper図書
Dines Bjorner [著]JAIST Press2009.2<M159-B96>
National Diet Library

VDM '90 : VDM and Z : formal methods in software development : third international symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 proceedings / D. Bjørner, C.A.R. Hoare, H. Langmaack (eds.). (Lecture notes in computer science)

VDM '90 : VDM and Z : formal methods in software development : third international symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 proceedings / D. Bjørner, C.A.R. Hoare, H. Langmaack (eds.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1990.<M15-A6895>
National Diet Library
  • Author HeadingBjørner, D. (Dines) , 1937- Hoare, Charle...

VDM '87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 : proceedings / edited by D. Bjørner ... [et al.]. (Lecture notes in computer science)

VDM '87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 : proceedings / edited by D. Bjørner ... [et al.]. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1987.<M15-A3435>
National Diet Library
  • Author HeadingBjørner, D. (Dines) , 1937- VDM-Europe.

Perspectives of System Informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : revised papers

Perspectives of System Informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : revised papers
Paper図書
Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.)Springerc2001
Other Libraries in Japan
  • Author HeadingInternational Andrei Ershov Memorial Conference Bjørner, D. (Dines) Broy, M. Zamulin, Ale...

Perspectives of system informatics : third International Andrei Ershov Memorial Conference, PSI '99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 : proceedings

Perspectives of system informatics : third International Andrei Ershov Memorial Conference, PSI '99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 : proceedings
Paper図書
Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.)Springerc2000
Other Libraries in Japan
  • Author HeadingInternational Andrei Ershov Memorial Conference Bjørner, D. (Dines) Broy, M. Zamulin, Ale...

Towards a formal description of Ada / edited by D. Bjørner and O.N. Oest. (Lecture notes in computer science ; 98)

Towards a formal description of Ada / edited by D. Bjørner and O.N. Oest. (Lecture notes in computer science ; 98)
Paper図書
Springer-Verlag1980.<M159-155>
National Diet Library
  • Author HeadingBjørner, D. (Dines) , 1937- Oest, O. N.

Perspectives of system informatics : Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996, proceedings

Perspectives of system informatics : Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996, proceedings
Paper図書
Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)Springer-Verlagc1996
Other Libraries in Japan
  • Author HeadingInternational Andrei Ershov Memorial Conference Bjørner, D. (Dines) Broy, M. Pottosin, I....

Formal description of programming concepts--II : proceedings of the IFIP Working Conference on Formal Description of Programming Concepts--II, Garmisch-Partenkirchen, FRG, 1-4 June 1982 / edited by Dines Bjørner.

Formal description of programming concepts--II : proceedings of the IFIP Working Conference on Formal Description of Programming Concepts--II, Garmisch-Partenkirchen, FRG, 1-4 June 1982 / edited by Dines Bjørner.
Paper図書
North-Holland Pub. Co.1983.<M15-A415>
National Diet Library
  • Author Heading...chen, Germany) Bjørner, D. (Dines) , 1937- IFIP Technica...

The Vienna development method : the Meta-language / edited by D. Bjørner and C. B. Jones. (Lecture notes in computer science ; 61)

The Vienna development method : the Meta-language / edited by D. Bjørner and C. B. Jones. (Lecture notes in computer science ; 61)
Paper図書
Springer-Verlag1978.<M159-77>
National Diet Library
  • Author HeadingBjørner, D. (Dines) , 1937- Jones, C. B. ...

Formal methods in programming and their applications : International Conference, Academgorodok, Novosibirsk, Russia, June 28-July 2, 1993 : proceedings : gw : us

Formal methods in programming and their applications : International Conference, Academgorodok, Novosibirsk, Russia, June 28-July 2, 1993 : proceedings : gw : us
Paper図書
Dines Bjørner, Manfred Broy, Igor V. Pottosin,(eds.)Springer-Verlagc1993
Other Libraries in Japan
  • Author HeadingBjørner, D. (Dines) Broy, M. Pottosin, I....

Baltic computer science : selected papers : gw : us

Baltic computer science : selected papers : gw : us
Paper図書
J. Bārzdiṇš, D. Bjørner, (eds.)Springer-Verlagc1991
Other Libraries in Japan
  • Author HeadingBarzdinʹ, I︠A︡. M. (I︠A︡n Martynovich) Bjørner, D. (Dines)
RSS