Jump to main content

yr 〜
yr

Search results 12

Principles and practice of constraint programming : 21st international conference, CP 2015 : Cork, Ireland, August 31-September 4, 2015 : proceedings : George Boole 200 : Aug 2015, Cork, Ireland. (Lecture Notes in Computer Science ; 9255)

Principles and practice of constraint programming : 21st international conference, CP 2015 : Cork, Ireland, August 31-September 4, 2015 : proceedings : George Boole 200 : Aug 2015, Cork, Ireland. (Lecture Notes in Computer Science ; 9255)
Paper図書
Springer[2015]<M17-16-587>
National Diet Library
  • Subject Heading...mal Languages. Mathematics of Computing. Artificial Intelligence (inc...

Evolving computability : 11th conference on computability in Europe, CiE 2015 : Bucharest, Romania, June 29-July 3, 2015 : proceedings : annual CiE conference : Jun 2015, Bucharest, Romania. (Lecture Notes in Computer Science ; 9136)

Evolving computability : 11th conference on computability in Europe, CiE 2015 : Bucharest, Romania, June 29-July 3, 2015 : proceedings : annual CiE conference : Jun 2015, Bucharest, Romania. (Lecture Notes in Computer Science ; 9136)
Paper図書
Springer[2015]<M17-16-394>
National Diet Library
  • Subject Heading...em Complexity. Mathematics of Computing. Mathematical Logic and Forma...

Automated reasoning : 7th international joint conference, IJCAR 2014 : held as part of the Vienna summer of logic, VSL 2014 : Vienna, Austria, July 19-22, 2014 : proceedings : federated logic conference (FLoC) : Jul 2014, Vienna, Austria. (Lecture Notes in Computer Science ; 8562. Lecture Notes in Artificial Intelligence)

Automated reasoning : 7th international joint conference, IJCAR 2014 : held as part of the Vienna summer of logic, VSL 2014 : Vienna, Austria, July 19-22, 2014 : proceedings : federated logic conference (FLoC) : Jul 2014, Vienna, Austria. (Lecture Notes in Computer Science ; 8562. Lecture Notes in Artificial Intelligence)
Paper図書
Springer[2014]<M17-15-545>
National Diet Library
  • Subject Heading...e Engineering. Mathematics of Computing. Automatic theorem proving--C...

Automated reasoning : 6th international joint conference, IJCAR 2012 : Manchester, UK, June 26-29, 2012 : proceedings : Jun 2012, Manchester, UK. (Lecture Notes in Computer Science ; 7364. Lecture Notes in Artificial Intelligence)

Automated reasoning : 6th international joint conference, IJCAR 2012 : Manchester, UK, June 26-29, 2012 : proceedings : Jun 2012, Manchester, UK. (Lecture Notes in Computer Science ; 7364. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2012.<M17-13-565>
National Diet Library
  • Subject Heading...s of Programs. Mathematics of Computing. Numeric Computing.

Computer science -- theory and applications : 7th international computer science symposium in Russia, CSR 2012 : Nizhny Novgorod, Russia, July 3-7, 2012 : proceedings : Alan Turing year events : Jul 2012, Nizhny Novgorod, Russia. (Lecture Notes in Computer Science ; 7353)

Computer science -- theory and applications : 7th international computer science symposium in Russia, CSR 2012 : Nizhny Novgorod, Russia, July 3-7, 2012 : proceedings : Alan Turing year events : Jul 2012, Nizhny Novgorod, Russia. (Lecture Notes in Computer Science ; 7353)
Paper図書
Springerc2012.<M17-13-55>
National Diet Library
  • Subject Heading...tract Devices. Mathematics of Computing.

Abstract state machines, alloy, B, VDM, and Z : third international conference, ABZ 2012 : Pisa, Italy, June 18-21, 2012 : proceedings : 9th international conference on integrated formal methods : iFM&ABZ 2012 : iFM event : joint iFM2012 and ABZ2012 conference : Jun 2012, Pisa, Italy. (Lecture Notes in Computer Science ; 7316)

Abstract state machines, alloy, B, VDM, and Z : third international conference, ABZ 2012 : Pisa, Italy, June 18-21, 2012 : proceedings : 9th international conference on integrated formal methods : iFM&ABZ 2012 : iFM event : joint iFM2012 and ABZ2012 conference : Jun 2012, Pisa, Italy. (Lecture Notes in Computer Science ; 7316)
Paper図書
Springerc2012.<M17-13-532>
National Diet Library
  • Subject Heading...tract Devices. Mathematics of Computing. Discrete Mathematics in Comp...

Applied parallel and scientific computing : 10th international conference, PARA 2010 : Reykjavík, Iceland, June 6-9, 2010 : revised selected papers : 10th Nordic conference on applied parallel computing, Para 2010: state of the art in scientific and parallel computing : Para meetings : Jun 2010, Reykjavík, Iceland. (Lecture Notes in Computer Science ; 7133-7134)

Applied parallel and scientific computing : 10th international conference, PARA 2010 : Reykjavík, Iceland, June 6-9, 2010 : revised selected papers : 10th Nordic conference on applied parallel computing, Para 2010: state of the art in scientific and parallel computing : Para meetings : Jun 2010, Reykjavík, Iceland. (Lecture Notes in Computer Science ; 7133-7134)
Paper図書
Springerc2012.<M17-12-2899>
National Diet Library
  • Subject Heading...uter software. Mathematics of Computing. Software Engineering/Program...

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...ncl. Robotics) Mathematics of Computing Computing Methodologies

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...mal Languages. Mathematics of Computing. Theory of Computation. Compu...

Foundations of information and knowledge systems : 7th international symposium, FoIKS 2012 : Kiel, Germany, March 5-9, 2012 : proceedings : Mar 2012, Kiel, Germany. (Lecture Notes in Computer Science ; 7153)

Foundations of information and knowledge systems : 7th international symposium, FoIKS 2012 : Kiel, Germany, March 5-9, 2012 : proceedings : Mar 2012, Kiel, Germany. (Lecture Notes in Computer Science ; 7153)
Paper図書
Springerc2012.<M17-12-2902>
National Diet Library
  • Subject Heading...s of Programs. Mathematics of Computing. Algorithm Analysis and Probl...

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...f Computation. Mathematics of Computing. Algorithm Analysis and Probl...

The incomputable : journeys beyond the turing barrier : softcover

The incomputable : journeys beyond the turing barrier : softcover
Paper図書
S. Barry Cooper, Mariya I. SoskovaSpringer International Publishing : Springerc2017
Other Libraries in Japan
  • Subject Heading...Code)SCI17001: Mathematics of Computing (Springer Nature Subject Code...
  • Subject Heading (ID)...Code)SCI17001: Mathematics of Computing (Springer Nature Subject Code...

Reached to the end of result.

RSS