Jump to main content

yr 〜
yr

Search results 11

Developments in language theory : 22nd international conference, DLT 2018 : Tokyo, Japan, September 10-14, 2018 : proceedings : 100th anniversary commemorative events of University of Electro-Communications (UEC) : Sep 2018, Fuchu, Japan. (Lecture Notes in Computer Science ; 11088)

Developments in language theory : 22nd international conference, DLT 2018 : Tokyo, Japan, September 10-14, 2018 : proceedings : 100th anniversary commemorative events of University of Electro-Communications (UEC) : Sep 2018, Fuchu, Japan. (Lecture Notes in Computer Science ; 11088)
Paper図書
Springer[2018]<M17-20-853>
National Diet Library
  • DDC005.131

Inductive logic programming : 25th international conference, ILP 2015 : Kyoto, Japan, August 20-22, 2015 : revised selected papers : Aug 2015, Kyoto, Japan. (Lecture Notes in Computer Science ; 9575. Lecture Notes in Artificial Intelligence)

Inductive logic programming : 25th international conference, ILP 2015 : Kyoto, Japan, August 20-22, 2015 : revised selected papers : Aug 2015, Kyoto, Japan. (Lecture Notes in Computer Science ; 9575. Lecture Notes in Artificial Intelligence)
Paper図書
Springer[2016]<M17-20-869>
National Diet Library
  • DDC005.131

Algebraic informatics : 5th international conference, CAI 2013 : Porquerolles, France, September 3-6, 2013 : proceedings : Sep 2013, ------. (Lecture Notes in Computer Science ; 8080)

Algebraic informatics : 5th international conference, CAI 2013 : Porquerolles, France, September 3-6, 2013 : proceedings : Sep 2013, ------. (Lecture Notes in Computer Science ; 8080)
Paper図書
Springerc2013.<M17-14-737>
National Diet Library
  • DDC005.131

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
  • DDC005.131

Practical aspects of declarative languages : 14th international symposium, PADL 2012 : Philadelphia, PA, USA, January 23-24, 2012 : proceedings : Jan 2012, Philadelphia, PA. (Lecture Notes in Computer Science ; 7149)

Practical aspects of declarative languages : 14th international symposium, PADL 2012 : Philadelphia, PA, USA, January 23-24, 2012 : proceedings : Jan 2012, Philadelphia, PA. (Lecture Notes in Computer Science ; 7149)
Paper図書
Springerc2012.<M17-12-1908>
National Diet Library
  • DDC005.131

Formal methods: foundations and applications : 14th Brazilian symposium, SBMF 2011 : São Paulo, Brazil, September 26-30, 2011 : revised selected papers : Sep 2011, São Paulo, Brazil. (Lecture Notes in Computer Science ; 7021)

Formal methods: foundations and applications : 14th Brazilian symposium, SBMF 2011 : São Paulo, Brazil, September 26-30, 2011 : revised selected papers : Sep 2011, São Paulo, Brazil. (Lecture Notes in Computer Science ; 7021)
Paper図書
Springerc2011.<M17-12-1762>
National Diet Library
  • DDC005.131

Journal on data semantics 11. : 2nd international workshop on semantic web-enabled software engineering (SWESE 2006) : InterDB 2006, the 2nd international workshop on database interoperability : 2nd international workshop on object-role modeling (ORM 2006) : international workshop on ontology matching (OM-2006) : 3rd international workshop on conceptual modeling for geographic information systems (CoMoGIS 2006) : 1st international workshop on semantic web applications: theory and practice (SemWAT 2006) : 15th international conference on knowledge engineering and knowledge management -- managing knowledge in a world of networks (EKAW 2006) : 2006, ------. (Lecture Notes in Computer Science ; 5383. Journal Subline)

Journal on data semantics 11. : 2nd international workshop on semantic web-enabled software engineering (SWESE 2006) : InterDB 2006, the 2nd international workshop on database interoperability : 2nd international workshop on object-role modeling (ORM 2006) : international workshop on ontology matching (OM-2006) : 3rd international workshop on conceptual modeling for geographic information systems (CoMoGIS 2006) : 1st international workshop on semantic web applications: theory and practice (SemWAT 2006) : 15th international conference on knowledge engineering and knowledge management -- managing knowledge in a world of networks (EKAW 2006) : 2006, ------. (Lecture Notes in Computer Science ; 5383. Journal Subline)
Paper図書
Springerc2008.<M17-10-525>
National Diet Library
  • DDC005.131

Types for proofs and programs : international workshop, TYPES 2004 : Jouy-en-Josas, France, December 15-18, 2004 : revised selected papers. : annual workshop of the TYPES project (EU coordination action 510996) : TYPES meeting : Dec 2004, Jouy-en-Josas, France. (Lecture Notes in Computer Science ; 3839)

Types for proofs and programs : international workshop, TYPES 2004 : Jouy-en-Josas, France, December 15-18, 2004 : revised selected papers. : annual workshop of the TYPES project (EU coordination action 510996) : TYPES meeting : Dec 2004, Jouy-en-Josas, France. (Lecture Notes in Computer Science ; 3839)
Paper図書
Springerc2006.<M17-06-1488>
National Diet Library
  • DDC005.131

Formal methods for open object-based distributed systems : 6th IFIP WG 6.1 international conference, FMOODS 2003 : Paris, France, November 19-21, 2003 : proceedings. : Nov 2003, Paris, France. (Lecture Notes in Computer Science ; 2884)

Formal methods for open object-based distributed systems : 6th IFIP WG 6.1 international conference, FMOODS 2003 : Paris, France, November 19-21, 2003 : proceedings. : Nov 2003, Paris, France. (Lecture Notes in Computer Science ; 2884)
Paper図書
Springer-Verlagc2003.<M17-04-2585>
National Diet Library
  • DDC005.131

Practical aspects of declarative languages : 4th international symposium, PADL 2002 : Portland, OR, USA, January 19-20, 2002 : proceedings. : 4th PADL symposium : Jan 2002, Portland, OR. (Lecture Notes in Computer Science ; 2257)

Practical aspects of declarative languages : 4th international symposium, PADL 2002 : Portland, OR, USA, January 19-20, 2002 : proceedings. : 4th PADL symposium : Jan 2002, Portland, OR. (Lecture Notes in Computer Science ; 2257)
Paper図書
Springerc2002.<M17-03-2498>
National Diet Library
  • DDC005.131

Programming concepts and methods : PROCOMET '98 : IFIP TC2/WG2.2, 2.3 international conference on programming concepts and methods (PROCOMET '98) : 8-12 June 1998, Shelter Island, New York, USA. : IFIP working conference PROCOMET'98 : June 1998, ------. 1st ed.

Programming concepts and methods : PROCOMET '98 : IFIP TC2/WG2.2, 2.3 international conference on programming concepts and methods (PROCOMET '98) : 8-12 June 1998, Shelter Island, New York, USA. : IFIP working conference PROCOMET'98 : June 1998, ------. 1st ed.
Paper図書
Chapman & Hall1998.<M17-03-2247>
National Diet Library
  • DDC005.131

Reached to the end of result.

RSS