http://hdl.handle.net/123456789/14 2026-04-17T12:55:48Z http://hdl.handle.net/123456789/17 Title: Head first jQuery / Authors: Benedetti, Ryan; Cranley, Ronan 2011-01-01T00:00:00Z http://hdl.handle.net/123456789/16 Title: SQL For Dummies / Authors: Taylor, Allen Description: Relational database management systems are vital to many organizations. People often think that creating and maintaining these systems must be extremely complex activities — the domain of database gurus who possess enlightenment beyond that of mere mortals. This book sweeps away the database mystique. In this book, you ✓ Get to the roots of databases. ✓ Find out how a DBMS is structured. ✓ Discover the major functional components of SQL. ✓ Build a database. ✓ Protect a database from harm. ✓ Operate on database data. ✓ Determine how to get the information you want out of a database. 2010-01-01T00:00:00Z http://hdl.handle.net/123456789/15 Title: Head first C# / Authors: Stellman, Andrew; Greene, Jennifer Description: "A leaner's guide to real-world programming with C#, XAML, and .NET" -- Cover. 2013-08-01T00:00:00Z http://hdl.handle.net/123456789/12 Title: Theories of programming and formal methods / Authors: Liu, Zhiming; Woodcock, Jim; Zhu, Huibiao Description: Set-theoretic models of computations -- Model-based mutation testing of reactive systems : from semantics to automated test-case generation -- Pliant modalities in hybrid event-B -- A relational approach to an algebraic community : from Paul Erdős to He Jifeng -- Practical theory extension in event-B -- Simulink timed models for program verification -- Concept analysis based approach to statistical web testing -- Algebraic program semantics for supercomputing -- Modeling and specification of real-time interfaces with UTP -- Some fixed-point issues in PPTL -- The value-passing calculus -- Proving safety of traffic manoeuvres on country roads -- Generic models of the laws of programming -- Ours is to reason why -- Optimal bounds for multiweighted and parametrised energy games -- On the relationship between LTL normal forms and Büchi automata -- Managing environment and adaptation risks for the internetware paradigm -- Safety versus security in the quality calculus -- Invariants synthesis over a combined domain for automated program verification -- Slow abstraction via priority -- Performance estimation using symbolic data -- Synthesizing switching controllers for hybrid systems by generating invariants -- Graph-based object-oriented Hoare logic -- Towards a modeling language for cyber-physical systems. 2013-01-01T00:00:00Z