Jump to main content

yr 〜
yr

Search results 60

Practical aspects of declarative languages : 13th international symposium, PADL 2011 : Austin, TX, USA, January 24-25, 2011 : proceedings. (Lecture Notes in Computer Science ; 6539)

Practical aspects of declarative languages : 13th international symposium, PADL 2011 : Austin, TX, USA, January 24-25, 2011 : proceedings. (Lecture Notes in Computer Science ; 6539)
Paper図書
Springerc2011.<M17-11-1900>
National Diet Library

Logic, language, and computation : 9th international Tbilisi symposium on logic, language, and computation, TbiLLC 2011 : Kutaisi, Georgia, September 26-30, 2011 : revised selected papers. (Lecture Notes in Computer Science ; 7758)

Logic, language, and computation : 9th international Tbilisi symposium on logic, language, and computation, TbiLLC 2011 : Kutaisi, Georgia, September 26-30, 2011 : revised selected papers. (Lecture Notes in Computer Science ; 7758)
Paper図書
Springerc2013.<M17-13-2114>
National Diet Library
  • Subject HeadingComputer logic--Congresses. Programming languages (Electronic computers)--Semantics--Congresses. Computational linguistics--Co...

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

Algebraic informatics : 5th international conference, CAI 2013 : Porquerolles, France, September 3-6, 2013 : proceedings. (Lecture Notes in Computer Science ; 8080)
Paper図書
Springerc2013.<M17-14-737>
National Diet Library
  • Subject HeadingProgramming languages (Electronic computers)--Semantics--Congresses. Algebra--Data processing--Con...

Practical aspects of declarative languages : 10th international symposium, PADL 2008 : San Francisco, CA, USA, January 7-8, 2008 : proceedings. (Lecture Notes in Computer Science ; 4902)

Practical aspects of declarative languages : 10th international symposium, PADL 2008 : San Francisco, CA, USA, January 7-8, 2008 : proceedings. (Lecture Notes in Computer Science ; 4902)
Paper図書
Springerc2008.<M17-08-829>
National Diet LibraryOther Libraries in Japan

Practical aspects of declarative languages : 12th international symposium, PADL 2010 : Madrid, Spain, January 18-19, 2010 : proceedings. (Lecture Notes in Computer Science ; 5937)

Practical aspects of declarative languages : 12th international symposium, PADL 2010 : Madrid, Spain, January 18-19, 2010 : proceedings. (Lecture Notes in Computer Science ; 5937)
Paper図書
Springerc2010.<M17-10-2789>
National Diet Library

Logic, language, and computation : 8th international Tbilisi symposium on logic, language, and computation, TbiLLC 2009 : Bakuriani, Georgia, September 21-25, 2009 : revised selected papers. (Lecture Notes in Computer Science ; 6618. Lecture Notes in Artificial Intelligence)

Logic, language, and computation : 8th international Tbilisi symposium on logic, language, and computation, TbiLLC 2009 : Bakuriani, Georgia, September 21-25, 2009 : revised selected papers. (Lecture Notes in Computer Science ; 6618. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2011.<M17-12-413>
National Diet LibraryOther Libraries in Japan
  • Subject HeadingComputer logic--Congresses. Programming languages (Electronic computers)--Semantics--Congresses. Computational linguistics--Co...

Practical aspects of declarative languages : 11th international symposium, PADL 2009 : Savannah, GA, USA, January 19-20, 2009 : proceedings. (Lecture Notes in Computer Science ; 5418)

Practical aspects of declarative languages : 11th international symposium, PADL 2009 : Savannah, GA, USA, January 19-20, 2009 : proceedings. (Lecture Notes in Computer Science ; 5418)
Paper図書
Springerc2009.<M17-09-1080>
National Diet Library

Practical aspects of declarative languages : 8th international symposium, PADL 2006 : Charleston, SC, USA, January 9-10, 2006 : proceedings. (Lecture Notes in Computer Science ; 3819)

Practical aspects of declarative languages : 8th international symposium, PADL 2006 : Charleston, SC, USA, January 9-10, 2006 : proceedings. (Lecture Notes in Computer Science ; 3819)
Paper図書
Springerc2006.<M17-06-1163>
National Diet LibraryOther Libraries in Japan

Algebraic informatics : 6th international conference, CAI 2015 : Stuttgart, Germany, September 1-4, 2015 : proceedings. (Lecture Notes in Computer Science ; 9270)

Algebraic informatics : 6th international conference, CAI 2015 : Stuttgart, Germany, September 1-4, 2015 : proceedings. (Lecture Notes in Computer Science ; 9270)
Paper図書
Springer[2015]<M17-16-598>
National Diet Library
  • Subject Heading...e Engineering. Programming languages (Electronic computers)--Semantics--Congresses. Algebra--Data processing--Con...

Logic, language, and computation : 7th international Tbilisi symposium on logic, language, and computation, TbiLLC 2007 : Tbilisi, Georgia, October 1-5, 2007 : revised selected papers. (Lecture Notes in Computer Science ; 5422. Lecture Notes in Artificial Intelligence)

Logic, language, and computation : 7th international Tbilisi symposium on logic, language, and computation, TbiLLC 2007 : Tbilisi, Georgia, October 1-5, 2007 : revised selected papers. (Lecture Notes in Computer Science ; 5422. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2009.<M17-10-528>
National Diet LibraryOther Libraries in Japan

Practical aspects of declarative languages : 6th international symposium, PADL 2004 : Dallas, TX, USA, June 18-19, 2004 : proceedings. (Lecture Notes in Computer Science ; 3057)

Practical aspects of declarative languages : 6th international symposium, PADL 2004 : Dallas, TX, USA, June 18-19, 2004 : proceedings. (Lecture Notes in Computer Science ; 3057)
Paper図書
Springerc2004.<M17-05-60>
National Diet LibraryOther Libraries in Japan

Domain theory, logic and computation : proceedings of the 2nd international symposium on domain theory, Sichuan, China, October 2001. (Semantic Structures in Computation ; 3)

Domain theory, logic and computation : proceedings of the 2nd international symposium on domain theory, Sichuan, China, October 2001. (Semantic Structures in Computation ; 3)
Paper図書
Kluwer Academic Publishersc2003.<M17-04-2358>
National Diet Library

PEPM'10 : proceedings of the 2010 ACM SIGPLAN workshop on partial evaluation and program manipulation : January 18-19, 2010 : Madrid, Spain.

PEPM'10 : proceedings of the 2010 ACM SIGPLAN workshop on partial evaluation and program manipulation : January 18-19, 2010 : Madrid, Spain.
Paper図書
Association for Computing Machineryc2010.<M17-10-2487>
National Diet Library

Logic, language, and computation : 6th international Tbilisi symposium on logic, language, and computation, TbiLLC 2005 : Batumi, Georgia, September 12-16, 2005 : revised selected papers. (Lecture Notes in Computer Science ; 4363. Lecture Notes in Artificial Intelligence)

Logic, language, and computation : 6th international Tbilisi symposium on logic, language, and computation, TbiLLC 2005 : Batumi, Georgia, September 12-16, 2005 : revised selected papers. (Lecture Notes in Computer Science ; 4363. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2007.<M17-07-2702>
National Diet LibraryOther Libraries in Japan

Practical aspects of declarative languages : 5th international symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003 : proceedings. (Lecture Notes in Computer Science ; 2562)

Practical aspects of declarative languages : 5th international symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003 : proceedings. (Lecture Notes in Computer Science ; 2562)
Paper図書
Springerc2002.<M17-03-1090>
National Diet LibraryOther Libraries in Japan

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

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

Conference record : ACM SIGPLAN ASIA-PEPM 2002: the ASIAN symposium on partial evaluation and semantics-based program manipulation : papers presented at the symposium : Aizu, Japan : September 12-14, 2002.

Conference record : ACM SIGPLAN ASIA-PEPM 2002: the ASIAN symposium on partial evaluation and semantics-based program manipulation : papers presented at the symposium : Aizu, Japan : September 12-14, 2002.
Paper図書
ACM Pressc2002.<M17-03-3573>
National Diet Library

PEPM'09 : proceedings of the 2009 ACM SIGPLAN symposium on partial evaluation and program manipulation : Savannah, Georgia, USA : January 19-20, 2009.

PEPM'09 : proceedings of the 2009 ACM SIGPLAN symposium on partial evaluation and program manipulation : Savannah, Georgia, USA : January 19-20, 2009.
Paper図書
ACMc2009.<M17-10-1114>
National Diet Library

Practical aspects of declarative languages : third international symposium, PADL 2001 : Las Vegas, Nevada, March 11-12, 2001 : proceedings. (Lecture Notes in Computer Science ; 1990)

Practical aspects of declarative languages : third international symposium, PADL 2001 : Las Vegas, Nevada, March 11-12, 2001 : proceedings. (Lecture Notes in Computer Science ; 1990)
Paper図書
Springer2001.<M17-03-4618>
National Diet Library

Domains and processes : proceedings of the 1st international symposium on domain theory : Shanghai, China, October 1999. (Semantic Structures in Computation ; 1)

Domains and processes : proceedings of the 1st international symposium on domain theory : Shanghai, China, October 1999. (Semantic Structures in Computation ; 1)
Paper図書
Kluwer Academic Publishersc2001.<M17-03-2936>
National Diet Library
RSS