Ditapis dengan
The Courant–Friedrichs–Lewy (CFL) condition: 80 years after Its discovery
This volume comprises a carefully selected collection of articles emerging from and pertinent to the 2010 CFL-80 conference in Rio de Janeiro, celebrating the 80th anniversary of the Courant-Friedrichs-Lewy (CFL) condition. A major result in the field of numerical analysis, the CFL condition has influenced the research of many important mathematicians over the past eight decades, and this work…
- Edisi
- 1
- ISBN/ISSN
- 9780817683948
- Deskripsi Fisik
- XII, 237 Hlm.
- Judul Seri
- -
- No. Panggil
- E425
Polyhedral and algebraic methods in computational geometry
Polyhedral and Algebraic Methods in Computational Geometry provides a thorough introduction into algorithmic geometry and its applications. It presents its primary topics from the viewpoints of discrete, convex and elementary algebraic geometry. The first part of the book studies classical problems and techniques that refer to polyhedral structures. The authors include a study on algorithms fo…
- Edisi
- 1
- ISBN/ISSN
- 9781447148173
- Deskripsi Fisik
- x, 250 hlm.
- Judul Seri
- -
- No. Panggil
- E439
Efficient computation of argumentation semantics
Efficient Computation of Argumentation Semantics addresses argumentation semantics and systems, introducing readers to cutting-edge decomposition methods that drive increasingly efficient logic computation in AI and intelligent systems. Such complex and distributed systems are increasingly used in the automation and transportation systems field, and particularly autonomous systems, as well as m…
- Edisi
- -
- ISBN/ISSN
- 9780124104068
- Deskripsi Fisik
- x, 137 hlm.
- Judul Seri
- -
- No. Panggil
- E1487
Grand successes and failures in IT: public and private sectors
This book constitutes the refereed proceedings of the IFIP WG 8.6 International Working Conference on Transfer and Diffusion of IT, TDIT 2013, held in Bangalore, India, in June 2013. The 35 revised full papers presented together with an invited paper, 12 short papers and 3 poster papers were carefully reviewed and selected from 65 submissions. The full papers are organized in the following topi…
- Edisi
- 1st Ed
- ISBN/ISSN
- 9783642388620
- Deskripsi Fisik
- xix, 670 hlm.
- Judul Seri
- IFIP Advances in Information and Communication Technology
- No. Panggil
- E1253
Understanding petri nets : modeling techniques, analysis methods, case studies
With their intuitive graphical approach and expressive analysis techniques, Petri nets are suitable for a wide range of applications and teaching scenarios, and they have gained wide acceptance as a modeling technique in areas such as software design and control engineering. The core theoretical principles have been studied for many decades and there is now a comprehensive research literature t…
- Edisi
- -
- ISBN/ISSN
- 9783642332784
- Deskripsi Fisik
- xxvii, 230 hlm. : il.
- Judul Seri
- -
- No. Panggil
- E1153
Molecular response functions for the polarizable continuum model : physical b…
This Brief presents the main aspects of the response functions theory (RFT) for molecular solutes described within the framework of the Polarizable Continuum Model (PCM). PCM is a solvation model for a Quantum Mechanical molecular system in which the solvent is represented as a continuum distribution of matter. Particular attention is devoted to the description of the basic features of the PCM …
- Edisi
- -
- ISBN/ISSN
- 9783319009872
- Deskripsi Fisik
- XVI, 58 lembar
- Judul Seri
- SpringerBriefs in Molecular Science
- No. Panggil
- E212
New results in dependability and computer systems : proceedings of the 8th In…
DepCoS – RELCOMEX is an annual series of conferences organized by the Institute of Computer Engineering, Control and Robotics (CECR), Wrocław University of Technology, since 2006. Its idea came from the heritage of the other two cycles of events: RELCOMEX Conferences (1977 – 89) and Microcomputer Schools (1985 – 95) which were then organized by the Institute of Engineering Cybernetics, t…
- Edisi
- -
- ISBN/ISSN
- 9783319009452
- Deskripsi Fisik
- XVI, 554 lembar : il. warna
- Judul Seri
- Advances in Intelligent Systems and Computing
- No. Panggil
- E211
Distributed algorithms for message-passing systems
Distributed computing is at the heart of many applications. It arises as soon as one has to solve a problem in terms of entities -- such as processes, peers, processors, nodes, or agents -- that individually have only a partial knowledge of the many input parameters associated with the problem. In particular each entity cooperating towards the common goal cannot have an instantaneous knowledge …
- Edisi
- 1st Ed
- ISBN/ISSN
- 9783642381232
- Deskripsi Fisik
- xxxi, 500 hlm.
- Judul Seri
- -
- No. Panggil
- E1232
Soft computing for image and multimedia data processing
Proper analysis of image and multimedia data requires efficient extraction and segmentation techniques. Among the many computational intelligence approaches, the soft computing paradigm is best equipped with several tools and techniques that incorporate intelligent concepts and principles. This book is dedicated to object extraction, image segmentation, and edge detection using soft computing t…
- Edisi
- -
- ISBN/ISSN
- 9783642402555
- Deskripsi Fisik
- xv, 267 hlm. : il. warna
- Judul Seri
- -
- No. Panggil
- E1283
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah