No Inv.: 453/AF/Perp/91/1c
Judul asli : "Microsoft Windows 95 Internet Kit"
No Inv.: 436-440/P/Perp/99/5c~101840/P/Perp/05/1c
No Inv.: 4097-4101/P/Perp/98/5c
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…
This is the first book to show the capabilities of Microsoft Excel to teach biological and life sciences statistics effectively. It is a step-by-step exercise-driven guide for students and practitioners who need to master Excel to solve practical science problems. If understanding statistics isn’t your strongest suit, you are not especially mathematically-inclined, or if you are wary o…
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 prepare…
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…
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 …
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…