Ditapis dengan
Advances in service-oriented and cloud computing; Workshops of ESOCC 2013, MÃ…
This book contains the proceedings of the five high-quality workshops organized at the Second European Conference on Service-Oriented and Cloud Computing, ESOCC 2013, held in Malaga, Spain, in September 2013. The workshops are: Cloud for IoT (CLIoT 2013), CLOUd Storage Optimization (CLOUSO 2013), 12th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems (FOC…
- Edisi
- -
- ISBN/ISSN
- 9783642453649
- Deskripsi Fisik
- xxxiii, 372 hlm. : il.
- Judul Seri
- Communications in Computer and Information Science (CCIS, volume 393)
- No. Panggil
- E1506
Trustworthy eternal systems via evolving software, data and knowledge; Second…
This book constitutes the thoroughly refereed proceedings of the Second International Workshop on Trustworthy Eternal Systems via Evolving Software, Data and Knowledge, EternalS, held in Montpellier, France, in August 2012 and co-located with the 20th European Conference on Artificial Intelligence (ECAI 2012). The 10 revised full papers presented were carefully reviewed and selected from variou…
- Edisi
- -
- ISBN/ISSN
- 9783642452604
- Deskripsi Fisik
- x, 149 hlm. : il.
- Judul Seri
- -
- No. Panggil
- E1503
The Courant–Friedrichs–Lewy (CFL) condition: 80 years after Its…
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 Engineer…
- 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
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah