Jump to main content

yr 〜
yr

Search results 28

Theory and Practice of Computation : Workshop on Computation: Theory and Practice Quezon City, Philippines, September 2011 proceedings (Proceedings in information and communications technology : PICT ; 5)

Theory and Practice of Computation : Workshop on Computation: Theory and Practice Quezon City, Philippines, September 2011 proceedings (Proceedings in information and communications technology : PICT ; 5)
Paper図書
Shin-ya Nishizaki, Masayuki Numao, Jaime Caro, Merlin Teodosia Suarez editorsSpringerc2012<M18-B1179>
National Diet Library
  • Author Heading西崎, 真也 沼尾, 正行 Caro, Jaime

理工系のためのコンピュータサイエンス (Information & computing ; 110)

理工系のためのコンピュータサイエンス (Information & computing ; 110)
Paper図書
西崎真也 著サイエンス社2007.12<M154-J3>
National Diet LibraryOther Libraries in Japan
  • Author Heading西崎, 真也

論理と計算のしくみ

論理と計算のしくみ
Paper図書
萩谷昌己, 西崎真也 著岩波書店2007.6<MA41-H51>
National Diet LibraryOther Libraries in Japan
  • Author Heading萩谷, 昌己, 1957- 西崎, 真也

論理と計算のしくみ オンデマンド版

論理と計算のしくみ オンデマンド版
Paper図書
萩谷昌己, 西崎真也著岩波書店2017.2
Other Libraries in Japan
  • Author Heading萩谷, 昌己 西崎, 真也

Theory and practice of computation : 2nd workshop on computation: theory and practice, Manila, The Philippines, September 2012, proceedings (Proceedings in information and communications technology : PICT ; 7)

Theory and practice of computation : 2nd workshop on computation: theory and practice, Manila, The Philippines, September 2012, proceedings (Proceedings in information and communications technology : PICT ; 7)
Paper図書
Shin-ya Nishizaki, Masayuki Numao, Jaime Caro, Merlin Teodosia Suarez editorsSpringerc2013<M18-B1281>
National Diet Library
  • Author Heading西崎, 真也 沼尾, 正行 Caro, Jaime

理工系のためのコンピュータサイエンス

理工系のためのコンピュータサイエンス
Paper図書
西崎, 真也, Nishizaki, Shin-yaサイエンス社2008-01
Other Libraries in Japan
  • Author Heading西崎, 真也 Nishizaki, Shin-ya

Simply typed lambda calculus with first-class environments

Simply typed lambda calculus with first-class environments
PaperDigital博士論文障害者向け資料あり
西崎真也 [著]<UT51-94-J70>
Available onlineNational Diet Library
  • Author Heading西崎, 真也

この定理が美しい

この定理が美しい
Paper図書
数学書房編集部 編数学書房2009.6<MA21-J127>
National Diet LibraryOther Libraries in Japan
  • Contents... λ計算の美しさ 合流性定理 西崎 真也 数学の野原を飛び出して 補間......田邊 晋‖著 土基 善文‖著 西崎 真也‖著 縫田 光司‖著 原田 耕......田邊 晋／著 土基 善文／著 西崎 真也／著 縫田 光司／著 原田 耕一郎／著 洞 彰人／著 鈴木 ...

関数的環境計算の合流性，

関数的環境計算の合流性，
Paper図書
西崎, 真也, Nishizaki, Shin-ya日本ソフトウェア科学会　第16回大会論文集1999日本ソフトウェア科学会　第16回大会論文集
Other Libraries in Japan
  • Author Heading西崎, 真也 Nishizaki, Shin-ya

Formalization of Graph Search Algorithm and Its Applications

Formalization of Graph Search Algorithm and Its Applications
Paper図書
西崎, 真也, Nishizaki, Shin-yaLecture Notes in Computer Science1998Lecture Notes in Computer Science1479p.479-496
Other Libraries in Japan
  • Author Heading西崎, 真也 Nishizaki, Shin-ya

システム検証の科学技術シンポジウム : 講演論文集 第5回 (算譜科学研究速報 ; AIST-PS-2009-1)

システム検証の科学技術シンポジウム : 講演論文集 第5回 (算譜科学研究速報 ; AIST-PS-2009-1)
Paper図書
産業技術総合研究所 (システム検証研究センター) 編産業技術総合研究所システム検証研究センター2009.2<M159-J553>
National Diet Library

日本ソフトウェア科学会大会論文集

日本ソフトウェア科学会大会論文集
Paper雑誌雑誌タイトル
日本ソフトウェア科学会 編日本ソフトウェア科学会1984-2019<Z14-1245>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

コンピュータソフトウェア

コンピュータソフトウェア
Paper雑誌雑誌タイトル
日本ソフトウェア科学会 編日本ソフトウェア科学会1984-<Z14-1033>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

数学セミナー

数学セミナー
PaperDigital雑誌雑誌タイトル
日本評論社1991-<Z15-27>
National Diet Library
  •  
  •  
  •  
  •  
  •  
    •  

情報処理学会論文誌 SIG

情報処理学会論文誌 SIG
Paper雑誌雑誌タイトル
情報処理学会1998-2008<Z74-C192>
National Diet Library
  •  
  •  
  •  
  •  
  •  
    •  

Reached to the end of result.

RSS