yr 〜
yr

Search results 182

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

Algebraic informatics : 6th international conference, CAI 2015 : Stuttgart, Germany, September 1-4, 2015 : proceedings : Sep 2015, Stuttgart, Germany. (Lecture Notes in Computer Science ; 9270)
Paper図書
Springer[2015]<M17-16-598>
National Diet Library

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

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

Logic, language, and computation : 9th international Tbilisi symposium on logic, language, and computation, TbiLLC 2011 : Kutaisi, Georgia, September 26-30, 2011 : revised selected papers : Sep 2011, Kutaisi, Georgia. (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 : Sep 2011, Kutaisi, Georgia. (Lecture Notes in Computer Science ; 7758)
Paper図書
Springerc2013.<M17-13-2114>
National Diet Library

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

Practical aspects of declarative languages : 10th international symposium, PADL 2008 : San Francisco, CA, USA, January 7-8, 2008 : proceedings. : Jan 2008, San Francisco, CA. (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. : Jan 2008, San Francisco, CA. (Lecture Notes in Computer Science ; 4902)
Paper図書
Springerc2008.<M17-08-829>
National Diet Library
  • Subject HeadingProgramming languages (Electronic computers) -- Semantics -- Congresses.

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

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

Journal on data semantics XIII / Stefano Spaccapietra, Esteban Zimányi, Il-Yeol Song (eds.). (Lecture notes in computer science ; 5530 ; Journal subline)

Journal on data semantics XIII / Stefano Spaccapietra, Esteban Zimányi, Il-Yeol Song (eds.). (Lecture notes in computer science ; 5530 ; Journal subline)
Paper図書
Springerc2009.<X>
National Diet Library
  • Subject Heading...ta processing. Programming languages (Electronic computers) -- Semantics.

Logic, language, and computation : 8th international Tbilisi symposium on logic, language, and computation, TbiLLC 2009 : Bakuriani, Georgia, September 21-25, 2009 : revised selected papers : Sep 2009, Bakuriani, Georgia. (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 : Sep 2009, Bakuriani, Georgia. (Lecture Notes in Computer Science ; 6618. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2011.<M17-12-413>
National Diet Library

Journal on data semantics VI : Special issue on emergent semantics / Stefano Spaccapietra, Karl Aberer, Philippe Cudré-Mauroux (eds.). (Lecture notes in computer science ; 4090 ; Journal subline)

Journal on data semantics VI : Special issue on emergent semantics / Stefano Spaccapietra, Karl Aberer, Philippe Cudré-Mauroux (eds.). (Lecture notes in computer science ; 4090 ; Journal subline)
Paper図書
Springerc2006.<X>
National Diet Library
  • Subject HeadingProgramming languages (Electronic computers) -- Semantics. Database management.

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

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

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

Practical aspects of declarative languages : 8th international symposium, PADL 2006 : Charleston, SC, USA, January 9-10, 2006 : proceedings. : Jan 2006, Charleston, SC. (Lecture Notes in Computer Science ; 3819)
Paper図書
Springerc2006.<M17-06-1163>
National Diet Library
  • Subject HeadingProgramming languages (Electronic computers) -- Semantics -- Congresses.

Journal on data semantics XII / Stefano Spaccapietra (ed.). (Lecture notes in computer science ; 5480 ; Journal subline)

Journal on data semantics XII / Stefano Spaccapietra (ed.). (Lecture notes in computer science ; 5480 ; Journal subline)
Paper図書
Springerc2009.<X>
National Diet Library
  • Subject Heading...ta processing. Programming languages (Electronic computers) -- Semantics. Semantic integration (Comput...

Logic, language, and computation : 7th international Tbilisi symposium on logic, language, and computation, TbiLLC 2007 : Tbilisi, Georgia, October 1-5, 2007 : revised selected papers. : 7th international Tbilisi symposium on logic, language, and information : Oct 2007, Tbilisi, Georgia. (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. : 7th international Tbilisi symposium on logic, language, and information : Oct 2007, Tbilisi, Georgia. (Lecture Notes in Computer Science ; 5422. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2009.<M17-10-528>
National Diet Library
  • Subject HeadingComputer logic -- Congresses. Programming languages (Electronic computers) -- Semantics -- Congresses. Computational ...

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
  • Subject Heading...ta processing. Programming languages (Electronic computers) -- Semantics. Semantic integration (Comput...

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

Practical aspects of declarative languages : 6th international symposium, PADL 2004 : Dallas, TX, USA, June 18-19, 2004 : proceedings. : Jun 2004, Dallas, TX. (Lecture Notes in Computer Science ; 3057)
Paper図書
Springerc2004.<M17-05-60>
National Diet Library
  • Subject HeadingProgramming languages (Electronic computers) -- Semantics -- Congresses.

Applied semantics : international summer school, APPSEM 2000, Caminha, Portugal, September 9-15, 2000 : advanced lectures. : Sep 2000, Caminha, Portugal. (Lecture Notes in Computer Science ; 2395. Tutorial)

Applied semantics : international summer school, APPSEM 2000, Caminha, Portugal, September 9-15, 2000 : advanced lectures. : Sep 2000, Caminha, Portugal. (Lecture Notes in Computer Science ; 2395. Tutorial)
Paper図書
Springer2002.<M17-03-488>
National Diet Library
  • Subject HeadingProgramming languages (Electronic computers) -- Semantics.

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

PEPM'10 : proceedings of the 2010 ACM SIGPLAN workshop on partial evaluation and program manipulation : January 18-19, 2010 : Madrid, Spain. : PEPM 2010 workshop : Jan 2010, Madrid, Spain.
Paper図書
Association for Computing Machineryc2010.<M17-10-2487>
National Diet Library
  • Subject Heading...-- Congresses. Programming languages (Electronic computers) -- Semantics -- Congresses. Computer progr...

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

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

Logic, language, and computation : 6th international Tbilisi symposium on logic, language, and computation, TbiLLC 2005 : Batumi, Georgia, September 12-16, 2005 : revised selected papers. : 6th international Tbilisi symposium on logic, language and information : Sep 2005, Batumi, Georgia. (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. : 6th international Tbilisi symposium on logic, language and information : Sep 2005, Batumi, Georgia. (Lecture Notes in Computer Science ; 4363. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2007.<M17-07-2702>
National Diet Library
  • Subject HeadingComputer logic -- Congresses. Programming languages (Electronic computers) -- Semantics -- Congresses. Computational ...

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
  • Subject HeadingProgramming languages (Electronic computers) -- Semantics -- Congresses.