Pro Visual C++/CLI and the .NET 2.0 Platform, Stephen R.G. Fraser

Автор: Gordon Hogenson
Название: C++/CLI
ISBN: 1484220277 ISBN-13(EAN): 9781484220276
Издательство: Springer
Рейтинг:
Цена: 40650.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Here is a fast-paced primer that kick-starts developers into the world of C++/CLI. Twenty no-fluff chapters by Microsoft insiders delve into the heart of the language and explain how the language elements work, and how Microsoft intends them to be used.

Автор: Cliff Jones, Pekka Pihlajasaari
Название: FM 2014 :
ISBN: 3319064096 ISBN-13(EAN): 9783319064093
Издательство: Springer
Рейтинг:
Цена: 107130.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The focus of the papers is on the following topics: Interdisciplinary Formal Methods, Practical Applications of Formal Methods in Industrial and Research Settings, Experimental Validation of Tools and Methods as well as Construction and Evolution of Formal Methods Tools.

Автор: Cliff Jones; Zhiming Liu; Jim Woodcock
Название: Formal Methods and Hybrid Real-Time Systems
ISBN: 354075220X ISBN-13(EAN): 9783540752202
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Includes 25 refereed papers that cover a broad spectrum of subjects, from foundational and theoretical topics to algorithms and systems issues and to applications, comprising formal methods, systems modelling, hybrid and real-time systems, specification and verification, as well as interval temporal logic.

Автор: Joachim Rossberg
Название: Pro Visual Studio Team System Application Lifecycle Management
ISBN: 1484220420 ISBN-13(EAN): 9781484220429
Издательство: Springer
Рейтинг:
Цена: 51470.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: You can have the best coders in the world working in your teams, but if your project management isn`t up to scratch, your project is almost certain to be delayed, to come in over budget, and in some cases to fail entirely.

Автор: Marcus Heege
Название: Expert Visual C++/CLI
ISBN: 1430211687 ISBN-13(EAN): 9781430211686
Издательство: Springer
Рейтинг:
Цена: 56180.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Stan Lippman is a best-selling C++ author and a major contributor to its growth and standardization. Here, under Stan`s guidance, Marcus Heege, C++ developer and trainer - and Visual C++ MVP - explains how the core C++/CLI language elements work and, as important, how Microsoft intends them to be used.

Автор: Dines Bj?rner; Cliff Jones; Michael Mac An Airchin
Название: VDM `87. VDM - A Formal Method at Work
ISBN: 3540176543 ISBN-13(EAN): 9783540176541
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Clive L.N. Ruggles; Derek Andrews; David Blyth; Co
Название: Formal Methods in Standards
ISBN: 3540195777 ISBN-13(EAN): 9783540195771
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 A survey of formal methods . 1 FDTs and FSLs for sequential software . 3 me too . 6 Clear . l . 3 Graphical formalisms . 2 Higraphs . 4 Less formal methods and notations . 2 Structured Design . 3 SSADM and LSDM . 5 HDM and the SPECIAL language .

Автор: Freeman Adam
Название: Pro ASP.NET MVC 5 Platform
ISBN: 1430265418 ISBN-13(EAN): 9781430265412
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Part 1. Getting Ready

1. Putting the ASP.NET Platform in Context

2. Patterns and Tools Primer

Part 2. The ASP.NET Platform Foundation

3. The ASP.NET Lifecycles

4. Modules

5. Handlers

6. Disrupting the Request Lifecycle

7. Detecting Device Capabilities

8. Tracing Requests

Part 3. The ASP.NET Services

9. Configuration

10. State Data

11. Caching Data

12. Caching Content

13. Get Started with ASP.NET Identity

14. Applying ASP.NET Identity

15. Advanced ASP.NET Identity

Автор: Karl Moore
Название: Karl Moore`s Visual Basic .NET
ISBN: 159059021X ISBN-13(EAN): 9781590590218
Издательство: Springer
Рейтинг:
Цена: 41920.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This is a quick and easy, and even fun, tutorial for beginner VB.NET programmers, especially those learning from scratch or moving from VB6.

Автор: David Nelson; Jeff Levinson
Название: Pro Visual Studio Team System with Team Edition for Database Professionals
ISBN: 1484220129 ISBN-13(EAN): 9781484220122
Издательство: Springer
Рейтинг:
Цена: 51160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Updated to include coverage of the latest `DBPro` extension for database professionals this book is the only reference needed to get started with Visual Studio 2005 Team System. If you are a developer, you will learn how to write higher-quality code, and ensure that the code works and performs well.

Автор: Michael Butler; Cliff Jones; Alexander Romanovsky;
Название: Methods, Models and Tools for Fault Tolerance
ISBN: 3642008666 ISBN-13(EAN): 9783642008665
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The complexity of modern software systems makes it difficult to ensure the dependability of software-intensive systems. This book is based on the workshop on Methods, Models and Tools for Fault Tolerance, MeMoT 2007, held in conjunction with the 6th international conference on Integrated Formal Methods, iFM 2007, in Oxford, UK, in July 2007.

Автор: Jason King; Mark Easton
Название: Cross-Platform .NET Development
ISBN: 1430253657 ISBN-13(EAN): 9781430253655
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: * The only booThek that shows how to build cross-platform .NET applications: provides hands-on experience with the revolutionary Mono and Portable.NET projects on Linux and Mac OS X. * Describes how to build cross-platform GUIs that run on any .NET implementation.