本文に飛ぶ

年 〜
年

検索結果 183 件

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)
紙図書
Springer[2015]<M17-16-598>
国立国会図書館
  • 件名...ta processing. Programming languages (Electronic computers)--Semantics.

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)
紙図書
Springerc2011.<M17-11-1900>
国立国会図書館

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)
紙図書
Springerc2013.<M17-13-2114>
国立国会図書館

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)
紙図書
Springerc2013.<M17-14-737>
国立国会図書館

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)
紙図書
Springerc2008.<M17-08-829>
国立国会図書館

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)
紙図書
Springerc2010.<M17-10-2789>
国立国会図書館

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)
紙図書
Springerc2009.<X>
国立国会図書館

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)
紙図書
Springerc2011.<M17-12-413>
国立国会図書館

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)
紙図書
Springerc2006.<X>
国立国会図書館

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)
紙図書
Springerc2009.<M17-09-1080>
国立国会図書館

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)
紙図書
Springerc2006.<M17-06-1163>
国立国会図書館

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)
紙図書
Springerc2009.<X>
国立国会図書館

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)
紙図書
Springerc2009.<M17-10-528>
国立国会図書館

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)
紙図書
Springerc2008.<M17-10-525>
国立国会図書館

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)
紙図書
Springerc2004.<M17-05-60>
国立国会図書館

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)
紙図書
Springer2002.<M17-03-488>
国立国会図書館

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)
紙図書
Kluwer Academic Publishersc2003.<M17-04-2358>
国立国会図書館

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.
紙図書
Association for Computing Machineryc2010.<M17-10-2487>
国立国会図書館

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)
紙図書
Springerc2007.<M17-07-2702>
国立国会図書館

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. : Sep 2002, Aizu, 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. : Sep 2002, Aizu, Japan.
紙図書
ACM Pressc2002.<M17-03-3573>
国立国会図書館
RSS