Jump to main content

yr 〜
yr

Search results 28

Tools and algorithms for the construction and analysis of systems : 23rd International Conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings Pt. 1 Pt. 2

Tools and algorithms for the construction and analysis of systems : 23rd International Conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings Pt. 1 Pt. 2
Paper図書
Axel Legay, Tiziana Margaria (eds.)Springerc2017
Other Libraries in Japan
  • Author HeadingTACAS Legay, Axel Margaria, Tiziana...

会いに行く味 : 道南地方のお菓子をめぐる出会いの旅

会いに行く味 : 道南地方のお菓子をめぐる出会いの旅
Paper図書
tacaë 著エイチエス2016.3<Y77-L6497>
National Diet LibraryOther Libraries in Japan

黒川絵里奈切り絵アート

黒川絵里奈切り絵アート
Paper図書
黒川絵里奈 切り絵, tacaë プロデュース・写真・文かりん舎2019.4<Y93-M922>
National Diet LibraryOther Libraries in Japan

Tools and algorithms for the construction and analysis of systems : 14th International Conference, TACAS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings

Tools and algorithms for the construction and analysis of systems : 14th International Conference, TACAS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings
Paper楽譜
C.R. Ramakrishnan, Jakob Rehof (eds.)Springerc2008
Other Libraries in Japan
  • Author HeadingTACAS Ramakrishnan, C. R. Rehof, Ja...

Tools and Algorithms for the Construction and Analysis of Systems : 13th International Conference, TACAS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 : proceedings

Tools and Algorithms for the Construction and Analysis of Systems : 13th International Conference, TACAS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 : proceedings
Paper図書
Orna Grumberg, Michael Huth (eds.)Springerc2007
Other Libraries in Japan
  • Author HeadingTACAS European Conferences on Theor...

Tools and algorithms for the construction and analysis of systems : 12th International Conference, TACAS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-April 2, 2006 : proceedings

Tools and algorithms for the construction and analysis of systems : 12th International Conference, TACAS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-April 2, 2006 : proceedings
Paper図書
Holger Hermanns, Jens Palsberg (eds.)Springerc2006
Other Libraries in Japan
  • Alternative Title...s of systems : TACAS 2006 Tools and......al Conference, TACAS 2006, held as part of the Joi...
  • Alternative Title...s of systems : TACAS 2006 Tools and......al Conference, TACAS 2006, held as part of the Joi...
  • Author HeadingTACAS European Conferences on Theor...

Tools and algorithms for the construction and analysis of systems : 11th International Conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings

Tools and algorithms for the construction and analysis of systems : 11th International Conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings
Paper図書
Nicolas Halbwachs, Lenore D. Zuck (eds.)Springerc2005
Other Libraries in Japan
  • Alternative Title...s of systems : TACAS 2005 Tools and......al Conference, TACAS 2005, held as part of the Joi...
  • Alternative Title...s of systems : TACAS 2005 Tools and......al Conference, TACAS 2005, held as part of the Joi...
  • Author HeadingTACAS Halbwachs, Nicolas Zuck, Leno...

Tools and algorithms for the construction and analysis of systems : 10th International Conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004 : proceedings

Tools and algorithms for the construction and analysis of systems : 10th International Conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004 : proceedings
Paper図書
Kurt Jensen, Andreas Podelski (eds.)Springerc2004
Other Libraries in Japan
  • Alternative Title...al Conference, TACAS 2004, held as part of the Joi...
  • Alternative Title...al Conference, TACAS 2004, held as part of the Joi...
  • Author HeadingTACAS Jensen, K. (Kurt) Podelski, A...

Tools and algorithms for the construction and analysis of systems : 9th International Conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings

Tools and algorithms for the construction and analysis of systems : 9th International Conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings
Paper図書
Hubert Garavel, John Hatcliff (eds.)Springerc2003
Other Libraries in Japan
  • Alternative Title...al Conference, TACAS 2003, held as part of the Joi...
  • Alternative Title...al Conference, TACAS 2003, held as part of the Joi...
  • Author HeadingTACAS European Conferences on Theor...

Tools and Algorithms for the Construction and Analysis of Systems : 8th International Conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings

Tools and Algorithms for the Construction and Analysis of Systems : 8th International Conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings
Paper図書
Joost-Pieter Katoen, Perdita Stevens (eds.)Springerc2002
Other Libraries in Japan
  • Author HeadingTACAS Katoen, Joost-Pieter Stevens,...

Tools and algorithms for the construction and analysis of systems : 20th international conference, TACAS 2014 : held as part of the European joint conferences on theory and practice of software, ETAPS 2014 : Grenoble, France, April 5-13, 2014 : proceedings : 17th ETAPS : Apr 2014, Grenoble, France. (Lecture Notes in Computer Science ; 8413. Advanced Research in Computing and Software Science)

Tools and algorithms for the construction and analysis of systems : 20th international conference, TACAS 2014 : held as part of the European joint conferences on theory and practice of software, ETAPS 2014 : Grenoble, France, April 5-13, 2014 : proceedings : 17th ETAPS : Apr 2014, Grenoble, France. (Lecture Notes in Computer Science ; 8413. Advanced Research in Computing and Software Science)
Paper図書
Springerc2014.<M17-14-2140>
National Diet Library
  • Summary, etc....is of Systems, TACAS 2014, which took place in Gre...
  • Note (General)...FASE, FoSSaCS, TACAS, and POST) (........ Described as "TACAS 2014 took place during April ...
  • Author HeadingTACAS 2014 (2014 : Grenoble, France...

Tools and algorithms for the construction and analysis of systems : 7th International Conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings

Tools and algorithms for the construction and analysis of systems : 7th International Conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings
Digital図書
Tiziana Margaria, Wang Yi (eds.)Springer1855
Other Libraries in Japan
  • Author HeadingTACAS Margaria, Tiziana Yi, Wang Eu...

Tools and algorithms for the construction and analysis of systems : 6th International Conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings

Tools and algorithms for the construction and analysis of systems : 6th International Conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings
Paper図書
Susanne Graf, Michael Schwartzbach (eds.)Springerc2000
Other Libraries in Japan
  • Author HeadingTACAS Graf, Susanne Schwartzbach, M...

Tools and algorithms for the construction and analysis of systems : 18th international conference, TACAS 2012 : held as part of the European joint conferences on theory and practice of software, ETAPS 2012 : Tallinn, Estonia, March 24-April 1, 2012 : proceedings : 15th European joint conferences on theory and practice of software : TACAS forum : Mar 2012, Tallinn, Estonia. (Lecture Notes in Computer Science ; 7214. Advanced Research in Computing and Software Science)

Tools and algorithms for the construction and analysis of systems : 18th international conference, TACAS 2012 : held as part of the European joint conferences on theory and practice of software, ETAPS 2012 : Tallinn, Estonia, March 24-April 1, 2012 : proceedings : 15th European joint conferences on theory and practice of software : TACAS forum : Mar 2012, Tallinn, Estonia. (Lecture Notes in Computer Science ; 7214. Advanced Research in Computing and Software Science)
Paper図書
Springerc2012.<M17-13-77>
National Diet Library
  • Note (General)...FOSSACS, POST, TACAS), (...) and ei...... Described as "TACAS 2012 took place in Tallinn, E...
  • Author HeadingTACAS 2012 (2012 : Tallinn, Estonia...

Tools and algorithms for the construction and analysis of systems : 19th international conference, TACAS 2013 : held as part of the European joint conferences on theory and practice of software, ETAPS 2013 : Rome, Italy, March 16-24, 2013 : proceedings : 16th European joint conference on theory and practice of software : Mar 2013, Rome, Italy. (Lecture Notes in Computer Science ; 7795. Advanced Research in Computing and Software Science)

Tools and algorithms for the construction and analysis of systems : 19th international conference, TACAS 2013 : held as part of the European joint conferences on theory and practice of software, ETAPS 2013 : Rome, Italy, March 16-24, 2013 : proceedings : 16th European joint conference on theory and practice of software : Mar 2013, Rome, Italy. (Lecture Notes in Computer Science ; 7795. Advanced Research in Computing and Software Science)
Paper図書
Springerc2013.<M17-13-2122>
National Diet Library
  • Note (General)...FOSSACS, POST, TACAS), (...) and ei...... Described as "TACAS 2013 took place during March ...
  • Author HeadingTACAS 2013 (2013 : Rome, Italy) Pit...

Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS ʾ97, Enschede, The Netherlands, April 2-4, 1997 : proceedings : pbk

Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS ʾ97, Enschede, The Netherlands, April 2-4, 1997 : proceedings : pbk
Paper図書
Ed Brinksma (ed.)Springerc1997
Other Libraries in Japan
  • Author HeadingTACAS Brinksma, Ed

Tools and algorithms for the construction and analysis of systems : 5th International Conference, TACAS'99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings

Tools and algorithms for the construction and analysis of systems : 5th International Conference, TACAS'99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings
Paper図書
W. Rance Cleaveland (ed.)Springer-Verlagc1999
Other Libraries in Japan
  • Author HeadingTACAS European Conferences on Theor...

Tools and algorithms for the construction and analysis of systems : 15th international conference, TACAS 2009 : held as part of the joint European conferences on theory and practice of software, ETAPS 2009 : York, UK, March 22-29, 2009 : proceedings. : 12th European joint conferences on theory and practice of software : TACAS forum : Mar 2009, York, UK. (Lecture Notes in Computer Science ; 5505)

Tools and algorithms for the construction and analysis of systems : 15th international conference, TACAS 2009 : held as part of the joint European conferences on theory and practice of software, ETAPS 2009 : York, UK, March 22-29, 2009 : proceedings. : 12th European joint conferences on theory and practice of software : TACAS forum : Mar 2009, York, UK. (Lecture Notes in Computer Science ; 5505)
Paper図書
Springerc2009.<M17-10-634>
National Diet Library
  • Note (General)...FASE, FOSSACS, TACAS) , 22 satellit...... Described as "TACAS 2009 took place in York, UK, ...
  • Author Heading...ilippou, Anna. TACAS 2009 (2009 : York, England) E...

Tools and algorithms for the construction and analysis of systems : 4th International Conference, TACAS'98 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28-April 4, 1998, proceedings

Tools and algorithms for the construction and analysis of systems : 4th International Conference, TACAS'98 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28-April 4, 1998, proceedings
Paper図書
Bernhard Steffen, ed.Springerc1998
Other Libraries in Japan
  • Author HeadingTACAS European Conferences on Theor...

Tools and algorithms for the construction and analysis of systems : Second International Workshop, TACAS '96, Passau, Germany, March 27-29, 1996 : proceedings

Tools and algorithms for the construction and analysis of systems : Second International Workshop, TACAS '96, Passau, Germany, March 27-29, 1996 : proceedings
Paper図書
Tiziana Margaria, Bernhard Steffen, (eds.)Springerc1996
Other Libraries in Japan
  • Author HeadingTACAS Margaria, Tiziana Steffen, Be...
RSS