年 〜
年

検索結果 321 件

Mathematical foundations of computer science 2015 : 40th international symposium, MFCS 2015 : Milan, Italy, August 24-28, 2015 : proceedings : Aug 2015, Milan, Italy. (Lecture Notes in Computer Science ; 9234-9235. Advanced Research in Computing and Software Science)

Mathematical foundations of computer science 2015 : 40th international symposium, MFCS 2015 : Milan, Italy, August 24-28, 2015 : proceedings : Aug 2015, Milan, Italy. (Lecture Notes in Computer Science ; 9234-9235. Advanced Research in Computing and Software Science)
紙図書
Springer[2015]<M17-16-523>
国立国会図書館
  • 件名Computer science--Mathematics--Congresses. Computer science--Mathematics...

Thirty-first annual ACM-SIAM symposium on discrete algorithms (SODA 2020) : Salt Lake City, Utah, USA : 5-8 January 2020 : Jan 2020, Salt Lake City, UT.

Thirty-first annual ACM-SIAM symposium on discrete algorithms (SODA 2020) : Salt Lake City, Utah, USA : 5-8 January 2020 : Jan 2020, Salt Lake City, UT.
紙図書
SIAM[2020]<M17-21-367>
国立国会図書館
  • 件名...sses. Computer science--Mathematics--Congresses. Computer algorithms. Computer...

Relational and algebraic methods in computer science : 13th international conference, RAMiCS 2012 : Cambridge, UK, September 17-20, 2012 : proceedings : Sep 2012, Cambridge, UK. (Lecture Notes in Computer Science ; 7560)

Relational and algebraic methods in computer science : 13th international conference, RAMiCS 2012 : Cambridge, UK, September 17-20, 2012 : proceedings : Sep 2012, Cambridge, UK. (Lecture Notes in Computer Science ; 7560)
紙図書
Springerc2012.<M17-13-816>
国立国会図書館
  • 件名Computer science--Mathematics--Congresses.

Thirtieth annual ACM-SIAM symposium on discrete algorithms (SODA 2019) : San Diego, California, USA : 6-9 January 2019 : Jan 2019, San Diego, CA.

Thirtieth annual ACM-SIAM symposium on discrete algorithms (SODA 2019) : San Diego, California, USA : 6-9 January 2019 : Jan 2019, San Diego, CA.
紙図書
SIAM[2019]<M17-20-669>
国立国会図書館
  • 件名...sses. Computer science--Mathematics--Congresses. Computer algorithms. Computer...

Algebra and coalgebra in computer science : 5th international conference, CALCO 2013 : Warsaw, Poland, September 3-6, 2013 : proceedings : CALCO tools workshop : CALCO-tools workshop : CALCO main conference : Sep 2013, Warsaw, Poland. (Lecture Notes in Computer Science ; 8089)

Algebra and coalgebra in computer science : 5th international conference, CALCO 2013 : Warsaw, Poland, September 3-6, 2013 : proceedings : CALCO tools workshop : CALCO-tools workshop : CALCO main conference : Sep 2013, Warsaw, Poland. (Lecture Notes in Computer Science ; 8089)
紙図書
Springerc2013.<M17-14-602>
国立国会図書館
  • 件名Computer science--Mathematics--Congresses. Algebra--Congresses.

Mathematical foundations of computer science 2011 : 36th international symposium, MFCS 2011 : Warsaw, Poland, August 22-26, 2011 : proceedings : Aug 2011, Warsaw, Poland. (Lecture Notes in Computer Science ; 6907. Advanced Research in Computing and Software Science)

Mathematical foundations of computer science 2011 : 36th international symposium, MFCS 2011 : Warsaw, Poland, August 22-26, 2011 : proceedings : Aug 2011, Warsaw, Poland. (Lecture Notes in Computer Science ; 6907. Advanced Research in Computing and Software Science)
紙図書
Springerc2011.<M17-12-443>
国立国会図書館
  • 件名Computer science--Mathematics--Congresses.

Reversible computation : 4th international workshop, RC 2012 : Copenhagen, Denmark, July 2-3, 2012 : revised papers : Jul 2012, Copenhagen, Denmark. (Lecture Notes in Computer Science ; 7581)

Reversible computation : 4th international workshop, RC 2012 : Copenhagen, Denmark, July 2-3, 2012 : revised papers : Jul 2012, Copenhagen, Denmark. (Lecture Notes in Computer Science ; 7581)
紙図書
Springerc2013.<M17-13-1617>
国立国会図書館
  • 件名Computer logic--Congresses. Computer science--Mathematics--Congresses.

Transactions on Petri nets and other models of concurrency 8 : 33rd international conference on application and theory of Petri nets and other models of concurrency : Petri net conference satellite workshops : annual international conference on application and theory of Petri nets and other models of concurrency : Petri Nets 2012 : Jun 2012, Hamburg, Germany. (Lecture Notes in Computer Science ; 8100. Journal Subline)

Transactions on Petri nets and other models of concurrency 8 : 33rd international conference on application and theory of Petri nets and other models of concurrency : Petri net conference satellite workshops : annual international conference on application and theory of Petri nets and other models of concurrency : Petri Nets 2012 : Jun 2012, Hamburg, Germany. (Lecture Notes in Computer Science ; 8100. Journal Subline)
紙図書
Springerc2013.<M17-14-608>
国立国会図書館
  • 件名Petri nets--Congresses. Computer science--Mathematics--Congresses.

Combinatorial optimization and applications : 7th international conference, COCOA 2013 : Chengdu, China, December 12-14, 2013 : proceedings : Dec 2013, Chengdu, China. (Lecture Notes in Computer Science ; 8287)

Combinatorial optimization and applications : 7th international conference, COCOA 2013 : Chengdu, China, December 12-14, 2013 : proceedings : Dec 2013, Chengdu, China. (Lecture Notes in Computer Science ; 8287)
紙図書
Springerc2013.<M17-14-1540>
国立国会図書館
  • 件名Combinatorial optimization--Congresses. Computer science--Mathematics--Congresses.

Computer science -- theory and applications : 8th international computer science symposium in Russia, CSR 2013 : Ekaterinburg, Russia, June 25-29, 2013 : proceedings : Jun 2013, Ekaterinburg, Russia. (Lecture Notes in Computer Science ; 7913)

Computer science -- theory and applications : 8th international computer science symposium in Russia, CSR 2013 : Ekaterinburg, Russia, June 25-29, 2013 : proceedings : Jun 2013, Ekaterinburg, Russia. (Lecture Notes in Computer Science ; 7913)
紙図書
Springerc2013.<M17-13-3354>
国立国会図書館
  • 件名Computer science--Congresses. Computer science--Mathematics--Congresses.

The nature of computation : logic, algorithms, applications : 9th conference on computability in Europe, CiE 2013 : Milan, Italy, July 1-5, 2013 : proceedings : annual CiE conference : Jul 2013, Milan, Italy. (Lecture Notes in Computer Science ; 7921)

The nature of computation : logic, algorithms, applications : 9th conference on computability in Europe, CiE 2013 : Milan, Italy, July 1-5, 2013 : proceedings : annual CiE conference : Jul 2013, Milan, Italy. (Lecture Notes in Computer Science ; 7921)
紙図書
Springerc2013.<M17-14-558>
国立国会図書館
  • 件名Computable functions--Congresses. Computer science--Mathematics--Congresses.

Mathematical and engineering methods in computer science : 8th international doctoral workshop, MEMICS 2012 : Znojmo, Czech Republic, October 25-28, 2012 : revised selected papers : Oct 2012, Znojmo, Czech Republic. (Lecture Notes in Computer Science ; 7721)

Mathematical and engineering methods in computer science : 8th international doctoral workshop, MEMICS 2012 : Znojmo, Czech Republic, October 25-28, 2012 : revised selected papers : Oct 2012, Znojmo, Czech Republic. (Lecture Notes in Computer Science ; 7721)
紙図書
Springerc2013.<M17-13-1631>
国立国会図書館
  • 件名Computer science--Mathematics--Congresses. Software engineering--Congres...

Cellular automata and discrete complex systems : 19th international workshop, AUTOMATA 2013 : Gießen, Germany, September 17-19, 2013 : proceedings : Sep 2013, Gießen, Germany. (Lecture Notes in Computer Science ; 8155)

Cellular automata and discrete complex systems : 19th international workshop, AUTOMATA 2013 : Gießen, Germany, September 17-19, 2013 : proceedings : Sep 2013, Gießen, Germany. (Lecture Notes in Computer Science ; 8155)
紙図書
Springerc2013.<M17-14-766>
国立国会図書館
  • 件名Cellular automata--Congresses. Computer science--Mathematics--Congresses.

Typed lambda calculi and applications : 11th international conference, TLCA 2013 : Eindhoven, the Netherlands, June 26-28, 2013 : proceedings : 7th international conference on rewriting, deduction, and programming (RDP 2013) : Jun 2013, Eindhoven, the Netherlands. (Lecture Notes in Computer Science ; 7941. Advanced Research in Computing and Software Science)

Typed lambda calculi and applications : 11th international conference, TLCA 2013 : Eindhoven, the Netherlands, June 26-28, 2013 : proceedings : 7th international conference on rewriting, deduction, and programming (RDP 2013) : Jun 2013, Eindhoven, the Netherlands. (Lecture Notes in Computer Science ; 7941. Advanced Research in Computing and Software Science)
紙図書
Springerc2013.<M17-13-3388>
国立国会図書館
  • 件名Lambda calculus--Congresses. Computer science--Mathematics--Congresses.

Proceedings of the twenty-sixth annual ACM-SIAM symposium on discrete algorithms : SODA 2015 : Jan 2015, San Diego, CA.

Proceedings of the twenty-sixth annual ACM-SIAM symposium on discrete algorithms : SODA 2015 : Jan 2015, San Diego, CA.
紙図書
Association for Computing Machinery[2015]<M17-15-1846>
国立国会図書館
  • 件名...sses. Computer science--Mathematics--Congresses. Computer programming--Congres...

Coalgebraic methods in computer science : 12th IFIP WG 1.3 international workshop, CMCS 2014 : colocated with ETAPS 2014 : Grenoble, France, April 5-6, 2014 : revised selected papers : joint conference on theory and practice of software : Apr 2014, Grenoble, France. (Lecture Notes in Computer Science ; 8446)

Coalgebraic methods in computer science : 12th IFIP WG 1.3 international workshop, CMCS 2014 : colocated with ETAPS 2014 : Grenoble, France, April 5-6, 2014 : revised selected papers : joint conference on theory and practice of software : Apr 2014, Grenoble, France. (Lecture Notes in Computer Science ; 8446)
紙図書
Springer[2014]<M17-15-1285>
国立国会図書館
  • 件名Computer science--Mathematics--Congresses. Computer software--Mathematic...

29th annual ACM-SIAM symposium on discrete algorithms (SODA 2018) : New Orleans, Louisiana, USA : 7-10 January 2018 : Jan 2018, New Orleans, LA.

29th annual ACM-SIAM symposium on discrete algorithms (SODA 2018) : New Orleans, Louisiana, USA : 7-10 January 2018 : Jan 2018, New Orleans, LA.
紙図書
SIAM[2018]<M17-19-997>
国立国会図書館
  • 件名...sses. Computer science--Mathematics--Congresses. Computer algorithms. Computer...

Theoretical aspects of computing -- ICTAC 2013 : 10th international colloquium : Shanghai, China, September 4-6, 2013 : proceedings : Sep 2013, Shanghai, China. (Lecture Notes in Computer Science ; 8049)

Theoretical aspects of computing -- ICTAC 2013 : 10th international colloquium : Shanghai, China, September 4-6, 2013 : proceedings : Sep 2013, Shanghai, China. (Lecture Notes in Computer Science ; 8049)
紙図書
Springerc2013.<M17-14-576>
国立国会図書館
  • 件名Computer science--Mathematics--Congresses. Computer programming--Congres...

ACM-SIAM symposium on discrete algorithms (SODA22) : held online : Alexandria, Virginia, USA : 9-12 January 2022 : Jan 2022, ------.

ACM-SIAM symposium on discrete algorithms (SODA22) : held online : Alexandria, Virginia, USA : 9-12 January 2022 : Jan 2022, ------.
紙図書
SIAM[2022]<M17-22-898>
国立国会図書館
  • 件名...sses. Computer science--Mathematics--Congresses. Algorithmes--Congrès. Progra...

Cellular automata and discrete complex systems : 21st IFIP WG 1.5 international workshop, AUTOMATA 2015 : Turku, Finland, June 8-10, 2015 : proceeding : IFIP working conference : Jun 2015, Truku, Finland. (Lecture Notes in Computer Science ; 9099)

Cellular automata and discrete complex systems : 21st IFIP WG 1.5 international workshop, AUTOMATA 2015 : Turku, Finland, June 8-10, 2015 : proceeding : IFIP working conference : Jun 2015, Truku, Finland. (Lecture Notes in Computer Science ; 9099)
紙図書
Springer[2015]<M17-16-370>
国立国会図書館
  • 件名...sses. Computer science--Mathematics--Congresses. Cellular automata. Computer s...