Programming in Modula-3, R. Bach; J. Weizenbaum; Laszlo B?sz?rmenyi; Carste

Автор: Chiba
Название: Transactions on Modularity and Composition I
ISBN: 3319469681 ISBN-13(EAN): 9783319469683
Издательство: Springer
Рейтинг:
Цена: 10761.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The LNCS Transactions on Modularity and Composition are devoted to all aspects of software modularity and composition methods, tools, and techniques, covering requirement analysis, design, implementation, maintenance, and evolution.

Автор: Michel Schellekens
Название: A Modular Calculus for the Average Cost of Data Structuring
ISBN: 148999906X ISBN-13(EAN): 9781489999061
Издательство: Springer
Рейтинг:
Цена: 19564.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book introduces the first programming language for which average-case time analysis of its programs is guaranteed to be modular. The main time measure currently used for real-time languages (worst-case time) is well-known not to be modular in general, which makes average-case analysis notoriously difficult.

Автор: G?nther Blaschek; R. Bach; Gustav Pomberger
Название: Introduction to Programming with Modula-2
ISBN: 3540520384 ISBN-13(EAN): 9783540520382
Издательство: Springer
Рейтинг:
Цена: 11173.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Intended to establish a solid foundation in the techniques of programming in Modula-2 for both the novice and the experienced programmer. The authors seek to familiarize the reader with the concept of algorithms and show how to implement algorithms in Modula-2.

Автор: Daniel Thalmann
Название: Modula-2
ISBN: 354013297X ISBN-13(EAN): 9783540132974
Издательство: Springer
Рейтинг:
Цена: 15372.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: MODULA-2 is a new programming language which was created by Niklaus Wirth of the Swiss Federal Institute of Technology (ETH) in Zurich. In summary, MODULA-2 may be used equally well as a general-purpose programming language and as a system implementation language.

Автор: Tan Yang Meng
Название: Formal Specification Techniques for Engineering Modular C Programs
ISBN: 0792396537 ISBN-13(EAN): 9780792396536
Издательство: Springer
Рейтинг:
Цена: 23751.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This work describes an approach to promoting program modularity. It presents a formal specification language that promotes software modularity through the use of abstract data types, even though the underlying programming language may not have such support.

Автор: Peter M?ller
Название: Modular Specification and Verification of Object-Oriented Programs
ISBN: 3540431675 ISBN-13(EAN): 9783540431671
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Two aspects are crucial to widen the application area of formal methods: - Formal speci?cation techniques have to be smoothly integrated into the software and program development process. Starting from these considerations, Peter Muller has developed new te- niques for the formal speci?cation and veri?cation of object-oriented so- ware.

Автор: Heiner Stuckenschmidt; Christine Parent; Stefano S
Название: Modular Ontologies
ISBN: 3642019064 ISBN-13(EAN): 9783642019067
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A collection of research achievements mature enough to provide a firm and reliable basis on modular ontologies. It offers an analysis of the research area and discusses the concepts, theories and techniques for knowledge modularization.

Автор: Giguere
Название: Programming Interviews Exposed: Secrets to Landing Your Next Job, 3rd Edition
ISBN: 1118261364 ISBN-13(EAN): 9781118261361
Издательство: Wiley
Рейтинг:
Цена: 3800.00 р.
Наличие на складе: Поставка под заказ.

Описание: Be prepared for your next job interview with this tried-and-true advice In today's tight job market, competition for programming jobs is hotter than ever. This third edition of a popular guide to the programming interviews includes new code examples, information on the latest languages, new chapters on sorting and design patterns, tips on using LinkedIn, and a downloadable app to help prepare applicants for the interview. Like its earlier editions, this guide covers what software companies and IT departments want their programmers to know and includes plenty of helpful hints to boost your confidence. Looks at current job search and hiring processes, such as the rise of LinkedIn and other social networks as recruiting resources Addresses the most important languages for a programmer to know and features examples in multiple languages Includes new programming questions designed to sharpen your knowledge Features all-new chapters on design patterns and sorting, including how to deal with memory constraints and mobility issues Walk into your next job interview with confidence, knowing you have thoroughly studied this newest edition of Programming Interviews Exposed.

Автор: Francesco Archetti; G. Di Pillo; M. Lucertini
Название: Stochastic Programming
ISBN: 3540160442 ISBN-13(EAN): 9783540160441
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Working Conference on Stochastic Programming held in Gargnano (Italy), September 15-21, 1983

Автор: J. M. Tobias
Название: Language Design and Programming Methodology
ISBN: 3540097457 ISBN-13(EAN): 9783540097457
Издательство: Springer
Рейтинг:
Цена: 3213.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Christian Gross
Название: Foundations of Object-Oriented Programming Using .NET 2.0 Patterns
ISBN: 1590595408 ISBN-13(EAN): 9781590595404
Издательство: Springer
Рейтинг:
Цена: 5449.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: * Includes coverage on .NET Generics, .NET 2.0. and coverage of both Open Source and Closed Source libraries and applications. *Based on C# code examples that work on multiple platforms (e.g. Linux, Windows, etc). * Focuses on solving problems in short and easy to digest segments.

Автор: Pekka Abrahamsson; Richard Baskerville; Kieran Con
Название: Agile Processes in Software Engineering and Extreme Programming
ISBN: 3540682546 ISBN-13(EAN): 9783540682547
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 8th International Conference on Agile Processes in Software Engineering and eXtreme Programming, XP 2008, held in Limerick, Ireland, in June 2008.