Biological Interactions Of Sulfur Compounds

Access Nets: Third International Conference on Access Networks, AccessNets 2008, Las Vegas, NV, USA, October 15-17, 2008. Revised Papers

Springer, 2009

This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on Access Networks, AccessNets 2008, held in Las Vegas, NV, USA, in October 2008.

The 30 revised full papers presented together with 5 invited papers were carefully reviewed and selected. The papers present original and...

Information Systems Development: Asian Experiences

Springer, 2010

Information Systems Development (ISD) progresses rapidly, continually creating new challenges for the professionals involved. New concepts, approaches and techniques of systems development emerge constantly in this field. Progress in ISD comes from research as well as from practice.

This conference will discuss issues pertaining to...

Piton: A Mechanically Verified Assembly-Level Language (Automated Reasoning Series)

Springer, 1996

This book describes the specification and proof of a compiler for a realistically complicated assembly-level language. The book defines the state of the art in machine check proofs of software. Piton is a simple assembly-level programming language for a microprocessor called the FM9001 described at the machine code level. The correctness of...

Scripted GUI Testing with Ruby (Pragmatic Programmers)

Pragmatic Bookshelf, 2008

What do you want from your tests?

Your answer to that question will shape your software testing efforts to a great degree. It will especially affect how you do your GUI tests and in particular what role automation plays for you.

Lots of folks talk about automated testing, but the term is a bit of a misnomer. All but the most...

Still in the Game: Finding the Faith to Tackle Life’s Biggest Challenges

Thomas Nelson Inc, 2019

Be proud of your scars. They’re signs that you survived whatever tried to break you.

For Devon Still, life has been a journey from one scar to the next. From one challenge to the next. His is a story of pushing through pain and overcoming obstacles of all shapes and sizes—of choosing to fight...

Developing B2B Social Communities: Keys to Growth, Innovation, and Customer Loyalty

Apress, 2013

Developing B2B Social Communities: Keys to Growth, Innovation, and Customer Loyalty explains why business-to-business companies need a robust online community strategy to survive and flourish in today’s changing economy and shows you how to design and execute your company’s strategy successfully.

...