» książki » Computers - Programming - Compilers
topmenu
 |
New Modeling Concepts for Today's Software Processes: International Conference on Software Process, Icsp 2010, Paderborn, Germany, July 8-9, 2010. Pro
ISBN: 9783642143465 / Angielski / Miękka / 382 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. 2010 was the first time that the International Conference on Software Process was held autonomously and not co-located with a larger conference. This was a special challenge and we are glad that the conference gained a lot of attention, a significant number of contributions and many highly interested participants from industry and academia. This volume contains the papers presented at ICSP 2010 held in Paderborn, G- many, during July 8-9, 2010. ICSP 2010 was the fourth conference of the ICSP series. The conference provided a forum for researchers and industrial practitioners to - change new...
2010 was the first time that the International Conference on Software Process was held autonomously and not co-located with a larger conference. This ...
|
cena:
201,24 |
 |
Unifying Theories of Programming
ISBN: 9783642145209 / Angielski / Miękka / 279 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the post-proceedings of the Second International Symposium on Unifying Theories of Programming, UTP 2008, held at Trinity College, Dublin, Ireland, in September 2008. These papers reaffirm the significance of the ongoing UTP project and encourage efforts to advance it by providing a focus for the sharing of results.
Constitutes the post-proceedings of the Second International Symposium on Unifying Theories of Programming, UTP 2008, held at Trinity College, Dublin,...
|
cena:
201,24 |
 |
Automata, Languages and Programming: 24th International Colloquium, Icalp'97, Bologna, Italy, July 7 - 11, 1997, Proceedings
ISBN: 9783540631651 / Angielski / Miękka / 864 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP '97, held in Bologna, Italy, in July 1997. ICALP '97 celebrated the 25th anniversary of the European Association for Theoretical Computer Science (EATCS), which has sponsored the ICALP meetings since 1972.
The volume presents 73 revised full papers selected from a total of 197 submissions. Also included are six invited contributions. ICALP is one of the few flagship conferences in the area. The book addresses all current topics in theoretical computer science. This book constitutes the refereed proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP '97, held in Bologna...
|
cena:
402,53 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
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:
442,79 |
 |
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:
603,81 |
 |
Ü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:
150,44 |
 |
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:
169,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:
142,92 |
 |
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:
150,44 |
 |
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:
169,28 |
 |
Ü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:
124,11 |
 |
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:
281,76 |
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
