ヘルプ
ヘルプ

検索結果 503 件

Handbook of real-time computing. Volume 1 (Springer Nature. reference)

Handbook of real-time computing. Volume 1 (Springer Nature. reference)
紙図書
Yu-Chu Tian, David C. Levy, editorsSpringer[2022]<M154-D45>
国立国会図書館全国の図書館
  • 内容細目...nes Time Petri nets Markov chain modeling

Introduction to computational origami : the world of new computational geometry

Introduction to computational origami : the world of new computational geometry
紙図書
Ryuhei UeharaSpringer[2020]<MA91-D2>
国立国会図書館
  • 要約等...int of view of computer science. Rangi......nal origami as computer science. Part ......s the topic of nets. In the science of nets, there are num...... algorithms by computer are closely co......y, an area for computer science research. Part IV pre...
  • 内容細目...pter 3: Common Nets of Boxes Chapter 4: Common Nets of (Regular) P......ter 10: Common Nets of a Regular Tetrahedron and ...
  • 件名Computer science Geomet......ing (General). Computers--Programming--Algorithms. Computer science.

Measuring capital : OECD manual 2009. 2nd ed.

Measuring capital : OECD manual 2009. 2nd ed.
紙図書
OECD2009.<DE64-B4794>
国立国会図書館

Node-to-set disjoint-paths routing in recursive dual-net (Special issue on selected papers from the first International Conference Networking and Computing)

Node-to-set disjoint-paths routing in recursive dual-net (Special issue on selected papers from the first International Conference Networking and Computing)
紙デジタル記事
Yamin Li, Shietung Peng, Wanming Chu<Z78-A690>International journal of networking and computing1(2) 2011.7p.178～190
国立国会図書館全国の図書館
  • 要約等...ssive parallel computers. The RDN is based on recursi...
  • 参照...twork for supercomputers of the next generation Disjo...
  • 出版者（掲載誌）Higashi Hiroshima : Dept. of Computer Engineering

Communication technologies for vehicles : 8th international workshop : Nets4Cars/Nets4Trains/Nets4Aircraft 2015 : Sousse, Tunisia, May 6-8, 2015 : proceedings : Nets4Cars-Nets4Trains-Nets4Aircraft 2015 : May 2015, Sousse, Tunisia. (Lecture Notes in Computer Science ; 9066)

Communication technologies for vehicles : 8th international workshop : Nets4Cars/Nets4Trains/Nets4Aircraft 2015 : Sousse, Tunisia, May 6-8, 2015 : proceedings : Nets4Cars-Nets4Trains-Nets4Aircraft 2015 : May 2015, Sousse, Tunisia. (Lecture Notes in Computer Science ; 9066)
紙図書
Springer[2015]<M17-16-337>
国立国会図書館
  • 並列タイトル等（連結）NETS 4 : cars : trains : aircraft
  • 並列タイトル等NETS 4 : cars : trains : aircraft
  • タイトル標目Lecture notes in computer science ; 9066......library. SL 5, Computer communication networks and te...

On a new model for quantum computers by using quantum Petri nets (コンカレント工学)

On a new model for quantum computers by using quantum Petri nets (コンカレント工学)
紙記事
伊藤 慎祐, 太田 淳, 辻 孝吉<Z16-940>電子情報通信学会技術研究報告 = IEICE technical report : 信学技報109(301) 2009.11.26・27p.1～6
国立国会図書館
  • 件名量子コンピュータ ペトリネット 量子ペトリネット Quantum computers Petri nets Quantum Petri nets

On a new model for quantum computers by using quantum Petri nets (回路とシステム)

On a new model for quantum computers by using quantum Petri nets (回路とシステム)
紙記事
伊藤 慎祐, 太田 淳, 辻 孝吉<Z16-940>電子情報通信学会技術研究報告 = IEICE technical report : 信学技報109(300) 2009.11.26・27p.1～6
国立国会図書館全国の図書館
  • 件名量子コンピュータ ペトリネット 量子ペトリネット Quantum computers Petri nets Quantum Petri nets

5分で分かる!? 有名論文ナナメ読み Geoffrey E. Hinton, Simon Osindero and Yee-Whye Teh : A Fast Learning Algorithm for Deep Belief Nets : Neural Computation, Vol.18 Issue 7, pp.1527-1554 (July 2006)

5分で分かる!? 有名論文ナナメ読み Geoffrey E. Hinton, Simon Osindero and Yee-Whye Teh : A Fast Learning Algorithm for Deep Belief Nets : Neural Computation, Vol.18 Issue 7, pp.1527-1554 (July 2006)
紙記事
川上 玲<Z14-352>情報処理 : 情報処理学会誌 : IPSJ magazine59(10)=643:2018.10p.946-948
国立国会図書館全国の図書館

Communication technologies for vehicles : 6th international workshop : Nets4Cars/Nets4Trains/Nets4Aircraft 2014 : Offenburg, Germany, May 6-7, 2014 : proceedings : Nets4Cars- Nets4Trains-Nets4Aircraft 2014 : May 2014, Offenburg, Germany. (Lecture Notes in Computer Science ; 8435)

Communication technologies for vehicles : 6th international workshop : Nets4Cars/Nets4Trains/Nets4Aircraft 2014 : Offenburg, Germany, May 6-7, 2014 : proceedings : Nets4Cars- Nets4Trains-Nets4Aircraft 2014 : May 2014, Offenburg, Germany. (Lecture Notes in Computer Science ; 8435)
紙図書
Springer[2014]<M17-15-1511>
国立国会図書館
  • 要約等... for Vehicles, Nets4Cars/Nets4Trains/Nets4Aircraft 2014, held in Offenb...
  • 件名Computer Science. Computer Communication Networks. Speci...
  • 並列タイトル等（連結）NETS 4 : cars : trains : aircraft

China's cyber warfare : the evolution of strategic doctrine

China's cyber warfare : the evolution of strategic doctrine
紙図書
Jason R. Fritz.Lexington Books[2017]<AC9-331-B44>
国立国会図書館
  • 要約等...lity utilizing computer networks. This book analyzes ...
  • 内容細目Computer network operat......development of computer network exploitation, 1998-20...

Circular Codes and Petri Nets (Algorithmic problems in algebra, languages and computation systems)

Circular Codes and Petri Nets (Algorithmic problems in algebra, languages and computation systems)
紙デジタル記事
田中 源次郎<Z43-1336>数理解析研究所講究録(通号 1503) 2006.7p.132～138
インターネットで読める国立国会図書館全国の図書館

Faster Explicit Formulae and Parallelization for Computation of Pairings Using Elliptic Nets

書影書影書影
Faster Explicit Formulae and Parallelization for Computation of Pairings Using Elliptic Nets
デジタル博士論文障害者向け資料あり
小貫, 啓史2017-03-25
国立国会図書館

Some Structures of Maximal Prefix Codes Generated by Petri Nets (Algorithmic problems in algebra, languages and computation systems)

Some Structures of Maximal Prefix Codes Generated by Petri Nets (Algorithmic problems in algebra, languages and computation systems)
紙デジタル記事
國持 良行<Z43-1336>数理解析研究所講究録(通号 1503) 2006.7p.139～147
インターネットで読める国立国会図書館全国の図書館

IoT and spacecraft informatics (Aerospace engineering)

IoT and spacecraft informatics (Aerospace engineering)
紙図書
edited by K.L. Yung, Andrew W.H. Ip, Fatos Xhafa, K.K. TsengElsevier[2022]<NC161-D14>
国立国会図書館
  • 内容細目...servable Petri nets#x93;#x93;#x93;......servable Petri nets for LOX/CH4 expansion cycle e...

小標数の有限体上のelliptic netを用いたペアリングと楕円スカラー倍の計算 (情報セキュリティ)

小標数の有限体上のelliptic netを用いたペアリングと楕円スカラー倍の計算 (情報セキュリティ)
紙記事
金山 直樹, 劉 陽, 岡本 栄司 他<Z16-940>電子情報通信学会技術研究報告 = IEICE technical report : 信学技報112(211):2012.9.21p.7-13
国立国会図書館全国の図書館
  • 並列タイトル等（連結）...using elliptic nets over small characteristic fin...
  • 並列タイトル等...using elliptic nets over small characteristic fin...

The Numerical Simulation on the Effect of Wind Reduction by the Windbreak Net with Different Slanting Angles (CWE2006 The Fourth International Symposium on Computational Wind Engineering)

The Numerical Simulation on the Effect of Wind Reduction by the Windbreak Net with Different Slanting Angles (CWE2006 The Fourth International Symposium on Computational Wind Engineering)
紙記事
Long-Ming Huang, Chang-Han Wu<Z16-B243>JWE = 日本風工学会誌 : journal of wind engineering, JAWE : wind engineers, JAWE / 日本風工学会編集・広報委員会 編31(3) (通号 108) 2006.7p.409～412
国立国会図書館全国の図書館
  • 件名slanting angle of the windbreak nets wind tunnel unsteady flow WFC...

Knowledge mining using intelligent agents (Advances in computer science and engineering: Texts ; v. 6)

Knowledge mining using intelligent agents (Advances in computer science and engineering: Texts ; v. 6)
紙図書
editors, Satchidananda Dehuri, Sung-Bae Cho.Imperial College Press2011.<M154-B133>
国立国会図書館
  • 件名Data mining. Intelligent agents (Computer software) Computational intel...
  • タイトル標目Advances in computer science and engineering. Text...

Communication technologies for vehicles : third international workshop, Nets4Cars/Nets4Trains 2011 : Oberpfaffenhofen, Germany, March 23-24, 2011 : proceedings. : Nets4Cars and Nets4Trains 2011 : Mar 2011, Oberpfaffenhofen, Germany. (Lecture Notes in Computer Science ; 6596)

Communication technologies for vehicles : third international workshop, Nets4Cars/Nets4Trains 2011 : Oberpfaffenhofen, Germany, March 23-24, 2011 : proceedings. : Nets4Cars and Nets4Trains 2011 : Mar 2011, Oberpfaffenhofen, Germany. (Lecture Notes in Computer Science ; 6596)
紙図書
Springerc2011.<M17-11-2288>
国立国会図書館
  • 並列タイトル等（連結）...onal workshop, Nets4Cars/Nets4Trains 2011 : Oberpfaffenhofe...
  • 並列タイトル等...onal workshop, Nets4Cars/Nets4Trains 2011 : Oberpfaffenhofe...
  • タイトル標目Lecture notes in computer science, 0302-9743 ; 6596.

On Automorphism Groups of Petri Nets Based on Place Connectivity (Algebraic Systems and Theoretical Computer Science : RIMS研究集会報告集)

On Automorphism Groups of Petri Nets Based on Place Connectivity (Algebraic Systems and Theoretical Computer Science : RIMS研究集会報告集)
紙記事
國持 良行<Z43-1336>数理解析研究所講究録(1809):2012.9p.100-109
国立国会図書館全国の図書館

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)
紙図書
Shin-ya Nishizaki, Masayuki Numao, Jaime Caro, Merlin Teodosia Suarez editorsSpringerc2013<M18-B1281>
国立国会図書館
  • 内容細目...-join workflow nets without cycles Nestine Hope S...