Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Cертификаты | Хиты | | |
 

Lambda-Calculus and Combinators, J. Roger Hindley



Варианты приобретения
Цена: 10441р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Англия: 5 шт.  
При оформлении заказа до: 8 сен 2022
Ориентировочная дата поставки: конец Сентября- начало Октября
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: J. Roger Hindley
Название:  Lambda-Calculus and Combinators
Перевод названия: Лямбда-исчисление и комбинаторы
ISBN: 9780521898850
Издательство: Cambridge Academ
Классификация:
ISBN-10: 0521898854
Обложка/Формат: Hardback
Страницы: 360
Вес: 0.668 кг.
Дата издания: 24.07.2008
Язык: English
Издание: 2 rev ed
Иллюстрации: 10 b/w illus. 1 table 55 exercises
Размер: 237 x 159 x 24
Читательская аудитория: Undergraduate
Подзаголовок: An introduction
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Англии



Combinatorial Optimization / Polyhedra and Efficiency

Автор: Schrijver Alexander
Название: Combinatorial Optimization / Polyhedra and Efficiency
ISBN: 3540443894 ISBN-13(EAN): 9783540443896
Издательство: Springer
Рейтинг:
Цена: 14090 р.
Наличие на складе: Поставка под заказ.

Описание: This book offers an in-depth overview of polyhedral methods and efficient algorithms in combinatorial optimization.These methods form a broad, coherent and powerful kernel in combinatorial optimization, with strong links to discrete mathematics, mathematical programming and computer science. In eight parts, various areas are treated, each starting with an elementary introduction to the area, with short, elegant proofs of the principal results, and each evolving to the more advanced methods and results, with full proofs of some of the deepest theorems in the area. Over 4000 references to further research are given, and historical surveys on the basic subjects are presented.

The Parametric Lambda Calculus / A Metamodel for Computation

Автор: Ronchi Della Rocca Simona, Paolini Luca
Название: The Parametric Lambda Calculus / A Metamodel for Computation
ISBN: 3540200320 ISBN-13(EAN): 9783540200321
Издательство: Springer
Рейтинг:
Цена: 9234 р.
Наличие на складе: Поставка под заказ.

Описание: The parametric lambda calculus is a metamodel for reasoning about various kinds of computations. Its syntactic definition is based on the notion of "sets of input values", and different lambda calculi can be obtained from it by instantiating such sets in suitable ways. The parametric lambda calculus is used as a tool for presenting in a uniform way basic notions of programming languages, and for studying with a uniform approach some lambda calculi modeling different kinds of computations, such as call-by-name, both in its lazy and non-lazy versions, and call-by-value. The parametric presentation allows us both to prove in one step all the fundamental properties of different calculi, and to compare them with each other. The book includes some classical results in the field of lambda calculi, but completely rephrased using the parametric approach, together with some new results. The lambda calculi are presented from a computer science viewpoint, with particular emphasis on their semantics, both operational and denotational.This book is dedicated to researchers, and can be used as a textbook for masters or Ph.D. courses on the foundations of computer science.

Classic Papers in Combinatorics

Автор: Ira Gessel; G.-C. Rota (Eds.)
Название: Classic Papers in Combinatorics
ISBN: 0817648410 ISBN-13(EAN): 9780817648411
Издательство: Springer
Рейтинг:
Цена: 9239 р.
Наличие на складе: Поставка под заказ.

Описание: Surveys the development of combinatorics since 1930 by presenting in chronological order the fundamental results of the subject.

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems / Third International Conference, CPAIOR 2006, Cork, Ireland, May 31 - June 2, 2006, Proceedings

Автор: Beck J. Christopher, Smith Barbara
Название: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems / Third International Conference, CPAIOR 2006, Cork, Ireland, May 31 - June 2, 2006, Proceedings
ISBN: 3540343067 ISBN-13(EAN): 9783540343066
Издательство: Springer
Рейтинг:
Цена: 8084 р.
Наличие на складе: Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the Third International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2006, held in Cork, Ireland in May/June 2006.The 20 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 67 submissions. The papers address methodological and foundational issues from AI, OR, and algorithmics and present applications to the solution of combinatorial optimization problems in various fields via constraint programming.

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems / Second International Conference, CPAIOR 2005, Prague, Czech Republic, May 31 -- June 1, 2005

Автор: BartГЎk Roman, Milano Michela
Название: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems / Second International Conference, CPAIOR 2005, Prague, Czech Republic, May 31 -- June 1, 2005
ISBN: 3540261524 ISBN-13(EAN): 9783540261520
Издательство: Springer
Рейтинг:
Цена: 10971 р.
Наличие на складе: Поставка под заказ.

Описание: Constitutes the proceedings of the Second International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2005, held in Prague, Czech Republic, in May/June 2005. This title presents methodological and foundational issues from AI , OR, and algorithmics.

Combinatorial Designs / Construction and Analysis

Автор: Stinson Douglas R.
Название: Combinatorial Designs / Construction and Analysis
ISBN: 0387954872 ISBN-13(EAN): 9780387954875
Издательство: Springer
Цена: 9816 р.
Наличие на складе: Поставка под заказ.

Описание: Created to teach students many of the most important techniques used for constructing combinatorial designs, this is an ideal textbook for advanced undergraduate and graduate courses in combinatiorial design theory. The text features clear explanations of basic designs, such as Steiner and Kirkman triple systems, mutual orthogonal Latin squares, finite projective and affine planes, and Steiner quadruple systems. In these settings, the student will master various construction techniques, both classic and modern, and will be well-prepared to construct a vast array of combinatorial designs. Design theory offers a progressive approach to the subject, with carefully ordered results. It begins with simple constructions that gradually increase in complexity. Each design has a construction that contains new ideas or that reinforces and builds upon similar ideas previously introduced.A new text/reference covering all apsects of modern combinatorial design theory. Graduates and professionals in computer science, applied math, combinatorics, and applied statistics will find the book an essential resource.

Combinatorial Pattern Matching / 13th Annual Symposium, CPM 2002 Fukuoka, Japan, July 3-5, 2002 Proceedings

Автор: Apostolico Alberto, Takeda Masayuki
Название: Combinatorial Pattern Matching / 13th Annual Symposium, CPM 2002 Fukuoka, Japan, July 3-5, 2002 Proceedings
ISBN: 3540438629 ISBN-13(EAN): 9783540438625
Издательство: Springer
Рейтинг:
Цена: 8661 р.
Наличие на складе: Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 13th Annual Symposium on Combinatorial Pattern Matching, CPM 2002, held in Fukuoka, Japan, in July 2002.The 21 revised full papers presented together with two invited contributions were carefully reviewed and selected from 37 submissions. The papers are devoted to current theoretical and computational aspects of searching and matching strings and more complicated patterns such as trees, regular expressions, graphs, point sets, and arrays. Among the application fields are the World Wide Web, computational biology, computer vision, multimedia, information retrieval, data compression, and pattern recognition.

Evolutionary Computation in Combinatorial Optimization

Автор: Hao
Название: Evolutionary Computation in Combinatorial Optimization
ISBN: 3642291236 ISBN-13(EAN): 9783642291234
Издательство: Springer
Рейтинг:
Цена: 5774 р.
Наличие на складе: Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 12th European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP 2012, held in M?laga, Spain, in April 2012, colocated with the Evo* 2012 events EuroGP, EvoBIO, EvoMUSART, and EvoApplications. . The 22 revised full papers presented were carefully reviewed and selected from 48 submissions. The papers present the latest research and discuss current developments and applications in metaheuristics - a paradigm to effectively solve difficult combinatorial optimization problems appearing in various industrial, economic, and scientific domains. Prominent examples of metaheuristics are evolutionary algorithms, simulated annealing, tabu search, scatter search, memetic algorithms, variable neighborhood search, iterated local search, greedy randomized adaptive search procedures, estimation of distribution algorithms, and ant colony optimization.

Lambda-calculus, combinators and functional programming

Автор: Revesz, Gyorgy E.
Название: Lambda-calculus, combinators and functional programming
ISBN: 0521114292 ISBN-13(EAN): 9780521114295
Издательство: Cambridge Academ
Рейтинг:
Цена: 6161 р.
Наличие на складе: Поставка под заказ.

Описание: Originally published in 1988, this book presents an introduction to lambda-calculus and combinators without getting lost in the details of mathematical aspects of their theory. Lambda-calculus is treated here as a functional language and its relevance to computer science is clearly demonstrated. The main purpose of the book is to provide computer science students and researchers with a firm background in lambda-calculus and combinators and show the applicabillity of these theories to functional programming. The presentation of the material is self-contained. It can be used as a primary text for a course on functional programming. It can also be used as a supplementary text for courses on the structure and implementation of programming languages, theory of computing, or semantics of programming languages.

Combinatorial Optimization (algorithms and Combinatorics 21) 5th ed.

Автор: Korte, Bernhard, Vygen, Jens
Название: Combinatorial Optimization (algorithms and Combinatorics 21) 5th ed.
ISBN: 3642244874 ISBN-13(EAN): 9783642244872
Издательство: Springer
Рейтинг:
Цена: 7502 р.
Наличие на складе: Невозможна поставка.

Описание: This comprehensive textbook on combinatorial optimization places special emphasis on theoretical results and algorithms with provably good performance, in contrast to heuristics. It is based on numerous courses on combinatorial optimization and specialized topics, mostly at graduate level. This book reviews the fundamentals, covers the classical topics (paths, flows, matching, matroids, NP-completeness, approximation algorithms) in detail, and proceeds to advanced and recent topics, some of which have not appeared in a textbook before. Throughout, it contains complete but concise proofs, and also provides numerous exercises and references. This fifth edition has again been updated, revised, and significantly extended, with more than 60 new exercises and new material on various topics, including Cayley's formula, blocking flows, faster b-matching separation, multidimensional knapsack, multicommodity max-flow min-cut ratio, and sparsest cut. Thus, this book represents the state of the art of combinatorial optimization.

Lambda Calculus with Types

Автор: Barendregt
Название: Lambda Calculus with Types
ISBN: 0521766141 ISBN-13(EAN): 9780521766142
Издательство: Cambridge Academ
Рейтинг:
Цена: 10133 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software design and verification, unexpected mathematical beauty. The lambda calculus forms a prototype universal programming language, which in its untyped version is related to Lisp, and was treated in the first author's classic The Lambda Calculus (1984). The formalism has since been extended with types and used in functional programming (Haskell, Clean) and proof assistants (Coq, Isabelle, HOL), used in designing and verifying IT products and mathematical proofs. In this book, the authors focus on three classes of typing for lambda terms: simple types, recursive types and intersection types. It is in these three formalisms of terms and types that the unexpected mathematical beauty is revealed. The treatment is authoritative and comprehensive, complemented by an exhaustive bibliography, and numerous exercises are provided to deepen the readers' understanding and increase their confidence using types.

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems / 4th International Conference, CPAIOR 2007, Brussels, Belgium, May 23-26, 2007, Proceedings

Автор: Van Hentenryck Pascal, Wolsey Laurence
Название: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems / 4th International Conference, CPAIOR 2007, Brussels, Belgium, May 23-26, 2007, Proceedings
ISBN: 354072396X ISBN-13(EAN): 9783540723967
Издательство: Springer
Рейтинг:
Цена: 10047 р.
Наличие на складе: Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 4th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2007, held in Brussels, Belgium in May 2007.The 27 revised full papers presented were carefully reviewed and selected from 80 submissions. Methodological and foundational issues from AI, OR, and algorithmics are presented as well as applications to the solution of combinatorial optimization problems in various fields via constraint programming.


ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия