Ditapis dengan
Enterprise architecture patterns : practical solutions for recurring IT-archi…
Every enterprise architect faces similar problems when designing and governing the enterprise architecture of a medium to large enterprise. Design patterns are a well-established concept in software engineering, used to define universally applicable solution schemes. By applying this approach to enterprise architectures, recurring problems in the design and implementation of enterprise architec…
- Edisi
- -
- ISBN/ISSN
- 9783642375613
- Deskripsi Fisik
- xi, 320 hlm.
- Judul Seri
- -
- No. Panggil
- E1219
Feature-oriented software product lines : concepts and Implementation
While standardization has empowered the software industry to substantially scale software development and to provide affordable software to a broad market, it often does not address smaller market segments, nor the needs and wishes of individual customers. Software product lines reconcile mass production and standardization with mass customization in software engineering. Ideally, based on a s…
- Edisi
- -
- ISBN/ISSN
- 9783642375217
- Deskripsi Fisik
- xvi, 315 hlm ; il warna
- Judul Seri
- -
- No. Panggil
- E1218
A course on mathematical logic
This is a short, modern, and motivated introduction to mathematical logic for upper undergraduate and beginning graduate students in mathematics and computer science. Any mathematician who is interested in getting acquainted with logic and would like to learn Gödel’s incompleteness theorems should find this book particularly useful. The treatment is thoroughly mathematical and prepares stude…
- Edisi
- 2
- ISBN/ISSN
- 9781461457466
- Deskripsi Fisik
- xii, 198hlm.
- Judul Seri
- Universitext
- No. Panggil
- E514
Intelligent interactive technologies and multimedia : Second International Co…
This book constitutes the refereed proceedings of the Second International Conference on Intelligent Interactive Technologies and Multimedia, IITM 2013, held in Allahabad, India, in March 2013. The 15 revised full papers and the 12 revised short papers were carefully reviewed and selected from more than 90 submissions. The papers present the latest research and development in the areas of intel…
- Edisi
- -
- ISBN/ISSN
- 9783642374630
- Deskripsi Fisik
- xvi, 349 hlm. ; il.
- Judul Seri
- Communications in Computer and Information Science
- No. Panggil
- E1216
Perspectives on the future of software engineering : essays in honor of diete…
The dependence on quality software in all areas of life is what makes software engineering a key discipline for today’s society. Thus, over the last few decades it has been increasingly recognized that it is particularly important to demonstrate the value of software engineering methods in real-world environments, a task which is the focus of empirical software engineering. One of the leading…
- Edisi
- -
- ISBN/ISSN
- 9783642373954
- Deskripsi Fisik
- xvi, 366 hlm.
- Judul Seri
- -
- No. Panggil
- E1213
SemProM : foundations of semantic product memories for the internet of things
The development of low-cost, compact digital storage, sensors and radio modules allows us to embed digital memories into products to record key events. Such computationally enhanced products can perceive and control their environment, analyze their observations, and communicate with other smart objects and human users. Digital product memories (DPMs) will play a key role in the upcoming fourth …
- Edisi
- -
- ISBN/ISSN
- 9783642373770
- Deskripsi Fisik
- xv, 400 hlm. : il warna.
- Judul Seri
- Cognitive Technologies
- No. Panggil
- E1212
Tools for high performance computing 2012
The latest advances in the High Performance Computing hardware have significantly raised the level of available compute performance. At the same time, the growing hardware capabilities of modern supercomputing architectures have caused an increasing complexity of the parallel application development. Despite numerous efforts to improve and simplify parallel programming, there is still a lot of …
- Edisi
- -
- ISBN/ISSN
- 9783642373497
- Deskripsi Fisik
- xi, 162 hlm. : il warna.
- Judul Seri
- -
- No. Panggil
- E1211
Technological innovation for the internet of things : 4th IFIP WG 5.5/SOCOLNE…
This book constitutes the refereed proceedings of the 4th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2013, held in Costa de Caparica, Portugal, in April 2013. The 69 revised full papers were carefully reviewed and selected from numerous submissions. They cover a wide spectrum of topics ranging from collaborative enterprise networks to microe…
- Edisi
- -
- ISBN/ISSN
- 9783642372919
- Deskripsi Fisik
- xviii, 657 hlm.
- Judul Seri
- IFIP Advances in Information and Communication Technology
- No. Panggil
- E1210
Advances in image and graphics technologies : Chinese Conference, IGTA 2013, …
This book constitutes the refereed proceedings of the Chinese Conference on Image and Graphics Technologies and Applications, IGTA 2013, held in Beijing, China, in April 2013. The 40 papers and posters presented were carefully reviewed and selected from 89 submissions. The papers address issues such as the generation of new ideas, new approaches, new techniques, new applications and new evaluat…
- Edisi
- -
- ISBN/ISSN
- 9783642371493
- Deskripsi Fisik
- xii, 340 hlm. : il.
- Judul Seri
- Communications in Computer and Information Science
- No. Panggil
- E1206
Intelligent computing for sustainable energy and environment : Second Interna…
This book constitutes the refereed proceedings of the Second International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2012, held in Shanghai, China, in September 2012. The 60 full papers presented were carefully reviewed and selected from numerous submissions and present theories and methodologies as well as the emerging applications of intelligent computi…
- Edisi
- -
- ISBN/ISSN
- 9783642371059
- Deskripsi Fisik
- xiv, 560 hlm.
- Judul Seri
- -
- No. Panggil
- E1205
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah