2600: The Hacker Quarterly, Summer 20022600: The Hacker Quarterly, Summer 2002:
2600: The Hacker Quarterly is a quarterly American publication that specializes in publishing technical information on a variety of subjects including telephone switching systems, Internet protocols and services, as well as... | | Teach Yourself Perl 5 in 21 DaysTeach Yourself Perl in 21 Days will cover the basics in the first few chapters, and then move to practical uses of Perl and in-depth discussions of more advanced topics. Later chapters will also delve into software engineering topics, with discussions of modular code and object-oriented programming. CGI will be covered in one chapter, but will not... | | Abstraction Refinement for Large Scale Model CheckingAbstraction Refinement for Large Scale Model Checking summarizes recent research on abstraction techniques for model checking large digital system. Considering both the size of today's digital systems and the capacity of state-of-the-art verification algorithms, abstraction is the only viable solution for the successful application of model... |