本文に飛ぶ

年 〜
年

検索結果 26 件

2016 1st CPSWeek workshop on declarative cyber-physical systems (DCPS 2016) : Vienna, Austria : 12 April 2016 : Apr 2016, Vienna, Austria.

2016 1st CPSWeek workshop on declarative cyber-physical systems (DCPS 2016) : Vienna, Austria : 12 April 2016 : Apr 2016, Vienna, Austria.
紙図書
IEEE[2016]<M17-18-353>
国立国会図書館
  • 件名Declarative programming--Congresses. Cooperating objects (Computer...

Practical aspects of declarative languages : 17th international symposium, PADL 2015 : Portland, OR, USA, June 18-19, 2015 : proceedings : Jun 2015, Portland, OR. (Lecture Notes in Computer Science ; 9131)

Practical aspects of declarative languages : 17th international symposium, PADL 2015 : Portland, OR, USA, June 18-19, 2015 : proceedings : Jun 2015, Portland, OR. (Lecture Notes in Computer Science ; 9131)
紙図書
Springer[2015]<M17-16-401>
国立国会図書館
  • 件名...s--Congresses. Declarative programming--Congresses. Declarative programming. Decl...

PPDP'09 : proceedings of the 11th international ACM SIGPLAN symposium on principles and practice of declarative programming : September 7-9, 2009 : Coimbra, Portugal. : PPDP meetings : Sep 2009, Coimbra, Portugal.

PPDP'09 : proceedings of the 11th international ACM SIGPLAN symposium on principles and practice of declarative programming : September 7-9, 2009 : Coimbra, Portugal. : PPDP meetings : Sep 2009, Coimbra, Portugal.
紙図書
Association for Computing Machineryc2009.<M17-10-1048>
国立国会図書館

PPDP'05 : proceedings of the seventh ACM SIGPLAN conference on principles and practice of declarative programming : July 11-13, 2005 : Lisbon, Portugal. : 7th ACM-SIGPLAN international symposium on principles and practice of declarative programming : PPDP 2005 : Jul 2005, Lisbon, Portugal.

PPDP'05 : proceedings of the seventh ACM SIGPLAN conference on principles and practice of declarative programming : July 11-13, 2005 : Lisbon, Portugal. : 7th ACM-SIGPLAN international symposium on principles and practice of declarative programming : PPDP 2005 : Jul 2005, Lisbon, Portugal.
紙図書
ACM Pressc2005.<M17-06-2029>
国立国会図書館

Applications of declarative programming and knowledge management : 19th international conference, INAP 2011 and 25th workshop on logic programming, WLP 2011 : Vienna, Austria, September 28-30, 2011 : revised selected papers : annual meeting of the Society of Logic Programming (GLP, Gesellschaft fur Logische Programmierung e.V.) : Sep 2011, Vienna, Austria. (Lecture Notes in Computer Science ; 7773. Lecture Notes in Artificial Intelligence)

Applications of declarative programming and knowledge management : 19th international conference, INAP 2011 and 25th workshop on logic programming, WLP 2011 : Vienna, Austria, September 28-30, 2011 : revised selected papers : annual meeting of the Society of Logic Programming (GLP, Gesellschaft fur Logische Programmierung e.V.) : Sep 2011, Vienna, Austria. (Lecture Notes in Computer Science ; 7773. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2013.<M17-14-1297>
国立国会図書館
  • 件名...s--Congresses. Declarative programming--Congresses. Knowledge management--Congres...

Declarative programming and knowledge management : declarative programming days, KDPD 2013 : unifying INAP, WFLP, and WLP : Kiel, Germany, September 11-13, 2013 : revised selected papers : 20th international conference on applications of declarative programming and knowledge management : 22nd international workshop on functional and (constraint) logic programming : 27th workshop on logic programming : scientific forum of the annual meeting of the Society of Logic Programming (GLP e.V.) : WFLP/WLP conference : Sep 2013, Kiel, Germany. (Lecture Notes in Computer Science ; 8439. Lecture Notes in Artificial Intelligence)

Declarative programming and knowledge management : declarative programming days, KDPD 2013 : unifying INAP, WFLP, and WLP : Kiel, Germany, September 11-13, 2013 : revised selected papers : 20th international conference on applications of declarative programming and knowledge management : 22nd international workshop on functional and (constraint) logic programming : 27th workshop on logic programming : scientific forum of the annual meeting of the Society of Logic Programming (GLP e.V.) : WFLP/WLP conference : Sep 2013, Kiel, Germany. (Lecture Notes in Computer Science ; 8439. Lecture Notes in Artificial Intelligence)
紙図書
Springer[2014]<M17-15-1672>
国立国会図書館
  • 件名...)--Congresses. Declarative programming--Congresses. Logic programming--Congresses...

PPDP'03 : proceedings of the fifth ACM SIGPLAN conference on principles and practice of declarative programming : August 27-29, 2003 : Uppsala, Sweden. : 5th ACM-SIGPLAN international conference on principles and practice of declarative programming : PPDP 2003 : PLI 2003 : Aug 2003, Uppsala, Sweden.

PPDP'03 : proceedings of the fifth ACM SIGPLAN conference on principles and practice of declarative programming : August 27-29, 2003 : Uppsala, Sweden. : 5th ACM-SIGPLAN international conference on principles and practice of declarative programming : PPDP 2003 : PLI 2003 : Aug 2003, Uppsala, Sweden.
紙図書
ACM Pressc2003.<M17-06-2964>
国立国会図書館

Declarative agent languages and technologies 6 : 6th international workshop, DALT 2008 : Estoril, Portugal, May 12, 2008 : revised selected and invited papers. : May 2008, Estoril, Portugal. (Lecture Notes in Computer Science ; 5397. Lecture Notes in Artificial Intelligence)

Declarative agent languages and technologies 6 : 6th international workshop, DALT 2008 : Estoril, Portugal, May 12, 2008 : revised selected and invited papers. : May 2008, Estoril, Portugal. (Lecture Notes in Computer Science ; 5397. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2009.<M17-10-527>
国立国会図書館

Declarative agent languages and technologies 3 : third international workshop, DALT 2005 : Utrecht, the Netherlands, July 25, 2005 : selected and revised papers. : Jul 2005, Utrecht, the Netherlands. (Lecture Notes in Computer Science ; 3904. Lecture Notes in Artificial Intelligence)

Declarative agent languages and technologies 3 : third international workshop, DALT 2005 : Utrecht, the Netherlands, July 25, 2005 : selected and revised papers. : Jul 2005, Utrecht, the Netherlands. (Lecture Notes in Computer Science ; 3904. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2006.<M17-06-1635>
国立国会図書館

Applications of declarative programming and knowledge management : 17th international conference, INAP 2007 : and 21st workshop on logic programming, WLP 2007 : Wurzburg, Germany, October 4-6, 2007 : revised selected papers. : annual meeting of the Society for Logic Programming (GLP e.V.) : INAP/WLP 2007 : Oct 2007, Wurzburg, Germany. (Lecture Notes in Computer Science ; 5437. Lecture Notes in Artificial Intelligence)

Applications of declarative programming and knowledge management : 17th international conference, INAP 2007 : and 21st workshop on logic programming, WLP 2007 : Wurzburg, Germany, October 4-6, 2007 : revised selected papers. : annual meeting of the Society for Logic Programming (GLP e.V.) : INAP/WLP 2007 : Oct 2007, Wurzburg, Germany. (Lecture Notes in Computer Science ; 5437. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2009.<M17-09-1984>
国立国会図書館

Declarative agent languages and technologies 5 : 5th international workshop, DALT 2007 : Honolulu, HI, USA, May 14, 2007 : revised selected and invited papers. : May 2007, Honolulu, HI. (Lecture Notes in Computer Science ; 4897. Lecture Notes in Artificial Intelligence)

Declarative agent languages and technologies 5 : 5th international workshop, DALT 2007 : Honolulu, HI, USA, May 14, 2007 : revised selected and invited papers. : May 2007, Honolulu, HI. (Lecture Notes in Computer Science ; 4897. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2008.<M17-08-827>
国立国会図書館

Proceedings of the 3rd international ACM SIGPLAN conference on principles and practice of declarative programming (PPDP'01) : Florence, Italy : September 5-7, 2001. : Sep 2001, Florence, Italy.

Proceedings of the 3rd international ACM SIGPLAN conference on principles and practice of declarative programming (PPDP'01) : Florence, Italy : September 5-7, 2001. : Sep 2001, Florence, Italy.
紙図書
Association for Computing Machineryc2001.<M17-03-1765>
国立国会図書館

Declarative agent languages and technologies 4 : 4th international workshop, DALT 2006 : Hakodate, Japan, May 8, 2006 : selected, revised and invited papers. : May 2006, Hakodate, Japan. (Lecture Notes in Computer Science ; 4327. Lecture Notes in Artificial Intelligence)

Declarative agent languages and technologies 4 : 4th international workshop, DALT 2006 : Hakodate, Japan, May 8, 2006 : selected, revised and invited papers. : May 2006, Hakodate, Japan. (Lecture Notes in Computer Science ; 4327. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2006.<M17-07-2488>
国立国会図書館

Proceedings of the 2nd international ACM SIGPLAN conference on principles and practice of declarative programming (PPDP'00) : Montreal, Canada September 20-23, 2000. : Sep 2000, Montreal, Canada.

Proceedings of the 2nd international ACM SIGPLAN conference on principles and practice of declarative programming (PPDP'00) : Montreal, Canada September 20-23, 2000. : Sep 2000, Montreal, Canada.
紙図書
ACM Pressc2000.<M17-03-3406>
国立国会図書館

Applications of declarative programming and knowledge management : 15th international conference on applications of declarative programming and knowledge management, INAP 2004 and 18th workshop on logic programming, WLP 2004 : Potsdam, Germany, March 4-6, 2004 : revised selected papers. : Mar 2004, Potsdam, Germany. (Lecture Notes in Computer Science ; 3392. Lecture Notes in Artificial Intelligence)

Applications of declarative programming and knowledge management : 15th international conference on applications of declarative programming and knowledge management, INAP 2004 and 18th workshop on logic programming, WLP 2004 : Potsdam, Germany, March 4-6, 2004 : revised selected papers. : Mar 2004, Potsdam, Germany. (Lecture Notes in Computer Science ; 3392. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2005.<M17-06-954>
国立国会図書館

Practical aspects of declarative languages : 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019 : proceedings

Practical aspects of declarative languages : 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019 : proceedings
紙図書
José Júlio Alferes, Moa Johansson (eds.)Springerc2019
全国の図書館

PPDP '09 : proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming : September 7-9, 2009, Coimbra, Portugal

PPDP '09 : proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming : September 7-9, 2009, Coimbra, Portugal
紙図書
sponsored by ACM SIGPLANAssociation for Computing Machineryc2009
全国の図書館

Applications of declarative programming and knowledge management : 17th International Conference, INAP 2007 and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 2007 : revised selected papers

Applications of declarative programming and knowledge management : 17th International Conference, INAP 2007 and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 2007 : revised selected papers
紙図書
Dietmar Seipel ... [et al.] (eds.)Springerc2009
全国の図書館

PPDP '07 : proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming : Wroclaw, Poland, July 14-16, 2007

PPDP '07 : proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming : Wroclaw, Poland, July 14-16, 2007
紙図書
sponsored by SIGPLANAssociation for Computing Machineryc2007
全国の図書館

FDPE '08 : proceedings of the 2008 ACM SIGPLAN Workshop on Functional and Declarative Programming in Education, Victoria, British Columbia, Canada, September 21, 2008

FDPE '08 : proceedings of the 2008 ACM SIGPLAN Workshop on Functional and Declarative Programming in Education, Victoria, British Columbia, Canada, September 21, 2008
紙図書
sponsored by ACM SIGPLANAssociation for Computing Machineryc2008
全国の図書館
RSS