本文に飛ぶ

年 〜
年

検索結果 9 件

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)
紙図書
Springerc2010.<M17-10-4384>
国立国会図書館
  • 件名...rogrammierung. Programmierlogik. Brünn <2010>

Logic-based program synthesis and transformation : 19th international symposium, LOPSTR 2009 : Coimbra, Portugal, September 2009 : revised selected papers. : Sep 2009, Coimbra, Portugal. (Lecture Notes in Computer Science ; 6037)

Logic-based program synthesis and transformation : 19th international symposium, LOPSTR 2009 : Coimbra, Portugal, September 2009 : revised selected papers. : Sep 2009, Coimbra, Portugal. (Lecture Notes in Computer Science ; 6037)
紙図書
Springerc2010.<M17-10-2807>
国立国会図書館
  • 件名...-- Congresses. Programmierlogik. Beweistheorie. Logische Progr...

Logic for programming, artificial intelligence, and reasoning : 19th international conference, LPAR-19 : Stellenbosch, South Africa, December 14-19, 2013 : proceedings : LPAR-19 workshop : Dec 2013, Stellenbosch, South Africa. (Lecture Notes in Computer Science ; 8312. Advanced Research in Computing and Software Science)

Logic for programming, artificial intelligence, and reasoning : 19th international conference, LPAR-19 : Stellenbosch, South Africa, December 14-19, 2013 : proceedings : LPAR-19 workshop : Dec 2013, Stellenbosch, South Africa. (Lecture Notes in Computer Science ; 8312. Advanced Research in Computing and Software Science)
紙図書
Springerc2013.<M17-14-1560>
国立国会図書館
  • 件名...rogrammierung. Programmierlogik.

Frontiers of combining systems : 7th international symposium, FroCoS 2009 : Trento, Italy, September 16-18, 2009 : proceedings. : FroCoS meetings : Sep 2009, Trento, Italy. (Lecture Notes in Computer Science ; 5749. Lecture Notes in Artificial Intelligence)

Frontiers of combining systems : 7th international symposium, FroCoS 2009 : Trento, Italy, September 16-18, 2009 : proceedings. : FroCoS meetings : Sep 2009, Trento, Italy. (Lecture Notes in Computer Science ; 5749. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2009.<M17-10-1375>
国立国会図書館
  • 件名... Problemlösen. Programmierlogik. Kongress. Trient (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)
紙図書
Springerc2009.<M17-10-1646>
国立国会図書館
  • 件名...rogrammierung. Programmierlogik. Theoretische Informatik. Coim...

Logic, language, information and computation : 17th international workshop, WoLLIC 2010 : Brasilia, Brazil, July 6-9, 2010 : proceedings. : Jul 2010, Brasilia, Brazil. (Lecture Notes in Computer Science ; 6188. Lecture Notes in Artificial Intelligence)

Logic, language, information and computation : 17th international workshop, WoLLIC 2010 : Brasilia, Brazil, July 6-9, 2010 : proceedings. : Jul 2010, Brasilia, Brazil. (Lecture Notes in Computer Science ; 6188. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2010.<M17-10-3754>
国立国会図書館
  • 件名...-- Congresses. Programmierlogik. Natürliche Sprache. Formale S...

Advances in computer science -- ASIAN 2009 : information security and privacy : 13th Asian computing science conference : Seoul, Korea, December 14-16, 2009 : proceedings. : 13th annual Asian computing science conference : Dec 2009, Seoul, Korea. (Lecture Notes in Computer Science ; 5913)

Advances in computer science -- ASIAN 2009 : information security and privacy : 13th Asian computing science conference : Seoul, Korea, December 14-16, 2009 : proceedings. : 13th annual Asian computing science conference : Dec 2009, Seoul, Korea. (Lecture Notes in Computer Science ; 5913)
紙図書
Springerc2009.<M17-10-2387>
国立国会図書館
  • 件名...Kryptoanalyse. Programmierlogik. Programmverifikation. Rechner...

Programming languages and systems : 7th Asian symposium, APLAS 2009 : Seoul, Korea, December 14-16, 2009 : proceedings. : Dec 2009, Seoul, Korea. (Lecture Notes in Computer Science ; 5904)

Programming languages and systems : 7th Asian symposium, APLAS 2009 : Seoul, Korea, December 14-16, 2009 : proceedings. : Dec 2009, Seoul, Korea. (Lecture Notes in Computer Science ; 5904)
紙図書
Springerc2009.<M17-10-1776>
国立国会図書館
  • 件名...ogrammanalyse. Programmierlogik. Programmiersprache. Programmo...

Computer science logic : 24th international workshop, CSL 2010, 19th annual conference of the EACSL, Brno, Czech Republic, August 23 - 27, 2010, proceedings

Computer science logic : 24th international workshop, CSL 2010, 19th annual conference of the EACSL, Brno, Czech Republic, August 23 - 27, 2010, proceedings
紙図書
Anuj Dawar, Helmut Veith (eds.)Springerc2010
全国の図書館

検索結果は以上です。

RSS