» książki » Computers - Programming - Compilers
topmenu
 |
Compiler Design Using Java(R): An Object-Oriented Approach
ISBN: 9781734139136 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
191,44 |
| |
Compiler Design Using Kotlin(TM): An Object-Oriented Approach
ISBN: 9781734139174 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
191,44 |
 |
COBOL Basic Training Using VSAM, IMS, DB2 and CICS
ISBN: 9781734584721 / Angielski / Miękka / 668 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
191,44 |
 |
The Career Programmer: Guerilla Tactics for an Imperfect World
ISBN: 9781590596241 / Angielski / Miękka / 544 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. When Chris Duncan first asked me to do the foreword to his book, I didn't think it would be that tough to do. How hard could writing a foreword be? Compared to some of the projects I worked on in the past such as BoundsChecker, writing a book, or my current job of debugging others' impossible bugs, writing a foreword should be a piece of cake. However, within reading a couple of pages of The Career Programmer, I became extremely nervous because Chris is a far better writer than I can ever hope to be. The last thing I want to do is detract from great writing, and more importantly, an extremely...
When Chris Duncan first asked me to do the foreword to his book, I didn't think it would be that tough to do. How hard could writing a foreword be? Co...
|
cena:
191,58 |
 |
The Joys of Hashing: Hash Table Programming with C
ISBN: 9798868808258 / Miękka / 260 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
191,58 |
 |
Exploring C++: The Programmer's Introduction to C++
ISBN: 9781590597491 / Angielski / Miękka / 725 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Exploring C++ uses a series of self-directed lessons to divide C++ into bite-sized chunks that you can digest as rapidly as you can swallow them. The book assumes only a basic understanding of fundamental programming concepts (variables, functions, expressions, statements) and requires no prior knowledge of C or any other particular language. It reduces the usually considerable complexity of C++. The included lessons allow you to learn by doing, as a participant of an interactive education session. You'll master each step in one sitting before you proceed to the next. Author... Exploring C++ uses a series of self-directed lessons to divide C++ into bite-sized chunks that you can digest as rapidly as you can swallo... |
cena:
191,58 |
 |
Numerical C: Applied Computational Programming with Case Studies
ISBN: 9781484250631 / Angielski / Miękka / 312 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
191,58 |
 |
Beginning Ballerina Programming: From Novice to Professional
ISBN: 9781484251386 / Angielski / Miękka / 335 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
191,58 |
 |
Data Parallel C++
ISBN: 9781484296905 / Miękka / 650 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
191,58 |
 |
Correct System Design: Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2
ISBN: 9783319235059 / Angielski / Miękka / 279 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is dedicated to Professor Ernst--Rudiger Olderog on the occasion of his 60th birthday. This volume is a reflection on Professor Olderog's contributions to the scientific community. It provides a sample of research ideas that have been influenced directly by Ernst--Rudiger Olderog's work. After a laudatio section that provides a brief overview of Ernst--Rudiger Olderog's research, the book is comprised of five parts with scientific papers written by colleagues and collaborators of Professor Olderog. The papers address semantics, process algebras, logics for verification, program...
This book is dedicated to Professor Ernst--Rudiger Olderog on the occasion of his 60th birthday. This volume is a reflection on Professor Olderog's co...
|
cena:
192,78 |
 |
From Programs to Systems - The Systems Perspective in Computing: Etaps Workshop, Fps 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014
ISBN: 9783642548475 / Angielski / Miękka / 279 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. "From Programs to Systems - The Systems Perspective in Computing" workshop (FPS 2014) was held in honor of Professor Joseph Sifakis in the framework of the 16th European Joint Conferences on Theory and Practice of Software, ETAPS, in Grenoble, April 2014. Joseph Sifakis is an active and visionary researcher in the area of system design. He believes that endowing design with scientific foundations is at least of equal importance as the quest for scientific truth in natural sciences. Previously, he has worked on Petri nets, concurrent systems, program semantics, verification, embedded systems,...
"From Programs to Systems - The Systems Perspective in Computing" workshop (FPS 2014) was held in honor of Professor Joseph Sifakis in the framework o...
|
cena:
192,78 |
 |
Rewriting Logic and Its Applications: 10th International Workshop, Wrla 2014, Held as a Satellite Event of Etaps, Grenoble, France, April 5-6, 2014, R
ISBN: 9783319129037 / Angielski / Miękka / 297 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Rewriting Logic and its Applications, WRLA 2014, held as a satellite event of ETAPS 2014, in Genoble, France, in March 2014. The 13 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 21 submissions. The papers address a great diversity of topics in the fields of foundations and models of RL; languages based on RL; RL as a logical framework; RL as a semantic framework; use of RL to provide rigorous support for model-based software...
This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Rewriting Logic and its Applications, WR...
|
cena:
192,78 |
 |
Stochastic Model Checking: International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures
ISBN: 9783662454886 / Angielski / Miękka / 281 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The use of stochastic models in computer science is wide spread, for instance in performance modeling, analysis of randomized algorithms and communication protocols which form the structure of the Internet. Stochastic model checking is an important field in stochastic analysis. It has rapidly gained popularity, due to its powerful and systematic methods to model and analyze stochastic systems. This book presents 7 tutorial lectures given by leading scientists at the ROCKS Autumn School on Stochastic Model Checking, held in Vahrn, Italy, in October 2012. The 7 chapters of this tutorial went...
The use of stochastic models in computer science is wide spread, for instance in performance modeling, analysis of randomized algorithms and communica...
|
cena:
192,78 |
 |
Compiler Construction: 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Softw
ISBN: 9783662466629 / Angielski / Miękka / 253 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 24th International Conference on Compiler Construction, CC 2015, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, in London, UK, in April 2015. The 11 papers presented in this volume were carefully reviewed and selected from 34 submissions. They deal with compiler engineering and compiling techniques; compiler analysis and optimisation and formal techniques in compilers. The book also contains one invited talk in full-paper length. This book constitutes the proceedings of the 24th International Conference on Compiler Construction, CC 2015, held as part of the European Joint Co... |
cena:
192,78 |
 |
Theory and Practice of Model Transformations: 7th International Conference, Icmt 2014, Held as Part of Staf 2014, York, Uk, July 21-22, 2014, Proceedi
ISBN: 9783319087887 / Angielski / Miękka / 203 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 7th International Conference on Model Transformation, ICMT 2014, held in York, UK, in July 2014. The 14 revised papers were carefully selected from 38 submissions. The papers have been organized in topical sections on model transformation testing, foundations of model synchronization, applications of model synchronization and tracing and reverse engineering of transformations.
This book constitutes the refereed proceedings of the 7th International Conference on Model Transformation, ICMT 2014, held in York, UK, in July 2014....
|
cena:
192,78 |
 |
Tests and Proofs: 8th International Conference, Tap 2014, Held as Part of Staf 2014, York, Uk, July 24-25, 2014, Proceedings
ISBN: 9783319090986 / Angielski / Miękka / 214 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 8th International Conference on Tests and Proofs, TAP 2014, held in York, UK, in July 2014, as part of the STAF 2014 Federated Conferences. The 10 revised full papers and 4 short papers presented together with two tutorial descriptions were carefully reviewed and selected from 27 submissions. The papers cover topics in the following four research areas: test generation, bridging semantic gaps, integrated development processes and bounded verification.
This book constitutes the refereed proceedings of the 8th International Conference on Tests and Proofs, TAP 2014, held in York, UK, in July 2014, as p...
|
cena:
192,78 |
 |
Modelling Foundations and Applications: 10th European Conference, Ecmfa 2014, Held as Part of Staf 2014, York, Uk, July 21-25, 2014. Proceedings
ISBN: 9783319091945 / Angielski / Miękka / 267 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 10th European Conference on Modelling Foundations and Applications, ECMFA 2014, held as part of STAF 2014, in York, UK, in July 2014. The 14 foundation track papers and the 3 applications track papers presented in this volume were carefully reviewed and selected from 58 submissions. They are on all aspects of MDE, including topics such as model provenance; model transformations and code generation; model synthesis; model-driven testing; formal modeling approaches; business modeling; and usability of models.
This book constitutes the proceedings of the 10th European Conference on Modelling Foundations and Applications, ECMFA 2014, held as part of STAF 2014...
|
cena:
192,78 |
 |
Formal Methods for Industrial Critical Systems: 19th International Conference, Fmics 2014, Florence, Italy, September 11-12, 2014, Proceedings
ISBN: 9783319107011 / Angielski / Miękka / 201 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 19th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2014, held in Florence, Italy, in September 2014. The 13 papers presented in this volume were carefully reviewed and selected from 26 submissions. They are organized in topical sections named: cyber-physical systems; computer networks; railway control systems; verification methods; and hardware and software testing.
This book constitutes the proceedings of the 19th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2014, held in Flor...
|
cena:
192,78 |
 |
Reachability Problems: 8th International Workshop, Rp 2014, Oxford, Uk, September 22-24, 2014, Proceedings
ISBN: 9783319114385 / Angielski / Miękka / 246 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 8th International Workshop on Reachability Problems, RP 2014, held in Oxford, UK, in September 2014. The 17 papers presented in this volume were carefully reviewed and selected from 25 submissions. The book also contains a paper summarizing the invited talk. The papers offer new approaches for the modelling and analysis of computational processes by combining mathematical, algorithmic, and computational techniques.
This book constitutes the proceedings of the 8th International Workshop on Reachability Problems, RP 2014, held in Oxford, UK, in September 2014. The ...
|
cena:
192,78 |
 |
Verified Software: Theories, Tools and Experiments: 6th International Conference, Vstte 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Pape
ISBN: 9783319121536 / Angielski / Miękka / 287 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, held in July 2014 at the Vienna Summer of Logic in Vienna, Austria, as an associated event of CAV 2014, the International Conference on Computer-Aided Verification. The 17 revised full papers presented were carefully revised and selected from 34 submissions. The papers are organized in topical sections such as analysis: understanding and explanation; verification frameworks and applications; hypervisors and dynamic...
This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools ...
|
cena:
192,78 |
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
