 |
|
 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
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
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... |
|
|
 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
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
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... |
|
|
Result Page: 78 77 76 75 74 73 72 71 70 69 68 67 66 65 64 63 62 61 60 |