Filter by
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
- -
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
- -
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
- -
Presentation Software
PowerPoint 2010 is a complete presentation graphics program that allows you to produce professional looking presentations. Slides can be created and displayed as a slide show on your computer, video projector, or on the Internet. Information from a PowerPoint presentation can be printed in a handout form or as transparencies. PowerPoint allows for data to be entered and edited quickly and eff…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- 005 ABT p
Certifying Software Component Performance Specifications
In component-based software engineering, performance prediction approaches support the design of business information systems on the architectural level. They are based on behavior specifications of components. This work presents a round-trip approach for using, assessing, and certifying the accuracy of parameterized, probabilistic, deterministic, and concurrent performance specifications. Its …
- Edition
- -
- ISBN/ISSN
- 978-3-7315-0080-3
- Collation
- -
- Series Title
- -
- Call Number
- 005 GRO c
Blueprints : Creating, Describing, and Implementing Designs for Larger-Scale …
Blueprints is a concise yet comprehensive coverage of Object-Oriented Analysis and Design concepts, suitable for a second programming course in Computer Science. It introduces and teaches application development in a command-line environment, and assumes basic expertise with the Java programming language.
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- 005 DAV b
Extending SSIS with .NET Scripting A Toolkit for SQL Server Integration Serv…
Extending SSIS with .NET Scripting is a timeless and comprehensive scripting toolkit for SQL Server Integration Services to solve a wide array of everyday problems that SSIS developers encounter. The detailed explanation of the Script Task and Script Component foundations helps you develop your own scripting solutions, but this book also shows a broad arsenal of readymade and well-documented sc…
- Edition
- -
- ISBN/ISSN
- 978-1-4842-0638-6
- Collation
- 271 b/w illustrations
- Series Title
- -
- Call Number
- -
Exploring the Raspberry Pi 2 with C++
You have a Pi 2, but what exactly can you do with it? This book takes you on a tour of the Pi 2 hardware and all of the fantastic things that you can do to create innovative and useful projects with your Pi. Start with creating a workstation that does actual work, and move into installing a custom kernel, creating a clock, learning the ins and outs of the GPIO interface, and pick up some useful…
- Edition
- -
- ISBN/ISSN
- 978-1-4842-1739-9
- Collation
- 28 b/w illustrations, 37 illustrations in colour
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography