Jump to main content

yr 〜
yr

Search results 5

200 problems on languages, automata, and computation

200 problems on languages, automata, and computation
Paper図書
edited by Filip Murlak, Damian Niwiński, Wojciech RytterCambridge University Press2023
Other Libraries in Japan
  • Author HeadingMurlak, Filip Niwiński, Damian Rytter, Wojciech

Mathematical foundations of computer science 2009 : 34th international symposium, MFCS 2009 : Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009 : proceedings. : Aug 2009, Novy Smokovec, Slovakia. (Lecture Notes in Computer Science ; 5734)

Mathematical foundations of computer science 2009 : 34th international symposium, MFCS 2009 : Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009 : proceedings. : Aug 2009, Novy Smokovec, Slovakia. (Lecture Notes in Computer Science ; 5734)
Paper図書
Springerc2009.<M17-10-1589>
National Diet Library
  • Author Heading...ič, Rastislav. Niwiński, Damian. Comenius University. Faculty...

Mathematical foundations of computer science 2009 : 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009 : proceedings

Mathematical foundations of computer science 2009 : 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009 : proceedings
Paper図書
Rastislav Královič, Damian Niwiński (eds.)Springerc2009
Other Libraries in Japan
  • Author HeadingSymposium on Mathematical Foundations of Computer Science Královič, Rastislav Niwiński, Damian

Rudiments of μ-calculus

Rudiments of μ-calculus
Paper図書
A. Arnold, D. NiwińskiElsevier2001
Other Libraries in Japan
  • Author HeadingArnold, André Niwiński, Damian

Logic, algebra, and computer science : Helena Rasiowa in memoriam

Logic, algebra, and computer science : Helena Rasiowa in memoriam
Paper図書
editors of the volume, Damian Niwiński, Marek ZawadowskiInstitute of Mathematics, Polish Academy of Sciences1999
Other Libraries in Japan
  • Author HeadingNiwiński, Damian Zawadowski, Marek

Reached to the end of result.

RSS