1～5件／全5件 セーフサーチON
  •  
Logic for Applications (Monographs in Computer Science) （Reprint）
  • 洋書

Logic for Applications (Monographs in Computer Science) （Reprint）  Paperback,  言語：ENG

Nerode, Anil/ Shore, Richard A.

  • Springer-Verlag New York Inc（2012/07発売）
  • ご注文いただけません
Logical Foundations of Computer Science - International Symposium, LFCS 2009, FL, USA, Proceedings (Lecture Notes in Computer Science) 〈Vol. 5407〉
  • 洋書

Logical Foundations of Computer Science - International Symposium, LFCS 2009, FL, USA, Proceedings (Lecture Notes in Computer Science) 〈Vol. 5407〉  Paperback,  言語：ENG

Artemov, Sergei (EDT)/ Nerode, A. (EDT)

  • ウェブストア価格 ¥11,535（本体¥10,487）
  • Springer（2009/01発売）
  • ポイント 104pt
  • 海外取次在庫
Combinatorial Functors (Ergebnisse der Mathematik und ihrer Grenzgebiete. 2. Folge .81) （Softcover reprint of the original 1st ed. 1974. 2012. viii, 148 S. VII）
  • 洋書

Combinatorial Functors (Ergebnisse der Mathematik und ihrer Grenzgebiete. 2. Folge .81) （Softcover reprint of the original 1st ed. 1974. 2012. viii, 148 S. VII）  Paperback

Crossley, J. N./ Nerode, A.

  • ウェブストア価格 ¥13,231（本体¥12,029）
  • SPRINGER, BERLIN; SPRINGER BERLIN HEIDELBERG; SPRINGE（2012発売）
  • ポイント 120pt
  • 海外取次在庫
Logic and Computer Science : Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 (Lecture Notes in Mathematics, Volume 1429) （2008. 176 S. 235 mm）
  • 洋書

Logic and Computer Science : Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 (Lecture Notes in Mathematics, Volume 1429) （2008. 176 S. 235 mm）  Paperback

Homer, Steven/ Nerode, Anil/ Platek, Richard A./ Sacks, Gerald E./ Scedrov, Andre/ Herausgeber: Odifreddi, Piergiorgio

  • ウェブストア価格 ¥6,604（本体¥6,004）
  • SPRINGER, BERLIN（2008発売）
  • ポイント 60pt
  • 海外取次在庫
Hybrid Systems (Lecture Notes in Computer Science, Volume 736) （2007. 488 S. 235 mm）
  • 洋書

Hybrid Systems (Lecture Notes in Computer Science, Volume 736) （2007. 488 S. 235 mm）  Paperback

Herausgeber: Ravn, Anders P., Nerode, Anil, Grossman, Robert L., Rischel, Hans

  • ウェブストア価格 ¥13,231（本体¥12,029）
  • SPRINGER, BERLIN（2007発売）
  • ポイント 120pt
  • 海外取次在庫
1～5件／全5件
  •