Ditapis dengan
Innovative technologies for dependable OTS-based critical systems : challenge…
The demand for large-scale dependable, systems, such as Air Traffic Management, industrial plants and space systems, is attracting efforts of many word-leading European companies and SMEs in the area, and is expected to increase in the near future. The adoption of Off-The-Shelf (OTS) items plays a key role in such a scenario. OTS items allow mastering complexity and reducing costs and time-to-m…
- Edisi
- -
- ISBN/ISSN
- 9788847027725
- Deskripsi Fisik
- viii, 216 hlm. : il.
- Judul Seri
- -
- No. Panggil
- E1536
Environmental software systems. fostering information sharing
This book constitutes the refereed proceedings of the 10th IFIP WG 5.11 International Symposium on Environmental Software Systems, ISESS 2013, held in Neusiedl am See, Austria, in June 2013. The 65 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in the following topical sections: environmental application in the scope of the…
- Edisi
- -
- ISBN/ISSN
- 9783642411519
- Deskripsi Fisik
- xxii, 699 hlm. ; il. warna
- Judul Seri
- IFIP Advances in Information and Communication Technology
- No. Panggil
- E1311
S-BPM ONE - Running Processes : 5th International Conference, S-BPM ONE 2013,…
This book constitutes the thoroughly refereed proceedings of the 5th International Conference on Subject-Oriented Business Process Management, S-BPM ONE 2013, held in Deggendorf, Germany, in March 2013. The papers are organized in topical sections on running concepts; running business process management types; running applications; running ideas; running solutions; running projects.
- Edisi
- -
- ISBN/ISSN
- 9783642367540
- Deskripsi Fisik
- xii, 321 hlm. : il.
- Judul Seri
- Communications in Computer and Information Science
- No. Panggil
- E1196
Blaschke products and their applications
Blaschke Products and Their Applications presents a collection of survey articles that examine Blaschke products and several of its applications to fields such as approximation theory, differential equations, dynamical systems, harmonic analysis, to name a few. Additionally, this volume illustrates the historical roots of Blaschke products and highlights key research on this topic. For nearly a…
- Edisi
- 1
- ISBN/ISSN
- 9781461453413
- Deskripsi Fisik
- x, 322hlm.
- Judul Seri
- Fields institute communications
- No. Panggil
- E496
Mobile wireless middleware, operating systems, and applications : 5th Interna…
This book constitutes the thoroughly refereed proceedings of the 5th International Conference on Mobile Wireless Middleware, Operating Systems, and Applications, Mobilware 2012, held in Berlin, Germany, in November 2012. The 18 revised full papers presented were carefully reviewed and selected from numerous contributions. The papers are organized in topical sections on Internet of things and mo…
- Edisi
- -
- ISBN/ISSN
- 9783642366604
- Deskripsi Fisik
- xii, 265 hlm. : il.
- Judul Seri
- Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering
- No. Panggil
- E1195
Domain Engineering : Product Lines, Languages, and Conceptual Models
Domain engineering is a set of activities intended to develop, maintain, and manage the creation and evolution of an area of knowledge suitable for processing by a range of software systems. It is of considerable practical significance, as it provides methods and techniques that help reduce time-to-market, development costs, and project risks on one hand, and helps improve system quality and p…
- Edisi
- -
- ISBN/ISSN
- 9783642366543
- Deskripsi Fisik
- xvi, 404 hlm.
- Judul Seri
- -
- No. Panggil
- E1194
Introduction to queueing systems with telecommunication applications
The book is the extended and revised version of the 1st edition and is composed of two main parts: mathematical background and queueing systems with applications. The mathematical background is a self-containing introduction to the stochastic processes of the later studied queueing systems. It starts with a quick introduction to probability theory and stochastic processes and continues with cha…
- Edisi
- 2
- ISBN/ISSN
- 9783030151423
- Deskripsi Fisik
- xvii, 559hlm.
- Judul Seri
- -
- No. Panggil
- E495
Context-aware systems and applications : First International Conference, ICCA…
This book constitutes the thoroughly refereed proceedings of the first International Conference on Context-Aware Systems and Applications, ICCASA 2012, held in Ho Chi Minh City, Vietnam, in November 2012. The 34 revised full papers presented were carefully selected and reviewed from over 100 submissions. The papers cover a wide spectrum of issues in the area of Context-Aware Systems (CAS). CAS …
- Edisi
- -
- ISBN/ISSN
- 9783642366420
- Deskripsi Fisik
- xiv, 358 hlm. : il.
- Judul Seri
- Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering
- No. Panggil
- E1193
Artificial intelligence applications and innovations
This book constitutes the refereed proceedings of the 9th IFIP WG 12.5 International Conference on Artificial Intelligence Applications and Innovations, AIAI 2013, held in Paphos, Cyprus, in September/October 2013. The 26 revised full papers presented together with a keynote speech at the main event and 44 papers of 8 collocated workshops were carefully reviewed and selected for inclusion in th…
- Edisi
- -
- ISBN/ISSN
- 9783642411427
- Deskripsi Fisik
- xxviii, 709 hlm. ; il. warna
- Judul Seri
- IFIP Advances in Information and Communication Technology
- No. Panggil
- E1308
Advances in digital forensics IX
Digital forensics deals with the acquisition, preservation, examination, analysis and presentation of electronic evidence. Networked computing, wireless communications and portable electronic devices have expanded the role of digital forensics beyond traditional computer crime investigations. Practically every crime now involves some aspect of digital evidence; digital forensics provides the te…
- Edisi
- -
- ISBN/ISSN
- 9783642411489
- Deskripsi Fisik
- xx, 398 hlm. ; il. warna
- Judul Seri
- IFIP Advances in Information and Communication Technology
- No. Panggil
- E1310
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah