wyszukanych pozycji: 9
Alan Turing's Systems of Logic: The Princeton Thesis
ISBN: 9780691164731 / Angielski / Miękka / 2014 / 160 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Between inventing the concept of a universal computer in 1936 and breaking the German Enigma code during World War II, Alan Turing (1912-1954), the British founder of computer science and artificial intelligence, came to Princeton University to study mathematical logic. Some of the greatest logicians in the world--including Alonzo Church, Kurt Godel, John von Neumann, and Stephen Kleene--were at Princeton in the 1930s, and they were working on ideas that would lay the groundwork for what would become known as computer science. This book presents a facsimile of the original typescript of... Between inventing the concept of a universal computer in 1936 and breaking the German Enigma code during World War II, Alan Turing (1912-1954), the... |
|
cena:
71,34 zł |
Alan Turing's Systems of Logic: The Princeton Thesis
ISBN: 9780691155746 / Angielski / Twarda / 2012 / 160 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Between inventing the concept of a universal computer in 1936 and breaking the German Enigma code during World War II, Alan Turing (1912-1954), the British founder of computer science and artificial intelligence, came to Princeton University to study mathematical logic. Some of the greatest logicians in the world--including Alonzo Church, Kurt Godel, John von Neumann, and Stephen Kleene--were at Princeton in the 1930s, and they were working on ideas that would lay the groundwork for what would become known as computer science. This book presents a facsimile of the original typescript of... Between inventing the concept of a universal computer in 1936 and breaking the German Enigma code during World War II, Alan Turing (1912-1954), the... |
|
cena:
192,20 zł |
Beyond Success: Redefining the Meaning of Prosperity
ISBN: 9781452594040 / Angielski / Twarda / 2014 / 164 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
159,33 zł |
Beyond Success: Redefining the Meaning of Prosperity
ISBN: 9781452594026 / Angielski / Miękka / 2014 / 164 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. I went from having nothing to everything I d ever wanted in the space of about two years, only to discover that success wasn't what I thought it was. Implicit in the statement "money won t buy happiness" is the idea that something else will, even if we don t know what that something else is. As a financial advisor, people come to me from all walks of life, each with their own set of financial circumstances, ideas about money, needs, and dreams. People often call in a financial advisor because their relationship to money is unhealthy, but I help them heal how they look at life in general... I went from having nothing to everything I d ever wanted in the space of about two years, only to discover that success wasn't what I thought it wa... |
|
cena:
77,16 zł |
Modern Compiler Implementation in C
ISBN: 9780521607650 / Angielski / Miękka / 2004 / 556 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. Describes all phases of a modern compiler, including techniques in code generation and register allocation for imperative, functional and object-oriented languages.
Describes all phases of a modern compiler, including techniques in code generation and register allocation for imperative, functional and object-orien...
|
|
cena:
478,71 zł |
Compiling with Continuations
ISBN: 9780521033114 / Angielski / Miękka / 2007 / 272 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. This book shows how continuation-passing style is used as an intermediate representation on which to perform optimisations and program transformations.
This book shows how continuation-passing style is used as an intermediate representation on which to perform optimisations and program transformations...
|
|
cena:
540,53 zł |
Modern Compiler Implementation in ML
ISBN: 9780521607643 / Angielski / Miękka / 2004 / 552 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. This new, expanded textbook describes all phases of a modern compiler: lexical analysis, parsing, abstract syntax, semantic actions, intermediate representations, instruction selection via tree matching, dataflow analysis, graph-coloring register allocation, and runtime systems. It includes good coverage of current techniques in code generation and register allocation, as well as functional and object-oriented languages, that are missing from most books. In addition, more advanced chapters are now included so that it can be used as the basis for two-semester or graduate course. The most...
This new, expanded textbook describes all phases of a modern compiler: lexical analysis, parsing, abstract syntax, semantic actions, intermediate repr...
|
|
cena:
478,71 zł |
Program Logics for Certified Compilers
ISBN: 9781107048010 / Angielski / Twarda / 2014 / 472 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Separation Logic is the twenty-first-century variant of Hoare Logic that permits verification of pointer-manipulating programs. This book covers practical and theoretical aspects of Separation Logic at a level accessible to beginning graduate students interested in software verification. On the practical side it offers an introduction to verification in Hoare and Separation logics, simple case studies for toy languages, and the Verifiable C program logic for the C programming language. On the theoretical side it presents separation algebras as models of separation logics; step-indexed models...
Separation Logic is the twenty-first-century variant of Hoare Logic that permits verification of pointer-manipulating programs. This book covers pract...
|
|
cena:
401,64 zł |
Modern Compiler Implementation in Java
ISBN: 9780521820608 / Angielski / Twarda / 2002 / 512 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This textbook describes all phases of a compiler: lexical analysis, parsing, abstract syntax, semantic actions, intermediate representations, instruction selection via tree matching, dataflow analysis, graph-coloring register allocation, and runtime systems. It includes thorough coverage of current techniques in code generation and register allocation, and the compilation of functional and object-oriented languages. The most accepted and successful techniques are described and illustrated with actual Java DEGREESTM(R) classes. The first part is suitable for a one-semester first course in...
This textbook describes all phases of a compiler: lexical analysis, parsing, abstract syntax, semantic actions, intermediate representations, instruct...
|
|
cena:
342,33 zł |