検索結果 18 件

デジタル記事
Z. Esik<Z43-1336>数理解析研究所講究録1166 2000.8p.52~58
インターネットで読める国立国会図書館全国の図書館
デジタル記事
Pal Domosi<Z43-1336>数理解析研究所講究録(通号 1366) 2004.4p.44~51
インターネットで読める国立国会図書館全国の図書館
  • 件名Finite automata Letichevsky criterion
デジタル記事
Balazs Imreh, 伊藤 正美, Antal Pukler<Z43-1336>数理解析研究所講究録1166 2000.8p.95~99
インターネットで読める国立国会図書館全国の図書館
デジタル記事
Victor Mitrana<Z43-1336>数理解析研究所講究録1166 2000.8p.178~190
インターネットで読める国立国会図書館全国の図書館
デジタル記事
山崎 智弘, 小林 弘忠, 徳永 裕己 他<Z43-1336>数理解析研究所講究録1166 2000.8p.244~252
インターネットで読める国立国会図書館全国の図書館
デジタル記事
竹内 泉<Z43-1336>数理解析研究所講究録1166 2000.8p.222~225
インターネットで読める国立国会図書館全国の図書館
デジタル記事
西尾 英之助<Z43-1336>数理解析研究所講究録1166 2000.8p.200~206
インターネットで読める国立国会図書館全国の図書館
図書
Chapman & Hall/CRCc2007.<M154-B52>
国立国会図書館
  • 内容細目The languages of dynamic sys......eb on modeling and simulation / J......, Congzhou He, and Julia I. Couto Systems engineering / Andrew P. Sage Bas......ve L. Dym DEVS formalism for modelin......discrete-event systems / Tag Gon Kim ...... for modeling, and modeling for a......e M. Uhrmacher and Mathias Röhl D...... of continuous systems / James Nutaro......Seegyoung Seol and Benjamin Frant......ts / Marc Hoit and Gary Consolazi......ul A. Fishwick and Jinho Lee Hybrid dynamic systems : modeling and execution / Pi......sterman Theory and practice for s......teroperability and composability ......isco Esquembre and Wolfgang Christian Difference...
デジタル電子書籍・電子雑誌図書
David Padua (ed.)Springer[2011]
国立国会図書館
  • 内容細目...orting Network Algebraic Multigrid Algo......fix Sums Allen and Kennedy Algori......s Applications and Parallelism Ar......Networks Array Languages Array Languages, Compiler Tech...... Backpressure Bandwidth-Latency M...... Channel Buses and Crossbars Butt......ELL Cell Broadband Engine Process....../B.E. Cellular Automata Chaco Chapel (......n Cluster File Systems Cluster of Wor......CE) Community Land Model (CLM) Co......ions for Array Languages Compilers Comp......ncurrent Logic Languages Concurrent ML ......y XT3 Cray XT3 and Cray XT Series......y XT4 Cray XT4 and Seastar 3-D To......tributed Logic Languages Distributed Memory Computers ...
図書
edited by Masami Ito, Yuji Kobayashi, Kunitaka ShojiWorld Scientificc2010
全国の図書館
  • 著者標目Automata, formal languages and algebraic systems 伊藤, 正美 Kobayashi, Yuji 庄司, 邦孝
デジタル記事
Domosi, Pal京都大学数理解析研究所2004-04数理解析研究所講究録1366p.44-51
インターネットで読める全国の図書館
デジタル記事
Esik, Zoltan京都大学数理解析研究所2000-08数理解析研究所講究録1166p.52-58
インターネットで読める全国の図書館
デジタル記事
Mitrana, Victor京都大学数理解析研究所2000-08数理解析研究所講究録1166p.178-190
インターネットで読める全国の図書館
デジタル記事
Imreh, Balazs, Ito, Masami, Pukler, Antal京都大学数理解析研究所2000-08数理解析研究所講究録1166p.95-99
インターネットで読める全国の図書館
デジタル記事
Takeuti, Izumi京都大学数理解析研究所2000-08数理解析研究所講究録1166p.222-225
インターネットで読める全国の図書館
デジタル記事
Nishio, Hidenosuke京都大学数理解析研究所2000-08数理解析研究所講究録1166p.200-206
インターネットで読める全国の図書館
デジタル記事
Yamasaki, Tomohiro, Kobayashi, Hirotada, Tokunaga, Yuuki, Imai, Hiroshi京都大学数理解析研究所2000-08数理解析研究所講究録1166p.244-252
インターネットで読める全国の図書館
  • 並列タイトル等(連結)...tic Reversible and Quantum One-counter Automata (Algebraic Systems, Formal Languages and Computations)
  • 並列タイトル等...tic Reversible and Quantum One-counter Automata (Algebraic Systems, Formal Languages and Computations)

検索結果は以上です。