yr 〜
yr

Search results 35

High performance computing : 30th international conference, ISC high performance 2015 : Frankfurt, Germany, July 12-16, 2015 : proceedings : Jul 2015, Frankfurt, Germany. (Lecture Notes in Computer Science ; 9137)

High performance computing : 30th international conference, ISC high performance 2015 : Frankfurt, Germany, July 12-16, 2015 : proceedings : Jul 2015, Frankfurt, Germany. (Lecture Notes in Computer Science ; 9137)
Paper図書
Springer[2015]<M17-16-393>
National Diet Library
  • Subject Heading...tion Networks. Theory of Computation. High performance computing.

Transactions on computational science XXII (Lecture notes in computer science ; 8360)

Transactions on computational science XXII (Lecture notes in computer science ; 8360)
Paper図書
Marina L. Gavrilova, C.J. Kenneth Tan (eds.).Springer[2014]<X>
National Diet Library
  • Subject HeadingComputer Science. Theory of Computation. Information Storage and Retr...

Algorithmic learning theory : 26th international conference, ALT 2015 : Banff, AB, Canada, October 4-6, 2015 : proceedings : Oct 2015, Banff, Canada. (Lecture Notes in Computer Science ; 9355. Lecture Notes in Artificial Intelligence)

Algorithmic learning theory : 26th international conference, ALT 2015 : Banff, AB, Canada, October 4-6, 2015 : proceedings : Oct 2015, Banff, Canada. (Lecture Notes in Computer Science ; 9355. Lecture Notes in Artificial Intelligence)
Paper図書
Springer[2015]<M17-16-770>
National Diet Library
  • Subject Heading...cl. Robotics). Theory of Computation. Data Mining and Knowledge Di...

Transactions on Petri nets and other models of concurrency 5 : 31st international conference on application and theory of Petri nets and other models of concurrency : annual international conference on application and theory of Petri nets and other models of concurrency : Jun 2010, Braga, Portugal. (Lecture Notes in Computer Science ; 6900. Journal Subline)

Transactions on Petri nets and other models of concurrency 5 : 31st international conference on application and theory of Petri nets and other models of concurrency : annual international conference on application and theory of Petri nets and other models of concurrency : Jun 2010, Braga, Portugal. (Lecture Notes in Computer Science ; 6900. Journal Subline)
Paper図書
Springerc2012.<M17-13-59>
National Diet Library
  • Subject Heading...nd Principles. Theory of Computation. Algorithm Analysis and Probl...

Computational complexity : theory, techniques, and applications

Computational complexity : theory, techniques, and applications
Digital電子書籍・電子雑誌図書
Robert A. Meyers (ed.).Springer[2012]
National Diet Library
  • Subject Heading...mplex Networks Theory of Computation Data Mining and Knowledge Dis...

Theory of quantum computation, communication, and cryptography : 7th conference, TQC 2012 : Tokyo, Japan, May 17-19, 2012 : revised selected papers : May 2012, Tokyo, Japan. (Lecture Notes in Computer Science ; 7582)

Theory of quantum computation, communication, and cryptography : 7th conference, TQC 2012 : Tokyo, Japan, May 17-19, 2012 : revised selected papers : May 2012, Tokyo, Japan. (Lecture Notes in Computer Science ; 7582)
Paper図書
Springerc2013.<M17-13-1619>
National Diet Library
  • Subject Heading...al complexity. Theory of Computation. Computation by Abstract Devi...

Mathematical modeling and computational science : international conference, MMCP 2011 : Stará Lesná, Slovakia, July 4-8, 2011 : revised selected papers : Jul 2011, Stará Lesná, Slovakia. (Lecture Notes in Computer Science ; 7125)

Mathematical modeling and computational science : international conference, MMCP 2011 : Stará Lesná, Slovakia, July 4-8, 2011 : revised selected papers : Jul 2011, Stará Lesná, Slovakia. (Lecture Notes in Computer Science ; 7125)
Paper図書
Springerc2012.<M17-12-2898>
National Diet Library
  • Subject Heading...er simulation. Theory of Computation. Algorithm Analysis and Probl...

Quantum interaction : 5th international symposium, QI 2011 : Aberdeen, UK, June 26-29, 2011 : revised selected papers : Jun 2011, Aberdeen, UK. (Lecture Notes in Computer Science ; 7052)

Quantum interaction : 5th international symposium, QI 2011 : Aberdeen, UK, June 26-29, 2011 : revised selected papers : Jun 2011, Aberdeen, UK. (Lecture Notes in Computer Science ; 7052)
Paper図書
Springerc2011.<M17-12-1547>
National Diet Library
  • Subject Heading...l intelligence Theory of Computation Algorithm Analysis and Proble...

Recent trends in algebraic development techniques : 20th international workshop, WADT 2010 : Etelsen, Germany, July 1-4, 2010 : revised selected papers : 20th ADT workshop : Jul 2010, Etelsen, Germany. (Lecture Notes in Computer Science ; 7137)

Recent trends in algebraic development techniques : 20th international workshop, WADT 2010 : Etelsen, Germany, July 1-4, 2010 : revised selected papers : 20th ADT workshop : Jul 2010, Etelsen, Germany. (Lecture Notes in Computer Science ; 7137)
Paper図書
Springerc2012.<M17-12-2900>
National Diet Library
  • Subject Heading... of Computing. Theory of Computation. Computation by Abstract Devi...

Parameterized and exact computation : 6th international symposium, IPEC 2011 : Saarbrücken, Germany, September 6-8, 2011 : revised selected papers : ALGO 2011 : meetings of the IPEC/IWPEC : Sep 2011, Saarbrücken, Germany. (Lecture Notes in Computer Science ; 7112)

Parameterized and exact computation : 6th international symposium, IPEC 2011 : Saarbrücken, Germany, September 6-8, 2011 : revised selected papers : ALGO 2011 : meetings of the IPEC/IWPEC : Sep 2011, Saarbrücken, Germany. (Lecture Notes in Computer Science ; 7112)
Paper図書
Springerc2012.<M17-13-62>
National Diet Library
  • Subject Heading...puter Science. Theory of Computation. Symbolic and Algebraic Manip...

Theory and applications of models of computation : 9th annual conference, TAMC 2012 : Beijing, China, May 16-21, 2012 : proceedings : turing lectures 2012 : May 2012, Beijing, China. (Lecture Notes in Computer Science ; 7287)

Theory and applications of models of computation : 9th annual conference, TAMC 2012 : Beijing, China, May 16-21, 2012 : proceedings : turing lectures 2012 : May 2012, Beijing, China. (Lecture Notes in Computer Science ; 7287)
Paper図書
Springerc2012.<M17-13-41>
National Diet Library
  • Subject Heading... Logic design. Theory of Computation. Mathematics of Computing. Al...

Post-quantum cryptography : 7th international workshop, PQCrypto 2016 : Fukuoka, Japan, February 24-26, 2016 : proceedings : Feb 2016, Fukuoka, Japan. (Lecture Notes in Computer Science ; 9606)

Post-quantum cryptography : 7th international workshop, PQCrypto 2016 : Fukuoka, Japan, February 24-26, 2016 : proceedings : Feb 2016, Fukuoka, Japan. (Lecture Notes in Computer Science ; 9606)
Paper図書
Springer[2016]<M17-19-534>
National Diet Library
  • Subject Heading.... Mathematical theory of computation. Information architecture. Al...

Automated technology for verification and analysis : 14th international symposium, ATVA 2016 : Chiba, Japan, October 17-20, 2016 : proceedings : Oct 2016, Chiba, Japan. (Lecture Notes in Computer Science ; 9938)

Automated technology for verification and analysis : 14th international symposium, ATVA 2016 : Chiba, Japan, October 17-20, 2016 : proceedings : Oct 2016, Chiba, Japan. (Lecture Notes in Computer Science ; 9938)
Paper図書
Springer[2016]<M17-19-536>
National Diet Library
  • Subject Heading.... Mathematical theory of computation. Computers--Software Developm...

Quantum walks and search algorithms

Quantum walks and search algorithms
Paper図書
Renato PortugalSpringerc2013
Other Libraries in Japan
  • Subject Heading...ntum Computing Theory of Computation Quantum Information Technolog...
  • Subject Heading (ID)...ntum Computing Theory of Computation Quantum Information Technolog...

Theory and applications of satisfiability testing - SAT 2018 : 21st International Conference, SAT 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018 : proceedings

Theory and applications of satisfiability testing - SAT 2018 : 21st International Conference, SAT 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018 : proceedings
Paper図書
Olaf Beyersdorff, Christoph M. Wintersteiger (eds.)Springerc2018
Other Libraries in Japan
  • Subject Heading...mputer Science Theory of Computation Artificial Intelligence (incl...
  • Subject Heading (ID)...mputer Science Theory of Computation Artificial Intelligence (incl...

Similarity search and applications : 9th international conference, SISAP 2016 : Tokyo, Japan, October 24-26, 2016 : proceedings : Oct 2016, Tokyo, Japan. (Lecture Notes in Computer Science ; 9939)

Similarity search and applications : 9th international conference, SISAP 2016 : Tokyo, Japan, October 24-26, 2016 : proceedings : Oct 2016, Tokyo, Japan. (Lecture Notes in Computer Science ; 9939)
Paper図書
Springer[2016]<M17-19-371>
National Diet Library
  • Subject Heading.... Mathematical theory of computation. Computers--System Administra...

The ultimate challenge : the 3x+1 problem : softcover

The ultimate challenge : the 3x+1 problem : softcover
Paper図書
Jeffrey C. Lagarias, editorAmerican Mathematical Society2023, c2010
Other Libraries in Japan

High performance computing in science and engineering : 4th International Conference, HPCSE 2019, Karolinka, Czech Republic, May 20-23, 2019 : revised selected papers

High performance computing in science and engineering : 4th International Conference, HPCSE 2019, Karolinka, Czech Republic, May 20-23, 2019 : revised selected papers
Paper図書
Tomáš Kozubek ... [et al.] (eds.)Springerc2021
Other Libraries in Japan
  • Subject Heading...h Mathematical theory of computation. bicssc Electronic books Conf...
  • Subject Heading (ID)...h Mathematical theory of computation. bicssc Electronic books Conf...

Dependable software engineering : theories, tools, and applications : 7th International Symposium, SETTA 2021, Beijing, China, November 25–27, 2021, proceedings

Dependable software engineering : theories, tools, and applications : 7th International Symposium, SETTA 2021, Beijing, China, November 25–27, 2021, proceedings
Paper図書
Shengchao Qin, Jim Woodcock, Wenhui ZhangSpringerc2021
Other Libraries in Japan
  • Subject Heading...n Mathematical theory of computation Algorithms & data structures ...
  • Subject Heading (ID)...n Mathematical theory of computation Algorithms & data structures ...

AI*IA 2019 - advances in artificial intelligence : XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19-22, 2019 : proceedings

AI*IA 2019 - advances in artificial intelligence : XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19-22, 2019 : proceedings
Paper図書
Mario Alviano, Gianluigi Greco, Francesco Scarcello (eds.)Springerc2019
Other Libraries in Japan
  • Subject Heading...c Mathematical theory of computation. bicssc User interface design...
  • Subject Heading (ID)...c Mathematical theory of computation. bicssc User interface design...