Ditapis dengan
Concurrent programming : algorithms, principles, and foundations
This book is devoted to the most difficult part of concurrent programming, namely synchronization concepts, techniques and principles when the cooperating entities are asynchronous, communicate through a shared memory, and may experience failures. Synchronization is no longer a set of tricks but, due to research results in recent decades, it relies today on sane scientific foundations as explai…
- Edisi
- -
- ISBN/ISSN
- 9783642320279
- Deskripsi Fisik
- xxxii, 516 hlm.
- Judul Seri
- -
- No. Panggil
- E1144
Community structure of complex networks
Community structure is a salient structural characteristic of many real-world networks. Communities are generally hierarchical, overlapping, multi-scale and coexist with other types of structural regularities of networks. This poses major challenges for conventional methods of community detection. This book will comprehensively introduce the latest advances in community detection, especially th…
- Edisi
- -
- ISBN/ISSN
- 9783642318214
- Deskripsi Fisik
- xiv, 117 hlm.
- Judul Seri
- Springer Theses
- No. Panggil
- E1143
New trends of research in ontologies and lexical resources : ideas, projects,…
In order to exchange knowledge, humans need to share a common lexicon of words as well as to access the world models underlying that lexicon. What is a natural process for a human turns out to be an extremely hard task for a machine: computers can’t represent knowledge as effectively as humans do, which hampers, for example, meaning disambiguation and communication. Applied ontologies…
- Edisi
- -
- ISBN/ISSN
- 9783642317828
- Deskripsi Fisik
- xv, 282 hlm. : il. warna
- Judul Seri
- Theory and Applications of Natural Language Processing
- No. Panggil
- E1142
Ontology-driven software development
This book is about a significant step forward in software development. It brings state-of-the-art ontology reasoning into mainstream software development and its languages. Ontology Driven Software Development is the essential, comprehensive resource on enabling technologies, consistency checking and process guidance for ontology-driven software development (ODSD). It demonstrates how to apply …
- Edisi
- -
- ISBN/ISSN
- 9783642312267
- Deskripsi Fisik
- xviii, 338 hlm.
- Judul Seri
- -
- No. Panggil
- E1141
Software cost estimation, benchmarking, and risk assessment
Software effort estimation is a key element of software project planning and management. Yet, in industrial practice, the important role of effort estimation is often underestimated and/or misunderstood. In this book, Adam Trendowicz presents the CoBRA method (an abbreviation for Cost Estimation, Benchmarking, and Risk Assessment) for estimating the effort required to successfully complete …
- Edisi
- -
- ISBN/ISSN
- 9783642307645
- Deskripsi Fisik
- xxvi, 322 hlm.
- Judul Seri
- The Fraunhofer IESE Series on Software and Systems Engineering
- No. Panggil
- E1140
Advances in production management systems : Competitive manufacturing for inn…
The two volumes IFIP AICT 397 and 398 constitute the thoroughly refereed post-conference proceedings of the International IFIP WG 5.7 Conference on Advances in Production Management Systems, APMS 2012, held in Rhodes, Greece, in September 2012. The 182 revised full papers were carefully reviewed and selected for inclusion in the two volumes. They are organized in 6 parts: sustainability; design…
- Edisi
- -
- ISBN/ISSN
- 9783642403613
- Deskripsi Fisik
- xxxiv, 720
- Judul Seri
- IFIP Advances in Information and Communication Technology
- No. Panggil
- E1285
Mobile and ubiquitous systems : computing, networking, and services
This book constitutes the thoroughly refereed post-conference proceedings of the 9th International ICST Conference on Mobile and Ubiquitous Systems: Computing, Networking, and Services, MobiQuitous 2012, held in Beijing, China, Denmark, in December 2012. The revised full papers presented were carefully reviewed and selected from numerous submissions. They cover a wide range of topics such as lo…
- Edisi
- -
- ISBN/ISSN
- 9783642402388
- Deskripsi Fisik
- x, 289 hlm. : il.
- Judul Seri
- Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering
- No. Panggil
- E1282
Case-Based Reasoning
While it is relatively easy to record billions of experiences in a database, the wisdom of a system is not measured by the number of its experiences but rather by its ability to make use of them. Case-based reaÂsoning (CBR) can be viewed as experience mining, with analogical reasoning applied to problem–solution pairs. As cases are typically not identical, simple storage and recall of…
- Edisi
- -
- ISBN/ISSN
- 9783642401671
- Deskripsi Fisik
- xviii, 546 hlm. : il. warna
- Judul Seri
- -
- No. Panggil
- E1281
An introduction to programming using visual basic 2008 : with visual studio e…
No Inv.: 126456/P/Perp/10/1c
- Edisi
- 6th ed
- ISBN/ISSN
- 9780138149437
- Deskripsi Fisik
- 756 hlm.
- Judul Seri
- -
- No. Panggil
- 005.13 SCH i
Mengamankan komputer dari spyware
No Inv.: 123086-123090/P/Perp/10/5c
- Edisi
- -
- ISBN/ISSN
- 9797940349
- Deskripsi Fisik
- ix, 90 hlm.
- Judul Seri
- -
- No. Panggil
- 005.85 HID m
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah