» książki » Computers - Programming - Compilers
topmenu
 |
Software Composition: 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings
ISBN: 9783642140457 / Angielski / Miękka / 155 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The goal of the International Conference on Software Composition is to advance the state of research on modularity and reuse in the context of software development based on components, services, features, or models. Software composition is becoming more and more important as innovation in software engineering shifts from the development of individual components to their reuse and recombination in novel ways. To this end, for the 2010 edition, researchers were solicited to contribute on topics such as component adaptation techniques, composition languages, modeling, as well as emerging...
The goal of the International Conference on Software Composition is to advance the state of research on modularity and reuse in the context of softwar...
|
cena:
203,61 |
 |
Verified Software: Theories, Tools, Experiments: Third International Conference, Vstte 2010, Edinburgh, Uk, August 16-19, 2010, Proceedings
ISBN: 9783642150562 / Angielski / Miękka / 217 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Veri?ed Software: Theories, Tools and Experiments, VSTTE 2010, was held in Edinburgh, Scotland during August 16-19, 2010. This conference is part of the Veri?ed Software Initiative (VSI), which is a 15-year international project that focuses on the scienti?c and technical challenges of producing veri?ed software. Previous VSTTE conferences were held in Zurich, Switzerland (in 2005) and Toronto, Canada (in 2008). The goal of VSTTE 2010 was to advance the state of the art in the science andtechnologyofsoftwareveri?cationthroughtheinteractionoftheorydevel- ment, toolevolution,...
Veri?ed Software: Theories, Tools and Experiments, VSTTE 2010, was held in Edinburgh, Scotland during August 16-19, 2010. This conference is part of t...
|
cena:
203,61 |
 |
Systems, Software and Services Process Improvement
ISBN: 9783642156656 / Angielski / Miękka / 303 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A typical characterization of EuroSPI is reflected in a statement made by a c- pany: ." . . the biggest value of EuroSPI lies in its function as a European knowledge and experience exchange mechanism for SPI and innovation. " Since its beginning in 1994 in Dublin, the EuroSPI initiative has outlined that there is not a single silver bullet to solve SPI issues, but that you need to understand a c- bination of different SPI methods and approaches to achieve concrete benefits. The- fore each proceedings volume covers a variety of different topics, and at the conf- ence we discuss potential...
A typical characterization of EuroSPI is reflected in a statement made by a c- pany: ." . . the biggest value of EuroSPI lies in its function as a Eur...
|
cena:
203,61 |
 |
Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings
ISBN: 9783642157684 / Angielski / Miękka / 473 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Static analysis is a research area aimed at developing principles and tools for veri?cation, certi?cation, semantics-based manipulation, and high-performance implementation of programming languages and systems. The series of Static Analysis Symposia has served as the primary venue for presentation and disc- sion of theoretical, practical, and applicational advances in the area. th This year s symposium, The 17 International Static Analysis Symposium (SAS 2010), was held on September 14 16, 2010 in Perpignan, France, with 3 a?liated workshops: NSAD 2010 (The Second Workshop on Numerical and...
Static analysis is a research area aimed at developing principles and tools for veri?cation, certi?cation, semantics-based manipulation, and high-perf...
|
cena:
203,61 |
 |
S-BPM ONE - Setting the Stage for Subject-Oriented Business Process Management: First International Workshop, Karlsruhe, Germany, October 22, 2009, Re
ISBN: 9783642159145 / Angielski / Miękka / 149 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains a selection of papers from the First Workshop on Subject- Oriented Business Process Management (S-BPM ONE). Establishing a multi- and cross-disciplinary interchange of underyling and applied concepts, successful appli- tion studies, and innovative development ideas, the workshop emphasized the pro- tive realization of role- or actor-oriented modeling on the basis of exchanging m- sages when accomplishing tasks. The workshop was organized as a forum for the discussion of foundations, achievements, reflections, and further developments. In this way, its contributions not...
This volume contains a selection of papers from the First Workshop on Subject- Oriented Business Process Management (S-BPM ONE). Establishing a multi-...
|
cena:
203,61 |
 |
Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings
ISBN: 9783642152962 / Angielski / Miękka / 257 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the papers that were presented at the 8th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2010), held September 8-10, 2010, at IST (Institute of Science and Technology) Austria, in Klosterneuburg, Austria. The modeling andanalysis oftiming aspects of systems is a keyproblem that has been treated independently in several di?erent communities in computer science and related areas. Researchers interested in semantics, veri?cation, re- timescheduling, andperformanceanalysisstudymodelssuchastimedautomata and timed Petri nets, the digital...
This volume contains the papers that were presented at the 8th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2010...
|
cena:
203,61 |
 |
Model Driven Engineering Languages and Systems: 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I
ISBN: 9783642161445 / Angielski / Miękka / 448 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is part I of a two-volume work that contains the refereed proceedings of the 13th International Conference on Model Driven Engineering Languages and Systems, MODELS 2010, held in Oslo, Norway, during October 3-8, 2010.The 54 revised full papers presented were carefully reviewed and selected from 252 submissions. The papers are organized in topical sections on genericity and generalization, model migration and incremental manipulation, modeling model transformations, verifying consistency and conformance, taming modeling complexity, modeling user-system interaction, model-driven...
This book is part I of a two-volume work that contains the refereed proceedings of the 13th International Conference on Model Driven Engineering Langu...
|
cena:
203,61 |
 |
Rewriting Logic and Its Applications: 8th International Workshop, Wrla 2010, Held as a Satellite Event of Etaps 2010, Paphos, Cyprus, March 20-21, 201
ISBN: 9783642163098 / Angielski / Miękka / 264 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the refereed proceedings of the 8th International Workshop on Rewriting Logic and its Applications, WRLA 2010, held as a satellite event of ETAPS 2010, Paphos, Cyprus, in March 2010.
Constitutes the refereed proceedings of the 8th International Workshop on Rewriting Logic and its Applications, WRLA 2010, held as a satellite event o...
|
cena:
203,61 |
 |
Programming Methodology
ISBN: 9781441929648 / Angielski / Miękka / 470 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The second half of the twentieth century saw an astonishing increase in computing power; today computers are unbelievably faster than they used to be, they have more memory, they can communicate routinely with remote machines all over the world - and they can fit on a desktop. But, despite this remarkable progress, the voracity of modem applications and user expectations still pushes technology right to the limit. As hardware engineers build ever-more-powerful machines, so too must software become more sophisticated to keep up. Medium- to large-scale programming projects need teams of people...
The second half of the twentieth century saw an astonishing increase in computing power; today computers are unbelievably faster than they used to be,...
|
cena:
447,98 |
 |
Languages for System Specification: Selected Contributions on Uml, Systemc, System Verilog, Mixed-Signal Systems, and Property Specification from Fdl'
ISBN: 9781441954572 / Angielski / Miękka / 357 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Contributions on UML address the application of UML in the specification of embedded HW/SW systems. C-Based System Design embraces the modeling of operating systems, modeling with different models of computation, generation of test patterns, and experiences from case studies with SystemC. Analog and Mixed-Signal Systems covers rules for solving general modeling problems in VHDL-AMS, modeling of multi-nature systems, synthesis, and modeling of Mixed-Signal Systems with SystemC. Languages for formal methods are addressed by contributions on formal specification and refinement of hybrid,...
Contributions on UML address the application of UML in the specification of embedded HW/SW systems. C-Based System Design embraces the modeling of ope...
|
cena:
610,90 |
 |
Übersetzerbau: Techniken, Werkzeuge, Anwendungen
ISBN: 9783540653899 / Niemiecki / Twarda / 368 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Das Buch bietet eine kompakte Einfuhrung in die Grundlagen und Techniken des Ubersetzerbaus. Ubersetzer transformieren Texte einer Quellsprache, deren Struktur durch eine formale Grammatik beschrieben ist, in eine Zielsprache. Die Ubersetzung imperativer Programmiersprachen in Maschinensprache ist dabei nur ein Spezialfall. Dieses Lehrbuch betont die vielseitige Verwendbarkeit von Ubersetzerbau-Techniken. Insbesondere kann man mit Methoden der Syntaxanalyse Strukturen in Texten, Dateien oder Byte-Stromen identifizieren. Ein weiterer Schwerpunkt liegt in der Verbindung von Theorie und Praxis...
Das Buch bietet eine kompakte Einfuhrung in die Grundlagen und Techniken des Ubersetzerbaus. Ubersetzer transformieren Texte einer Quellsprache, deren...
|
cena:
152,21 |
 |
Compilerbau
ISBN: 9783486252941 / Niemiecki / Miękka / 582 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Jeder kennt das Drachenbuch: "Principles of Compiler Design" von Alfred V. Aho und Jeffrey D. Ullman, den Meilenstein in der Literatur zum Compilerbau. Der "neue Drache," geschrieben von der Arbeitsgruppe Alfred V. Aho, Ravi Sethi und Jeffrey D. Ullman und ubersetzt von Prof. Dr. Gerhard Barth und seinen Mitarbeitern, bietet die gleichen Basis-Informationen wie der alte, befat sich dabei aber auch mit den jungsten Forschungen auf dem Gebiet, z.B.:
- Pragmatik der Compiler-Entwicklung - syntaxgesteuerte Ubersetzung, Typuberprufung, Laufzeit-Organisation, automatische... Jeder kennt das Drachenbuch: "Principles of Compiler Design" von Alfred V. Aho und Jeffrey D. Ullman, den Meilenstein in der Literatur zum Compilerbau...
|
cena:
171,76 |
 |
Das C++ Kompendium: Stl, Objektfabriken, Exceptions
ISBN: 9783642047862 / Niemiecki / Miękka / 334 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dieses Lehrbuch vermittelt sehr detailliert die zentralen Konzepte der Programmierung in C++. Dabei wird anhand vielfaltiger, komplexer Problemstellungen die Entwicklung korrekten und wiederverwendbaren Codes gezeigt und zudem eine Programmiertechnik vorgestellt, die typische Fehler und Inkonsistenzen zu vermeiden hilft. In den einzelnen Kapiteln werden Grundlagen und fortgeschrittene Themen zu fast allen Gebieten der Programmierung unter C++ betrachtet. Der Leser wird schrittweise anhand praktischer Aufgaben an die Problemstellungen herangefuhrt. Besonderer Wert wird auf den... Dieses Lehrbuch vermittelt sehr detailliert die zentralen Konzepte der Programmierung in C++. Dabei wird anhand vielfaltiger, komplexer Problemstel... |
cena:
144,59 |
 |
Informatik Für Ingenieure Und Naturwissenschaftler: Eine Anschauliche Einführung in Das Programmieren Mit C Und Java
ISBN: 9783540262435 / Niemiecki / Miękka / 363 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Das Lehrbuch lehnt sich an die erfolgreiche Mathematik fur Ingenieure desselben Autors an. Es fuhrt zunachst in die Grundlagen der Informatik und Datenverarbeitung ein. Vor allem aber befahigt es den Leser, in den beiden wichtigen Programmiersprachen C und Java zu programmieren. Mit der Kombination aus beiden Sprachen, die in den Anwendungen weit verbreitet sind, stellt dieses Buch ein neues Angebot dar. Die Themen des Buches werden nicht nur angerissen. Vielmehr erwirbt der Leser echtes Handlungswissen, so dass er nach Lekture des Buches konkrete Programme in beiden Sprachen schreiben kann....
Das Lehrbuch lehnt sich an die erfolgreiche Mathematik fur Ingenieure desselben Autors an. Es fuhrt zunachst in die Grundlagen der Informatik und Date...
|
cena:
152,21 |
 |
Auf Der Fährte Von C#: Einführung Und Referenz
ISBN: 9783540278887 / Niemiecki / Twarda / 237 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. a Auf der FAhrte von C# ist eine verstAndliche und kompakte, aber dennoch vollstAndige EinfA1/4hrung in die Sprache C#. Im Gegensatz zu den meisten anderen BA1/4chern zu C# wird dabei aber nicht das Schreiben von Code, sondern das objektorientierte Denken und die Entwicklung eines guten Programmierstils in den Mittelpunkt gestellt. Da der Autor als Zielplattform nicht nur .NET, sondern auch Mono anspricht, und zudem bereits Version 3.0 der Sprache C# und deren Erweiterungen wie beispielsweise LambdaausdrA1/4cke, Erweiterungsmethoden und Linq abdeckt, sind Sie auch fA1/4r die Zukunft gut...
a Auf der FAhrte von C# ist eine verstAndliche und kompakte, aber dennoch vollstAndige EinfA1/4hrung in die Sprache C#. Im Gegensatz zu den meisten an...
|
cena:
171,27 |
 |
Übersetzerbau: Virtuelle Maschinen
ISBN: 9783540495963 / Niemiecki / Miękka / 192 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Ubersetzer fur hohere Programmiersprachensind grosse komplexeSoftwaresysteme. Sie habenabereinigebesondereEigenschaften, diesie vordenmeistenanderenSo- waresystemen auszeichnen. Ihre Funktionalitat ist (fast) wohlde?niert. Idealerweise existieren vollstandige formale oder zumindest prazise Beschreibungen der Quellsprache und der Zielsp- che. Hau?g gibt es dazu noch Beschreibungen von Schnittstellen zum Betriebs- stem, zum Programmiersystem und zu Programmierumgebungen, zu anderen Ub- setzern und zu Programmbibliotheken. Die Ubersetzungsaufgabe lasst sich auf naturliche Weise in Teilaufgaben...
Ubersetzer fur hohere Programmiersprachensind grosse komplexeSoftwaresysteme. Sie habenabereinigebesondereEigenschaften, diesie vordenmeistenanderenSo...
|
cena:
125,57 |
 |
Formal Languages and Compilation
ISBN: 9781849968171 / Angielski / Miękka / 368 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. State of books on compilers The book collects and condenses the experience of years of teaching compiler courses and doing research on formal language theory, on compiler and l- guage design, and to a lesser extent on natural language processing. In the turmoil of information technology developments, the subject of the book has kept the same fundamental principles over half a century, and its relevance for theory and practice is as important as in the early days. This state of a?airs of a topic, which is central to computer science and is based on consolidated principles, might lead us to...
State of books on compilers The book collects and condenses the experience of years of teaching compiler courses and doing research on formal language...
|
cena:
285,06 |
 |
Architecting Dependable Systems VII
ISBN: 9783642172441 / Angielski / Miękka / 324 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. As software systems become increasingly ubiquitous, issues of dependability become ever more crucial. Given that solutions to these issues must be considered from the very beginning of the design process, it is clear that dependability and security have to be addressed at the architectural level. This book, as well as its six predecessors, was born of an effort to bring together the research communities of software architectures, dependability, and security.This state-of-the-art survey contains expanded, peer-reviewed papers based on selected contributions from the Workshop on Architecting...
As software systems become increasingly ubiquitous, issues of dependability become ever more crucial. Given that solutions to these issues must be con...
|
cena:
203,61 |
 |
Formal Methods for Components and Objects
ISBN: 9783642170706 / Angielski / Miękka / 339 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. All modern industries rely on large and complex software systems. In order to construct such large systems in a systematic manner, the focus of the development methodologies has switched in the last two decades from functional to structural issues. Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires a greater emphasis on specification, modeling, and validation techniques supporting the concepts of reusability and modifiability, and their...
All modern industries rely on large and complex software systems. In order to construct such large systems in a systematic manner, the focus of the de...
|
cena:
203,61 |
 |
Practical Aspects of Declarative Languages: 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings
ISBN: 9783642183775 / Angielski / Miękka / 265 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 13th International Symposium on Practical Aspects of Declarative Languages, PADL 2011, held in Austin, TX, USA, in January 2011, co-located with POPL 2011, the Symposium on Principles of Programming Languages. The 17 revised full papers presented together with one application paper were carefully reviewed and selected from 40 submissions. The volume features a variety of contributions ranging from message-passing and mobile networks, concurrent and parallel programming, event processing and reactive programming, profiling and portability...
This book constitutes the refereed proceedings of the 13th International Symposium on Practical Aspects of Declarative Languages, PADL 2011, held in A...
|
cena:
203,61 |
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
