» książki » Computers - Programming - Compilers
topmenu
 |
Softwareentwicklung in C++
ISBN: 9783642629327 / Niemiecki / Miękka / 570 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. C++ ist von allen Programmiersprachen, die heute in der Praxis eingesetzt werden, eine der machtigsten und am weitesten verbreitet. Um saubere und robuste Software in C++ zu entwickeln, ist es besonders wichtig, alle Features von C++ zu verstehen, da mangelndes Wissen in diesem Bereich unweigerlich zu schwerwiegenden Problemen in der Praxis fuhrt. Deshalb bietet dieses Buch eine detaillierte Einfuhrung in C++ und fuhrt so zu tieferem Verstandnis fur diese Programmiersprache. Zahlreiche Beispiele werden zur Erlauterung angefuhrt, versteckte Fallen aufgedeckt und erklart, und der Weg von der...
C++ ist von allen Programmiersprachen, die heute in der Praxis eingesetzt werden, eine der machtigsten und am weitesten verbreitet. Um saubere und rob...
|
cena:
196,02 |
 |
Einführung in C: Praktisches Lern- Und Arbeitsbuch Für Programmieranfänger
ISBN: 9783658129217 / Niemiecki / Miękka / 307 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dieses Buch ist als Lern- und Arbeitsbuch fur die Programmiersprache C konzipiert. Der Leser lernt anhand einer Vielzahl von Problemlosungen sich algorithmisches, strukturiertes Denken anzueignen und die Basiskonzepte wie Algorithmen, Variablen oder Modularitat zu beherrschen. Die Programmiersprache C ist sehr gut fur Einsteiger geeignet, da sie die Basis fur die modernen objektorientierten Sprachen C++, Java sowie C# bildet. C ist ausserdem eine flexible und effiziente Sprache, mit der auch komplexe Aufgaben schnell gelost werden konnen. Eine Besonderheit des Buches ist die... Dieses Buch ist als Lern- und Arbeitsbuch fur die Programmiersprache C konzipiert. Der Leser lernt anhand einer Vielzahl von Problemlosungen sich a... |
cena:
196,02 |
 |
Programmierung Mit Pascal: Eine Einführung Für Programmieranfänger
ISBN: 9783658181208 / Niemiecki / Miękka / 241 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Anleitung für gute Pascal-Programme
Anleitung für gute Pascal-Programme
|
cena:
196,02 |
 |
Functional Programming Languages and Computer Architecture: Portland, Oregon, Usa, September 14-16, 1987. Proceedings
ISBN: 9783540183174 / Angielski / Miękka / 472 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Contains the proceedings of the Third Conference on Functional Programming Languages and Computer Architecture held in Portland, Oregon, September 14-16, 1987.
Contains the proceedings of the Third Conference on Functional Programming Languages and Computer Architecture held in Portland, Oregon, September 14-...
|
cena:
197,16 |
 |
ESOP '90: 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings
ISBN: 9783540525929 / Angielski / Miękka / 440 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Proceedings of a conference on programming and programming languages. Topics include program development, programming language concepts, implementation techniques, programs as data objects, programming styles.
Proceedings of a conference on programming and programming languages. Topics include program development, programming language concepts, implementatio...
|
cena:
197,16 |
 |
The Programming Language ADA: Reference Manual. Proposed Standard Document United States Department of Defense
ISBN: 9783540106937 / Angielski / Miękka / 244 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
197,16 |
 |
Parle Parallel Architectures and Languages Europe: Vol.1: Parallel Architectures, Eindhoven, the Netherlands, June 15-19, 1987; Proceedings
ISBN: 9783540179436 / Angielski / Miękka / 490 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
197,16 |
 |
Parle Parallel Architectures and Languages Europe: Vol. 2: Parallel Languages, Eindhoven, the Netherlands, June 15-19, 1987; Proceedings
ISBN: 9783540179450 / Angielski / Miękka / 468 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
197,16 |
 |
Category Theory and Computer Science: Manchester, UK, September 5-8, 1989. Proceedings
ISBN: 9783540516620 / Angielski / Miękka / 372 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents the proceedings of the Sixth International Conference on Category Theory and Computer Science, CTCS '95, held in Cambridge, UK in August 1995.The 15 revised full papers included in the volume document the exploitation of links between logic and category theory leading to a solid basis for much of the understanding of the semantics of computation. Notable amongst other advances is the introduction of linear logic and other substructural logics, providing a new approach to proof theory. Further aspects covered are semantics of lambda calculi and type theories, program...
This book presents the proceedings of the Sixth International Conference on Category Theory and Computer Science, CTCS '95, held in Cambridge, UK in A...
|
cena:
197,16 |
 |
Windows APT Warfare: Identify and prevent Windows APT attacks effectively
ISBN: 9781804618110 / Angielski / Miękka / 258 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Learn Windows system design from the PE binary structure to modern and practical attack techniques used by red teams to implement advanced prevention Purchase of the print or Kindle book includes a free PDF eBook Key Features Understand how malware evades modern security products Learn to reverse engineer standard PE format program files Become familiar with modern attack techniques used by multiple red teams Book DescriptionAn Advanced Persistent Threat (APT) is a severe form of cyberattack that lies low in the system for a prolonged time and locates and then exploits sensitive...
Learn Windows system design from the PE binary structure to modern and practical attack techniques used by red teams to implement advanced prevention ...
|
cena:
201,04 |
 |
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:
201,40 |
 |
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:
201,40 |
 |
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:
201,40 |
 |
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:
201,40 |
 |
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:
201,40 |
 |
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:
201,40 |
 |
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:
201,40 |
 |
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:
201,40 |
 |
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:
201,40 |
 |
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:
201,40 |
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
