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

 » książki  » Computers - Programming - Compilers

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 40 złBezpłatna dostawa dla zamówień powyżej 40 zł

Kategorie główne

• Nauka
 [3147210]
• Literatura piękna
 [2059897]

  więcej...
• Turystyka
 [57377]
• Informatyka
 [177653]
• Komiksy
 [39871]
• Encyklopedie
 [25164]
• Dziecięca
 [764854]
• Hobby
 [103258]
• AudioBooki
 [1544]
• Literatura faktu
 [252777]
• Muzyka CD
 [354]
• Słowniki
 [4129]
• Inne
 [510621]
• Kalendarze
 [2095]
• Podręczniki
 [182552]
• Poradniki
 [580872]
• Religia
 [645908]
• Czasopisma
 [540]
• Sport
 [73803]
• Sztuka
 [272406]
• CD, DVD, Video
 [3411]
• Technologie
 [253912]
• Zdrowie
 [131070]
• Książkowe Klimaty
 [128]
• Zabawki
 [2664]
• Puzzle, gry
 [4721]
• Literatura w języku ukraińskim
 [274]
• Art. papiernicze i szkolne
 [8162]
Kategorie szczegółowe BISAC

Kategoria BISAC: Computers >> Programming - Compilers

ilość książek w kategorii: 1391

Wyświetl książki:
Dostępne języki:
Cena:
od:
do:
ilość na stronie:


Runtime Verification: 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings Colombo, Christian 9783030037680 Springer
Runtime Verification: 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings

ISBN: 9783030037680 / Angielski / Miękka / 470 str.

ISBN: 9783030037680/Angielski/Miękka/470 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Christian Colombo; Martin Leucker
cena: 314,64

Java XML and Json: Document Processing for Java Se Friesen, Jeff 9781484243299 Apress
Java XML and Json: Document Processing for Java Se

ISBN: 9781484243299 / Angielski / Miękka / 528 str.

ISBN: 9781484243299/Angielski/Miękka/528 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Jeff Friesen
cena: 314,64

Spring Boot Persistence Best Practices: Optimize Java Persistence Performance in Spring Boot Applications Leonard, Anghel 9781484256251 Apress
Spring Boot Persistence Best Practices: Optimize Java Persistence Performance in Spring Boot Applications

ISBN: 9781484256251 / Angielski / Miękka / 1027 str.

ISBN: 9781484256251/Angielski/Miękka/1027 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Anghel Leonard
cena: 314,64

Chatbot Research and Design: Third International Workshop, Conversations 2019, Amsterdam, the Netherlands, November 19-20, 2019, Revised Selected P Følstad, Asbjørn 9783030395391 Springer
Chatbot Research and Design: Third International Workshop, Conversations 2019, Amsterdam, the Netherlands, November 19-20, 2019, Revised Selected P

ISBN: 9783030395391 / Angielski / Miękka / 273 str.

ISBN: 9783030395391/Angielski/Miękka/273 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Asbjorn Folstad; Theo Araujo; Symeon Papadopoulos
cena: 314,64

Ethereum Smart Contract Development in Solidity Gavin Zheng Longxiang Gao Liqun Huang 9789811562174 Springer
Ethereum Smart Contract Development in Solidity

ISBN: 9789811562174 / Angielski / Miękka / 334 str.

ISBN: 9789811562174/Angielski/Miękka/334 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Gavin Zheng; Longxiang Gao; Liqun Huang
cena: 314,64

Openmp: Portable Multi-Level Parallelism on Modern Systems: 16th International Workshop on Openmp, Iwomp 2020, Austin, Tx, Usa, September 22-24, 2020, Kent Milfeld Bronis R. d Lars Koesterke 9783030581435 Springer
Openmp: Portable Multi-Level Parallelism on Modern Systems: 16th International Workshop on Openmp, Iwomp 2020, Austin, Tx, Usa, September 22-24, 2020,

ISBN: 9783030581435 / Angielski / Miękka / 344 str.

ISBN: 9783030581435/Angielski/Miękka/344 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Kent Milfeld; Bronis R. de Supinski; Lars Koesterke
cena: 314,64

Formal Methods and Software Engineering: 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024 Kazuhiro Ogata Dominique Mery Meng Sun 9789819606160 Springer
Formal Methods and Software Engineering: 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024

ISBN: 9789819606160 / Angielski

ISBN: 9789819606160/Angielski

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Kazuhiro Ogata; Dominique Mery; Meng Sun
cena: 314,64

C++/CLI: The Visual C++ Language for .Net Gordon Hogenson 9781590597057 APress
C++/CLI: The Visual C++ Language for .Net

ISBN: 9781590597057 / Angielski / Twarda / 414 str.

ISBN: 9781590597057/Angielski/Twarda/414 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Gordon Hogenson

C++/CLI is arguably the most powerful language on the .NET 2.0 Platform, as it is the only one that gives developers the option to directly access their computer's hardware from within the .NET managed code environment. As such it is ideal for the kind of processor and memory intensive tasks for which C++ has always traditionally been used.

This book gives developers - both the experienced and those who have only taken their first few steps - a small, fast-paced primer that will kick-start them into the world of C++/CLI. In twenty no-fluff chapters Microsoft insiders take readers...

C++/CLI is arguably the most powerful language on the .NET 2.0 Platform, as it is the only one that gives developers the option to directly access ...

cena: 314,64

Programming Languages and Systems: 19th Asian Symposium, Aplas 2021, Chicago, Il, Usa, October 17-18, 2021, Proceedings Oh, Hakjoo 9783030890506 Springer International Publishing
Programming Languages and Systems: 19th Asian Symposium, Aplas 2021, Chicago, Il, Usa, October 17-18, 2021, Proceedings

ISBN: 9783030890506 / Angielski / Miękka / 321 str.

ISBN: 9783030890506/Angielski/Miękka/321 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.

This book constitutes the proceedings of the 19th Asian Symposium on Programming Languages and Systems, APLAS 2021, held in Chicago, USA, in October 2021.*



The 17 papers presented in this volume were carefully reviewed and selected from 43 submissions. They were organized in topical sections named: analysis and synthesis, compilation and transformation, language, and verification.



* The conference was held in a hybrid format due to the COVID-19 pandemic.

This book constitutes the proceedings of the 19th Asian Symposium on Programming Languages and Systems, APLAS 2021, held in Chicago, USA, in Octobe...

cena: 314,64

Advanced Guide to Python 3 Programming John Hunt 9783031403354 Springer International Publishing AG
Advanced Guide to Python 3 Programming

ISBN: 9783031403354 / Miękka / 540 str.

ISBN: 9783031403354/Miękka/540 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
John Hunt
cena: 314,64

ISO 27001: 2022 - Explications: Syst?me de Management de la S?curit? de l'Information - Guide Pratique William F 9783852281414 Dr.Ibrahim
ISO 27001: 2022 - Explications: Syst?me de Management de la S?curit? de l'Information - Guide Pratique

ISBN: 9783852281414 / Francuski / Miękka / 120 str.

ISBN: 9783852281414/Francuski/Miękka/120 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
William F. Harrington
cena: 316,63

Evaluation of Novel Approaches to Software Engineering: 13th International Conference, Enase 2018, Funchal, Madeira, Portugal, March 23-24, 2018, Revi Damiani, Ernesto 9783030225582 Springer
Evaluation of Novel Approaches to Software Engineering: 13th International Conference, Enase 2018, Funchal, Madeira, Portugal, March 23-24, 2018, Revi

ISBN: 9783030225582 / Angielski / Miękka / 405 str.

ISBN: 9783030225582/Angielski/Miękka/405 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Ernesto Damiani; George Spanoudakis; Leszek A. Maciaszek
cena: 318,84

Quality of Information and Communications Technology: 12th International Conference, Quatic 2019, Ciudad Real, Spain, September 11-13, 2019, Proceedin Piattini, Mario 9783030292379 Springer
Quality of Information and Communications Technology: 12th International Conference, Quatic 2019, Ciudad Real, Spain, September 11-13, 2019, Proceedin

ISBN: 9783030292379 / Angielski / Miękka / 348 str.

ISBN: 9783030292379/Angielski/Miękka/348 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
cena: 318,84

Formal Verification of Just-in-Time Compilation

ISBN: 9798400713774 / Angielski / Twarda / 176 str.

ISBN: 9798400713774/Angielski/Twarda/176 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
cena: 319,00

Functional Data Structures and Algorithms – A Proof Assistant Approach Tobias Nipkow 9798400731570 John Wiley and Sons (JL)
Functional Data Structures and Algorithms – A Proof Assistant Approach

ISBN: 9798400731570 / Angielski / Twarda

ISBN: 9798400731570/Angielski/Twarda

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Tobias Nipkow

This book is an introduction to data structures and algorithms for functional programming languages, with a focus on proofs. Starting with sorting and searching, it moves on to priority queues and advanced design and analysis techniques: dynamic programming, amortized analysis, splay trees, skew heaps and pairing heaps. The final part of the book covers a number of selected fun topics: graph algorithms, string search, Huffman's algorithm for generating optimal codes and alpha-beta pruning of game trees.

The book covers both correctness (does the algorithm do what it is supposed to...

This book is an introduction to data structures and algorithms for functional programming languages, with a focus on proofs. Starting with sorting ...

cena: 319,00

A Retargetable C Compiler: Design and Implementation Hanson, David 9780805316704 Pearson Education (US)
A Retargetable C Compiler: Design and Implementation

ISBN: 9780805316704 / Angielski / Miękka / 584 str.

ISBN: 9780805316704/Angielski/Miękka/584 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
David Hanson
cena: 325,94

Programming Language Fundamentals by Example D. E. Stevenson 9780367453374 Auerbach Publications
Programming Language Fundamentals by Example

ISBN: 9780367453374 / Angielski / Miękka / 256 str.

ISBN: 9780367453374/Angielski/Miękka/256 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
D. E. Stevenson
cena: 334,90

Principles of Program Analysis Flemming Nielson Hanne Riis Nielson 9783540654100 SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH &
Principles of Program Analysis

ISBN: 9783540654100 / Angielski / Twarda / 452 str.

ISBN: 9783540654100/Angielski/Twarda/452 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Flemming Nielson; Hanne Riis Nielson
Program analysis utilizes static techniques for computing reliable information about the dynamic behavior of programs. Applications include compilers (for code improvement), software validation (for detecting errors) and transformations between data representation (for solving problems such as Y2K). This book is unique in providing an overview of the four major approaches to program analysis: data flow analysis, constraint-based analysis, abstract interpretation, and type and effect systems. The presentation illustrates the extensive similarities between the approaches, helping readers to...
Program analysis utilizes static techniques for computing reliable information about the dynamic behavior of programs. Applications include compilers ...
cena: 335,62

Compiler Design: Syntactic and Semantic Analysis Wilhelm, Reinhard 9783642175398 Springer, Berlin
Compiler Design: Syntactic and Semantic Analysis

ISBN: 9783642175398 / Angielski / Twarda / 225 str.

ISBN: 9783642175398/Angielski/Twarda/225 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Wilhelm

While compilers for high-level programming languages are large complex software systems, they have particular characteristics that differentiate them from other software systems. Their functionality is almost completely well-defined - ideally there exist complete precise descriptions of the source and target languages. Additional descriptions of the interfaces to the operating system, programming system and programming environment, and to other compilers and libraries are often available.

This book deals with the analysis phase of translators for programming languages. It...

While compilers for high-level programming languages are large complex software systems, they have particular characteristics that differentiate th...

cena: 335,62

Theoretical Aspects of Computing - Ictac 2018: 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings Fischer, Bernd 9783030025076 Springer
Theoretical Aspects of Computing - Ictac 2018: 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings

ISBN: 9783030025076 / Angielski / Miękka / 533 str.

ISBN: 9783030025076/Angielski/Miękka/533 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
cena: 335,62

Pierwsza Podprzednia  58  59  60  Następna Ostatnia

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-2026 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