Ditapis dengan
The Deductive Spreadsheet
This book describes recent multidisciplinary research at the confluence of the fields of logic programming, database theory and human-computer interaction. The goal of this effort was to develop the basis of a deductive spreadsheet, a user productivity application that allows users without formal training in computer science to make decisions about generic data in the same simple way they curre…
- Edisi
- -
- ISBN/ISSN
- 9783642377471
- Deskripsi Fisik
- xxi, 406 hlm. ; il.
- Judul Seri
- -
- No. Panggil
- E1221
Business modeling and software design : Second International Symposium, BMSD …
This book contains the extended and revised versions papers from the Second International Symposium on Business Modeling and Software Design (BMSD 2012), held in Geneva, Switzerland, in July 2012, organized and sponsored by the Interdisciplinary Institute for Collaboration and Research on Enterprise Systems and Technology (IICREST), in cooperation with the Center for Telematics and Information …
- Edisi
- -
- ISBN/ISSN
- 9783642374784
- Deskripsi Fisik
- xii, 149 hlm. : il.
- Judul Seri
- Lecture Notes in Business Information Processing
- No. Panggil
- E1217
Collaborative, trusted and privacy-aware e/m-services : 12th IFIP WG 6.11 Con…
This book constitutes the refereed conference proceedings of the 12th IFIP WG 6.11 Conference on e-Business, e-Services and e-Society, I3E 2013, held in Athens, Greece, in April 2013. The 25 revised papers presented together with a keynote speech were carefully reviewed and selected from numerous submissions. They are organized in the following topical sections: trust and privacy; security, acc…
- Edisi
- -
- ISBN/ISSN
- 9783642374371
- Deskripsi Fisik
- xv, 350 hlm.
- Judul Seri
- IFIP Advances in Information and Communication Technology
- No. Panggil
- E1215
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
Open and social technologies for networked learning : IFIP WG 3.4 Internation…
This volume constitutes the refereed post-proceedings of the IFIP WG 3.4 International Conference on Open and Social Technologies for Networked Learning, OST 2012, held in Tallinn, Estonia, in July/August 2012. The 16 full papers presented together with 3 short papers and 5 doctoral student papers were thoroughly reviewed and selected from numerous submissions. The papers cover a wide range of …
- Edisi
- -
- ISBN/ISSN
- 9783642372858
- Deskripsi Fisik
- xi, 211 hlm.
- Judul Seri
- IFIP Advances in Information and Communication Technology
- No. Panggil
- E1209
Knowledge discovery, knowledge engineering and knowledge management : Third I…
This book constitutes the thoroughly refereed post-conference proceedings of the Third International Joint Conference on Knowledge Discovery, Knowledge Engineering, and Knowledge Management, IC3K 2011, held in Paris, France, in October 2011. This book includes revised and extended versions of a strict selection of the best papers presented at the conference; 39 revised full papers together with…
- Edisi
- -
- ISBN/ISSN
- 9783642371868
- Deskripsi Fisik
- xviii, 472 hlm. : il.
- Judul Seri
- Communications in Computer and Information Science
- No. Panggil
- E1207
Seminal contributions to information systems engineering : 25 years of CAiSE
In 2013, the International Conference on Advance Information Systems Engineering (CAiSE) turns 25. Initially launched in 1989, for all these years the conference has provided a broad forum for researchers working in the area of Information Systems Engineering. To reflect on the work done so far and to examine prospects for future work, the CAiSE Steering Committee decided to present a selection…
- Edisi
- -
- ISBN/ISSN
- 9783642369261
- Deskripsi Fisik
- xi, 458 hlm.
- Judul Seri
- -
- No. Panggil
- E1203
Agents and artificial intelligence : 4th International Conference, ICAART 201…
This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Conference on Agents and Artificial Intelligence, ICAART 2012, held in Vilamoura, Portugal, in February 2012. The 28 revised full papers presented together with one invited paper were carefully reviewed and selected from 292 submissions. The papers are organized in two topical sections on artifici…
- Edisi
- -
- ISBN/ISSN
- 9783642369070
- Deskripsi Fisik
- xiv, 449 hlm. : il.
- Judul Seri
- Communications in Computer and Information Science
- No. Panggil
- E1202
Advances in production management systems. Sustainable production and service…
The two volumes IFIP AICT 414 and 415 constitute the refereed proceedings of the International IFIP WG 5.7 Conference on Advances in Production Management Systems, APMS 2013, held in University Park, PA, USA, in September 2013. The 133 revised full papers were carefully reviewed and selected for inclusion in the two volumes. They are organized in 4 parts: sustainable production, sustainable sup…
- Edisi
- -
- ISBN/ISSN
- 9783642412639
- Deskripsi Fisik
- xxiv, 604 hlm. ; il. warna
- Judul Seri
- IFIP Advances in Information and Communication Technology
- No. Panggil
- E1314
S-BPM illustrated : a storybook about business process modeling and execution
S-BPM stands for “subject-oriented business process management†and focuses on subjects that represent the entities (people, programs etc.) that are actively engaged in processes. S-BPM has become one of the most widely discussed approaches for process professionals. Its potential particularly lies in the integration of advanced information technology with organizational and manager…
- Edisi
- -
- ISBN/ISSN
- 9783642369049
- Deskripsi Fisik
- x, 143 hlm. : il. warna
- Judul Seri
- -
- No. Panggil
- E1201
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah