» książki » Computers - Programming - Compilers
topmenu
 |
Transactions on Pattern Languages of Programming I
ISBN: 9783642108310 / Angielski / Miękka / 230 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. From conception to birth is traditionally nine months. The first emails regarding the volume you now hold in your hands or the bits you have downloaded onto your screen are dated 11 June 2005. From conception to birth has taken over four years. Springer s LNCS Transactions on Pattern Languages of Programming is dedicated, first and foremost, to promoting, promulgating, presenting, describing, critiquing, interrogating, and evaluating all aspects of the use of patterns in programming. In the 15 years or so since Gamma, Helm, Johnson, Vlissides s Design Patterns became widely available,...
From conception to birth is traditionally nine months. The first emails regarding the volume you now hold in your hands or the bits you have downloade...
|
cena:
192,30 zł |
 |
Advances in Software Engineering: International Conference on Advanced Software Engineering and Its Applications, Asea 2009 Held as Part of the Future
ISBN: 9783642106187 / Angielski / Miękka / 348 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. As future generation information technology (FGIT) becomes specialized and fr- mented, it is easy to lose sight that many topics in FGIT have common threads and, because of this, advances in one discipline may be transmitted to others. Presentation of recent results obtained in different disciplines encourages this interchange for the advancement of FGIT as a whole. Of particular interest are hybrid solutions that c- bine ideas taken from multiple disciplines in order to achieve something more signi- cant than the sum of the individual parts. Through such hybrid philosophy, a new principle...
As future generation information technology (FGIT) becomes specialized and fr- mented, it is easy to lose sight that many topics in FGIT have common t...
|
cena:
192,30 zł |
 |
Formal Specification Techniques for Engineering Modular C Programs
ISBN: 9780792396536 / Angielski / Twarda / 213 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Software is difficult to develop, maintain, and reuse. Two factors that contribute to this difficulty are the lack of modular design and good program documentation. The first makes software changes more difficult to implement. The second makes programs more difficult to understand and to maintain.
Formal Specification Techniques for Engineering Modular C Programs describes a novel approach to promoting program modularity. The book presents a formal specification language that promotes software modularity through the use of abstract data types, even though the underlying... Software is difficult to develop, maintain, and reuse. Two factors that contribute to this difficulty are the lack of modular design and good program ...
|
cena:
576,96 zł |
 |
Programming Languages and Systems: 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Pra
ISBN: 9783642119569 / Angielski / Miękka / 652 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 19th European Symposium on Programming, ESOP 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software. The 30 revised full papers, presented together with two invited talks (one abstract and one full), were carefully reviewed and selected from 121 full paper submissions. The topics addressed include programming paradigms and styles, methods and tools to write and specify programs and languages, methods and tools for reasoning about programs, methods and tools for...
This book constitutes the refereed proceedings of the 19th European Symposium on Programming, ESOP 2010, held in Paphos, Cyprus, in March 2010, as par...
|
cena:
384,63 zł |
 |
Compiler Construction: 19th International Conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Softw
ISBN: 9783642119699 / Angielski / Miękka / 344 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 19th International Conference on Compiler Construction, CC 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the Joint European Conferences on Theory and Practice of Software.Following a thorough review process, 16 research papers were selected from 56 submissions. Topics covered include optimization techniques, program transformations, program analysis, register allocation, and high-performance systems.
This book constitutes the refereed proceedings of the 19th International Conference on Compiler Construction, CC 2010, held in Paphos, Cyprus, in Marc...
|
cena:
192,30 zł |
 |
Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, Tacas 2010, Held as Part of the Joint European Confe
ISBN: 9783642120015 / Angielski / Miękka / 488 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the refereed proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software.
Constitutes the refereed proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS ...
|
cena:
192,30 zł |
 |
Fundamental Approaches to Software Engineering: 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and
ISBN: 9783642120282 / Angielski / Miękka / 383 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Includes the refereed proceedings of the 13th International Conference on Fundamental Approaches to Software Engineering, FASE 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software.
Includes the refereed proceedings of the 13th International Conference on Fundamental Approaches to Software Engineering, FASE 2010, held in Paphos, C...
|
cena:
192,30 zł |
 |
Measurement, Modelling, and Evaluation of Computing Systems and Dependability in Fault Tolerance: 15th International Gi/ITG Conference, Mmb & DFT 2010
ISBN: 9783642121036 / Angielski / Miękka / 323 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Includes the refereed proceedings of the 15th International GI/ITG Conference on 'Measurement, Modelling and Evaluation of Computing Systems' and 'Dependability and Fault Tolerance', held in Essen, Germany, in March 2010.
Includes the refereed proceedings of the 15th International GI/ITG Conference on 'Measurement, Modelling and Evaluation of Computing Systems' and 'Dep...
|
cena:
192,30 zł |
 |
Advanced Lectures on Software Engineering: LASER Summer School 2007/2008
ISBN: 9783642130090 / Angielski / Miękka / 189 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Software defects lead to enormous costs for the software industry and society as a whole. While testing is useful to find bugs, it is insufficient to show the absence of certain kinds of errors or that a program satisfies its specification. Such high levels of software quality can be achieved by software verification, that is, by proving the correctness of a program with respect to its specification. Software verification has seen tremendous progress during the last decade; it continues to be an active research topic and is now also becoming increasingly popular among practitioners. This...
Software defects lead to enormous costs for the software industry and society as a whole. While testing is useful to find bugs, it is insufficient to ...
|
cena:
192,30 zł |
 |
Open Source Software: New Horizons: 6th International IFIP WG 2.13 Conference on Open Source Systems, OSS 2010, Notre Dame, IN, USA, May 30 - June 2, 2010, Proceedings
ISBN: 9783642132438 / Angielski / Twarda / 438 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Welcome to the 6th International Conference on Open Source Systems of the IFIP Working Group 2. 13. This year was the ?rst time this international conf- ence was held in North America. We had a large number of high-quality papers, highlyrelevantpanelsandworkshops, acontinuationofthepopulardoctoralc- sortium, and multiple distinguished invited speakers. The success of OSS 2010 was only possible because an Organizing Committee, a Program Committee, Workshop and Doctoral Committees, and authors of research manuscripts from over 25 countries contributed their time and interest to OSS 2010. In the...
Welcome to the 6th International Conference on Open Source Systems of the IFIP Working Group 2. 13. This year was the ?rst time this international con...
|
cena:
384,63 zł |
 |
Modelling Foundations and Applications: 6th European Conference, ECMFA 2010 Paris, France, June 15-18, 2010 Proceedings
ISBN: 9783642135941 / Angielski / Miękka / 364 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 2010 European Conference on Modelling Foundations and Applications (ECMFA 2010) was dedicated to assessing the state of the art and the state of the practice in model-based engineering. It was the sixth edition in the - ries of conferences previously known under the title European Conference on Model-DrivenArchitecture FoundationsandApplications(ECMDA-FA). The name changere?ects the de facto broadening of the conference scope beyondthe R R MDA initiative of the Object Management Group to cover all major advances related to model-based engineering approaches. These proceedings, like the...
The 2010 European Conference on Modelling Foundations and Applications (ECMFA 2010) was dedicated to assessing the state of the art and the state of t...
|
cena:
192,30 zł |
 |
Applications and Theory of Petri Nets: 31st International Conference, Petri Nets 2010, Braga, Portugal, June 21-25, 2010, Proceedings
ISBN: 9783642136740 / Angielski / Miękka / 329 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume consists of the proceedings of the 31th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010). The Petri Net conferences serve as annual meeting places to discuss the progress in the ?eld of Petri nets and related models of conc- rency. They provide a forum for researchers to present and discuss both app- cations and theoretical developments in this area. Novel tools and substantial enhancements to existing tools can also be presented. The satellite program of the conference comprised ?ve workshops and three tutorials....
This volume consists of the proceedings of the 31th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency ...
|
cena:
192,30 zł |
 |
Theory and Practice of Model Transformations: Third International Conference, Icmt 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings
ISBN: 9783642136870 / Angielski / Miękka / 278 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Model transformations are the glue that tie modelling activities together. If you've used modelling in anger then, whether you know it or not, you've used model transformations. They come in all shapes and sizes from moving models between di?erent tools to generating implementations. Model transformations have humble beginnings--at one point, not long ago, it was said by many 'in the know' that the way forward in model transformations was to use XSLT. That this idea now raises a wry smile shows how far the model transformation community has come in a short time. Where once model...
Model transformations are the glue that tie modelling activities together. If you've used modelling in anger then, whether you know it or not, you've ...
|
cena:
192,30 zł |
 |
Objects, Models, Components, Patterns: 48th International Conference, Tools 2010, Málaga, Spain, June 28 - July 2, 2010, Proceedings
ISBN: 9783642139529 / Angielski / Miękka / 316 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. It is a pleasure to present the proceedings of the 48th TOOLS Europe Conf- ence (TOOLS 2010) held in M alaga, Spain. The conference continues to serve a broad object-oriented community with a technical program spanning theory and practice. The program was rounded out with keynotes by Oege De Moor, Ivar Jacobson and Bertrand Meyer, and a banquet speech by Jean Bzivin. The proceedings include 16 papers selected from 60 submissions. The papers were reviewed in a single-blind process with 4-7 reviews per paper. The Program Committee (PC) discussions followed Oscar Nierstrasz Champion pattern. PC...
It is a pleasure to present the proceedings of the 48th TOOLS Europe Conf- ence (TOOLS 2010) held in M alaga, Spain. The conference continues to serve...
|
cena:
192,30 zł |
 |
Übersetzung Objektorientierter Programmiersprachen: Konzepte, Abstrakte Maschinen Und Praktikum "Java-Compiler"
ISBN: 9783540642565 / Niemiecki / Miękka / 287 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dieses Lehrbuch vermittelt Studierenden und Praktikern die Grundlagen fur die Entwicklung von Ubersetzern fur objektorientierte Programmiersprachen.
In einem Theorieteil werden zunachst ausfuhrlich und anschaulich die Konzepte dieser Sprachen und ihrer Ubersetzung behandelt, so dass der Leser einen umfassenden Uberblick uber die verschiedenen Ubersetzungstechniken erhalt. Die Ubersetzung von Smalltalk-80, Java und C++ wird uber eine einfache abstrakte (virtuelle) Maschine vereinheitlicht. Im Praxisteil des Buches wird dann die Spezifikation eines Ubersetzers fur Java entwickelt. Diese... Dieses Lehrbuch vermittelt Studierenden und Praktikern die Grundlagen fur die Entwicklung von Ubersetzern fur objektorientierte Programmiersprachen. |
cena:
118,60 zł |
 |
Reliable Software Technologies - Ada-Europe 2010: 15th Ada-Europe International Conference on Reliabel Software Technologies, Valencia, Spain, June 14
ISBN: 9783642135491 / Angielski / Miękka / 277 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 15th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2010, held in Valencia, Spain, on June 14-18, 2010. The 17 papers presented were carefully reviewed and selected from 40 submissions. Topics of interest to the conference are software dependability, critical, real-time and distributed systems, and language technology, all under the more general heading of Reliable Software Technologies.
This book constitutes the proceedings of the 15th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2010, held in Vale...
|
cena:
192,30 zł |
 |
Programming Languages: 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, September 29- October 4, 2013, Proceedings
ISBN: 9783642409219 / Angielski / Miękka / 151 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 17th Brazilian Symposium on Programming Languages, SBLP 2013, held in Brasilia, Brazil, in September/October 2013. The 10 full and 2 keynote talks were carefully reviewed and selected from 31 submissions. The papers are organized in topical sections on program generation and transformation, including domain-specific languages and model-driven development in the context of programming languages, programming paradigms and styles, including functional, object-oriented, aspect-oriented, scripting languages, real-time, service-oriented, multithreaded,...
This book constitutes the proceedings of the 17th Brazilian Symposium on Programming Languages, SBLP 2013, held in Brasilia, Brazil, in September/Octo...
|
cena:
176,95 zł |
 |
Component-Based Software Engineering: 13th International Symposium, Cbse 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings
ISBN: 9783642132377 / Angielski / Miękka / 253 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 2010 Symposium on Component-Based Software Engineering (CBSE 2010) was the 13th in a series of successful events that have grown into the main forum for industrial and academic experts to discuss component technology. CBSE is concerned with the development of software-intensive systems from - dependently developed software-building blocks (components), the development of components, and system maintenance and improvement by means of com- nent replacement and customization. The aim of the conference is to promote a science and technology foundation for achieving predictable quality in...
The 2010 Symposium on Component-Based Software Engineering (CBSE 2010) was the 13th in a series of successful events that have grown into the main for...
|
cena:
192,30 zł |
 |
Functional and Logic Programming: 10th International Symposium, Flops 2010, Sendai, Japan, April 19-21, 2010, Proceedings
ISBN: 9783642122507 / Angielski / Miękka / 355 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the 10th International Symposium on Functional and LogicProgramming(FLOPS 2010), held in Sendai, Japan, April 19 21, 2010 at Aoba Memorial Hall, Tohoku University. FLOPS is a forum for research on all issues concerning declarative progr- ming, including functional programming and logic programming, and aims to promotecross-fertilizationand integrationbetween the two paradigms.The p- vious FLOPS meetings were held in Fuji Susono (1995), Shonan Village (1996), Kyoto (1998), Tsukuba (1999), Tokyo (2001), Aizu (2002), Nara (2004), Fuji Susono (2006), and...
This volume contains the proceedings of the 10th International Symposium on Functional and LogicProgramming(FLOPS 2010), held in Sendai, Japan, April ...
|
cena:
192,30 zł |
 |
High-level Petri Nets: Theory and Application
ISBN: 9783540541257 / Angielski / Miękka / 724 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. High-level Petri nets are now widely used in both theoretical analysis and practical modelling of concurrent systems. The main reason for the success of this class of net models is that they make it possible to obtain much more succinct and manageable de- scriptions than can be obtained by means of low-level Petri nets-while, on the other hand, they still offer a wide range of analysis methods and tools. The step from low-level nets to high-level nets can be compared to the step from assembly languages to modem programming languages with an elaborated type concept. In low-level nets there is...
High-level Petri nets are now widely used in both theoretical analysis and practical modelling of concurrent systems. The main reason for the success ...
|
cena:
192,30 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
