Programming Language Implementation and Logic Programming, Maurice Bruynooghe; Jaan Penjam
Автор: Barker-Plummer Dave Название: Language, Proof and Logic, (+CD-ROM) 2nd Edition ISBN: 1575866323 ISBN-13(EAN): 9781575866321 Издательство: Wiley Рейтинг: Цена: 16051.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A textbook/software package that covers first-order language in a method appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course. It also includes applications for mobile devices, exercises, and a dedicated website.
Автор: Langtangen Hans Petter Название: A Primer on Scientific Programming with Python ISBN: 3662498863 ISBN-13(EAN): 9783662498866 Издательство: Springer Рейтинг: Цена: 4890.00 р. 6986.00-30% Наличие на складе: Есть (1 шт.) Описание: The book serves as a first introduction to computer programming of scientific applications, using the high-level Python language. The exposition is example and problem-oriented, where the applications are taken from mathematics, numerical calculus, statistics, physics, biology and finance. The book teaches 'Matlab-style' and procedural programming as well as object-oriented programming. High school mathematics is a required background and it is advantageous to study classical and numerical one-variable calculus in parallel with reading this book. Besides learning how to program computers, the reader will also learn how to solve mathematical problems, arising in various branches of science and engineering, with the aid of numerical methods and programming. By blending programming, mathematics and scientific applications, the book lays a solid foundation for practicing computational science.From the reviews: Langtangen … does an excellent job of introducing programming as a set of skills in problem solving. He guides the reader into thinking properly about producing program logic and data structures for modeling real-world problems using objects and functions and embracing the object-oriented paradigm. … Summing Up: Highly recommended. F. H. Wild III, Choice, Vol. 47 (8), April 2010Those of us who have learned scientific programming in Python ‘on the streets’ could be a little jealous of students who have the opportunity to take a course out of Langtangen’s Primer.” John D. Cook, The Mathematical Association of America, September 2011This book goes through Python in particular, and programming in general, via tasks that scientists will likely perform. It contains valuable information for students new to scientific computing and would be the perfect bridge between an introduction to programming and an advanced course on numerical methods or computational science.Alex Small, IEEE, CiSE Vol. 14 (2), March?/April 2012 “This fourth edition is awonderful, inclusive textbook that covers pretty much everything one needs toknow to go from zero to fairly sophisticated scientific programming in Python…”Joan Horvath, Computing Reviews, March2015
Автор: Jan Maluszynski; Martin Wirsing Название: Programming Language Implementation and Logic Programming ISBN: 3540544445 ISBN-13(EAN): 9783540544449 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The aim of the Third International Symposium on Programming Language Implementation and Logic Programming was to explore declarative concepts, methods and techniques relevant for implementation of all kinds of programming languages. Along with the two invited talks, this book also contains 32 papers, and abstracts of several system demonstrations.
Автор: Elliott Eric Название: Programming with JavaScript ISBN: 1491950293 ISBN-13(EAN): 9781491950296 Издательство: Wiley Рейтинг: Цена: 5067.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Take advantage of JavaScript`s power to build robust web-scale or enterprise applications that are easy to extend and maintain. By applying the design patterns outlined in this practical book, experienced JavaScript developers will learn how to write flexible and resilient code that`s easier - yes, easier - to work with as your code base grows.
Автор: Pierre Deransart; Jan Maluszynski Название: Programming Language Implementation and Logic Programming ISBN: 354053010X ISBN-13(EAN): 9783540530107 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This collection of papers presented at the PLILIP 90 workshop held in Sweden in August 1990 identify concepts and techniques used both in the implementation of programming languages and logic programming.
Автор: Maurice Bruynooghe; Martin Wirsing Название: Programming Language Implementation and Logic Programming ISBN: 3540558446 ISBN-13(EAN): 9783540558446 Издательство: Springer Рейтинг: Цена: 11179.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains a series of conference papers which explores new declarative concepts, methods and techniques relevant for the implementation of programming languages. Contributors come from the fields of logic, functional, object-oriented and algebraic programming.
Автор: Manuel Hermenegildo; Jaan Penjam Название: Programming Language Implementation and Logic Programming ISBN: 3540584021 ISBN-13(EAN): 9783540584025 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains the proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming, held in Madrid in September 1994. Among the topics discussed are parallelism, constraint programming, implementation techniques and program analysis.
Автор: Vanderbei, Robert J. Название: Linear programming ISBN: 1461476291 ISBN-13(EAN): 9781461476290 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Поставка под заказ.
Описание: This Fourth Edition introduces the latest theory and applications in optimization. It emphasizes constrained optimization, beginning with a substantial treatment of linear programming and then proceeding to convex analysis, network flows, integer programming, quadratic programming, and convex optimization. Readers will discover a host of practical business applications as well as non-business applications.
Topics are clearly developed with many numerical examples worked out in detail. Specific examples and concrete algorithms precede more abstract topics. With its focus on solving practical problems, the book features free C programs to implement the major algorithms covered, including the two-phase simplex method, primal-dual simplex method, path-following interior-point method, and homogeneous self-dual methods.
In addition, the author provides online JAVA applets that illustrate various pivot rules and variants of the simplex method, both for linear programming and for network flows. These C programs and JAVA tools can be found on the book's website. The website also includes new online instructional tools and exercises.
Автор: Pierre Deransart; Bernard Lorho; Jan Maluszynski Название: Programming Languages Implementation and Logic Programming ISBN: 3540508201 ISBN-13(EAN): 9783540508205 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The aim of the workshop was to discuss whether research on implementation of programming languages and research on logic programming can mutually benefit from each others results.
Автор: Michael L. Scott Название: Programming Language Pragmatics ISBN: 0124104096 ISBN-13(EAN): 9780124104099 Издательство: Elsevier Science Рейтинг: Цена: 11957.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Programming Language Pragmatics, Fourth Edition, is the most comprehensive programming language textbook available today. It is distinguished and acclaimed for its integrated treatment of language design and implementation, with an emphasis on the fundamental tradeoffs that continue to drive software development.
The book provides readers with a solid foundation in the syntax, semantics, and pragmatics of the full range of programming languages, from traditional languages like C to the latest in functional, scripting, and object-oriented programming. This fourth edition has been heavily revised throughout, with expanded coverage of type systems and functional programming, a unified treatment of polymorphism, highlights of the newest language standards, and examples featuring the ARM and x86 64-bit architectures.
Updated coverage of the latest developments in programming language design, including C & C]+11, Java 8, C# 5, Scala, Go, Swift, Python 3, and HTML 5
Updated treatment of functional programming, with extensive coverage of OCaml
New chapters devoted to type systems and composite types
Unified and updated treatment of polymorphism in all its forms
New examples featuring the ARM and x86 64-bit architectures
Описание: This book, the first in the subject, is a comprehensive account of optimal reduction by two of its leading exponents. Practical implementation aspects are fully covered as are its mathematical underpinnings. The book is essentially self-contained, requiring no more than basic familiarity with functional languages. It will be welcomed by graduate students and research workers.
Описание: For linear optimization models that can be formulated as linear programs with the block-angular structure, i.e. It can also be used as supplemental material in a second course in linear programming, computational mathematical programming, or large-scale systems.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
