Jump to main content

yr 〜
yr

Search results 704

An introduction to theory of computation : an algorithmic exploration

An introduction to theory of computation : an algorithmic exploration
Paper図書
Mitsunori OgiharaSpringer Nature Switzerland[2025]<M154-D67>
National Diet LibraryOther Libraries in Japan

Handbook of unconventional computing (WSPC book series in unconventional computing)

Handbook of unconventional computing (WSPC book series in unconventional computing)
Paper図書
editor, Andrew AdamatzkyWorld Scientific Publishing Co. Pte. Ltd.[2022]<M154-D40>
National Diet LibraryOther Libraries in Japan

Formation control : approaches for distributed agents (Studies in systems, decision and control ; volume 205)

Formation control : approaches for distributed agents (Studies in systems, decision and control ; volume 205)
Paper図書
Hyo-Sung Ahn.Springer[2020]<M131-B152>
National Diet LibraryOther Libraries in Japan

Implementation and application of automata : 28th international conference, CIAA 2024 : Akita, Japan, September 3-6, 2024 : proceedings : Sep 2024, Akita, Japan (Lecture notes in computer science ; 15015)

Implementation and application of automata : 28th international conference, CIAA 2024 : Akita, Japan, September 3-6, 2024 : proceedings : Sep 2024, Akita, Japan (Lecture notes in computer science ; 15015)
Paper図書
Springer[2024]<M17-25-47>
National Diet LibraryOther Libraries in Japan

Implementation and application of automata : 20th international conference, CIAA 2015 : Umeå, Sweden, August 18-21, 2015 : proceedings. (Lecture Notes in Computer Science ; 9223)

Implementation and application of automata : 20th international conference, CIAA 2015 : Umeå, Sweden, August 18-21, 2015 : proceedings. (Lecture Notes in Computer Science ; 9223)
Paper図書
Springer[2015]<M17-16-514>
National Diet Library
  • Subject HeadingMachine theory--Congresses. Robotics--Congresses. Machine theory. Robotics.

Implementation and application of automata : 19th international conference, CIAA 2014 : Giessen, Germany, July 30-August 2, 2014 : proceedings. (Lecture Notes in Computer Science ; 8587)

Implementation and application of automata : 19th international conference, CIAA 2014 : Giessen, Germany, July 30-August 2, 2014 : proceedings. (Lecture Notes in Computer Science ; 8587)
Paper図書
Springer[2014]<M17-15-603>
National Diet Library
  • Subject HeadingMachine theory--Congresses. Robotics--Congresses. Machine theory. Robotics.

Shift register sequences : secure and limited-access code generators, efficiency code generators, prescribed property generators, mathematical models Third revised edition.

Shift register sequences : secure and limited-access code generators, efficiency code generators, prescribed property generators, mathematical models Third revised edition.
Paper図書
Solomon W. Golomb.World Scientific Publishing Co. Pte. Ltd.[2017]<M121-B179>
National Diet LibraryOther Libraries in Japan
  • Subject HeadingCoding theory. Switching theory. Sequential machine theory. Shift registers.

Abstract state machines, alloy, B, TLA, VDM, and Z : 4th international conference, ABZ 2014 : Toulouse, France, June 2-6, 2014 : proceedings. (Lecture Notes in Computer Science ; 8477)

Abstract state machines, alloy, B, TLA, VDM, and Z : 4th international conference, ABZ 2014 : Toulouse, France, June 2-6, 2014 : proceedings. (Lecture Notes in Computer Science ; 8477)
Paper図書
Springer[2014]<M17-15-591>
National Diet Library
  • Subject HeadingMachine learning--Congresses. Machine theory--Congresses. Machine learning. Machine theory.

2014 IEEE 55th annual symposium on foundations of computer science : (FOCS 2014) : Philadelphia, Pennsylvania, USA : 18-21 October 2014.

2014 IEEE 55th annual symposium on foundations of computer science : (FOCS 2014) : Philadelphia, Pennsylvania, USA : 18-21 October 2014.
Paper図書
IEEE[2014]<M17-15-1462>
National Diet LibraryOther Libraries in Japan
  • Subject Heading...ta processing. Machine theory.

2015 IEEE 56th annual symposium on foundations of computer science (FOCS 2015) : Berkeley, California, USA : 17-20 October 2015.

2015 IEEE 56th annual symposium on foundations of computer science (FOCS 2015) : Berkeley, California, USA : 17-20 October 2015.
Paper図書
IEEE[2015]<M17-17-915>
National Diet Library
  • Subject Heading...ta processing. Machine theory.

Codes and automata / Jean Berstel, Dominique Perrin, Christophe Reutenauer. (Encyclopedia of mathematics and its applications ; 129)

Codes and automata / Jean Berstel, Dominique Perrin, Christophe Reutenauer. (Encyclopedia of mathematics and its applications ; 129)
Paper図書
Cambridge University Press2010.<M121-B65>
National Diet LibraryOther Libraries in Japan
  • Subject HeadingMachine theory. Machine theory -- Problems, e...

Automata, languages, and programming : 41st international colloquium, ICALP 2014 : Copenhagen, Denmark, July 8-11, 2014 : proceedings. (Lecture Notes in Computer Science ; 8572-8573. Advanced Research in Computing and Software Science)

Automata, languages, and programming : 41st international colloquium, ICALP 2014 : Copenhagen, Denmark, July 8-11, 2014 : proceedings. (Lecture Notes in Computer Science ; 8572-8573. Advanced Research in Computing and Software Science)
Paper図書
Springer[2014]<M17-15-547>
National Diet Library
  • Subject Heading...r programming. Machine theory. Programming languages (Electr...

Implementation and application of automata : 18th international conference, CIAA 2013 : Halifax, NS, Canada, July 16-19, 2013 : proceedings. (Lecture Notes in Computer Science ; 7982)

Implementation and application of automata : 18th international conference, CIAA 2013 : Halifax, NS, Canada, July 16-19, 2013 : proceedings. (Lecture Notes in Computer Science ; 7982)
Paper図書
Springerc2013.<M17-14-564>
National Diet LibraryOther Libraries in Japan

Noncommutative rational series with applications / Jean Berstel, Christophe Reutenauer. (Encyclopedia of mathematics and its applications ; 137)

Noncommutative rational series with applications / Jean Berstel, Christophe Reutenauer. (Encyclopedia of mathematics and its applications ; 137)
Paper図書
Cambridge University Press2011.<M154-B104>
National Diet LibraryOther Libraries in Japan
  • Subject HeadingMachine theory. Noncommutative algebras.

Automata for branching and layered temporal structures : an investigation into regularities of infinite transition systems / Gabriele Puppis. (Lecture notes in computer science ; 5955 ; Lecture notes in artificial intelligence)

Automata for branching and layered temporal structures : an investigation into regularities of infinite transition systems / Gabriele Puppis. (Lecture notes in computer science ; 5955 ; Lecture notes in artificial intelligence)
Paper図書
Springerc2010.<X>
National Diet Library
  • Subject HeadingMachine theory.

Understanding information and computation : from Einstein to Web science

Understanding information and computation : from Einstein to Web science
Paper図書
Philip Tetlow.Gower Publishing Limited[2012]<M121-B156>
National Diet Library
  • Subject HeadingComputational complexity. Machine theory. World Wide Web.

Concise guide to computation theory

Concise guide to computation theory
Paper図書
Akira Maruoka.Springer[2011]<MA41-B40>
National Diet LibraryOther Libraries in Japan
  • Subject HeadingComputational complexity. Machine theory. Computable functions.

Implementation and application of automata : 16th international conference, CIAA 2011 : Blois, France, July 13-16, 2011 : proceedings. (Lecture Notes in Computer Science ; 6807)

Implementation and application of automata : 16th international conference, CIAA 2011 : Blois, France, July 13-16, 2011 : proceedings. (Lecture Notes in Computer Science ; 6807)
Paper図書
Springerc2011.<M17-12-47>
National Diet Library

Language and automata theory and applications : 9th international conference, LATA 2015 : Nice, France, March 2-6, 2015 : proceedings. (Lecture Notes in Computer Science ; 8977)

Language and automata theory and applications : 9th international conference, LATA 2015 : Nice, France, March 2-6, 2015 : proceedings. (Lecture Notes in Computer Science ; 8977)
Paper図書
Springer[2015]<M17-15-2006>
National Diet LibraryOther Libraries in Japan

Combinatorics, automata and number theory / edited by Valérie Berthé, Michel Rigo. (Encyclopedia of mathematics and its applications ; 135)

Combinatorics, automata and number theory / edited by Valérie Berthé, Michel Rigo. (Encyclopedia of mathematics and its applications ; 135)
Paper図書
Cambridge University Press2010.<MA41-B29>
National Diet LibraryOther Libraries in Japan
  • Subject HeadingCombinatorial analysis. Number theory. Machine theory.
RSS