検索結果 212 件
紙図書
国立国会図書館
紙図書
国立国会図書館
- 並列タイトル等（連結）Tests and proofs : 3rd internat......urich, Switzerland, July 2-3, 2009 : proceedings
- 並列タイトル等Tests and proofs : 3rd internat......urich, Switzerland, July 2-3, 2009 : proceedings
- タイトル標目... 2 Programming and software engineering.
紙図書
国立国会図書館
- 並列タイトル等（連結）Tests and proofs : 2nd international conferenc...
- 並列タイトル等Tests and proofs : 2nd international conferenc...
紙図書
国立国会図書館全国の図書館
- 要約等...re complicated and sophisticated ...... their results and on probability...... conscientious and intelligent us......de such understanding. It gives a......systems theory and probability th......basic concepts and statements of ......nterrelations, and their applicat......ific reasoning and physics. The b......lying concepts and mathematical s......en in a simple and illuminating m......ts, post-docs, and researchers in...... better understand the conceptual and mathematical u......ence, dynamics and probability are the common and indispensable ......inear algebra, and physics. Peter......ively on ocean and climate models and the founda...
- ジャンル・形式用語Handbooks and manuals. Handbook Guides et manuels.
- 件名Dynamics--Handbooks, manuals,......robabilities--Handbooks, manuals, etc Computer s...
紙図書
国立国会図書館
- 並列タイトル等（連結）Tests and proofs : 1st internat......urich, Switzerland, February 12-13, 2007 : revis...
- 並列タイトル等Tests and proofs : 1st internat......urich, Switzerland, February 12-13, 2007 : revis...
- 著者標目Gurevich, Yuri. Meyer, Bertrand, 1950- TAP 2007 (2007 : Zurich, Switzerland)
紙図書
国立国会図書館
- 内容細目...trings, Trees, and Graphs Appendi...... Metric Spaces and Their Complete...... Linear Spaces and Inner Product ......tors Appendix: Proofs of Proposition......ne Curves 4.5 Random Fourier Feat......im64 5 The MMD and HSIC 5.1 Random Variables in......Ss 5.2 The MMD and Two-Sample Pro......m 5.3 The HSIC and Independence T......Characteristic and Universal Kern......sian Processes and Functional Data Analyses 6.1 ...
紙図書
国立国会図書館
- 内容細目"A wandering Aramean w......ish, Christian and Muslim scriptures and interpretation......late antiquity and early Islam / ...... Christianity, and Islam / Martin......riarchs of Alexandria / Mark N. Swanson Use and interpretation......l verification and Theodore Abū ...... hermeneutical and literary proce...... of Qur'ān 26 and its exegesis /......Reynolds Unity and coherence in t...... knowledge of, and attitude toward, the Qur'ān ...
- 件名...Early--History and criticism. Isl......ature--History and criticism. Chr....... Christianity and other religion....... Christianity and other religions--Islam. Islam...
- 資料の内容に関する注記...ws, Christians and Muslims. Diffe......e interactions and how productive...... others? These and other related questions are c...
紙図書
国立国会図書館
- 内容細目...ng 1.5 Outlook and Open Problem R...... Simple Graphs and Simple Topolog......raphs 3.2.1 3- and 4-Quasi-planar......4.1 Definition and Basic Results ......ity 4.5 Minors and Subgraphs 4.6 ......dge Partitions and Visibility Rep......ic Definitions and Notation 6.3 Recognition and Structural Pro.......5.1 Rectangle and Ortho-Polygon ......luding Remarks and Open Problems ......ensity Results and Their Implicat......ic Terminology and Properties 9.3......ty 9.4 Testing and Drawing Algorithms 9.4.1 RAC ...
紙図書
国立国会図書館
- 内容細目.../ Mike McNamee and Lauri Tarasti ......E. Coleman Jr. and Joshua Michael......ts arbitration and the woman who ......en mathematics and ethics : some ......intentionality and other conseque......r Athletes in handcuffs? The crim......eracion Puerto and the end of mod......ler Governance and the whereabouts system : a No...
- 件名Doping in sports. Athletes -- Drug use -- Moral and ethical aspects. Doping in Sp...
紙図書
国立国会図書館
- 要約等...probabilistic, and mathematical perspectives and features novel......els of quantum and subquantum phe......tory processes and vibrations, and Feynman integr...... communication and foundation, and mathematical p......luding quantum and classical field theory and oscillatory pr......y perspective, and biological app......athematicians, and even philosoph......uantum physics and quantum probability and information theory can consid...
- 内容細目...variant form / Andrey Akhmeteli A......rlos Baladrón and Andrei Khrennikov ......ity-by-default and dummy measurem......a, Keiko Sato, and Igor V. Volivi......modifications, and novel applications / Andrei Khrennikov ......el J. Starkey, and Granville E. O......si, M. Bazzi, [and 24 others] Fey......mmah Mohameden and Habib Ouerdian......nrica Santucci and Giuseppe Sergi......l correlations and the common fut......ulien Degorre, and Stefan Wolf Temporal vibratio...
- 著者標目Khrennikov, A. I͡U. (Andreĭ I͡Urʹevich), 1958- Toni, ...
紙図書
国立国会図書館全国の図書館
- 内容細目...ew of the Code and the World Anti......nternational Standards in more de......re of the Code and its interpretation and application; 5. Articles 1 and 2 of the Code:......ty for testing and investigations......lts management and hearings; 8. Articles 9 and 10 of the Code: sanctions for...
- 件名World Anti-Doping Agency. World Anti-Doping Code. Doping in sports--Law and legislation.
紙図書
国立国会図書館
- タイトル標目LNCS sublibrary. SL 2, Programming and software engineering.
紙図書
国立国会図書館
- 要約等... Conference on Tests and Proofs, TAP 2015, hel......ed full papers and 1 short papers......fully reviewed and selected from ......e, consistency and validation, am......on interactive and automatic theo......ng SMT solvers and model checkers.
- ジャンル・形式用語Conference papers and proceedings.
- 一般注記Abstracts and papers. "... TAP has been org...
紙図書
国立国会図書館
- 一般注記Papers and an abstract.
- タイトル標目...2, Programming and software engineering.
- 著者標目TAP 2011 (5th : 2011 : Zurich, Switzerland) Gogolla, Martin. Wolff, Burk...
紙図書
国立国会図書館
- タイトル標目...2, Programming and software engineering.
- 著者標目TAP 2014 (2014 : York, England) Seidl, Martina. Tillmann, Ni...
紙図書
国立国会図書館
- 一般注記Abstracts and papers.
- タイトル標目...2, Programming and software engineering.
- 著者標目TAP (Conference) (6th : 2012 : Prague, Czech Republic) Brucker, Achim D. Julliand, Jacques.
紙図書
国立国会図書館
- 内容細目...ral Provisions And Basic Principl......cle 1 : nature and scope of oblig......es Part II : Standards Concerning......bility, Scope, And Use Of Intelle...... : Acquisition And Maintenance Of......roperty Rights And Related Inter ......ute Prevention And Settlement. Article 64 : disp...
- 件名...e secrets--Law and legislation.
紙図書
国立国会図書館
- 内容細目Preface ; Part 1. Analysis and design. Chapte....... Introduction and overview ; 1.1......y of structure and damage ; 1.3. ......posite repairs and certification ...... repair design and analysis proce......ffect of taper and scarf ratios o......pered doublers and joints ; 3.2.1......sided doublers and double strap j...... adhesive peel and shear ; 3.3.3....... adhesive peel and shear ; 3.3.4.......esign of scarf and doubler-scarf ......4. Experiments and validation ; 4......ter 5. Disbond and damage toleran......aminar failure and disbond ; 5.5.......mage tolerance and fatigue durabi......f scarf joints and repairs ; 6.3. Effects of dis...
- 件名Fibrous composites. Airframes--Design and construction.
紙図書
国立国会図書館
- 内容細目...ions pt. 2 The Proofs 1.1.The Formal......3.5.Derivation and Discussion of Figure 3.1 4.1....
- 著者標目Casella, Alessandra.