Realzeit-Programmierung
ISBN: 9783540671213 / Niemiecki / Twarda / 357 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
196,76 zł |
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:
196,76 zł |
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:
196,76 zł |
Massiv parallele Programmierung mit dem Parallaxis-Modell
ISBN: 9783540528531 / Niemiecki / Miękka / 168 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Die vorliegende Arbeit entstand wiilirend meiner Zeit als wissenschaftlicher Mitarbeiter der Universitat Stuttgart am Lehrstuhl fUr Programmiersprachen und ihre Ubersetzer, bei Herrn Prof. Dr. Gerhard Barth (inzwischen Leiter des Deutschen Forschungszentrums fUr Kiinstliche Intelligenz in Kaiserslautern, DFKI), sowie wahrend meines fast zweijiilirigen Aufenthalts in den USA, an der University of Southern California, Los Angeles, der durch ein Stipendium der Fulbright-Kommission ermoglicht wurde. Dieses Buch gliedert sich in fiinfzehn Kapitel und einen Anhang. Nach der Einleitung und der...
Die vorliegende Arbeit entstand wiilirend meiner Zeit als wissenschaftlicher Mitarbeiter der Universitat Stuttgart am Lehrstuhl fUr Programmiersprache...
|
|
cena:
196,76 zł |
Persistent Object Systems: Proceedings of the Third International Workshop 10-13 January 1989, Newcastle, Australia
ISBN: 9783540196266 / Angielski / Miękka / 408 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Presents the latest research in persistent object systems covering areas such as type systems and persistence, persitent programming languages, implementing persistence, object stores, measurement of persistent systems, transactions and persistence, and persistent machines.
Presents the latest research in persistent object systems covering areas such as type systems and persistence, persitent programming languages, implem...
|
|
cena:
191,40 zł |
Declarative Programming, Sasbachwalden 1991: Phoenix Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18-22 Nove
ISBN: 9783540197355 / Angielski / Miękka / 327 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Declarative programming languages are based on sound mathematical foundations which means that they offer many advantages for software development. These advantages include their powerful descriptive capabilities, the availability of program analysis techniques and the potential for parallel execution. This volume contains the proceedings of a seminar and workshop organised by the Esprit Basic Research Action Phoenix in collaboration with the Esprit Basic Research Action Integration. Both these groups have been closely involved in investigating the foundations of...
Declarative programming languages are based on sound mathematical foundations which means that they offer many advantages for software development. Th...
|
|
cena:
191,40 zł |
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:
382,84 zł |
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:
191,40 zł |
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:
574,29 zł |
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:
382,84 zł |
Informatik: Eine einführende Übersicht Erster Teil
ISBN: 9783540063322 / Niemiecki / Miękka / 222 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Neben das theoretische Studium der Informatik muB praktische Obung treten, fUr den Anfanger eine Praxis des Programmierens, die an den Besuch der EinfUhrungs vorlesung anschlieBt. Auch hierfiir solI eine Grundlage gelegt werden. Durch die Ver wendung von ALGOL 68, einer begriftlich ebenso reichhaltigen wie differenzierten Sprache mit iibersichtlichem Aufbau, ist der Obergang zu anderen Programrnierspra chen sehr leicht gemacht. Bei der im Text gewlihlten Anordnung ist nachteilig, daB man zu Beginn wenig Material fUr die Ubungen hat. Dem kann abgeholfen werden, indem man die Ab schnitte 1. 1,...
Neben das theoretische Studium der Informatik muB praktische Obung treten, fUr den Anfanger eine Praxis des Programmierens, die an den Besuch der Einf...
|
|
cena:
196,76 zł |
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:
191,40 zł |
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:
191,40 zł |
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:
382,84 zł |
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:
237,94 zł |
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:
191,40 zł |
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:
191,40 zł |
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:
191,40 zł |
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:
191,40 zł |
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:
191,40 zł |