年 〜
年

検索結果 312 件

Classification functions for machine learning and data mining (Synthesis lectures on digital circuits & systems)

Classification functions for machine learning and data mining (Synthesis lectures on digital circuits & systems)
紙図書
Tsutomu SasaoSpringer[2024]<M157-D1>
国立国会図書館

Trends in functional programming : 14th international symposium, TFP 2013 : Provo, UT, USA, May 14-16, 2013 : revised selected papers : May 2013, Provo, UT. (Lecture Notes in Computer Science ; 8322)

Trends in functional programming : 14th international symposium, TFP 2013 : Provo, UT, USA, May 14-16, 2013 : revised selected papers : May 2013, Provo, UT. (Lecture Notes in Computer Science ; 8322)
紙図書
Springerc2014.<M17-14-1759>
国立国会図書館

Membrane computing : 14th international conference, CMC 2013 : Chişinău, Republic of Moldova, August 20-23, 2013 : revised selected papers : CMC 14 : conference CMC14 : Aug 2013, Chişinău, Republic of Moldova. (Lecture Notes in Computer Science ; 8340)

Membrane computing : 14th international conference, CMC 2013 : Chişinău, Republic of Moldova, August 20-23, 2013 : revised selected papers : CMC 14 : conference CMC14 : Aug 2013, Chişinău, Republic of Moldova. (Lecture Notes in Computer Science ; 8340)
紙図書
Springerc2014.<M17-14-1771>
国立国会図書館
  • 件名...uter software. Logic design. Optical pattern recognition.

Trends in functional programming : 15th international symposium, TFP 2014 : Soesterberg, the Netherlands, May 26-28, 2014 : revised selected papers : TFP2014 : May 2014, Soesterberg, the Netherlands. (Lecture Notes in Computer Science ; 8843)

Trends in functional programming : 15th international symposium, TFP 2014 : Soesterberg, the Netherlands, May 26-28, 2014 : revised selected papers : TFP2014 : May 2014, Soesterberg, the Netherlands. (Lecture Notes in Computer Science ; 8843)
紙図書
Springer[2015]<M17-15-1652>
国立国会図書館

Reversible computation : 16th International Conference, RC 2024, Toruń, Poland, July 4-5, 2024 : proceedings

Reversible computation : 16th International Conference, RC 2024, Toruń, Poland, July 4-5, 2024 : proceedings
紙図書
Torben Ægidius Mogensen, Łukasz Mikulski, editorsSpringerc2024
全国の図書館

Structured object-oriented formal language and method : third international workshop, SOFL+MSVL 2013 : Queenstown, New Zealand, October 29, 2013 : revised selected papers : Oct 2013, Queenstown, New Zealand. (Lecture Notes in Computer Science ; 8332)

Structured object-oriented formal language and method : third international workshop, SOFL+MSVL 2013 : Queenstown, New Zealand, October 29, 2013 : revised selected papers : Oct 2013, Queenstown, New Zealand. (Lecture Notes in Computer Science ; 8332)
紙図書
Springerc2014.<M17-14-2116>
国立国会図書館
  • 件名...e engineering. Logic design.

2013 IEEE symposium on advances in type-2 fuzzy logic systems : (T2FUZZ 2013) : Singapore : 16-19 April 2013 : Apr 2013, Singapore.

2013 IEEE symposium on advances in type-2 fuzzy logic systems : (T2FUZZ 2013) : Singapore : 16-19 April 2013 : Apr 2013, Singapore.
紙図書
IEEEc2013.<M17-14-1810>
国立国会図書館

Trends in functional programming : 13th international symposium, TFP 2012 : St. Andrews, UK, June 12-14, 2012 : revised selected papers : TFP12 : Jun 2012, St. Andrews, UK. (Lecture Notes in Computer Science ; 7829)

Trends in functional programming : 13th international symposium, TFP 2012 : St. Andrews, UK, June 12-14, 2012 : revised selected papers : TFP12 : Jun 2012, St. Andrews, UK. (Lecture Notes in Computer Science ; 7829)
紙図書
Springerc2013.<M17-14-538>
国立国会図書館

Introduction to logic circuits & logic design with Verilog 3rd ed

Introduction to logic circuits & logic design with Verilog 3rd ed
紙図書
Brock J. LaMeresSpringerc2024
全国の図書館

2011 IEEE symposium on advances in type-2 fuzzy logic systems : (T2FUZZ 2011) : Paris, France : 11-15 April 2011 : 1st international forum on advances in type-2 fuzzy logic systems : Apr 2011, Paris, France.

2011 IEEE symposium on advances in type-2 fuzzy logic systems : (T2FUZZ 2011) : Paris, France : 11-15 April 2011 : 1st international forum on advances in type-2 fuzzy logic systems : Apr 2011, Paris, France.
紙図書
IEEEc2011.<M17-12-918>
国立国会図書館

Declarative agent languages and technologies 10 : 10th international workshop, DALT 2012 : Valencia, Spain, June 4, 2012 : revised selected papers : Jun 2012, Valencia, Spain. (Lecture Notes in Computer Science ; 7784. Lecture Notes in Artificial Intelligence)

Declarative agent languages and technologies 10 : 10th international workshop, DALT 2012 : Valencia, Spain, June 4, 2012 : revised selected papers : Jun 2012, Valencia, Spain. (Lecture Notes in Computer Science ; 7784. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2013.<M17-13-2757>
国立国会図書館
  • 件名...e engineering. Logic design. Artificial intelligence. Logi...

Transactions on Petri nets and other models of concurrency 7 : 5th international summer school "advanced course on Petri nets" : Sep 2010, Rostock, Germany. (Lecture Notes in Computer Science ; 7480. Journal Subline)

Transactions on Petri nets and other models of concurrency 7 : 5th international summer school "advanced course on Petri nets" : Sep 2010, Rostock, Germany. (Lecture Notes in Computer Science ; 7480. Journal Subline)
紙図書
Springerc2013.<M17-13-2734>
国立国会図書館
  • 件名...e engineering. Logic design. Computation by Abstract Devic...

Computer aided verification : 25th international conference, CAV 2013 : Saint Petersburg, Russia, July 13-19, 2013 : proceedings : Jul 2013, Saint Petersburg, Russia. (Lecture Notes in Computer Science ; 8044)

Computer aided verification : 25th international conference, CAV 2013 : Saint Petersburg, Russia, July 13-19, 2013 : proceedings : Jul 2013, Saint Petersburg, Russia. (Lecture Notes in Computer Science ; 8044)
紙図書
Springerc2013.<M17-14-137>
国立国会図書館
  • 件名...e engineering. Logic design. Logics and Meanings of Progra...

Guide to discrete mathematics : an accessible introduction to the history, theory, logic and applications 2nd ed

Guide to discrete mathematics : an accessible introduction to the history, theory, logic and applications 2nd ed
紙図書
Gerard O'ReganSpringerc2021
全国の図書館

Automated technology for verification and analysis : 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023 : proceedings pt. 1

Automated technology for verification and analysis : 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023 : proceedings pt. 1
紙図書
Étienne André, Jun Sun, editorsSpringerc2023
全国の図書館

Programming languages and systems : 21st European symposium on programming, ESOP 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 : Mar 2012, Tallinn, Estonia. (Lecture Notes in Computer Science ; 7211. Advanced Research in Computing and Software Science)

Programming languages and systems : 21st European symposium on programming, ESOP 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 : Mar 2012, Tallinn, Estonia. (Lecture Notes in Computer Science ; 7211. Advanced Research in Computing and Software Science)
紙図書
Springerc2012.<M17-13-74>
国立国会図書館
  • 件名...e engineering. Logic design. Logics and Meanings of Progra...

Automated technology for verification and analysis : 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023 : proceedings pt. 2

Automated technology for verification and analysis : 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023 : proceedings pt. 2
紙図書
Étienne André, Jun Sun, editorsSpringerc2023
全国の図書館

Digital design : with an introduction to the Verilog HDL, VHDL, and SystemVerilog 6th ed., global ed

Digital design : with an introduction to the Verilog HDL, VHDL, and SystemVerilog 6th ed., global ed
紙図書
M. Morris Mano, Michael D. CilettiPearson Educationc2019
全国の図書館

Foundations of software science and computation structures : 16th international conference, FOSSACS 2013 : held as part of the European joint conferences on theory and practice of software, ETAPS 2013 : Rome, Italy, March 16-24, 2013 : proceedings : Mar 2013, Rome, Italy. (Lecture Notes in Computer Science ; 7794. Advanced Research in Computing and Software Science)

Foundations of software science and computation structures : 16th international conference, FOSSACS 2013 : held as part of the European joint conferences on theory and practice of software, ETAPS 2013 : Rome, Italy, March 16-24, 2013 : proceedings : Mar 2013, Rome, Italy. (Lecture Notes in Computer Science ; 7794. Advanced Research in Computing and Software Science)
紙図書
Springerc2013.<M17-13-2121>
国立国会図書館
  • 件名...e engineering. Logic design. Mathematical Logic and Formal...

Modelling foundations and applications : 8th European conference, ECMFA 2012 : Kgs. Lyngby, Denmark, July 2-5, 2012 : proceedings : Jul 2012, Kgs. Lyngby, Denmark. (Lecture Notes in Computer Science ; 7349)

Modelling foundations and applications : 8th European conference, ECMFA 2012 : Kgs. Lyngby, Denmark, July 2-5, 2012 : proceedings : Jul 2012, Kgs. Lyngby, Denmark. (Lecture Notes in Computer Science ; 7349)
紙図書
Springerc2012.<M17-13-556>
国立国会図書館
  • 件名...e engineering. Logic design. Information Systems. Programm...