yr 〜
yr

Search results 22

LATIN 2014: theoretical informatics : 11th Latin American symposium : Montevideo, Uruguay, March 31-April 4, 2014 : proceedings : Mar 2014, Montevideo, Uruguay. (Lecture Notes in Computer Science ; 8392. Advanced Research in Computing and Software Science)

LATIN 2014: theoretical informatics : 11th Latin American symposium : Montevideo, Uruguay, March 31-April 4, 2014 : proceedings : Mar 2014, Montevideo, Uruguay. (Lecture Notes in Computer Science ; 8392. Advanced Research in Computing and Software Science)
Paper図書
Springerc2014.<M17-14-2129>
National Diet Library
  • Subject HeadingComputer science--Congresses. Theoretische Informatik.

LATIN 2010: theoretical informatics : 9th Latin American symposium : Oaxaca, Mexico, April 19-23, 2010 : proceedings. : Apr 2010, Oaxaca, Mexico. (Lecture Notes in Computer Science ; 6034. Advanced Research in Computing and Software Science)

LATIN 2010: theoretical informatics : 9th Latin American symposium : Oaxaca, Mexico, April 19-23, 2010 : proceedings. : Apr 2010, Oaxaca, Mexico. (Lecture Notes in Computer Science ; 6034. Advanced Research in Computing and Software Science)
Paper図書
Springerc2010.<M17-10-2849>
National Diet Library
  • Subject HeadingTheoretische Informatik. Oaxaca <2010>

Mathematical foundations of computer science 2010 : 35th international symposium, MFCS 2010 : Brno, Czech Republic, August 23-27, 2010 : proceedings. : Aug 2010, Brno, Czech Republic. (Lecture Notes in Computer Science ; 6281. Advanced Research in Computing and Software Science)

Mathematical foundations of computer science 2010 : 35th international symposium, MFCS 2010 : Brno, Czech Republic, August 23-27, 2010 : proceedings. : Aug 2010, Brno, Czech Republic. (Lecture Notes in Computer Science ; 6281. Advanced Research in Computing and Software Science)
Paper図書
Springerc2010.<M17-10-4398>
National Diet Library
  • Subject HeadingTheoretische Informatik. Brünn <2010>

Implementation and application of automata : 15th international conference, CIAA 2010 : Winnipeg, MB, Canada, August 12-15, 2010 : revised selected papers. : CIAA meeting : Aug 2010, Winnipeg, Canada. (Lecture Notes in Computer Science ; 6482)

Implementation and application of automata : 15th international conference, CIAA 2010 : Winnipeg, MB, Canada, August 12-15, 2010 : revised selected papers. : CIAA meeting : Aug 2010, Winnipeg, Canada. (Lecture Notes in Computer Science ; 6482)
Paper図書
Springerc2011.<M17-11-2109>
National Diet Library
  • Subject Heading...omatentheorie> Theoretische Informatik. Winnipeg <Manitoba, 2010> Ko...

Limits of graphs in group theory and computer science / Goulnara Arzhantseva and Alain Valette, editors. 1st ed. (Fundamental sciences. Mathematics)

Limits of graphs in group theory and computer science / Goulnara Arzhantseva and Alain Valette, editors. 1st ed. (Fundamental sciences. Mathematics)
Paper図書
EPFLc2009.<MA67-B57>
National Diet Library
  • Subject Heading...ombinatorik -- Theoretische Informatik -- Geometrisch......fsatzsammlung. Theoretische Informatik -- Geometrisch......ppentheorie -- Theoretische Informatik -- Geometrische Kombinatorik ...

Computer science logic : 24th international workshop, CSL 2010 : 19th annual conference of the EACSL : Brno, Czech Republic, August 23-27, 2010 : proceedings. : annual conference of the European Association for Computer Science Logic : Aug 2010, Brno, Czech Republic. (Lecture Notes in Computer Science ; 6247. Advanced Research in Computing and Software Science)

Computer science logic : 24th international workshop, CSL 2010 : 19th annual conference of the EACSL : Brno, Czech Republic, August 23-27, 2010 : proceedings. : annual conference of the European Association for Computer Science Logic : Aug 2010, Brno, Czech Republic. (Lecture Notes in Computer Science ; 6247. Advanced Research in Computing and Software Science)
Paper図書
Springerc2010.<M17-10-4384>
National Diet Library
  • Subject HeadingTheoretische Informatik. Logik. Computational logic. ...

Fields of logic and computation : essays dedicated to Yuri Gurevich on the occasion of his 70th birthday. : Aug 2010, Brno, Czech Republic. (Lecture Notes in Computer Science ; 6300. Festschrift)

Fields of logic and computation : essays dedicated to Yuri Gurevich on the occasion of his 70th birthday. : Aug 2010, Brno, Czech Republic. (Lecture Notes in Computer Science ; 6300. Festschrift)
Paper図書
Springerc2010.<M17-10-4407>
National Diet Library
  • Subject HeadingTheoretische Informatik. Mathematische Logik. Bereche...

Algebra and coalgebra in computer science : third international conference, CALCO 2009 : Udine, Italy, September 7-10, 2009 : proceedings. : CALCO-tools workshop : CALCO tools workshop : Sep 2009, Udine, Italy. (Lecture Notes in Computer Science ; 5728)

Algebra and coalgebra in computer science : third international conference, CALCO 2009 : Udine, Italy, September 7-10, 2009 : proceedings. : CALCO-tools workshop : CALCO tools workshop : Sep 2009, Udine, Italy. (Lecture Notes in Computer Science ; 5728)
Paper図書
Springerc2009.<M17-10-1913>
National Diet Library
  • Subject Heading...- Udine <2009> Theoretische Informatik -- Algebra -- ......- Udine <2009> Theoretische Informatik -- Koalgebra -......de. Koalgebra. Theoretische Informatik. Kongress. Udine (2009)

Fundamentals of computation theory : 17th international symposium, FCT 2009 : Wroclaw, Poland, September 2-4, 2009 : proceedings. : Sep 2009, Wroclaw, Poland. (Lecture Notes in Computer Science ; 5699)

Fundamentals of computation theory : 17th international symposium, FCT 2009 : Wroclaw, Poland, September 2-4, 2009 : proceedings. : Sep 2009, Wroclaw, Poland. (Lecture Notes in Computer Science ; 5699)
Paper図書
New Yorkc2009.<M17-10-1548>
National Diet Library
  • Subject HeadingComputer science -- Congresses. Theoretische Informatik -- Kongress -- Breslau <2009>

Unconventional computation : 9th international conference, UC 2010 : Tokyo, Japan, June 21-25, 2010 : proceedings. : UC2010 conference : Jun 2010, Tokyo, Japan. (Lecture Notes in Computer Science ; 6079)

Unconventional computation : 9th international conference, UC 2010 : Tokyo, Japan, June 21-25, 2010 : proceedings. : UC2010 conference : Jun 2010, Tokyo, Japan. (Lecture Notes in Computer Science ; 6079)
Paper図書
Springerc2010.<M17-10-3340>
National Diet Library
  • Subject Heading...antencomputer. Theoretische Informatik. Soft Computing. Tokio <2010>

Computer science -- theory and applications : 4th international computer science symposium in Russia, CSR 2009 : Novosibirsk, Russia, August 18-23, 2009 : proceedings. : Aug 2009, Novosibirsk, Russia. (Lecture Notes in Computer Science ; 5675)

Computer science -- theory and applications : 4th international computer science symposium in Russia, CSR 2009 : Novosibirsk, Russia, August 18-23, 2009 : proceedings. : Aug 2009, Novosibirsk, Russia. (Lecture Notes in Computer Science ; 5675)
Paper図書
Springerc2009.<M17-10-1545>
National Diet Library
  • Subject Heading...sibirsk <2009> Theoretische Informatik -- Kongress --......sibirsk <2009> Theoretische Informatik -- Anwendung -- Kongress -- N...

Logic, language, information, and computation : 21st international workshop, WoLLIC 2014 : Valparaíso, Chile, September 1-4, 2014 : proceedings : Sep 2014, Valparaíso, Chile. (Lecture Notes in Computer Science ; 8652)

Logic, language, information, and computation : 21st international workshop, WoLLIC 2014 : Valparaíso, Chile, September 1-4, 2014 : proceedings : Sep 2014, Valparaíso, Chile. (Lecture Notes in Computer Science ; 8652)
Paper図書
Springer[2014]<M17-15-1523>
National Diet Library
  • Subject Heading...gresses. Logik Theoretische Informatik Programmiersprache Künstlich...

Perspectives of systems informatics : 7th international Andrei Ershov memorial conference, PSI 2009 : Novosibirsk, Russia, June 15-19, 2009 : revised papers. : 7th international Andrei Ershov memorial conference on perspectives of system informatics akademgorodok : Jun 2009, Novosibirsk, Russia. (Lecture Notes in Computer Science ; 5947)

Perspectives of systems informatics : 7th international Andrei Ershov memorial conference, PSI 2009 : Novosibirsk, Russia, June 15-19, 2009 : revised papers. : 7th international Andrei Ershov memorial conference on perspectives of system informatics akademgorodok : Jun 2009, Novosibirsk, Russia. (Lecture Notes in Computer Science ; 5947)
Paper図書
Springerc2010.<M17-10-2796>
National Diet Library
  • Subject Heading...ementwicklung. Theoretische Informatik. Kongress. Nowosibirsk (2009)

SOFSEM 2010: theory and practice of computer science : 36th conference on current trends in theory and practice of computer science : Spindleruv Mlyn, Czech Republic, January 23-29, 2010 : proceedings. : SOFSEM 2010 student research forum : Jan 2010, Spindleruv Mlyn, Czech Republic. (Lecture Notes in Computer Science ; 5901)

SOFSEM 2010: theory and practice of computer science : 36th conference on current trends in theory and practice of computer science : Spindleruv Mlyn, Czech Republic, January 23-29, 2010 : proceedings. : SOFSEM 2010 student research forum : Jan 2010, Spindleruv Mlyn, Czech Republic. (Lecture Notes in Computer Science ; 5901)
Paper図書
Springerc2010.<M17-10-2791>
National Diet Library
  • Subject Heading...e Engineering. Theoretische Informatik. Wissenstechnik. World Wide W...

Frontiers in algorithmics : third international workshop, FAW 2009 : Hefei, China, June 20-23, 2009 : proceedings. : Jun 2009, Hefei, China. (Lecture Notes in Computer Science ; 5598)

Frontiers in algorithmics : third international workshop, FAW 2009 : Hefei, China, June 20-23, 2009 : proceedings. : Jun 2009, Hefei, China. (Lecture Notes in Computer Science ; 5598)
Paper図書
Springerc2009.<M17-10-898>
National Diet Library
  • Subject Heading...- Hefei <2009> Theoretische Informatik -- Kongress -- Hefei <2009>

Computer science logic : 23rd international workshop, CSL 2009 : 18th annual conference of the EACSL : Coimbra, Portugal, September 7-11, 2009 : proceedings. : annual conference of the European Association for Computer Science Logic : Sep 2009, Coimbra, Portugal. (Lecture Notes in Computer Science ; 5771)

Computer science logic : 23rd international workshop, CSL 2009 : 18th annual conference of the EACSL : Coimbra, Portugal, September 7-11, 2009 : proceedings. : annual conference of the European Association for Computer Science Logic : Sep 2009, Coimbra, Portugal. (Lecture Notes in Computer Science ; 5771)
Paper図書
Springerc2009.<M17-10-1646>
National Diet Library
  • Subject Heading...Coimbra <2009> Theoretische Informatik -- Logik -- Ko......grammierlogik. Theoretische Informatik. Coimbra (2009) Kongress.

Mathematical foundations of computer science 2009 : 34th international symposium, MFCS 2009 : Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009 : proceedings. : Aug 2009, Novy Smokovec, Slovakia. (Lecture Notes in Computer Science ; 5734)

Mathematical foundations of computer science 2009 : 34th international symposium, MFCS 2009 : Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009 : proceedings. : Aug 2009, Novy Smokovec, Slovakia. (Lecture Notes in Computer Science ; 5734)
Paper図書
Springerc2009.<M17-10-1589>
National Diet Library
  • Subject Heading...-- Congresses. Theoretische Informatik -- Kongress -- Starý Smokovec...

Unconventional computation : 8th international conference, UC 2009 : Ponta Delgada, Portugal, September 7-11, 2009 : proceedings. : UC09 : Sep 2009, Ponta Delgada, Portugal. (Lecture Notes in Computer Science ; 5715)

Unconventional computation : 8th international conference, UC 2009 : Ponta Delgada, Portugal, September 7-11, 2009 : proceedings. : UC09 : Sep 2009, Ponta Delgada, Portugal. (Lecture Notes in Computer Science ; 5715)
Paper図書
Springerc2009.<M17-10-1594>
National Diet Library
  • Subject Heading...Delgada <2009> Theoretische Informatik -- Kongress --......oft Computing. Theoretische Informatik. Zellularer Automat. Kongress...

Computing and combinatorics : 15th annual international conference, COCOON 2009 : Niagara Falls, NY, USA, July 13-15, 2009 : proceedings. : Jul 2009, Niagara Falls, NY. (Lecture Notes in Computer Science ; 5609)

Computing and combinatorics : 15th annual international conference, COCOON 2009 : Niagara Falls, NY, USA, July 13-15, 2009 : proceedings. : Jul 2009, Niagara Falls, NY. (Lecture Notes in Computer Science ; 5609)
Paper図書
Springerc2009.<M17-10-1484>
National Diet Library
  • Subject Heading...lls <NY, 2009> Theoretische Informatik -- Kongress -- Niagara Falls ...

Theoretical aspects of computing -- ICTAC 2009 : 6th international colloquium : Kuala Lumpur, Malaysia, August 16-20, 2009 : proceedings. : Aug 2009, Kuala Lumpur, Malaysia. (Lecture Notes in Computer Science ; 5684)

Theoretical aspects of computing -- ICTAC 2009 : 6th international colloquium : Kuala Lumpur, Malaysia, August 16-20, 2009 : proceedings. : Aug 2009, Kuala Lumpur, Malaysia. (Lecture Notes in Computer Science ; 5684)
Paper図書
Springerc2009.<M17-10-1546>
National Diet Library
  • Subject Heading... Lumpur <2009> Theoretische Informatik -- Kongress -- Kuala Lumpur <...