» książki » Computers - Programming - Compilers
topmenu
 |
Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference,
ISBN: 9783642134630 / Angielski / Miękka / 233 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In 2010 the internationalfederated conferenceson Distributed Computing Te- niques (DisCoTec) tookplacein Amsterdam, during June 7-9.It washosted and organized by the Centrum voor Wiskunde & Informatica. DisCoTec conferences jointly cover the complete spectrum of distributed computing subjects ranging from theoretical foundations to formal speci?- tion techniques to practical considerations. The 12th International Conference on Coordination Models and Languages (Coordination) focused on the design and implementation of models that allow compositional construction of lar- scale concurrent and...
In 2010 the internationalfederated conferenceson Distributed Computing Te- niques (DisCoTec) tookplacein Amsterdam, during June 7-9.It washosted and o...
|
cena:
191,85 zł |
 |
Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings
ISBN: 9783642405600 / Angielski / Miękka / 321 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013. The 21 full papers included in this volume were carefully reviewed and selected from 58 submissions. They are organized in topical section on real-time systems, verification, types and inference, static analysis, testing and runtime verification, and synthesis and transformation.
This book constitutes the refereed proceedings of the11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madr...
|
cena:
191,85 zł |
 |
Testing Techniques in Software Engineering: Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Re
ISBN: 9783642143342 / Angielski / Miękka / 313 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Pernambuco School on Software Engineering (PSSE) 2007 was the second in a series of events devoted to the study of advanced computer science and to the promotion of international scienti?c collaboration. The main theme in 2007 was testing. Testing is nowadays a key activity for assuring software quality. The summer school and its proceedings were intended to give a detailed tutorial introduction to the scienti?c basis of this activity and its state of the art. Theseproceedingsrecordthecontributionsfromtheinvitedlecturers.Eachof...
The Pernambuco School on Software Engineering (PSSE) 2007 was the second in a series of events devoted to the study of advanced computer science and t...
|
cena:
191,85 zł |
 |
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:
191,85 zł |
 |
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:
191,85 zł |
 |
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:
383,73 zł |
 |
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:
191,85 zł |
 |
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:
191,85 zł |
 |
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:
191,85 zł |
 |
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:
191,85 zł |
 |
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:
191,85 zł |
 |
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:
191,85 zł |
 |
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:
191,85 zł |
 |
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:
191,85 zł |
 |
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:
422,11 zł |
 |
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:
575,62 zł |
 |
Ü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:
143,42 zł |
 |
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,36 zł |
 |
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:
136,24 zł |
 |
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:
143,42 zł |
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
