» książki » Computers - Programming - Compilers
topmenu
 |
Formalizing Data-Centric Web Services
ISBN: 9783319368108 / Angielski / Miękka / 131 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
209,75 |
 |
Graphical Models for Security: 5th International Workshop, Gramsec 2018, Oxford, Uk, July 8, 2018, Revised Selected Papers
ISBN: 9783030154646 / Angielski / Miękka / 131 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
209,75 |
 |
Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 15th European Conference, Ecsqaru 2019, Belgrade, Serbia, September 18-20, 2019, P
ISBN: 9783030297640 / Angielski / Miękka / 506 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
209,75 |
 |
Programming Languages and Systems: 17th Asian Symposium, Aplas 2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019, Proceedings
ISBN: 9783030341749 / Angielski / Miękka / 492 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
209,75 |
 |
Guide to Assembly Language: A Concise Introduction
ISBN: 9783030356385 / Angielski / Miękka / 344 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
209,75 |
 |
Inductive Logic Programming: 29th International Conference, Ilp 2019, Plovdiv, Bulgaria, September 3-5, 2019, Proceedings
ISBN: 9783030492090 / Angielski / Miękka / 145 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
209,75 |
 |
Functional and Logic Programming: 15th International Symposium, Flops 2020, Akita, Japan, September 14-16, 2020, Proceedings
ISBN: 9783030590246 / Angielski / Miękka / 221 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
209,75 |
 |
Programming Languages and Systems: 18th Asian Symposium, Aplas 2020, Fukuoka, Japan, November 30 - December 2, 2020, Proceedings
ISBN: 9783030644369 / Angielski / Miękka / 374 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
209,75 |
 |
Languages and Compilers for Parallel Computing: 32nd International Workshop, Lcpc 2019, Atlanta, Ga, Usa, October 22-24, 2019, Revised Selected Papers
ISBN: 9783030727888 / Angielski / Miękka / 165 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
209,75 |
 |
A Concise Introduction to Software Engineering: With Open Source and GenAI
ISBN: 9783031743177 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
209,75 |
 |
Model Checking Software: 23rd International Symposium, Spin 2016, Co-Located with Etaps 2016, Eindhoven, the Netherlands, April 7-8, 2016, Proc
ISBN: 9783319325811 / Angielski / Miękka / 245 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 23rd International Symposium on Model Checking Software, SPIN 2016, held in Eindhoven, The Netherlands, in April 2016. The 16 papers presented, consisting of 11 regular papers, 1 idea paper, and 4 tool demonstrations, were carefully reviewed and selected from 27 submissions. Topics covered include model checking techniques, model checking tools, concurrent system semantics, equivalence checking, temporal logics, probabilistic systems, schedule and strategy synthesis using model checking, and verification case studies. This book constitutes the refereed proceedings of the 23rd International Symposium on Model Checking Software, SPIN 2016, held in Eindhoven, The Ne... |
cena:
209,79 |
 |
The Python Workbook: A Brief Introduction with Exercises and Solutions
ISBN: 9783030188757 / Angielski / Miękka / 219 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
212,26 |
 |
LLVM Code Generation: A deep dive into compiler backend development
ISBN: 9781837637782 / Angielski / Miękka / 620 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
212,61 |
 |
Modern CMake for C++ - Second Edition: Effortlessly build cutting-edge C++ code and deliver high-quality solutions
ISBN: 9781805121800 / Angielski / Miękka / 504 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
212,61 |
 |
Computer Programming Step by Step
ISBN: 9780197851043 / Angielski / Miękka / 13-02-2027 / 378 str. Książka dostępna od: 13-02-2027 |
|
Termin ukazania się książki: 13-02-2027
Książkę można już zamówić z rabatem 5% |
|
204,57 |
 |
C++: Grundlagen und Programmierung
ISBN: 9783211824153 / Niemiecki / Miękka / 306 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Viele Anzeichen sprechen dafiir, daB C++ zu der Programmiersprache der neunziger Jahre wird: Auf Konferenzen im Bereich der objektorientierten Software entwicklung behandeln typischerweise etwa die Halfte der programmiersprachen orientierten Beitrage C++, ein Viertel beschaftigt sich mit Smalltalk, aIle anderen Sprachen gemeinsam teilen sich auf das restliche Viertel auf. Ahnliche Tendenzen zeichnen sich am einschlagigen Stellenmarkt ab; der "Marktanteil" von C++ ist dort zwar noch geringer, befindet sich aber in standigem Wachstum. Die Griinde fiir diese Entwicklung sind offensichtlich: C++...
Viele Anzeichen sprechen dafiir, daB C++ zu der Programmiersprache der neunziger Jahre wird: Auf Konferenzen im Bereich der objektorientierten Softwar...
|
cena:
215,62 |
 |
Listen, Bäume Und Graphen ALS Objekte: Mit Beispielen in Object Pascal
ISBN: 9783211825785 / Niemiecki / Miękka / 220 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Das Buch behandelt die Entwicklung von Datenstrukturen und Algorithmen fur Listen, Baume und Graphen mittels objektorientierter Verfahren. Es fuhrt seine Leser in den Umgang mit Listen, Baumen und Graphen sowie in deren wichtigste Anwendungen ein und macht mit objektorientierten Entwurfs- und Programmierverfahren vertraut. Der hier verwendete objektorientierte Ansatz wird in der Literatur zur Entwicklung von Datenstrukturen und Algorithmen bisher wenig verwendet. Er hilft, Datenstrukturen und Algorithmen schrittweise zu entwickeln und verstandlich darzustellen. Ausserdem bietet er erweiterte...
Das Buch behandelt die Entwicklung von Datenstrukturen und Algorithmen fur Listen, Baume und Graphen mittels objektorientierter Verfahren. Es fuhrt se...
|
cena:
215,62 |
 |
Programmierumgebungen: Entwicklungswerkzeuge Und Programmiersprachen
ISBN: 9783540129219 / Niemiecki / Miękka / 238 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Das vorliegende Buch behandelt diese Aspekte, wobei in besonderem Mal3e Wert auf die beiden genannten Aspekte gelegt wird. Die Autoren der einzelnen Kapitel sind Mitarbeiter des Fachgebietes Softwaretechnik der Siemens AG, die aIle beruf lich mit der Thematik befal3t sind. Dabei wurden die Kapitel aufeinander abge stimmt, ohne jedoch die 'Perstinlichkeit' der einzelnen Autoren einzuschranken. Das Buch stellt somit eine Sammlung von einzelnen Beitragen dar, die - als Ge samtheit gesehen - den Uberblick iiber den heutigen Stand der Technik bei der vorgegebenen Thematik reprasentieren. Wegen...
Das vorliegende Buch behandelt diese Aspekte, wobei in besonderem Mal3e Wert auf die beiden genannten Aspekte gelegt wird. Die Autoren der einzelnen K...
|
cena:
215,62 |
 |
Termersetzungssysteme: Grundlagen der Prototyp-Generierung algebraischer Spezifikationen
ISBN: 9783540511724 / Niemiecki / Miękka / 151 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Termersetzungssysteme sind ein nicht-deterministisches Berechnungsmodell aus dem Bereich der funktionalen Programmierung. Die Funktionen werden durch rekursive Regeln spezifiziert und durch Untertermersetzung ohne explizite Kontrolle ausgewertet. Die logische Programmierung geht auf den Anfang der 70er Jahre zuruck und wurde besonders popular in Verbindung mit der Programmiersprache PROLOG. Die algebraische Programmierung entstand in ihren Grundzugen Mitte der 70er Jahre, als die ersten Arbeiten uber die Spezifikation abstrakter Datentypen veroffentlicht wurden. Obwohl die algebraische und...
Termersetzungssysteme sind ein nicht-deterministisches Berechnungsmodell aus dem Bereich der funktionalen Programmierung. Die Funktionen werden durch ...
|
cena:
215,62 |
 |
Parallele Implementierung funktionaler Programmiersprachen
ISBN: 9783540520498 / Niemiecki / Miękka / 385 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Funktionale Programmiersprachen sind seiteneffektfrei und bilden daher eine vielversprechende Basis fur die Programmierung von Parallelrechnern. Sie enthalten in der Regel keine expliziten Sprachkonstrukte zur Spezifizierung von Parallelitat. Ein parallelisierender Compiler kann die in einem funktionalen Programm implizit enthaltene Parallelitat entdecken und das Progamm in parallel ausfuhrbare Prozesse zerlegen. Der Programmierer braucht sich also nicht, wie etwa in einer um Parallelkonstrukte erweiterten imperativen Programmiersprache, um die Verwaltung der parallelen Prozesse sowie...
Funktionale Programmiersprachen sind seiteneffektfrei und bilden daher eine vielversprechende Basis fur die Programmierung von Parallelrechnern. Sie e...
|
cena:
215,62 |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
