本文に飛ぶ

年 〜
年

検索結果 2 件

22nd annual IEEE symposium on logic in computer science : proceedings : Wroclaw, Poland : 10-14 July 2007. : LICS 2007 conference : Jul 2007, Wroclaw, Poland.

22nd annual IEEE symposium on logic in computer science : proceedings : Wroclaw, Poland : 10-14 July 2007. : LICS 2007 conference : Jul 2007, Wroclaw, Poland.
紙図書
IEEE Computer Societyc2007.<M17-08-1709>
国立国会図書館
  • 件名...-- Congresses. Computer programs -- Correctness -- Congresses. Logic, Symbolic and mathemat...

Information systems, correctness and reusability : selected papers from the IS-CORE Workshop, Amsterdam, 26-30 September 1994

Information systems, correctness and reusability : selected papers from the IS-CORE Workshop, Amsterdam, 26-30 September 1994
紙図書
editors, R.J. Wieringa & R.B. FeenstraWorld Scientificc1995
全国の図書館
  • 件名... -- Congresses Computer programs -- Correctness -- Congresses Object-oriented databases -- ...
  • 件名（識別子）... -- Congresses Computer programs -- Correctness -- Congresses Object-oriented databases -- ...

検索結果は以上です。

RSS