Filter by
A Guided Tour of Mathematical Methods for the Physical Sciences
Mathematical methods are essential tools for all physical scientists. This second edition provides a comprehensive tour of the mathematical knowledge and techniques that are needed by students in this area. In contrast to more traditional textbooks, all the material is presented in the form of problems. Within these problems the basic mathematical theory and its physical applications are well i…
- Edition
- -
- ISBN/ISSN
- 9780511983962
- Collation
- -
- Series Title
- -
- Call Number
- -
Verification, Model Checking, and Abstract Interpretation 16th International…
This book constitutes the refereed proceedings of the 16th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2015, held in Mumbai, India, in January 2015. The 24 revised full papers presented were carefully reviewed and selected from 53 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpr…
- Edition
- -
- ISBN/ISSN
- 978-3-662-46081-8
- Collation
- -
- Series Title
- -
- Call Number
- -
Using the C++ Standard Template Libraries
Using the C++ Standard Template Libraries is a contemporary treatment that teaches the generic programming capabilities that the C++ 14 Standard Library provides. In this book, author Ivor Horton explains what the class and function templates available with C++ 14 do, and how to use them in a practical context. You'll learn how to create containers, and how iterators are used with them to ac…
- Edition
- -
- ISBN/ISSN
- 978-1-4842-0004-9
- Collation
- -
- Series Title
- -
- Call Number
- -
Using Microsoft Dynamics AX 2012 Updated for Version R3
Precise descriptions and instructions enable users, students and consultants to understand MS Dynamics AX 2012 rapidly. Microsoft offers Dynamics AX as its premium ERP solution, supporting large and mid-sized organizations with a complete business management solution which is easy to use. Going through a simple but comprehensive case study – the sample company ‘Anso Technologies Inc.’ –…
- Edition
- -
- ISBN/ISSN
- 978-3-658-08295-6
- Collation
- -
- Series Title
- -
- Call Number
- -
Object-Oriented Analysis, Design and Implementation
The second edition of this textbook includes revisions based on the feedback on the first edition. In a new chapter the authors provide a concise introduction to the remainder of UML diagrams, adopting the same holistic approach as the first edition. Using a case-study-based approach for providing a comprehensive introduction to the principles of object-oriented design, it includes: A soun…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-24280-4
- Collation
- Komputer
- Series Title
- Undergraduate Topics in Computer Science
- Call Number
- 005
The Constitution of Algorithms: Ground-Truthing, Programming, Formulating
A laboratory study that investigates how algorithms come into existence. Algorithms—often associated with the terms big data, machine learning, or artificial intelligence—underlie the technologies we use every day, and disputes over the consequences, actual or potential, of new algorithms arise regularly. In this book, Florian Jaton offers a new way to study computerized methods, providi…
- Edition
- -
- ISBN/ISSN
- 9780262363235
- Collation
- -
- Series Title
- -
- Call Number
- 005.1
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
- -
- Series Title
- -
- Call Number
- -
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
- -
- Series Title
- -
- Call Number
- -
Guide to Fortran 2008 Programming
This textbook provides an accessible introduction to the most important features of Fortran 2008. Features: presents a complete discussion of all the basic features needed to write complete Fortran programs; makes extensive use of examples and case studies to illustrate the practical use of features of Fortran 08, and supplies simple problems for the reader; provides a detailed exploration of c…
- Edition
- -
- ISBN/ISSN
- 978-1-4471-6758-7
- Collation
- XI, 408
- Series Title
- -
- Call Number
- 004 BRA g
Arduino Music and Audio Projects
This book is for musical makers and artists who want to gain knowledge and inspiration for your own amazing creations. “Grumpy Mike” Cook, co-author of several books on the Raspberry Pi and frequent answerer of questions of the Arduino forums, brings you a fun and instructive mix and simple and complex projects to help you understand how the Arduino can work with the MIDI system to create m…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-1-4842-1721-4
- Collation
- XXIII, 458
- Series Title
- -
- Call Number
- 005.12 COO a
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography