ヘルプ
ヘルプ

検索結果 15 件

Boolean models and methods in mathematics, computer science, and engineering / edited by Yves Crama, Peter L. Hammer. (Encyclopedia of mathematics and its applications ; 134)

Boolean models and methods in mathematics, computer science, and engineering / edited by Yves Crama, Peter L. Hammer. (Encyclopedia of mathematics and its applications ; 134)
紙図書
Cambridge University Press2010.<MA67-B63>
国立国会図書館全国の図書館
  • 要約等"This collection of papers presents a series of in-depth examinations of a variety of advanced topic......ritten by some of the most promi...... the diversity of the questions ......rkable feature of the collection......rious chapters of the book. This...... understanding of their own scie......his collection of papers presents a series of in-depth examinations of a variety of advanced topic......ritten by some of the most promi...... the diversity of the questions ......rkable feature of the collection is the common ...
  • 内容細目...ons and clones of Boolean functi...... Decomposition of Boolean functi......ioch Logic. Proof theory / Alasd......istic analysis of satisfiability......elated classes of Boolean functi......illa Synthesis of multi-level Bo......t al.] Boolean aspects of network reliability / Charles...
  • 一般注記...ted URL: Table of contents only http: //www.loc...

Mathematical and computational aspects of materials science : November 30-December 5, 2014 : Boston, Massachusetts, USA : Nov 2014, Boston, MA. (Materials Research Society Symposia Proceedings ; 1753)

Mathematical and computational aspects of materials science : November 30-December 5, 2014 : Boston, Massachusetts, USA : Nov 2014, Boston, MA. (Materials Research Society Symposia Proceedings ; 1753)
紙図書
Cambridge University Press[2015]<M17-15-2938>
国立国会図書館

Algorithmic and quantitative real algebraic geometry : DIMACS workshop, algorithmic and quantitative aspects of real algebraic geometry in mathematics and computer science : March 12-16, 2001 : DIMACS center. : Mar 2001, New Brunswick, NJ. (DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; 60)

Algorithmic and quantitative real algebraic geometry : DIMACS workshop, algorithmic and quantitative aspects of real algebraic geometry in mathematics and computer science : March 12-16, 2001 : DIMACS center. : Mar 2001, New Brunswick, NJ. (DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; 60)
紙図書
American Mathematical Societyc2003.<M17-04-146>
国立国会図書館
  • 件名Geometry, Algebraic -- Congresses. Computer science -- Mathematics -- Congresses.

Geometric and algorithmic aspects of computer-aided design and manufacturing : DIMACS workshop : computer aided design and manufacturing : October 7-9, 2003 : Piscataway, New Jersey. : 2002-2005 special focus on computational geometry and applications : Oct 2003, Piscataway, NJ. (DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; 67)

Geometric and algorithmic aspects of computer-aided design and manufacturing : DIMACS workshop : computer aided design and manufacturing : October 7-9, 2003 : Piscataway, New Jersey. : 2002-2005 special focus on computational geometry and applications : Oct 2003, Piscataway, NJ. (DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; 67)
紙図書
American Mathematical Societyc2005.<M17-06-1068>
国立国会図書館
  • 件名Engineering design. Manufacturing processes. Computer-aided design.
  • 著者標目...IMACS Workshop Computer Aided Design and Manufacturin...

Mathematical Aspects of Computer and Information Sciences

Mathematical Aspects of Computer and Information Sciences
デジタル記事
2016Lecture Notes in Computer Science
全国の図書館

Mathematical aspects of computer and information sciences : 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, revised selected papers : pbk

Mathematical aspects of computer and information sciences : 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, revised selected papers : pbk
紙図書
Ilias S. Kotsireas, Siegfried M. Rump, Chee K. Yap (Eds.)Springerc2016
全国の図書館
  • 件名Computer science -- Mathematics -- Congresses Information science -- Congresses
  • 件名（識別子）Computer science -- Mathematics -- Congresses Information science -- Congresses
  • 関連情報Lecture notes in computer science

The Joint Conference of ASCM 2009 and MACIS 2009 : Asian Symposium on Computer Mathematics, Mathematical Aspects of Computer and Information Sciences

The Joint Conference of ASCM 2009 and MACIS 2009 : Asian Symposium on Computer Mathematics, Mathematical Aspects of Computer and Information Sciences
紙図書
editors, Masakazu Suzuki ... [et al.]九州大学大学院数理学研究院グローバルCOEプログラム「マス・フォア・インダストリ教育研究拠点」大学院教育改革支援プログラム「産業技術が求める数学博士と新修士養成」九州大学産業技術数理研究センター2009.12
全国の図書館
  • 一般注記...n Symposium on Computer Mathematics (A...... Conference on Mathematical Aspects of Computer and Information Sciences (MACIS 2009), are held joint...
  • 著者標目...n Symposium on Computer Mathematics In...... Conference on Mathematical Aspects of Computer and Information Sciences 鈴木, 昌和

Centralizers and Monoids in Mathematical Clone Theory (New Aspects of Theoretical Computer Science)

pdfを表すアイコン
デジタル記事
町田, 元, ローゼンバーグ京都大学数理解析研究所2003-05数理解析研究所講究録1325p.146-151
インターネットで読める全国の図書館

Algorithmic and quantitative real algebraic geometry : DIMACS workshop, Algorithmic and Quantitative Aspects of Real Algebraic Geometry in Mathematics and Computer Science, March 12-16, 2001, DIMACS Center

Algorithmic and quantitative real algebraic geometry : DIMACS workshop, Algorithmic and Quantitative Aspects of Real Algebraic Geometry in Mathematics and Computer Science, March 12-16, 2001, DIMACS Center
紙図書
Saugata Basu, Laureano Gonzalez-Vega, editorsAmerican Mathematical Societyc2003
全国の図書館
  • 一般注記...d Quantitative Aspects of Real Algebraic......athematics and computer science Includes bibliographical refe...
  • 関連情報DIMACS series in discrete mathematics and theoretical computer science
  • 掲載誌DIMACS series in discrete mathematics and theoretical computer science

MPR束における「結び既約元」の数理的性質について (計算機科学基礎理論の新展開)

pdfを表すアイコン
デジタル記事
宮川, 幹平, 成嶋, 弘京都大学数理解析研究所2003-05数理解析研究所講究録1325p.221-226
インターネットで読める全国の図書館
  • 並列タイトル等（連結）On mathematical properties of join-irreducib......-Lattices (New Aspects of Theoretical Computer Science)
  • 並列タイトル等On mathematical properties of join-irreducib......-Lattices (New Aspects of Theoretical Computer Science)

Computational aspects of complex analysis : proceedings of the NATO Advanced Study Institute held at Braunlage, Harz, Germany, July 26-August 6, 1982 / edited by H. Werner ... [et al.]. (NATO advanced study institutes series. Series C, Mathematical and physical sciences ; v. 102)

Computational aspects of complex analysis : proceedings of the NATO Advanced Study Institute held at Braunlage, Harz, Germany, July 26-August 6, 1982 / edited by H. Werner ... [et al.]. (NATO advanced study institutes series. Series C, Mathematical and physical sciences ; v. 102)
紙図書
D. Reidel Pub., in cooperation with NATO Scientific Affairs Divisionc1983.<M15-A509>
国立国会図書館
  • 件名Mathematical analysis -- Da......ses. Functions of complex variables -- Data pro...

Proceedings of IBM Symposium on Mathematical Foundations of Computer Science : mathematical aspects of artificial intelligence : 1983-1985

Proceedings of IBM Symposium on Mathematical Foundations of Computer Science : mathematical aspects of artificial intelligence : 1983-1985
紙図書
Corporate & Scientific Programs IBM JapanCorporate & Scientific Programs, IBM Japan[1985]
全国の図書館
  • 一般注記The Symposiums on Mathematical Fondations of Computer Science held on: May 30-June 1, 1983 ...
  • 著者標目IBM Symposium on Mathematical Foundations of Computer Science IBM Japan. Corporate & Scient...

Mathematical aspects of computer science

Mathematical aspects of computer science
紙図書
[edited by J.T. Schwartz]American Mathematical Society1967
全国の図書館
  • 一般注記"Proceedings of a Symposium in......ed Mathematics of the American Mathematical Society, held in New York Cit...
  • 関連情報Proceedings of symposia in applied mathemati...
  • 掲載誌Proceedings of symposia in applied mathemati...

Proceedings of the sixth IBM Symposium on Mathematical Foundations of Computer Science, logic aspect of programs, May 25-27, 1981, at Hakone Yama no Hotel

Proceedings of the sixth IBM Symposium on Mathematical Foundations of Computer Science, logic aspect of programs, May 25-27, 1981, at Hakone Yama no Hotel
紙図書
Corporate & Scientific Programs, IBM Japan[1981?]
全国の図書館
  • 件名...tronic digital computers -- Programming -- Congresses...
  • 件名（識別子）...tronic digital computers -- Programming -- Congresses...
  • 並列タイトル等（連結）Logic aspect of programs

Proceedings of the sixth IBM Symposium on Mathematical Foundations of Computer Science : logic aspect of programs

Proceedings of the sixth IBM Symposium on Mathematical Foundations of Computer Science : logic aspect of programs
紙図書
Corporate & scientific programs, IBM Japan, May 25-27, 1981, at Hakone Yama no HotelCorporate & Scientific Programs IBM Japan[1981]
全国の図書館
  • 件名Computer science literature
  • 件名（識別子）Computer science literature
  • 著者標目IBM Symposium on Mathematical Foundations of Computer Science IBM Japan. Corporate & Scient...

検索結果は以上です。