Database Programming Languages (DBPL-4), Catriel Beeri; Atsushi Ohori; Dennis Shasha
Автор: Sophie Cluet; Rick Hull Название: Database Programming Languages ISBN: 3540648232 ISBN-13(EAN): 9783540648239 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The papers that constitute this volume address aspects of database programming languages, including: spatial databases; typing; query languages for new applications; views; expressive power; aggregate queries; cooperative work; and transactions.
Автор: Gosta Grahne; Giorgia Ghelli Название: Database Programming Languages ISBN: 3540440801 ISBN-13(EAN): 9783540440802 Издательство: Springer Рейтинг: Цена: 11179.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The papers here are organized in topical sections on semistructured data OL AP and data mining systems, schema integration, and index concurrency XML spatial databases user languages and rules.
Автор: Fajfar Название: Start Programming Using HTML, CSS, and JavaScript ISBN: 1498731449 ISBN-13(EAN): 9781498731447 Издательство: Taylor&Francis Рейтинг: Цена: 15312.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
A Beginner's Guide to Computer Programming
Start Programming Using HTML, CSS, and JavaScript is a manual for undergraduate students in engineering and the natural sciences to discover how computer programming works. Using a dialog format between two students and a professor, the text teaches students how the mainstream web languages HTML, CSS, and JavaScript interact and how to harness their capabilities in practical settings.
Each chapter focuses on a specific theme supported by a gradual development of engaging worked examples of live web documents and applications using the three languages. Students can follow most of the examples and experiments using any modern browser and plain text editor. A practical homework problem is included at the end of every chapter and then is discussed at the beginning of the next chapter. In addition, a related keywords list helps students review key topics.
By focusing on important established principles and concrete examples, this introductory book shows students how to write cleaner and more easily maintainable code. It augments the basic language syntax and rules with contents and structure while keeping the material simple and manageable.
Автор: Alberto Pardo; S. Doaitse Swierstra Название: Programming Languages ISBN: 3319240110 ISBN-13(EAN): 9783319240114 Издательство: Springer Рейтинг: Цена: 5590.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 19th Brazilian Symposium on Progamming Languages, SBLP 2015, held in Belo Horizonte, Brazil, in September 2015. They deal with fundamental principles and innovations in the design and implementation of programming languages and systems.
Автор: S. Doaitse Swierstra Название: Programming Languages and Systems ISBN: 3540656995 ISBN-13(EAN): 9783540656999 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This text presents the proceedings of the 8th European Symposium on Programming. The revised papers cover topics including program logics, data structures, sequential programming, type systems, language interoperation, C programming, sequential Java, constraint programming and code splicing.
Автор: J?rg Gutknecht; Wolfgang Weck Название: Modular Programming Languages ISBN: 3540679588 ISBN-13(EAN): 9783540679585 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The papers presented here are organized in sections on parallel and distributed computing, components, extensions and applications, and compilers and runtime environments.
Автор: Reynolds Название: Theories of Programming Languages ISBN: 0521594146 ISBN-13(EAN): 9780521594141 Издательство: Cambridge Academ Рейтинг: Цена: 10613.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: First published in 1998, this textbook is a broad but rigourous survey of the theoretical basis for the design, definition and implementation of programming languages and of systems for specifying and proving program behaviour.
Автор: Jorgensen Название: Software Testing ISBN: 1466560681 ISBN-13(EAN): 9781466560680 Издательство: Taylor&Francis Рейтинг: Цена: 15310.00 р. Наличие на складе: Нет в наличии.
Описание: This updated and reorganized fourth edition of Software Testing: A Craftsman's Approach applies the strong mathematics content of previous editions to a coherent treatment of Model-Based Testing for both code-based (structural) and specification-based (functional) testing. These techniques are extended from the usual unit testing discussions to full coverage of less understood levels integration and system testing.? The Fourth Edition: Emphasizes technical inspections and is supplemented by an appendix with a full package of documents required for a sample Use Case technical inspection Introduces an innovative approach that merges the Event-Driven Petri Nets from the earlier editions with the "Swim Lane" concept from the Unified Modeling Language (UML) that permits model-based testing for four levels of interaction among constituents in a System of Systems Introduces model-based development and provides an explanation of how to conduct testing within model-based development environments Presents a new section on methods for testing software in an Agile programming environment Explores test-driven development, reexamines all-pairs testing, and explains the four contexts of software testing Thoroughly revised and updated, Software Testing: A Craftsman’s Approach, Fourth Edition is sure to become a standard reference for those who need to stay up to date with evolving technologies in software testing. Carrying on the tradition of previous editions, it will continue to serve as a valuable reference for software testers, developers, and engineers.
Автор: Matthias Felleisen; Philippa Gardner Название: Programming Languages and Systems ISBN: 3642370357 ISBN-13(EAN): 9783642370359 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 2013. shared-memory concurrency and verification; weak-memory concurrency and verification;
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
