• Wyszukiwanie zaawansowane
  • Kategorie
  • Kategorie BISAC
  • Książki na zamówienie
  • Promocje
  • Granty
  • Książka na prezent
  • Opinie
  • Pomoc
  • Załóż konto
  • Zaloguj się

Appel, Andrew W. » książki

zaloguj się | załóż konto
Logo Krainaksiazek.pl

koszyk

konto

szukaj
topmenu
Księgarnia internetowa
Szukaj
Książki na zamówienie
Promocje
Granty
Książka na prezent
Moje konto
Pomoc
 
 
Wyszukiwanie zaawansowane
Pusty koszyk
Bezpłatna dostawa dla zamówień powyżej 20 złBezpłatna dostawa dla zamówień powyżej 20 zł

Kategorie główne

• Nauka
 [2950560]
• Literatura piękna
 [1849509]

  więcej...
• Turystyka
 [71097]
• Informatyka
 [151150]
• Komiksy
 [35848]
• Encyklopedie
 [23178]
• Dziecięca
 [617388]
• Hobby
 [139064]
• AudioBooki
 [1657]
• Literatura faktu
 [228597]
• Muzyka CD
 [383]
• Słowniki
 [2855]
• Inne
 [445295]
• Kalendarze
 [1464]
• Podręczniki
 [167547]
• Poradniki
 [480102]
• Religia
 [510749]
• Czasopisma
 [516]
• Sport
 [61293]
• Sztuka
 [243352]
• CD, DVD, Video
 [3414]
• Technologie
 [219456]
• Zdrowie
 [101002]
• Książkowe Klimaty
 [124]
• Zabawki
 [2311]
• Puzzle, gry
 [3459]
• Literatura w języku ukraińskim
 [254]
• Art. papiernicze i szkolne
 [8079]
Kategorie szczegółowe BISAC

Wyniki wyszukiwania:

wyszukanych pozycji: 9

Dostępność:
Kategoria:
Dostępny język:
Cena:
od:
do:
ilość na stronie:


 Alan Turing's Systems of Logic: The Princeton Thesis Appel, Andrew W. 9780691155746
Alan Turing's Systems of Logic: The Princeton Thesis

ISBN: 9780691155746 / Angielski / Twarda / 2012 / 160 str.

ISBN: 9780691155746/Angielski/Twarda/2012/160 str.

Termin realizacji zamówienia: ok. 30 dni roboczych (Dostawa w 2026 r.)

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: 170,03

 Alan Turing's Systems of Logic: The Princeton Thesis Appel, Andrew W 9780691164731
Alan Turing's Systems of Logic: The Princeton Thesis

ISBN: 9780691164731 / Angielski / Miękka / 2014 / 160 str.

ISBN: 9780691164731/Angielski/Miękka/2014/160 str.

Termin realizacji zamówienia: ok. 30 dni roboczych (Dostawa w 2026 r.)
Andrew W Appel;;

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: 63,11

 Beyond Success: Redefining the Meaning of Prosperity Jeff Gitterman Andrew Appel 9781452594040
Beyond Success: Redefining the Meaning of Prosperity

ISBN: 9781452594040 / Angielski / Twarda / 2014 / 164 str.

ISBN: 9781452594040/Angielski/Twarda/2014/164 str.

Termin realizacji zamówienia: ok. 16-18 dni roboczych (Dostawa w 2026 r.)
Jeff Gitterman; Andrew Appel
cena: 140,00

 Beyond Success: Redefining the Meaning of Prosperity Jeff Gitterman Andrew Appel 9781452594026
Beyond Success: Redefining the Meaning of Prosperity

ISBN: 9781452594026 / Angielski / Miękka / 2014 / 164 str.

ISBN: 9781452594026/Angielski/Miękka/2014/164 str.

Termin realizacji zamówienia: ok. 16-18 dni roboczych (Dostawa w 2026 r.)
Jeff Gitterman; Andrew Appel

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: 67,80

 Modern Compiler Implementation in ML Andrew W. Appel 9780521607643
Modern Compiler Implementation in ML

ISBN: 9780521607643 / Angielski / Miękka / 2004 / 552 str.

ISBN: 9780521607643/Angielski/Miękka/2004/552 str.

Termin realizacji zamówienia: ok. 16-18 dni roboczych (Dostawa w 2026 r.)
Andrew W. Appel
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: 500,48

 Compiling with Continuations Andrew W. Appel 9780521033114
Compiling with Continuations

ISBN: 9780521033114 / Angielski / Miękka / 2007 / 272 str.

ISBN: 9780521033114/Angielski/Miękka/2007/272 str.

Termin realizacji zamówienia: ok. 16-18 dni roboczych (Dostawa w 2026 r.)
Andrew W. Appel
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: 502,08

 Modern Compiler Implementation in C Andrew W Appel 9780521607650
Modern Compiler Implementation in C

ISBN: 9780521607650 / Angielski / Miękka / 2004 / 556 str.

ISBN: 9780521607650/Angielski/Miękka/2004/556 str.

Termin realizacji zamówienia: ok. 16-18 dni roboczych (Dostawa w 2026 r.)
Andrew W Appel
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: 500,48

 Program Logics for Certified Compilers Andrew W. Appel Robert Dockins Aquinas Hobor 9781107048010
Program Logics for Certified Compilers

ISBN: 9781107048010 / Angielski / Twarda / 2014 / 472 str.

ISBN: 9781107048010/Angielski/Twarda/2014/472 str.

Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.)
Andrew W. Appel;Robert Dockins;Aquinas Hobor
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: 388,28

 Modern Compiler Implementation in Java Andrew W. Appel Jens Palsberg Jens Palsberg 9780521820608
Modern Compiler Implementation in Java

ISBN: 9780521820608 / Angielski / Twarda / 2002 / 512 str.

ISBN: 9780521820608/Angielski/Twarda/2002/512 str.

Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.)
Andrew W. Appel; Jens Palsberg; Jens Palsberg
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: 333,05


Facebook - konto krainaksiazek.pl



Opinie o Krainaksiazek.pl na Opineo.pl

Partner Mybenefit

Krainaksiazek.pl w programie rzetelna firma Krainaksiaze.pl - płatności przez paypal

Czytaj nas na:

Facebook - krainaksiazek.pl
  • książki na zamówienie
  • granty
  • książka na prezent
  • kontakt
  • pomoc
  • opinie
  • regulamin
  • polityka prywatności

Zobacz:

  • Księgarnia czeska

  • Wydawnictwo Książkowe Klimaty

1997-2025 DolnySlask.com Agencja Internetowa

© 1997-2022 krainaksiazek.pl
     
KONTAKT | REGULAMIN | POLITYKA PRYWATNOŚCI | USTAWIENIA PRYWATNOŚCI
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
Polityka prywatnosci - link
Krainaksiazek.pl - płatnośc Przelewy24
Przechowalnia Przechowalnia