» książki » Computers - Programming - Compilers
topmenu
 |
Informatik: Eine Grundlegende Einführung Teil I. Problemnahe Programmierung
ISBN: 9783540551911 / Niemiecki / Miękka / 250 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Die Informatik hat sich zu einer wissenschaftlichen Disziplin entwickelt, die in vielfaltiger Weise Methoden und Techniken fur die Modellierung, Darstellung und Implementierung informationsverarbeitender Systeme bereitstellt. Diese grundlegende Einfuhrung in die Informatik behandelt die fundamentalen Modelle, Formalismen und sprachlichen Konstruktionen sowie die wichtigsten Anwendungsgebiete und technischen Konzeptionen der Informatik. Dabei wird auf eine saubere, formale Fundierung und begriffliche Klarheit Wert gelegt.
In diesem ersten von vier Banden wird das gesamte Gebiet der... Die Informatik hat sich zu einer wissenschaftlichen Disziplin entwickelt, die in vielfaltiger Weise Methoden und Techniken fur die Modellierung, Darst...
|
cena:
189,24 |
 |
Realzeit-Programmierung
ISBN: 9783540671213 / Niemiecki / Twarda / 357 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
208,34 |
 |
Proof in VDM: Case Studies
ISBN: 9783540761860 / Angielski / Miękka / 226 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Not so many years ago, it would have been difficult to find more than a handful of examples of the use of formal methods in industry. Today however, the industrial application of formal methods is becoming increasingly common in a variety of application areas, particularly those with a safety, security or financially critical aspects. Furthermore, in situations where a particularly high level of assurance is required, formal proof is broadly accepted as being of value. Perhaps the major benefit of formalisation is that it enables formal symbolic manip ulation of elements of a design and hence...
Not so many years ago, it would have been difficult to find more than a handful of examples of the use of formal methods in industry. Today however, t...
|
cena:
536,96 |
 |
Optimal Interprocedural Program Optimization: A New Framework and Its Application
ISBN: 9783540651239 / Angielski / Miękka / 288 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Starting from the intraprocedural basic case, this monograph focuses on interprocedural optimization. It emphasizes the analogies and essential differences between intraprocedural and interprocedural optimization, and offers cookbook style support for constructing the underlying algorithms. It is aimed at compiler constructors and researchers interested in the systematic transfer of intraprocedural optimizations to the interprocedural setting, as well as students seeking a gentle introduction to the field.
Starting from the intraprocedural basic case, this monograph focuses on interprocedural optimization. It emphasizes the analogies and essential differ...
|
cena:
202,66 |
 |
Abstraction, Refinement and Proof for Probabilistic Systems
ISBN: 9781441923127 / Angielski / Miękka / 388 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm .
Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm .
|
cena:
608,07 |
 |
Retargetable Compilers for Embedded Core Processors: Methods and Experiences in Industrial Applications
ISBN: 9781441951823 / Angielski / Miękka / 155 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Embedded core processors are becoming a vital part of today's system-on-a-chip in the growing areas of telecommunications, multimedia and consumer electronics. This is mainly in response to a need to track evolving standards with the flexibility of embedded software. Consequently, maintaining the high product performance and low product cost requires a careful design of the processor tuned to the application domain. With the increased presence of instruction-set processors, retargetable software compilation techniques are critical, not only for improving engineering productivity, but to allow...
Embedded core processors are becoming a vital part of today's system-on-a-chip in the growing areas of telecommunications, multimedia and consumer ele...
|
cena:
405,36 |
 |
Top Productivity Through Software Reuse: 12th International Conference on Software Reuse, Icsr 2011, Pohang, South Korea, June 13-17, 2011. Proceeding
ISBN: 9783642213465 / Angielski / Miękka / 247 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 12th International Conference on Software Reuse, ICSR 2011, held in Pohang, South Korea, in June 2011. The 16 revised full papers were carefully reviewed and selected from 43 submissions. They are presented together with one keynote, three workshop papers, a doctoral symposium report and two tutorials. Topics of interest are domain analysis and modeling; asset search and retrieval; architecture-centric approaches to reuse; component-based reuse; COTS-based development; generator-based techniques; domain-specific languages; testing in the...
This book constitutes the refereed proceedings of the 12th International Conference on Software Reuse, ICSR 2011, held in Pohang, South Korea, in June...
|
cena:
202,66 |
 |
Objects, Models, Components, Patterns: 49th International Conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011, Proceedings
ISBN: 9783642219511 / Angielski / Miękka / 307 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the refereed proceedings of the 49th International Conference on Objects, Models, Components, Patterns, held in Zurich, Switzerland, in June 2011. This book includes the papers that discuss various aspects of object technology and related fields, in particular model-based development, and component-based development.
Constitutes the refereed proceedings of the 49th International Conference on Objects, Models, Components, Patterns, held in Zurich, Switzerland, in Ju...
|
cena:
202,66 |
 |
Open Source Ecosystems: Diverse Communities Interacting: 5th Ifip Wg 2.13 International Conference on Open Source Systems, OSS 2009, Skövde, Sweden, J
ISBN: 9783642101892 / Angielski / Miękka / 372 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Welcome to the 5th International Conference on Open Source Systems It is quite an achievement to reach the five-year mark - that's the sign of a successful enterprise. This annual conference is now being recognized as the primary event for the open source research community, attracting not only high-quality papers, but also building a community around a technical program, a collection of workshops, and (starting this year) a Doctoral Consortium. Reaching this milestone reflects the efforts of many people, including the conference founders, as well as the organizers and participants in the...
Welcome to the 5th International Conference on Open Source Systems It is quite an achievement to reach the five-year mark - that's the sign of a succ...
|
cena:
405,36 |
 |
Haxe 2 Beginner's Guide
ISBN: 9781849512565 / Angielski / Miękka / 288 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. haXe is the universal programming language that is completely cross-platform and provides a standard library that remains the same regardless of platform. haXe 2 Beginner's Guide will get you up and running with this exciting language and will guide you through its features in the easiest way possible. haXe has filled the gap in creating multi-platform applications, and haXe 2 Beginner's Guide will fill the gap in learning all you need to know about haXe even if it's the first time you have heard of it. This book will enable you to fully realize haXe's potential for translating code from a...
haXe is the universal programming language that is completely cross-platform and provides a standard library that remains the same regardless of platf...
|
cena:
221,27 |
 |
Trends in Functional Programming: 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers
ISBN: 9783642229404 / Angielski / Miękka / 215 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the thoroughly refereed post-conference proceedings of the 11th International Symposium on Trends in Functional Programming, TFP 2010, held in Norman, OK, USA, in May 2010.
Constitutes the thoroughly refereed post-conference proceedings of the 11th International Symposium on Trends in Functional Programming, TFP 2010, hel...
|
cena:
202,66 |
 |
Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings
ISBN: 9783642243714 / Angielski / Miękka / 532 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis, ATVA 2011, held in Taipei, Taiwan, in October 2011.
The 23 revised regular papers presented together with 5 invited papers, 11 short papers, and 2 tool papers, were carefully reviewed and selected from 75 submissions. The papers address all theoretical and practical aspects of automated analysis, verification and synthesis; thus providing a forum for interaction between the regional and the international research communities and industry in the field. This book constitutes the refereed proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis, ATVA 2011, he...
|
cena:
202,66 |
 |
ECOOP 2011--Object-Oriented Programming: 25th European Conference. Lancaster, UK, July 25-29, 2011, Proceedings
ISBN: 9783642226540 / Angielski / Miękka / 660 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 25th European Conference on Object-Oriented Programming, ECOOP 2011, held in Lancaster, UK, in July 2011. The 26 revised full papers, presented together with three keynote lectures were carefully reviewed and selected from a total of 100 submissions. The papers cover topics such as empirical studies, mining, understanding, recommending, modularity, modelling and refactoring, aliasing and ownership; as well as memory optimizations.
This book constitutes the refereed proceedings of the 25th European Conference on Object-Oriented Programming, ECOOP 2011, held in Lancaster, UK, in J...
|
cena:
202,66 |
 |
SDL 2011: Integrating System and Software Modeling: 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers
ISBN: 9783642252631 / Angielski / Miękka / 277 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the thoroughly refereed post-conference proceedings of the 15th International SDL Forum, SDL 2011, held in Toulouse, France, in July 2011. This title provides topics such as SDL and related languages; testing; and services and components to a range of presentations of domain specific languages and applications.
Constitutes the thoroughly refereed post-conference proceedings of the 15th International SDL Forum, SDL 2011, held in Toulouse, France, in July 2011....
|
cena:
202,66 |
 |
Compiler Construction: 21st International Conference, CC 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 201
ISBN: 9783642286513 / Angielski / Miękka / 245 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 21st International Conference on Compiler Construction, CC 2012, held as part of the joint European Conference on Theory and Practice of Software, ETAPS 2012, which took place in Tallinn, Estonia, in March/April 2012. The 13 papers presented in this book were carefully reviewed and selected from 51 submissions. They are organized in topical sections named: GPU optimisation, program analysis, objects and components, and dynamic analysis and runtime support.
This book constitutes the proceedings of the 21st International Conference on Compiler Construction, CC 2012, held as part of the joint European Confe...
|
cena:
202,66 |
 |
Fundamental Approaches to Software Engineering: 15th International Conference, Fase 2012, Held as Part of the European Joint Conferences on Theory and
ISBN: 9783642288715 / Angielski / Miękka / 534 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 15th International Conference on Fundamental Approaches to Software Engineering, FASE 2012, held in Tallinn, Estonia, in March/April 2012, as part of ETAPS 2012, the European Joint Conferences on Theory and Practice of Software. The 33 full papers presented together with one full length invited talk were carefully reviewed and slected from 134 submissions. The papers are organized in topical sections on software architecture and components, services, verification and monitoring, intermodelling and model transformations, modelling and...
This book constitutes the refereed proceedings of the 15th International Conference on Fundamental Approaches to Software Engineering, FASE 2012, held...
|
cena:
202,66 |
 |
Fundamentals of Software Engineering: Fourth International IPM Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers
ISBN: 9783642293191 / Angielski / Miękka / 377 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the thoroughly refereed post-conference proceedings of the Fourth International Conference on Fundamentals of Software Engineering, FSEN 2011, held in Tehran, Iran, in April 2011. This title features papers organized in topical section on models of programs and systems, software specification, validation and verification, and more.
Constitutes the thoroughly refereed post-conference proceedings of the Fourth International Conference on Fundamentals of Software Engineering, FSEN 2...
|
cena:
202,66 |
 |
Theory and Practice of Model Transformations: 5th International Conference, Icmt 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings
ISBN: 9783642304750 / Angielski / Miękka / 295 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the refereed proceedings of the 5th International Conference, ICMT 2012, held in Prague, Czech Republic, in May 2012, co-located with TOOLS 2012 Federated Conferences.
Constitutes the refereed proceedings of the 5th International Conference, ICMT 2012, held in Prague, Czech Republic, in May 2012, co-located with TOOL...
|
cena:
202,66 |
 |
Implementing Programming Languages. an Introduction to Compilers and Interpreters
ISBN: 9781848900646 / Angielski / Miękka / 224 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Implementing a programming language means bridging the gap from the programmer's high-level thinking to the machine's zeros and ones. If this is done in an efficient and reliable way, programmers can concentrate on the actual problems they have to solve, rather than on the details of machines. But understanding the whole chain from languages to machines is still an essential part of the training of any serious programmer. It will result in a more competent programmer, who will moreover be able to develop new languages. A new language is often the best way to solve a problem, and less...
Implementing a programming language means bridging the gap from the programmer's high-level thinking to the machine's zeros and ones. If this is done ...
|
cena:
95,47 |
 |
Java Kompakt: Eine Einführung in Die Software-Entwicklung Mit Java
ISBN: 9783642285035 / Niemiecki / Miękka / 252 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Das Buch bietet eine knappe, praxisorientierte Einfuhrung in die Programmierung mit Java. Basierend auf Vorlesungen, Kursen und Praktika fur die ersten beiden Semester an der Ludwig-Maximilians-Universitat Munchen, sollen Leser moglichst schnell in die Lage versetzt werden, Java Programme zu verstehen und selbstandig zu schreiben. Das Buch umfasst den Stoff einer Erstsemester-Vorlesung oder eine Java-Umschulung und vermittelt damit die Grundlagen fur eine akademische Ausbildung oder fur einen beruflichen Einstieg als Java-Programmierer.
Das Buch bietet eine knappe, praxisorientierte Einfuhrung in die Programmierung mit Java. Basierend auf Vorlesungen, Kursen und Praktika fur die erste...
|
cena:
189,41 |
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
