Home | Amazing | Today | Tags | Publishers | Years | Search 
Pattern Calculus: Computing with Functions and Structures
Pattern Calculus: Computing with Functions and Structures

The pattern calculus is a new foundation for computation, in which the expressive power of functions and of data structures are combined within pattern-matching functions. The best existing foundations focus on either functions, as in the lambda-calculus, or on data structures, as in Turing machines, or on compromises involving both, as in...

Programming Microsoft LINQ in Microsoft .NET Framework 4
Programming Microsoft LINQ in Microsoft .NET Framework 4

We saw Language Integrated Query (LINQ) for the first time in September 2005, when the LINQ Project was announced during the Professional Developers Conference (PDC 2005). We immediately realized the importance and the implications of LINQ for the long term. At the same time, we felt it would be a huge error to look to LINQ only for its...

Android in Action
Android in Action

When we set out to write the first version of this book, many friends and family wondered just what this Android thing was all about. Now, two years after the publication of the first edition, Android is nearly a household term.

The first edition of the book, Unlocking Android, enjoyed enough success that we were privileged to have...

Genders (The New Critical Idiom)
Genders (The New Critical Idiom)

The concept of gender continues to be a central issue in literary and cultural studies, with a significance that crosses disciplinary boundaries and provokes lively debate. In this fully revised and updated second edition, David Glover and Cora Kaplan offer a lucid and illuminating introduction to ’gender’ and its implications,...

Rails Test Prescriptions (Pragmatic Programmers)
Rails Test Prescriptions (Pragmatic Programmers)

Your Ruby on Rails application is sick. It's got bugs. Nobody remembers what that tricky piece of code was supposed to do, and nobody can tell what it actually does. Deadlines are looming, but every time you make the slightest change to the code, something else breaks.

You need Test-Driven Development (TDD), a
...

Information Retrieval Technology: 6th Asia Information Retrieval Societies Conference
Information Retrieval Technology: 6th Asia Information Retrieval Societies Conference

The Asia Information Retrieval Societies Conference (AIRS) 2010 was the sixth conference in the AIRS series, aiming to bring together international researchers and developers to exchange new ideas and the latest results in information retrieval.

The scope of the conference encompassed the theory and practice of all aspects of...

Building the Mobile Internet (Networking Technology)
Building the Mobile Internet (Networking Technology)

The complete guide to technologies and protocols for delivering seamless mobile Internet experiences

 

In Building the MobileInternet, three leading mobility architects and implementers from Cisco present complete foundational knowledge about...

Change Management for Semantic Web Services
Change Management for Semantic Web Services

Software automates a wide variety of business processes in modern enterprises. Changes made to software are, in effect, changes made to the business processes themselves that govern and automate the internal and external operations of an organization.Without a proper disciplined approach to change management, enterprises lack a full...

Software Language Engineering: Third International Conference, SLE 2010
Software Language Engineering: Third International Conference, SLE 2010

We are pleased to present the proceedings of the third international conference on Software Language Engineering (SLE 2010). The conference was held in Eindhoven, the Netherlands during October 12–13, 2010. It was co-located with the ninth international conference on Generative Programming and Component Engineering (GPCE) and the...

Design Methodologies for Secure Embedded Systems: Festschrift in Honor of Prof. Dr.-Ing. Sorin A. Huss
Design Methodologies for Secure Embedded Systems: Festschrift in Honor of Prof. Dr.-Ing. Sorin A. Huss

This Festschrift is dedicated to Mr. Sorin A. Huss by his friends and his Ph.D. students to honor him duly on the occasion of his 60th birthday.

Mr. Sorin A. Huss was born in Bukarest, Romania on May 21, 1950. He attended a secondary school with emphasis on mathematic and scientific topics in Dachau near Munich and after his Abitur...

Molecular Pain
Molecular Pain

T he initial idea for this book came from Dr. Li Bingxiang at Higher Education Press during an international symposium in beautiftil southern China. Unlike traditional textbooks on pain, she proposed I write a new book that included recent progress in the neurobiology of pain.

This idea revived my long-term interest in editing a...

Energy and Climate: How to achieve a successful energy transition
Energy and Climate: How to achieve a successful energy transition

Despite global concerns over dwindling resources, climate change and carbon dioxide emissions, fossil fuels still account for more than 80% of the world’s energy demands. As resources diminish and demand increases from rapidly developing nations such as China and India, the threat to both our environment and the security of our energy...

Result Page: 78 77 76 75 74 73 72 71 70 69 68 67 66 65 64 63 62 61 60 
©2024 LearnIT (support@pdfchm.net) - Privacy Policy