Jump to main content

yr 〜
yr

Search results 727

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
  • Subject HeadingBiocomputers Machine theory

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
  • Subject HeadingFormation control (Machine theory) Control theory.

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

Implementation and application of automata : 20th international conference, CIAA 2015 : Umeå, Sweden, August 18-21, 2015 : proceedings : Aug 2015, Umeå, Sweden. (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 : Jul 2014, Giessen, Germany. (Lecture Notes in Computer Science ; 8587)

Implementation and application of automata : 19th international conference, CIAA 2014 : Giessen, Germany, July 30-August 2, 2014 : proceedings : Jul 2014, Giessen, Germany. (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 : ABZ2014 : Jun 2014, Toulouse, France. (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 : ABZ2014 : Jun 2014, Toulouse, France. (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 : Oct 2014, Philadelphia, PA.

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

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

2015 IEEE 56th annual symposium on foundations of computer science (FOCS 2015) : Berkeley, California, USA : 17-20 October 2015 : Oct 2015, Berkeley, CA.
Paper図書
IEEE[2015]<M17-17-915>
National Diet Library
  • Subject Heading...g--Congresses. Machine theory--Congresses. C......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, exercises, etc.

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

Implementation and application of automata : 18th international conference, CIAA 2013 : Halifax, NS, Canada, July 16-19, 2013 : proceedings : Jul 2013, Halifax, Canada. (Lecture Notes in Computer Science ; 7982)
Paper図書
Springerc2013.<M17-14-564>
National Diet Library
  • Subject HeadingMachine theory--Congresses. Automata CIAA

Automata, languages, and programming : 41st international colloquium, ICALP 2014 : Copenhagen, Denmark, July 8-11, 2014 : proceedings : main conference and annual meeting of the European Association for Theoretical Computer Science (EATCS) : Jul 2014, Copenhagen, Denmark. (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 : main conference and annual meeting of the European Association for Theoretical Computer Science (EATCS) : Jul 2014, Copenhagen, Denmark. (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...g--Congresses. Machine theory--Congresses. C......r programming. Machine theory. Programming languages (Elect...

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.

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

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

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.

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

Language and automata theory and applications : 9th international conference, LATA 2015 : Nice, France, March 2-6, 2015 : proceedings : Mar 2015, Nice, France. (Lecture Notes in Computer Science ; 8977)
Paper図書
Springer[2015]<M17-15-2006>
National Diet Library
  • Subject HeadingMachine theory--Congresses. Formal languages...

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.

Language and automata theory and applications : 8th international conference, LATA 2014 : Madrid, Spain, March 10-14, 2014 : proceedings : Mar 2014, Madrid, Spain. (Lecture Notes in Computer Science ; 8370)

Language and automata theory and applications : 8th international conference, LATA 2014 : Madrid, Spain, March 10-14, 2014 : proceedings : Mar 2014, Madrid, Spain. (Lecture Notes in Computer Science ; 8370)
Paper図書
Springerc2014.<M17-14-2123>
National Diet Library
  • Subject HeadingMachine theory--Congresses. Formal languages...

Implementation and application of automata : 14th international conference, CIAA 2009 : Sydney, Australia, July 14-17, 2009 : proceedings. : Jul 2009, Sydney, Australia. (Lecture Notes in Computer Science ; 5642)

Implementation and application of automata : 14th international conference, CIAA 2009 : Sydney, Australia, July 14-17, 2009 : proceedings. : Jul 2009, Sydney, Australia. (Lecture Notes in Computer Science ; 5642)
Paper図書
Springerc2009.<M17-10-385>
National Diet Library
  • Subject HeadingMachine theory -- Congresses.
RSS