yr 〜
yr

Search results 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)
Paper図書
Tsutomu SasaoSpringer[2024]<M157-D1>
National Diet Library
  • Subject HeadingLogic design--Data processing Machine lear...

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
  • Subject Heading...)--Congresses. Logic design--Computer programs--Congresse...

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
  • Subject Heading...)--Congresses. Logic design--Computer programs--Congresse...

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
  • Subject HeadingReversible computing -- Congresses Logic design
  • Subject Heading (ID)Reversible computing -- Congresses Logic design

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
  • Subject HeadingFuzzy logic--Congresses. Fuzzy systems--Congresses. Logic design--Computer programs--Congresse...

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
  • Subject Heading...)--Congresses. Logic design--Computer programs--Congresse...

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
  • Subject HeadingEngineering Logic circuits Logic design Verilog (Computer hardware de...
  • Subject Heading (ID)Engineering Logic circuits Logic design Verilog (Computer hardware de...

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
  • Subject HeadingFuzzy systems--Congresses. Fuzzy logic--Congresses. Logic design--Computer programs--Congresse...

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. Log...

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 Devi...

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 Progr...

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
  • Subject HeadingComputer science Computer science -- Mathematics Computational complexity Logic design
  • Subject Heading (ID)Computer science Computer science -- Mathematics Computational complexity Logic design

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
  • Subject Heading...ter simulation Logic design
  • Subject Heading (ID)...ter simulation Logic design

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)
Paper図書
Springerc2012.<M17-13-74>
National Diet Library
  • Subject Heading...e engineering. Logic design. Logics and Meanings of Progr...

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
  • Subject Heading...ter simulation Logic design
  • Subject Heading (ID)...ter simulation Logic design

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
  • Subject HeadingLogic design Digital integrated circuits
  • Subject Heading (ID)Logic design Digital integrated circuits

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)
Paper図書
Springerc2013.<M17-13-2121>
National Diet Library
  • Subject Heading...e engineering. Logic design. Mathematical Logic and Forma...

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)
Paper図書
Springerc2012.<M17-13-556>
National Diet Library
  • Subject Heading...e engineering. Logic design. Information Systems. Program...