検索結果 82 件
紙図書
国立国会図書館
- 要約等...duce important topics in molecul......ics in an easy-to-understand man......ics is related to many fields, s...... and those new to the field to understand the......ight chapters: introduction, design theory......molecular actuators, molecular m......that introduce topics related to molecular robotics
- 内容細目...ace Contents 1 Introduction: Welcome to Molecular Robo......Robot? 1.2 How to Make a Molecul......iences Leading to Molecular Robo...... Trends in DNA Logic Circuit Techno......Reaction 2.5.2 Mathematical Modeling of DN......ntration Regulator Circuit 2.5.5......ks 2.6 PEN DNA Toolbox 2.7 Desig......Dynamics 2.8.1 Introduction 2.8.2 Microtub......ed System 2.10 Toward the Molecu......Robotics 3.1.1 Introduction 3.1.2 Artifici......cular Robot Prototype 3.2.1 Desi......tlook: From Prototype to Advanced Molec......3.3 Gellular Automata and Molecu......ting Expanding to Space 3.3.1 Cellular Automata 3.3.2 Gellular Automata 3...
- 典拠情報（Author Heading/「を見よ」参照）Murata, Satoshi
紙図書
国立国会図書館
- 要約等...ides a concise introduction to the exciting w......technology, history and societal......ices. Spanning topics from global conflict to home gaming, international bu...
- 内容細目...ing Concise history of computing......s in computing Introduction to algorithms Concise introduction to logic Human-computer interaction Introduction to programming languages Overvie...
紙図書
全国の図書館
- 件名Set theory -- Textbooks Logic, Symbolic and mathematical -- Textbooks
- 件名（識別子）Set theory -- Textbooks Logic, Symbolic and mathematical -- Textbooks
- 著者標目Cenzer, Douglas Larson, Jean (Jean Ann) Porter, Christopher (Christopher P.) Zapletal, Jindřich
紙図書
国立国会図書館全国の図書館
- 要約等...echniques used to study plant sy......Chapters cover topics such as gene regulatory network infe......formalisms; protocols for at-wil......al properties; mathematical modeling of pl......apters include introductions to their respective topics, step-by-s......oducible laboratory protocols or software tutorials, and tips......Methods and Protocols, Second Ed......ent approaches to finding solutions to their question......nts who desire to discover the field of plant s...
- 内容細目...m Teaching How to Use the TDCor Algorithm to Infer Gene Regulatory Networks fro......eries Transcriptomic Data Gene Regulatory Network Inve......ons Gene Regulatory Network Dynamical Logical Models for P......Cell Mechanics Introduction to Computational ...... Virtual Root: Mathematical Modelling of A......t Observations to Soil-Plant Mod......del R-SWMS How to Define the Appropriate Spatia...
- 件名...systémique Biological systems. Botany.
紙図書
全国の図書館
- 件名Set theory -- Textbooks Logic, Symbolic and mathematical -- Textbooks
- 件名（識別子）Set theory -- Textbooks Logic, Symbolic and mathematical -- Textbooks
- 著者標目Cenzer, Douglas Larson, Jean (Jean Ann) Porter, Christopher (Christopher P.) Zapletal, Jindřich
紙図書
国立国会図書館全国の図書館
- 要約等... that may lead to these outcomes......e applications to economics, pol......igm which aims to construct the ......ules, and then to simulate them in a computer to mimic the real......f a real ABM ontology to address the epistemological issues related to this emerging paradigm for mo...
- 内容細目...y Game Theory, Introduction to Cooperative Ga......an Application to Climate Change......y Game Theory Stochastic Games I......nd Simulation, Introduction to Agent Based Mo......ics Cellular Automaton Modeling of T......ased Modeling, Mathematical Formalism for Logic and Geometry of Agents in Age...
- 著者標目Sotomayor, Marilda Pérez-Castrill...
紙図書
全国の図書館
- 件名Logic, Symbolic and mathematical
- 件名（識別子）Logic, Symbolic and mathematical
紙図書
国立国会図書館
- 内容細目Introduction / Leila Haapar...... Late medieval logic / Tuomo Aho an......kko Yrjönsuuri Logic and philosophy of logic from humanism to Kant / Mirella...... Roncaglia The mathematical origins of nin......ury algebra of logic / Volker Peckh......erplay between logic and mathematic......tian Thiel The logic question durin......h century / Risto Vilkko The relations between logic and philosophy......development of logic / Göran Sundho......development of mathematical logic from Russell to Tarski, 1900-1......Zach, and Calixto Badesa Set the......intuitionistic logic / Jan von Plato Modal logic from Kant to possible worlds semantics / T...
- 件名Logic -- History.
紙図書
全国の図書館
- 件名Logic, Symbolic and mathematical
- 件名（識別子）Logic, Symbolic and mathematical
紙図書
全国の図書館
- 件名Computer logic Logic, Symbolic and mathematical
- 件名（識別子）Computer logic Logic, Symbolic and mathematical
- 著者標目Leary, Christopher C. Kristiansen, Lars
紙図書
全国の図書館
- 件名Logic, Symbolic and mathematical
- 件名（識別子）Logic, Symbolic and mathematical
- 一般注記Originally published: Boston : PWS Publishing, Boston, 1995 Includes bibliographic...
紙図書
国立国会図書館
- 内容細目...oblem: (or how to play "One Potato, Two Potato" for keeps) Do......n Using trains to model recurren......an Hopkins How to change coins, ......as Beck Calculator activities fo......an M. Horn and Toni T. Robertson......tions with the Towers of Hanoi /......ison pt. 2. Historical projects ......puter science. Introduction / Janet Barnet......: from Leibniz to von Neumann / ......s from Shannon to the Chinese ab......ical triangle: mathematical induction, com......h theory: Hamiltonian. circuits ...... graph thoery: topological connections ......ett A study of logic and programmin......istic finite automata / Hing Leung pt. 3. Artic...
- 著者標目Hopkins, Brian. Mathematical Association of America.
紙図書
国立国会図書館全国の図書館
- 要約等...eference guide to Leibniz's life......hes, and an up-to-date fully com......emely valuable tool for those interested in Lei...
- 内容細目List of contributors Part 1: Leib...... precursors 1. Introduction: Leibniz's lif......sics: the path to the monadology 7. Logical theory in Le......s contribution to natural philosophy 15. Leibni...
- 件名...s--Germany--History--17th centur......hy, German--History--17th century. Leibniz, Got...
紙図書
全国の図書館
- 件名Logic, Symbolic and mathematical
- 件名（識別子）Logic, Symbolic and mathematical
紙図書
国立国会図書館
- 内容細目...e Concepts 1.1 Introduction: Communication......nowing Why 2.1 Introduction 2.2 Knowing, U......Capability: Prototyping and Eval......Create Epistemological Value ``In''...... ``Why'' Means to Reach Beyond D......hysical and Biological Systems? 3.6......ive Generation to Society 4.1 Introduction 4.2 Overview o......Development History of Living La......e Learning 5.1 Introduction 5.2 What Is In......U Patients 6.1 Introduction 6.2 Sepsis Pre......rpretation 7.1 Introduction 7.2 Two Projec......tes from Trajectory Data 7.2.2 C......ta as Words in Mathematical Logic 7.4.3 Designin...... Analysis? 8.1 Introduction 8.2 (Big) Data Society 8.3 Tr...
紙図書
国立国会図書館
- 内容細目Acknowledgments Introduction : Turning on t....... The contradictory in mathemati...... ch. 6. Ideas, logic, and paradox ch. 7. Great ide...
- 件名...atics -- Psychological aspects. Mathematics -- Phi...
- 一般注記...loc.gov/catdir/toc/ecip073/20060......d URL: Contributor biographical information htt...
紙図書
国立国会図書館
- 要約等...d Cambridge History of Science s......ies is devoted to the history of science i......North Atlantic to the Indus Vall....... Organized by topic and culture......hensive and up-to-date history of medieval ......able. Intended to provide a bala......world, contributors consider sci......Scientists, historians and other......often misunderstood
- 内容細目Introduction / Michael H. S......gren THE MIXED MATHEMATICAL SCIENCES / Ela......CE / Vivian Nutton Translation a......slamic Science to Latin Christen......George Molland Logic / E. Jennifer ......val Natural History / Karen Meier Reeds and Tomomi Kinukawa ANATOMY, PHYSIOLOGY, AND MEDICAL TH...
- 件名Science, Medieval Science--History--To 1500 Science--History Social sciences--History--To 1500 Social sciences. Science...
紙図書
全国の図書館
- 件名Logic, Symbolic and mathematical
- 件名（識別子）Logic, Symbolic and mathematical
紙図書
全国の図書館
- 件名Logic, Symbolic and mathematical
- 件名（識別子）Logic, Symbolic and mathematical