Jump to main content

yr 〜
yr

Search results 48

2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2023), Boston, Massachusettes, USA, 26-29 June 2023 1/2

2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2023), Boston, Massachusettes, USA, 26-29 June 2023 1/2
Paper図書
IEEEc2023
Other Libraries in Japan
  • Alternative Title2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 26-29 June 2023, Bost...
  • Alternative Title2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 26-29 June 2023, Bost...
  • Author HeadingSymposium on Logic in Computer Science

2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2023) : Boston, Massachusettes, USA, 26-29 June 2023 2/2

2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2023) : Boston, Massachusettes, USA, 26-29 June 2023 2/2
Paper図書
IEEEc2023
Other Libraries in Japan
  • Author HeadingSymposium on Logic in Computer Science

2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2021) : virtual conference, 29 June-2 July 2021 2/2

2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2021) : virtual conference, 29 June-2 July 2021 2/2
Paper図書
IEEEc2021
Other Libraries in Japan
  • Author HeadingSymposium on Logic in Computer Science

2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2019), Vancouver, British Columbia, Canada, 24-27 June 2019

2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2019), Vancouver, British Columbia, Canada, 24-27 June 2019
Paper図書
IEEEc2019
Other Libraries in Japan
  • Author HeadingSymposium on Logic in Computer Science

2015 30th annual ACM/IEEE symposium on logic in computer science : (LICS 2015) : Kyoto, Japan : 6-10 July 2015 : LICS 2015 conference : Jul 2015, Kyoto, Japan.

2015 30th annual ACM/IEEE symposium on logic in computer science : (LICS 2015) : Kyoto, Japan : 6-10 July 2015 : LICS 2015 conference : Jul 2015, Kyoto, Japan.
Paper図書
IEEE[2015]<M17-17-1219>
National Diet Library
  • Author HeadingSymposium on Logic in Computer Science (30th : 2015 : Kyoto, Japan)

2017 32nd annual ACM/IEEE symposium on Logic in Computer Science (LICS 2017), Reykjavik, Iceland 20-23 June 2017 [v. 1] [v. 2]

2017 32nd annual ACM/IEEE symposium on Logic in Computer Science (LICS 2017), Reykjavik, Iceland 20-23 June 2017 [v. 1] [v. 2]
Paper図書
IEEEc2017
Other Libraries in Japan
  • Author HeadingSymposium on Logic in Computer Science

2016 31st annual ACM/IEEE symposium on logic in computer science (LICS 2016) : New York, New York, USA : 5-8 July 2016 : LICS conference : logic mentoring workshop : 31st annual ACM-IEEE symposium on logic in computer science : Jul 2016, New York, NY.

2016 31st annual ACM/IEEE symposium on logic in computer science (LICS 2016) : New York, New York, USA : 5-8 July 2016 : LICS conference : logic mentoring workshop : 31st annual ACM-IEEE symposium on logic in computer science : Jul 2016, New York, NY.
Paper図書
IEEE[2016]<M17-20-322>
National Diet Library
  • Author HeadingSymposium on Logic in Computer Science (31st : 2016 : New York, N.Y....

2016 31st annual ACM/IEEE symposium on Logic in Computer Science (LICS 2016), New York, New York, USA, 5-8 July 2016

2016 31st annual ACM/IEEE symposium on Logic in Computer Science (LICS 2016), New York, New York, USA, 5-8 July 2016
Paper図書
IEEEc2016
Other Libraries in Japan
  • Author HeadingSymposium on Logic in Computer Science

Proceedings : 2015 30th annual ACM/IEEE symposium on Logic in Computer Science, LICS 2015, 6-10 July 2015, Kyoto, Japan

Proceedings : 2015 30th annual ACM/IEEE symposium on Logic in Computer Science, LICS 2015, 6-10 July 2015, Kyoto, Japan
Paper図書
IEEE Computer Societyc2015
Other Libraries in Japan
  • Alternative Title2015 30th annual ACM/IEEE symposium on Logic in Computer Science (LICS 2015), Kyoto, Japan, 6-...
  • Alternative Title2015 30th annual ACM/IEEE symposium on Logic in Computer Science (LICS 2015), Kyoto, Japan, 6-...
  • Author HeadingSymposium on Logic in Computer Science

Proceedings : 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science : 25-28 June 2013, New Orleans, Louisiana

Proceedings : 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science : 25-28 June 2013, New Orleans, Louisiana
Paper図書
IEEE Computer Societyc2013
Other Libraries in Japan
  • Alternative Title2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science : LICS 2013 : New Orleans, Lo...
  • Alternative Title2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science : LICS 2013 : New Orleans, Lo...
  • Author HeadingSymposium on Logic in Computer Science

2012 27th Annual IEEE Symposium on Logic in Computer Science : (LICS 2012) : Dubrovnik, Croatia, 25-28 June 2012

2012 27th Annual IEEE Symposium on Logic in Computer Science : (LICS 2012) : Dubrovnik, Croatia, 25-28 June 2012
Paper図書
Institute of Electrical and Electronic Engineersc2012
Other Libraries in Japan
  • Author HeadingSymposium on Logic in Computer Science

2009 24th annual IEEE symposium on logic in computer science : (LICS 2009) : Los Angeles, California, USA : 11-14 August 2009. : joint LICS/SAS : 16th international static analysis symposium (SAS 2009) : LICS 2009 conference : Aug 2009, Los Angeles, CA.

2009 24th annual IEEE symposium on logic in computer science : (LICS 2009) : Los Angeles, California, USA : 11-14 August 2009. : joint LICS/SAS : 16th international static analysis symposium (SAS 2009) : LICS 2009 conference : Aug 2009, Los Angeles, CA.
Paper図書
IEEEc2009.<M17-10-3766>
National Diet Library
  • Author HeadingSymposium on Logic in Computer Science (24th : 2009 : Los Angeles, C...

Twenty-third annual IEEE symposium on logic in computer science : proceedings : 24-27 June 2008 : Pittsburgh, Pennsylvania. : joint CSF/LICS : LICS 2008 conference : Jun 2008, Pittsburgh, PA.

Twenty-third annual IEEE symposium on logic in computer science : proceedings : 24-27 June 2008 : Pittsburgh, Pennsylvania. : joint CSF/LICS : LICS 2008 conference : Jun 2008, Pittsburgh, PA.
Paper図書
IEEE Computer Societyc2008.<M17-09-522>
National Diet Library
  • Alternative Title23rd annual IEEE symposium on logic in computer science : proceedings ......rd annual IEEE symposium on logic in computer science : (LICS 2008) : Pittsburgh, P...
  • Alternative Title23rd annual IEEE symposium on logic in computer science : proceedings ......rd annual IEEE symposium on logic in computer science : (LICS 2008) : Pittsburgh, P...
  • Author HeadingSymposium on Logic in Computer Science (23rd : 2008 : Pittsburgh, Pa...

22nd annual IEEE symposium on logic in computer science : proceedings : Wroclaw, Poland : 10-14 July 2007. : LICS 2007 conference : Jul 2007, Wroclaw, Poland.

22nd annual IEEE symposium on logic in computer science : proceedings : Wroclaw, Poland : 10-14 July 2007. : LICS 2007 conference : Jul 2007, Wroclaw, Poland.
Paper図書
IEEE Computer Societyc2007.<M17-08-1709>
National Diet Library
  • Alternative TitleTwenty-second annual IEEE symposium on logic in computer science : proceedings : 10-14 July 20...
  • Alternative TitleTwenty-second annual IEEE symposium on logic in computer science : proceedings : 10-14 July 20...
  • Author HeadingSymposium on Logic in Computer Science (22nd : 2007 : Wrocław, Polan...

2009 24th Annual IEEE Symposium on Logic in Computer Science : (LICS 2009) : Los Angeles, California, USA 11-14 August 2009

2009 24th Annual IEEE Symposium on Logic in Computer Science : (LICS 2009) : Los Angeles, California, USA 11-14 August 2009
Paper図書
IEEE Computer Societyc2009
Other Libraries in Japan
  • Author HeadingSymposium on Logic in Computer Science

21st annual IEEE symposium on logic in computer science : LICS 2006 : proceedings : 12-15 August 2006 Seattle, Washington. : 4th federated logic conference (FLoC 2006) : Aug 2006, Seattle, WA.

21st annual IEEE symposium on logic in computer science : LICS 2006 : proceedings : 12-15 August 2006 Seattle, Washington. : 4th federated logic conference (FLoC 2006) : Aug 2006, Seattle, WA.
Paper図書
IEEE Computer Societyc2006.<M17-07-885>
National Diet Library
  • Alternative TitleTwenty-first annual IEEE symposium on logic in computer science : proceedings : 12-15 August ...
  • Alternative TitleTwenty-first annual IEEE symposium on logic in computer science : proceedings : 12-15 August ...
  • Author HeadingSymposium on Logic in Computer Science (21st : 2006 : Seattle, Wash....

LICS 2004 : proceedings of the 19th annual IEEE symposium on logic in computer science : Turku, Finland : 13-17 July 2004. : Jul 2004, Turku, Finland.

LICS 2004 : proceedings of the 19th annual IEEE symposium on logic in computer science : Turku, Finland : 13-17 July 2004. : Jul 2004, Turku, Finland.
Paper図書
IEEE Computer Societyc2004.<M17-05-720>
National Diet Library
  • Author HeadingSymposium on Logic in Computer Science (19th : 2004 : Turku, Finland...

Proceedings : 26th Annual IEEE Symposium on Logic in Computer Science : Toronto, Ontario, Canada 21-24 june 2011

Proceedings : 26th Annual IEEE Symposium on Logic in Computer Science : Toronto, Ontario, Canada 21-24 june 2011
Paper図書
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of ComputingIEEE Computer Societyc2011
Other Libraries in Japan
  • Alternative Title2011 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011) : Toronto, Ontari...
  • Alternative Title2011 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011) : Toronto, Ontari...
  • Author HeadingSymposium on Logic in Computer Science IEEE Computer Society. Techni...

18th annual IEEE symposium on logic in computer science : proceedings : 22-25 June, 2003 : Ottawa, Canada. : LICS 2003 : Jun 2003, Ottawa, Canada.

18th annual IEEE symposium on logic in computer science : proceedings : 22-25 June, 2003 : Ottawa, Canada. : LICS 2003 : Jun 2003, Ottawa, Canada.
Paper図書
IEEE Computer Societyc2003.<M17-04-241>
National Diet Library
  • Author HeadingSymposium on Logic in Computer Science (18th : 2003 : Ottawa, Ontari...

16th annual IEEE symposium on logic in computer science : proceedings : 16-19 June 2001 Boston, Massachusetts. Jun 2001, Boston, MA.

16th annual IEEE symposium on logic in computer science : proceedings : 16-19 June 2001 Boston, Massachusetts. Jun 2001, Boston, MA.
Microform図書
IEEE Computer Societyc2001.<M17-LS-03-1>
National Diet Library
  • Author HeadingSymposium on Logic in Computer Science (16th : 2001 : Boston, Massac...
RSS