検索結果 19 件

図書
Andrew Adamatzky, editor.Springer[2018]<M154-B220>
国立国会図書館全国の図書館
  • 要約等This volume of the Encyclopedia of Complexity and......que collection of concise overviews of state-of-art, theoretic......thermodynamics of computation, a......nclude: social algorithms, unconventiona......arallelization of bio-inspired u...... a cross-breed of computer scien......and mechanisms of information pr......nal properties of, physical, che......elop efficient algorithms, design optima......ing prototypes of future and emergent computing...
  • 内容細目...n Applications of P Systems Appr......nal Complexity of Physical Devic......cs, Principles of Novel Hardware......Thermodynamics of Computation Un......uper-recursive algorithms Reservoir computing, principl...
  • 関連情報Encyclopedia of complexity and systems scienc...
図書
Andrew Adamatzky, editor.Springer[2018]<M121-D3>
国立国会図書館
  • 要約等This volume of the Encyclopedia of Complexity and......n and overview of the latest res......ta (CA) models of physical syste......amental topics of algorithmic co......gical dynamics of CA are address......iform networks of locally-connec......matical models of computation an......omputer models of natural systems. Classes of CA presented i......mata as models of reaction-diffu......utomata basins of attraction, orbits of Bernoulli meas......ar. This state-of-the-art refere......lled expertise of interdisciplin......es at the edge of mathematics, computer science...
  • 内容細目... Formalization of Wolfram's Clas......utomata Basins of Attraction of Cellular Autom......mata as Models of Parallel Compu......omata Modeling of Physical Syste......Classification of Cellular Autom......a Universality of Cellular Autom......aotic Behavior of Cellular Automata Dynamics of Cellular Autom......Ergodic Theory of Cellular Autom......Identification of Cellular Autom......ematical Basis of Cellular Automata Orbits of Bernoulli Meas......mata as models of Reaction-Diffu......gical Dynamics of Cellular Automata.
  • 件名Cellular automata--Encyclopedias. Cellular automata.
図書
Ming-Yang Kao, editor.Springer Reference[2016]<M2-B113>
国立国会図書館全国の図書館
  • ジャンル・形式用語Encyclopedias.
  • 件名Algorithms--Encyclopedias. Computer algorithms--Encyclopedias. Algoritmos--......Enciclopedias. Algorithms. Computer algorithms.
図書
Arthur Tatnall, editorSpringer[2020]<F2-D10>
国立国会図書館全国の図書館
  • 要約等This encyclopedia aims to offer researchers an indication of the breadth and importance of information sy...... teaching. The encyclopedia covers all aspects of the interactio......uting, the use of IT in many dif......areas, the use of IT in educatio......ional policies of IT and education
  • 内容細目...o Preface List of Topics About t......apting to New Software and Hardw......rning Adoption of Innovative ICT......eview Behavior of Technology Acc......ences Adoption of Virtual Labora......ents and Roles of ICT Skill Lear......ative Analysis of Virtual Labs E...... Dissemination of Virtual Labora......es Affordances of Technological ......Personal and Professional Bounda......ia Affordances of Tools as Perce......y in Education of IT Students, Application of Definition The......logies History of Agile Methodol......Example Impact of Agile Methodol...... IT Education Software Engineeri......arning History of Systems Development Methods A...
  • 件名Educational technology--Encyclopedias Educational technology
図書
edited by Valérie Berthé, Michel Rigo.Cambridge University Press2016.<MA41-B44>
国立国会図書館全国の図書館
  • 要約等...s in the study of words and in s......ear exposition of some recent re......ngs and theory of computation, m......torics, theory of computation, n......sts using text algorithms"--
  • 内容細目...ies, end-first algorithms, and the case of Rosen continue......nsional shifts of finite type and sofic shifts / M. ......udo-randomness of a random Krone...... : an instance of dynamical analysis / E. Cesar...
  • タイトル標目Encyclopedia of mathematics and its applicati...
図書
Cambridge University Press2011.<MA115-B21>
国立国会図書館全国の図書館
  • 内容細目...racterizations of special classe......ity JBool : a software tool / Claude Benzaken a...
  • 一般注記...d presentation of the structural......pplied aspects of the theory of Boolean functi......epresentations of Boolean functi......ental elements of the theory (Bo...... indepth study of special classes of Boolean functi......eneralizations of the concept of Boolean functi...... time. Because of the unique depth and breadth of the unified tr......ts emphasis on algorithms and applications, this monogr...
  • タイトル標目Encyclopedia of mathematics and its applicati...
図書
Nathalie Caspard, Bruno Leclerc, Bernard Monjardet.Cambridge University Press2012.<MA41-B36>
国立国会図書館全国の図書館
  • 要約等...archers in all of these areas. B......th definitions of key concepts a......t applications of these structur......ded at the end of each chapter w......vided for some of the most diffi......further topics of ongoing research"--
  • 内容細目...icular classes of ordered sets; 3. Morphisms of ordered sets; ....... The 58 types of connected sets of size at most 5......C. The numbers of ordered sets and types of ordered sets; ......on marks; List of symbols; Bibliography; Index.
  • 別の記録形式Table of contents only
図書
Bruno Courcelle, Joost Engelfriet.Cambridge University Press2012.<MA41-B39>
国立国会図書館全国の図書館
  • 要約等"The study of graph structur......onstructed out of more basic ele......the properties of graphs can be ......e two features of graph structur......gh description of the theory, bu......e construction of graph algorithms, and, on the o...... the extension of formal languag......e book will be of interest to graduate students...
  • 内容細目...ras and widths of graphs; 3. Equ......ognizable sets of graphs; 5. Mon...... Transductions of terms and words J. Engelfriet...
図書
Springerc2008.<M2-B54>
国立国会図書館
  • 件名Computer algorithms -- Encyclopedias. Algorithms -- Encyclopedias.
図書
edited by Lowell W. Beineke, Robin J. Wilson, academic consultant, Bjarne Toft.Cambridge University Press2015.<MA81-B69>
国立国会図書館全国の図書館
  • 要約等... various ideas of 'colouring' (of vertices, edge......xplore aspects of graph theory. ......th other areas of mathematics, i......here colouring algorithms form an import......cover portions of the material, ......a broad survey of the subject. A......ghout. Bjarne Toft (Odense, Denmark), widely re...
  • 内容細目...word / Bjarne Toft Preface Preli......tz and Bjarne Toft 3. Chromatic ......raph colouring algorithms / Thore Husfel......en and Bjarne Toft Notes on contributors.
図書
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 algorithms / John Franco ......elated classes of Boolean functi......illa Synthesis of multi-level Bo......oolean aspects of network reliability / Charles...
  • 一般注記...ted URL: Table of contents only http: //www.loc...
デジタル電子書籍・電子雑誌図書
David Padua (ed.)Springer[2011]
国立国会図書館
  • 内容細目...nous Iterative Algorithms Asynchronous I......inear Algebra Software) Atomic O......inear Algebra Software (ATLAS) A...... NUMA Calculus of Mobile Process......ystems Cluster of Workstations C......Cray XT Series of Supercomputers......nces Detection of DOALL Loops De......l) GRAPE Graph Algorithms Graph Analysis Software Graph Par...... Partitioning Software Graphics ......mplementations of Shared Memory in Software Index Inf......ntel® Thread Profiler Intel® Thr......ncy Hiding Law of Diminishing Re......inear Algebra Software Linear Al......emory Locality of Reference and ......sing Lock-Free Algorithms Locks Logarithmic-Depth Sorti...
  • ジャンル・形式用語Electronic books. Encyclopedias.
  • 件名...ic computers)--Encyclopedias. Parallel processing (Electr...
図書
Ming-Yang Kao, editorSpringerc2016
全国の図書館
  • 件名Algorithms -- Encyclopedias
  • 件名(識別子)Algorithms -- Encyclopedias
図書
Cambridge University Press2008.<MA81-B27>
国立国会図書館全国の図書館
  • 件名Graph connectivity. Graph algorithms.
  • 一般注記...ted URL: Table of contents only http: //www.loc...
  • タイトル標目Encyclopedia of mathematics and its applicati...
図書
SAGE Publicationsc2008.<G63-B8>
国立国会図書館
  • 内容細目...hy Association of Geographic Inf......s Coordination of Information on...... Digital Chart of the World (DCW......lacy Economics of geographic inf......thics in the profession Evolutionary algorithms Experimental c......GDC) First law of geography Frac......ses, Data and software LiDAR Lif......) Scale Scales of measurement Se......lope measures Software, GIS Spatial analysis Sp...
  • 件名Geographic information systems -- Encyclopedias.
図書
Ming-Yang Kao (ed.)Springerc2008
全国の図書館
  • 件名Algorithms -- Encyclopedias
  • 件名(識別子)Algorithms -- Encyclopedias
デジタル記事
2008p.1918-
全国の図書館
  • 参照Towards the Algorithmic Molecular Self-assembly of Fractals by Cotranscriptional...
図書
Cambridge University Press1989.<MA51-A47>
国立国会図書館全国の図書館
  • 件名代数的整数論. アルゴリズム. Algebraic number theory. Algorithms.

検索結果は以上です。