Описание: This book sets out a generative structuralist conception of general theoretical sociology; its philosophy, its problems, and its methods. The field is defined as a comprehensive research tradition with many intersecting subtraditions that share conceptual components.
Название: Proof, Logic and Formalization ISBN: 1138009075 ISBN-13(EAN): 9781138009073 Издательство: Taylor&Francis Рейтинг: Цена: 8726.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A collection of essays from distinguished contributors looking at why it is that mathematical proof is given precedence over other forms of mathematical justification.
Автор: Roy, Peter Van Haridi, Seif Название: Concepts, techniques, and models of computer programming ISBN: 0262220695 ISBN-13(EAN): 9780262220699 Издательство: MIT Press Рейтинг: Цена: 11642.00 р. Наличие на складе: Нет в наличии.
Описание: This innovative text presents computer programming as a unified discipline in a way that is both practical and scientifically sound. It presents all major programming paradigms in a uniform framework that shows their deep relationships and how and where to use them together.
Автор: Sestoft, Peter Название: Programming language concepts ISBN: 331960788X ISBN-13(EAN): 9783319607887 Издательство: Springer Рейтинг: Цена: 7406.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The other describes how to compile a C subset to real (x86) hardware, as a smooth extension of the previously presented compilers.The examples present several interpreters and compilers for toy languages, including compilers for a small but usable subset of C, abstract machines, a garbage collector, and ML-style polymorphic type inference.
Автор: P. K?mmel Название: Formalization of Natural Languages ISBN: 3642666671 ISBN-13(EAN): 9783642666674 Издательство: Springer Рейтинг: Цена: 18167.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The attempt to simulate dialogues in Natural Language by a machine requires extensive analyses of Natural Language`s expression and content phenomena. Sometimes fully self-explanatory or content-related expression units within carrier systems of isolated morphologies guarantee significant insights into phenomena of Natural Language`s content.
Описание: Addressing students, mechanical engineers, technicians and experienced automation engineers, the book will assist to understand and to use OOP in accordance with IEC 61131-3. In a step-by-step process, example programs show how to design a ready-to-use machine module.
Автор: David A. Watt Название: Programming Language Design Concepts ISBN: 0470853204 ISBN-13(EAN): 9780470853207 Издательство: Wiley Рейтинг: Цена: 8546.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Explains the concepts underlying programming languages, and demonstrates how these concepts are synthesized in the paradigms: imperative, OO, concurrent, functional, logic and with scripting languages. This book includes numerous examples using C, Java and C++ as exemplar languages.
Автор: David Gries; Willem-Paul de Roever Название: Programming Concepts and Methods PROCOMET `98 ISBN: 0412837609 ISBN-13(EAN): 9780412837609 Издательство: Springer Рейтинг: Цена: 38992.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Discusses some of the key issues in programming concepts and methods, with an emphasis on formal specification, formal verification and mathematical foundations. This book covers a number of topics in this field, including compositional approaches to specification and verification, the design of verification support tools and more.
Автор: David Gries; Willem-Paul de Roever Название: Programming Concepts and Methods PROCOMET `98 ISBN: 1475762992 ISBN-13(EAN): 9781475762990 Издательство: Springer Рейтинг: Цена: 27950.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: F.L. Bauer; Manfred Broy; E.W. Dijkstra; C.A.R. Ho Название: Control Flow and Data Flow: Concepts of Distributed Programming ISBN: 3540170820 ISBN-13(EAN): 9783540170822 Издательство: Springer Рейтинг: Цена: 18167.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Proceedings of the NATO Advanced Study Institute on Control Flow and Data Flow: Concepts of Distributed Programming held at Marktoberdorf, Federal Republic of Germany, July 31 - August 12, 1984
Автор: Erich J. Neuhold; K.R. Apt; E. Astesiano; Manfred Название: Formal Description of Programming Concepts ISBN: 3540539611 ISBN-13(EAN): 9783540539612 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The lectures cover a wide range in the theoretical foundations of programming and give an up-to-date account of the semantic models and the related tools which have been developed in order to allow a rigorous discussion of the problems met in the construction of correct programs.
Автор: G?kt?rk ??oluk; Sinan Kalkan Название: Introduction to Programming Concepts with Case Studies in Python ISBN: 3709117445 ISBN-13(EAN): 9783709117446 Издательство: Springer Рейтинг: Цена: 5583.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
The World of Programming.- Programming Languages.- Programming Paradigms.- The Zoo of Programming Languages.- How Programming Languages are Implemented.- How a Program gets "written".- Meet Python.- Further Reading.- Exercises.- Data: The First Ingredient of a Program.- What is Data?.- What is Structured Data?.- Basic Data Types.- Basic Organization of Data: Containers.- Accessing Data or Containers by Names: Variables.- Further Reading.- Exercises.- Actions: the 2nd Ingredient of a Program.- Purpose and Scope of Actions.- Action Types.- Controlling Actions: Conditionals.- Reusable Actions: Functions.- Functional Programming Tools in Python.- Further Reading.- Exercises.- Managing the Size of a Problem.- An Action Wizard: Recursion.- Iteration.- Recursion versus Iteration.- Further Reading.- Exercises.- Complexity.- Time and Memory Complexity.- Further Reading.- Exercises.- Organizing Data.- Primitive and Composite Data Types.- Abstract Data Types.- Abstract Data Types in Python.- Further Reading.- Exercises.- Objects: Reunion of Data and Action.- The Idea behind the Object-Oriented Paradigm (OOP).- Properties of Object-Oriented Programming.- Object-Oriented Programming in Python.- Further Reading.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
