::  Hasil Pencarian  ::  Simpan CSV :: Kembali

Hasil Pencarian

 
Ditemukan 27 dokumen yang sesuai dengan query
cover
Hartmanis, Juris, author
Feasible computations and provable complexity properties
An overview of current developments in research on feasible computations; and a consideration of this area of research in relation to provable properties of complexity of computations. The author begins by defining and discussing efficient reductions between problems and considers the families and corresponding complete languages of NL, DCSL, CSL,...
Philadelphia: Society for Industrial and Applied Mathematics, 1989
e20448473
eBooks  Universitas Indonesia Library
cover
Lee, Kent D., author
Data structures and algorithms with phthon
This clearly structured and easy to read textbook explains the concepts and techniques required to write programs that can handle large amounts of data efficiently. Project-oriented and classroom-tested, the book presents a number of important algorithms supported by motivating examples that bring meaning to the problems faced by computer programmers. The...
Switzerland: Springer International Publishing, 2015
e20509978
eBooks  Universitas Indonesia Library
cover
Models of science dynamics: encounters between complexity theory and information sciences
This volume, reviewing and describing major threads in the mathematical modeling of science dynamics for a wider academic and professional audience. The model classes presented cover stochastic and statistical models, system-dynamics approaches, agent-based simulations, population-dynamics models, and complex-network models. The book comprises an introduction and a foundational chapter that defines...
Berlin: Springer-Verlag, 2012
e20410667
eBooks  Universitas Indonesia Library
cover
Wegener, Ingo, author
Branching programs and binary decision diagrams: theory and applications
Finite functions (in particular, Boolean functions) play a fundamental role in computer science and discrete mathematics. This book describes representations of Boolean functions that have small size for many important functions and which allow efficient work with the represented functions. The representation size of important and selected functions is estimated,...
Philadelphia : Society for Industrial and Applied Mathematics, 2000
e20442774
eBooks  Universitas Indonesia Library
cover
Theory and applications of models of computation : 9th annual conference, TAMC 2012, Beijing, China, May 16-21, 2012 : proceedings
This book constitutes the refereed proceedings of the 9th International Conference on Theory and Applications of Models of Computation, TAMC 2012, held in Beijing, China, in May 2012. The conference was combined with the Turing Lectures 2012, dedicated to celebrating Alan Turing’s unique impact on mathematics, computing, computer science, informatics,...
Berlin: Springer-Verlag, 2012
e20410304
eBooks  Universitas Indonesia Library
cover
Computational intelligence and sustainable systems: intelligence and sustainable computing
This book features research related to computational intelligence and energy and thermal aware management of computing resources. The authors publish original and timely research in current areas of power, energy, temperature, and environmental engineering as and advances in computational intelligence that are benefiting the fields. Topics include signal processing architectures,...
Switzerland: Springer Nature, 2019
e20507355
eBooks  Universitas Indonesia Library
cover
Sergienko, Ivan V., author
Methods of optimization and systems analysis for problems of transcomputational complexity
This work presents lines of investigation and scientific achievements of the Ukrainian school of optimization theory and adjacent disciplines. These include the development of approaches to mathematical theories, methodologies, methods, and application systems for the solution of applied problems in economy, finances, energy saving, agriculture, biology, genetics, environmental protection, hardware...
New York: [Springer, ], 2012
e20419614
eBooks  Universitas Indonesia Library
cover
Multidisciplinary research and practice for information systems : IFIP WG 8.4, 8.9/TC 5, International Cross-Domain Conference and Workshop onAvailability, Reliability, and Security, CD-ARES 2012, Prague, Czech Republic, August 20-24, 2012 : proceedings
This book constitutes the refereed proceedings of the IFIP WG 8.4, 8.9, TC 5 International Cross Domain Conference and Workshop on Availability, Reliability and Security, CD-ARES 2012, held in Prague, Czech Republic, in August 2012. The 50 revised papers presented were carefully reviewed and selected for inclusion in the volume....
Heidelberg: Springer-Verlag, 2012
e20410057
eBooks  Universitas Indonesia Library
cover
Parallel problem solving from nature-PPSN XII : 12th international conference, Taormina, Italy, September 1-5, 2012 : proceedings; Part II
The two volume set LNCS 7491 and 7492 constitutes the refereed proceedings of the 12th International Conference on Parallel Problem Solving from Nature, PPSN 2012, held in Taormina, Sicily, Italy, in September 2012. The total of 105 revised full papers were carefully reviewed and selected from 226 submissions. The meeting...
Berlin : Springer-Verlag, 2012
e20410593
eBooks  Universitas Indonesia Library
cover
Parallel problem solving from nature-PPSN XII : 12th international conference, Taormina, Italy, September 1-5, 2012 : proceedings; Part I
The two volume set LNCS 7491 and 7492 constitutes the refereed proceedings of the 12th International Conference on Parallel Problem Solving from Nature, PPSN 2012, held in Taormina, Sicily, Italy, in September 2012. The total of 105 revised full papers were carefully reviewed and selected from 226 submissions. The meeting...
Berlin : Springer-Verlag, 2012
e20410592
eBooks  Universitas Indonesia Library
<<   1 2 3   >>