Ditapis dengan
The Next Wave in Computing, Optimization, and Decision Technologies
Network -- On the Complexity of Delaying an Adversary’s Project -- A Note on Eswaran and Tarjan’s Algorithm for the Strong Connectivity Augmentation Problem -- Integer and Mixed Integer Programming -- Generating Set Partitioning Test Problems with Known Optimal Integer Solutions -- Computational Aspects of Controlled Tabular Adjustment: Algorithm and Analysis -- The Symphony Callable Librar…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387235295
- Deskripsi Fisik
- IX, 396 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Dissemination of Information in Communication Networks
The Telegraph and Telephone Modes -- Fundamentals -- Broadcasting -- Gossiping -- Systolic Communication -- Fault-Tolerance -- Distributed Networks -- Broadcast on Distributed Networks -- Leader Election in Asynchronous Distributed Networks -- Fault-Tolerant Broadcast in Distributed Networks.Preface Due to the development of hardware technologies (such as VLSI) in the early 1980s, the interest …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540266631
- Deskripsi Fisik
- XIV, 364 p. 73 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Contemporary Cryptology
Efficient Distributed Computation Modulo a Shared Secret -- Multiparty Computation, an Introduction -- Foundations of Modern Cryptography -- Provable Security for Public Key Schemes -- Efficient and Secure Public-Key Cryptosystems.The aim of this text is to treat selected topics of the subject of contemporary cryptology, structured in five quite independent but related themes: - efficient distr…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783764373948
- Deskripsi Fisik
- IX, 238 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Computer Algebra in Scientific Computing
On Regular and Logarithmic Solutions of Ordinary Linear Differential Systems -- Computing the Betti Numbers of Arrangements in Practice -- A MAPLE Symbolic-Numeric Program for Solving the 2D-Eigenvalue Problem by a Self-consistent Basis Method -- RelView – An OBDD-Based Computer Algebra System for Relations -- On the Use of Gröbner Bases for Computing the Structure of Finite Abelian Groups -…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540320708
- Deskripsi Fisik
- XII, 504 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
New Computational Paradigms
Introduction: If CiE Did Not Exist, It Would Be Necessary to Invent It -- Computably Enumerable Sets in the Solovay and the Strong Weak Truth Table Degrees -- The Fan Theorem and Uniform Continuity -- Continuous Semantics for Strong Normalization -- A Thread Algebra with Multi-level Strategic Interleaving -- Membrane Computing — Current Results and Future Problems -- How to Compare the Power …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322665
- Deskripsi Fisik
- XVIII, 578 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Computational and Information Science
High Performance Computing and Algorithms -- Computer Modeling and Simulations -- Biological and Medical Informatics -- Data and Information Sciences -- Computational Graphics and Visualization.The 2004 International Symposium on Computational and Information Sciences (CIS 2004) aimed at bringing researchers in the area of computational and - formation sciences together to exchange new ideas an…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540304975
- Deskripsi Fisik
- XXIV, 1259 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Adaptive and Natural Computing Algorithms
From the contents: Neural Networks: Neural Networks Theory; Learning Theory; Computational Neuroscience and Neurodynamics; Neural Networks in Process Engineering; Neural Networks in Robotics and Control; Clustering and Unsupervised Learning; Self-Organising Maps -- Evolutionary Computation: Evolutionary Computation; Genetic Algorithms Theory; Complex Systems and Genetic Programming; Swarm Optim…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783211273890
- Deskripsi Fisik
- XV, 545 p. 433 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Constraint Theory
Motivations: What is Constraint Theory and why is it important?- The Four-fold way: How to Perceive Complex Mathematical Models and Well-Posed Problems -- General Results: From Protomath to Math to Metamath -- Regular Relations: Searching for the Kernels of Constraint -- Discrete and Interval Relations: The Diminished Utility of Metamodels -- The Logical Structure of Constraint: Theory A Compac…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387276502
- Deskripsi Fisik
- XXII, 188 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Foundations of Generic Optimization
Genetic algorithms: a guide for absolute beginners -- Evolutionary algorithms and their theory -- Epistasis -- Examples -- Walsh transforms -- Multary epistasis -- Generalized Walsh transforms.
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9781402036651
- Deskripsi Fisik
- XIII, 298 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
High Performance Computing - HiPC 2004
Keynote Addresses -- Rethinking Computer Architecture Research -- Event Servers for Crisis Management -- DIET: Building Problem Solving Environments for the Grid -- The Future Evolution of High-Performance Microprocessors -- Low Power Robust Computing -- Networks and Games -- Plenary Session - Best Papers -- An Incentive Driven Lookup Protocol for Chord-Based Peer-to-Peer (P2P) Networks -- A No…
- Edisi
- 1st ed. 2005.
- ISBN/ISSN
- 9783540304746
- Deskripsi Fisik
- XXV, 530 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah