Jump to main content

yr 〜
yr

Search results 14

Theory and practice of computation : proceedings of the workshop on computation: theory and practice (WCTP 2019), 26-27 September 2019, Manila, the Philippines : 9th workshop on computing: theory and practice : Sep 2019, Manila, the Philippines.

Theory and practice of computation : proceedings of the workshop on computation: theory and practice (WCTP 2019), 26-27 September 2019, Manila, the Philippines : 9th workshop on computing: theory and practice : Sep 2019, Manila, the Philippines.
Paper図書
CRC Press, Taylor & Francis Group[2021]<M17-22-583>
National Diet Library
  • Author Heading...e Philippines) Nishizaki, Shin-ya. Numao, Masayuki, 1961- Suare...

Theory and practice of computation : proceedings of the 8th workshop on computation: theory and practice (WCTP 2018), Manila, the Philippines, September 17-18, 2018 : 8th workshop on computing: theory and practice : Sep 2018, Manila, the Philippines.

Theory and practice of computation : proceedings of the 8th workshop on computation: theory and practice (WCTP 2018), Manila, the Philippines, September 17-18, 2018 : 8th workshop on computing: theory and practice : Sep 2018, Manila, the Philippines.
Paper図書
CRC Press[2019]<M17-23-208>
National Diet Library
  • Author Heading..., Philippines) Nishizaki, Shin-ya. Numao, Masayuki, 1961- Caro,...

Theory and practice of computation : proceedings of workshop on computation: theory and practice WCTP2015 : the University of the Philippines Cebu, Cebu City, the Philippines : 22-23 September 2015 : WCTP 2015 : 5th workshop on computing: theory and practice : Sep 2015, Cebu City, the Philippines.

Theory and practice of computation : proceedings of workshop on computation: theory and practice WCTP2015 : the University of the Philippines Cebu, Cebu City, the Philippines : 22-23 September 2015 : WCTP 2015 : 5th workshop on computing: theory and practice : Sep 2015, Cebu City, the Philippines.
Paper図書
World Scientific Publishing Co. Pte. Ltd.[2017]<M17-20-410>
National Diet Library
  • Author Heading...e Philippines) Nishizaki, Shin-ya. Numao, Masayuki, 1961- Caro,...

Theory and practice of computation : proceedings of workshop on computation: theory and practice WCTP2014 : Century Park Hotel, Manila, Philippines : 6-7 October 2014 : main and satellite conferences of WCTP 2014 : 4th workshop on computing: theory and practice : Oct 2014, Manila, Philippines.

Theory and practice of computation : proceedings of workshop on computation: theory and practice WCTP2014 : Century Park Hotel, Manila, Philippines : 6-7 October 2014 : main and satellite conferences of WCTP 2014 : 4th workshop on computing: theory and practice : Oct 2014, Manila, Philippines.
Paper図書
World Scientific[2016]<M17-19-402>
National Diet Library
  • Author Heading...in Teodosia C. Nishizaki, Shin-ya. 東京工業大学

Theory and practice of computation : proceedings of Workshop on Computation : Theory and Practice WCTP2013, University of the Philippines Diliman, Philippines, 30 September - 1 October 2013

Theory and practice of computation : proceedings of Workshop on Computation : Theory and Practice WCTP2013, University of the Philippines Diliman, Philippines, 30 September - 1 October 2013
Paper図書
Shin-ya Nishizaki... [et al.], editorsWorld Scientificc2015
Other Libraries in Japan
  • Author HeadingNishizaki, Shin-ya Numao, Masayuki Caro, Jaime D...

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

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

ToyWeb based prover

ToyWeb based prover
Digital文書・図像類
NISHIZAKI, Shin-ya, TAMANO, Hiroshi, SOYAMA, Yusuke2006-11-29p.1-16
Other Libraries in Japan
  • Author HeadingNISHIZAKI, Shin-ya TAMANO, Hiroshi SOYAMA, Yusuk...

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

関数的環境計算の合流性，
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

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
  • Authority（Author Heading/altLabel）Nishizaki, Shin-ya Numao, Masayuki

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

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

論理と計算のしくみ

論理と計算のしくみ
Paper図書
萩谷昌己, 西崎真也 著岩波書店2007.6<MA41-H51>
National Diet LibraryOther Libraries in Japan
  • Authority（Author Heading/altLabel）Hagiya, Masami Masami Hagiya Nishizaki, Shin-ya

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
  • Authority（Author Heading/altLabel）Nishizaki, Shin-ya Numao, Masayuki

Simply typed lambda calculus with first-class environments

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

Reached to the end of result.

RSS