Jump to main content

yr 〜
yr

Search results 3

Algebraic modeling of topological and computational structures and applications : THALES, Athens, Greece, July 1-3, 2015

Algebraic modeling of topological and computational structures and applications : THALES, Athens, Greece, July 1-3, 2015
Paper図書
Sofia Lambropoulou ... [et al.], editorsSpringerc2017
Other Libraries in Japan
  • Author HeadingLambropoulou, Sofia Theodorou, Doros N. Stefaneas, Petros Kauffman, Louis H.

Categorical foundations of modularisation for multi-paradigm

Categorical foundations of modularisation for multi-paradigm
Paper文書・図像類
Diaconescu, Razvan, Stefaneas, Petros北陸先端科学技術大学院大学情報科学研究科1998-05-09Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-98-0014p.1-16
Other Libraries in Japan
  • Author HeadingDiaconescu, Razvan Stefaneas, Petros

Modality in open institutions with concrete syntax

Modality in open institutions with concrete syntax
Paper文書・図像類
Diaconescu, Razvan, Stefaneas, Petros北陸先端科学技術大学院大学情報科学研究科1997-12-03Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-97-0046p.1-12
Other Libraries in Japan
  • Author HeadingDiaconescu, Razvan Stefaneas, Petros

Reached to the end of result.

RSS