Filter by
Advances in Service-Oriented and Cloud Computing: Workshops of ESOCC 2014, Ma…
This volume contains the technical papers presented in the four high-quality workshops associated with the European Conference on Service-Oriented and Cloud Computing, ESOCC 2014, held in Manchester, UK, in September 2014: 4th International Workshop on Adaptive Services for the Future Internet, WAS4FI 2014, 2nd International Workshop on Cloud for IoT, CLIoT 2014, 2nd International Workshop on C…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-14886-1
- Collation
- XI, 287
- Series Title
- Communications in Computer and Information Science
- Call Number
- 004.6 ADV a
Unifying Theories of Programming 5th International Symposium, UTP 2014, Sing…
This book constitutes the refereed proceedings of the 5th International Symposium on Unifying Theories of Programming, UTP 2014, held in Singapore, Singapore, in May 13, 2014, co-located with the 19th International Symposium on Formal Methods, FM 2014. The 7 revised full papers presented together with one invited talk were carefully reviewed and selected from 11 submissions. They deal with nume…
- Edition
- -
- ISBN/ISSN
- 978-3-319-14806-9
- Collation
- 10 b/w illustrations
- Series Title
- -
- Call Number
- -
Dynamics in Logistics : Proceedings of the 4th International Conference LDIC,…
This contributed volume brings together research papers presented at the 4th International Conference on Dynamics in Logistics, held in Bremen, Germany in February 2014. The conference focused on the identification, analysis and description of the dynamics of logistics processes and networks. Topics covered range from the modeling and planning of processes, to innovative methods like autonomous…
- Edition
- -
- ISBN/ISSN
- 9783319235127
- Collation
- XV, 727 pages 208 illustrations in color
- Series Title
- -
- Call Number
- 005.3
Understanding Network Hacks Attack and Defense with Python
This book explains how to see one's own network through the eyes of an attacker, to understand their techniques and effectively protect against them. Through Python code samples the reader learns to code tools on subjects such as password sniffing, ARP poisoning, DNS spoofing, SQL injection, Google harvesting and Wifi hacking. Furthermore the reader will be introduced to defense methods such as…
- Edition
- -
- ISBN/ISSN
- 978-3-662-44437-5
- Collation
- 26 b/w illustrations
- Series Title
- -
- Call Number
- -
Seneca's Characters: Fictional Identities and Implied Human Selves
Karakter Seneca membahas salah satu elemen sastra yang paling bertahan lama dan paling tidak berteori: karakter fiksi dan hubungannya dengan manusia yang sebenarnya kedirian. Di mana letak batas antara karakter dan pribadi? Meskipun karakter yang kita temui dalam teks jelas bukan orang yang 'nyata', mereka tetap memilikinya kualitas seperti orang yang merangsang perhatian dan keterlibatan kita.
- Edition
- -
- ISBN/ISSN
- 9781108770040
- Collation
- -
- Series Title
- -
- Call Number
- T 872.01 BEX s
Roles of Justice in Bioethics
Elemen ini menelusuri asal-usul dan perkembangan bioetika, prinsip dan nilai yang terlibat dalam disiplin, dan landasan keadilan di antara prinsip dan nilai tersebut. Tugas utama yang diberikan pada konsep keadilan sejak akhir 1970-an adalah nondiskriminasi dalam penelitian, prioritas dalam praktik medis, dan redistribusi dalam perawatan kesehatan.
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- T 172.2 HAY r
UML @ Classroom An Introduction to Object-Oriented Modeling
This textbook mainly addresses beginners and readers with a basic knowledge of object-oriented programming languages like Java or C#, but with little or no modeling or software engineering experience – thus reflecting the majority of students in introductory courses at universities. Using UML, it introduces basic modeling concepts in a highly precise manner, while refraining from the interpre…
- Edition
- -
- ISBN/ISSN
- 978-3-319-12742-2
- Collation
- XII, 206
- Series Title
- -
- Call Number
- -
Trustworthy Computing and Services International Conference, ISCTCS 2014, Be…
This book constitutes the refereed proceedings of the International Standard Conference on Trustworthy Computing and Services, ISCTCS 2014, held in Beijing, China, in November 2014. The 51 revised full papers presented were carefully reviewed and selected from 279 submissions. The topics covered are architecture for trusted computing systems; trusted computing platform; trusted system building;…
- Edition
- -
- ISBN/ISSN
- 978-3-662-47401-3
- Collation
- 206 b/w illustrations
- Series Title
- -
- Call Number
- -
Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the …
This Festschrift volume contains 28 refereed papers including personal memories, essays, and regular research papers by close collaborators and friends of José Meseguer to honor him on the occasion of his 65th birthday. These papers were presented at a symposium at the University of Illinois at Urbana-Champaign on September 23-25, 2015. The symposium also featured invited talks by Claude and …
- Edition
- -
- ISBN/ISSN
- 978-3-319-23165-5
- Collation
- -
- Series Title
- -
- Call Number
- -
FM 2015: Formal Methods 20th International Symposium, Oslo, Norway, June 24-…
This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions. The papers cover a wide spectrum of all the different aspects of the use of and the research on formal methods for software development.
- Edition
- -
- ISBN/ISSN
- 978-3-319-19249-9
- Collation
- 156 b/w illustrations
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography