Search Results: 'lambda'

Search

×
×
×
×
125 results for "lambda"
Polynomial Time Calculi By Stefan Schimanski
eBook (PDF): $0.00
This thesis is about type systems which guarantee polynomial time complexity of typed programs. A type system is a tool to give a computer program an additional structure which makes sure that it... More > satisfies certain properties. In this work type systems are introduced and mathematically analysed, which type only those algorithms which terminate after polynomially many execution steps in the size of the input. Polynomial time is an important complexity class for practical application because polynomial algorithms grow reasonable fast to be feasibly computable also for bigger inputs.< Less
Combinatory Reduction Systems By Jan Willem Klop
eBook (PDF): $0.00
Ph.Thesis of Jan Willem Klop, 1980. Develops the theory of orthogonal first order term rewriting systems, and introduces the higher-order frameork of Combinatory reduction Systems. A chapter on... More > non-left-linear rewriting is included, and likewise on standardization for lambda-beta-eta-calculus. 330 pages.< Less
Understanding Programming Languages By Aditya Yadav
eBook (PDF): $9.99
A comprehensive look at the design elements of programming languages. It will enable the developers, managers and architects to compre programming languages using the listed design elements to decide... More > which language is the best suited to the solution being developed. It covers over 75 elements of programming languages. From imperative, functional, concurrent, domain-specific & multi-paradigm languages, type systems, continuations, currying, partial application, lambda expressions, turing completeness, virtual machine comparisons to name just a dozen of over 75 topics covered. Basic knowledge of programming is assumed and familiarity with the most common languages available will help the reader grasp the context of the topic being discussed. Makes a good casual read. And is an essential part of a software professionals vocabulary and engineering practice. The first step to polyglot programmers, improving code quality and a refresher for those working in software engineering.< Less
Programando con Racket 5 By Eduardo NAVAS
Paperback: $75.00
Prints in 3-5 business days
(1 Ratings)
Este es un libro sobre el Lenguaje Racket, en su versión 5. Se describen su instalación, elementos, API para GUI y también se describe en el marco de la Programación... More > Funcional. Incluye una introducción a la Programación Funcional y al entorno de programación con Racket 5.< Less
Programando con Racket 5 By Eduardo NAVAS
eBook (PDF): $6.00
(1 Ratings)
Este es un libro sobre el Lenguaje Racket, en su versión 5. Se describen su instalación, elementos, API para GUI y también se describe en el marco de la Programación... More > Funcional. Incluye una introducción a la Programación Funcional y al entorno de programación con Racket 5.< Less
Thoughts of a Common Man By Jerry Bates
Hardcover: $21.95
Prints in 3-5 business days
An original collection of poems, thoughts, musings, and observations by an amateur poet/writer and retired school teacher. Recording his mind's ideas for nearly 40 years with no regard to formal... More > poetry structure, this ex-physical education teacher/coach (and common man) shares his "thoughts."< Less
The Wake Up And Dream Challenge By Barbara Lavi, Psy.D.
Paperback: $36.00
Prints in 3-5 business days
(2 Ratings)
The Wake Up And Dream Challenge is more than a self-help book. The book you are purchasing will also help The Elimination of Prejudice on college campuses across the USA & Canada by building... More > environments that include all races, religions & creeds. Using vivid stories Dr. Barbara Lavi, clinical psychologist, shows how clients transformed their lives. At any age, rich or poor, healthy or physically challenged this book will start you on a path to transform your life. Originally, the author's intent was to write a self-help book about the innovative techniques she developed over the course of her career. When she used her own Dream Positioning System (DPS), the book became part of her dream legacy, a book that can change the world. Dr. Lavi challenges you to help her "Dream It Forward!" She created an everyman's version of the Bill & Melinda Gates & Warren Buffet's Giving Pledge.Dr. Lavi will donate half of the profits to 21 creative nonprofit organizations to improve the lives of countless individuals.< Less
Concluding Papers of Yuri Mnyukh on Phase Transitions By Yuri Mnyukh
Paperback: $47.00
Prints in 3-5 business days
These articles are the final results of an investigation of solid-state phase transitions undertaken by Yuri Mnyukh in 1959. From a number of key experimental discoveries the... More > universal nucleation-and-growth molecular mechanism of phase transitions was deduced. It turned out to be the universal tool to unravel the physical nature of several basic phenomena of solid-state physics. The second-order phase transitions were shown to be nonexistent. The origin of ferromagnetism was accounted for. The molecular mechanism of ferromagnetic transitions, as well as of the magnetization process was described. The origin of ferroelectricity and its similarity to ferromagnetism was uncovered. The mechanism of phase transitions in superconductors was specified. The great enigma – “heat capacity lambda-anomalies” in solids and liquid He – was eliminated. The reader will find all that and more in this book.< Less
I Drew A Blank By Drew Shields
Paperback: $9.99
Prints in 3-5 business days
(5 Ratings)
After committing to and finishing his first novel, Lambda, Drew Shields decided to err on the short side. This book includes short stories, poems, and quips of misguided sage advice, compiled over a... More > three-month writing class. After rejecting some of the stories and carefully refining others, Drew now presents his polished and well-rounded second book: I Drew a Blank. Read the following stories and poems in I DREW A BLANK: The Interview, Method to the Madness, A Series of Letters, A Love Poem, The Stroke of Death, Thermonuclear Porridge, Death of a Haircut, The Lone Trombone, Fifty Five Fiction, Illegal Lethal Imbecile, ABC, A Fairy Tale, The Punisher, Mi Hermano, Pen Heavy, What the Old Guys Said, Goodbye, Loss< Less
Combinatory Reduction Systems By Jan Willem Klop
Paperback: $20.28
Prints in 3-5 business days
Ph.D. Thesis of Jan Willem Klop, 1980, developing theory for abstract reduction systems, orthogonal rewrite systems, higher order rewrite systems, with a chapter on non-left-linear rewrite systems,... More > and a chapter on standardization for lambda-beta-eta-calculus.< Less

Top 10

see more >
Age Verification Required