Jump to main content

yr 〜
yr

Search results 314

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)
Paper図書
Tsutomu SasaoSpringer[2024]<M157-D1>
National Diet Library

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)
Paper図書
Springerc2014.<M17-14-1759>
National Diet Library

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
Paper図書
Torben Ægidius Mogensen, Łukasz Mikulski, editorsSpringerc2024
Other Libraries in Japan

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)
Paper図書
Springerc2014.<M17-14-1771>
National Diet Library
  • Subject Heading...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)
Paper図書
Springer[2015]<M17-15-1652>
National Diet Library

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)
Paper図書
Springerc2014.<M17-14-2116>
National Diet Library
  • Subject Heading...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.
Paper図書
IEEEc2013.<M17-14-1810>
National Diet Library

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

Introduction to logic circuits & logic design with Verilog 3rd ed
Paper図書
Brock J. LaMeresSpringerc2024
Other Libraries in Japan

Automated technology for verification and analysis : 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024 : proceedings part 2

Automated technology for verification and analysis : 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024 : proceedings part 2
Paper図書
S. Akshay, Aina Niemetz, Sriram Sankaranarayanan, editorsSpringer[2025]
Other Libraries in Japan

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)
Paper図書
Springerc2013.<M17-14-538>
National Diet Library

Automated technology for verification and analysis : 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024 : proceedings part 1

Automated technology for verification and analysis : 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024 : proceedings part 1
Paper図書
S. Akshay, Aina Niemetz, Sriram Sankaranarayanan, editorsSpringer[2025]
Other Libraries in Japan

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.
Paper図書
IEEEc2011.<M17-12-918>
National Diet Library

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)
Paper図書
Springerc2013.<M17-13-2757>
National Diet Library
  • Subject Heading...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)
Paper図書
Springerc2013.<M17-13-2734>
National Diet Library
  • Subject Heading...e engineering. Logic design. Computation by Abstract Devic...

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
Paper図書
Gerard O'ReganSpringerc2021
Other Libraries in Japan

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)
Paper図書
Springerc2013.<M17-14-137>
National Diet Library
  • Subject Heading...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. 1

Automated technology for verification and analysis : 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023 : proceedings pt. 1
Paper図書
Étienne André, Jun Sun, editorsSpringerc2023
Other Libraries in Japan

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
Paper図書
Étienne André, Jun Sun, editorsSpringerc2023
Other Libraries in Japan

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
Paper図書
M. Morris Mano, Michael D. CilettiPearson Educationc2019
Other Libraries in Japan

Programming logic and design : introductory 9th ed

Programming logic and design : introductory 9th ed
Paper図書
Joyce FarrellCengage Learningc2018
Other Libraries in Japan
RSS