» książki » Computers - Programming - Compilers
topmenu
 |
Pattern Calculus: Computing with Functions and Structures
ISBN: 9783540891840 / Angielski / Twarda / 232 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Over time, basic research tends to lead to specialization increasingly narrow t- ics are addressed by increasingly focussed communities, publishing in increasingly con ned workshops and conferences, discussing increasingly incremental contri- tions. Already the community of programming languages is split into various s- communities addressing different aspects and paradigms (functional, imperative, relational, and object-oriented). Only a few people manage to maintain a broader view, and even fewer step back in order to gain an understanding about the basic principles, their interrelation,...
Over time, basic research tends to lead to specialization increasingly narrow t- ics are addressed by increasingly focussed communities, publishing in...
|
cena:
690,75 |
 |
Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009,
ISBN: 9783642019173 / Angielski / Miękka / 352 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents a set of 8 papers accompanying the lectures of leading researchers given at the 9th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, held in Bertinoro, Italy, in June 2009. SFM 2009 was devoted to formal methods for web services and covered several aspects including coreography, orchestration, description techniques, interaction, synthesis, composition, session types, contracts, verification, security, and performance.
This book presents a set of 8 papers accompanying the lectures of leading researchers given at the 9th edition of the International School on Formal M...
|
cena:
186,72 |
 |
Component-Based Software Engineering: 12th International Symposium, Cbse 2009 East Stroudsburg, Pa, Usa, June 24-26, 2009 Proceedings
ISBN: 9783642024139 / Angielski / Miękka / 275 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 2009 Symposium on Component-Based Software Engineering (CBSE 2009) was the 12thin a series ofsuccessful eventsthat havegrowninto the main forum for industrial and academic experts to discuss component technology. Component-based software engineering (CBSE) has emerged as the under- ing technology for the assembly of ?exible software systems. In essence, CBSE is about composing computational building blocks to construct larger building blocks that ful?ll client needs. Most software engineers are involved in some form of component-based development. Nonetheless, the implications of CBSE...
The 2009 Symposium on Component-Based Software Engineering (CBSE 2009) was the 12thin a series ofsuccessful eventsthat havegrowninto the main forum fo...
|
cena:
203,13 |
 |
Software Composition
ISBN: 9783642026546 / Angielski / Miękka / 177 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 8th International Conference on Software Composition, SC 2009, was held in Zu ]rich, Switzerland, during July 2-3, 2009. Over the years SC has become an important and inspiring forum for researchers, practitioners, and students working in the broad ?eld of software composition. This topic area was further exploredbybothhigh-qualitypaperpresentationsaswellastwoexcellentinvited speakers. In all, 34 submissions underwent a full review process by the Program C- mittee (PC). Only 10 were accepted for publication and presentation at the conference. The published papers were selected according...
The 8th International Conference on Software Composition, SC 2009, was held in Zu ]rich, Switzerland, during July 2-3, 2009. Over the years SC has bec...
|
cena:
203,13 |
 |
Übersetzerbau: Band 2: Syntaktische Und Semantische Analyse
ISBN: 9783642011344 / Niemiecki / Miękka / 247 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Das Buch behandelt die Analysephase von Ubersetzern fur Programmiersprachen. Die Autoren beschreiben die lexikalische, syntaktische und semantische Analyse sowie Spezifikationsmechanismen fur diese Aufgaben aus der Theorie der formalen Sprachen und automatische Erzeugungsverfahren aus der Theorie der Automaten. Vorgestellt wird eine konzeptionelle Ubersetzerstruktur, mit der ein Eingabe- in ein Maschinenprogramm transformiert wird. Das Buch enthalt neben der notwendigen Theorie auch Hinweise zur Implementierung von Ubersetzern. Das Buch behandelt die Analysephase von Ubersetzern fur Programmiersprachen. Die Autoren beschreiben die lexikalische, syntaktische und semantische... |
cena:
113,90 |
 |
Programming Languages and Systems: 8th European Symposium on Programming, Esop'99 Held as Part of the Joint European Conferences on Theory and Practic
ISBN: 9783540656999 / Angielski / Miękka / 314 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is the second time that of ESOP has formed part of the ETAPS cluster of conferences, workshops, working group meetings and other associated activities. One of the results of colocatingso many conferences is a reduction in the number of possibilities to submit a paper to a European conference and the increased competition between conferences that occurs when boundaries between indiv- ual conferences have not yet become well established. This may have been the reason for the fact that only 44 submission were received this year. On the other hand we feel that the average quality of...
This is the second time that of ESOP has formed part of the ETAPS cluster of conferences, workshops, working group meetings and other associated activ...
|
cena:
203,13 |
 |
Domain-Specific Languages: IFIP TC 2 Working Conference, DSL 2009, Oxford, UK, July 15-17, 2009, Proceedings
ISBN: 9783642030338 / Angielski / Miękka / 411 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dijkstra once wrote that computer science is no more about computers than astronomy is about telescopes. Despite the many incredible advances in c- puter science from times that predate practical mechanical computing, there is still a myriad of fundamental questions in understanding the interface between computers and the rest of the world. Why is it still hard to mechanize many tasks that seem to be fundamentally routine, even as we see ever-increasing - pacity for raw mechanical computing? The disciplined study of domain-speci?c languages (DSLs) is an emerging area in computer science, and...
Dijkstra once wrote that computer science is no more about computers than astronomy is about telescopes. Despite the many incredible advances in c- pu...
|
cena:
203,13 |
 |
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:
203,13 |
 |
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:
203,13 |
 |
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:
609,48 |
 |
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:
406,31 |
 |
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:
203,13 |
 |
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:
203,13 |
 |
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:
203,13 |
 |
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:
203,13 |
 |
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:
203,13 |
 |
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:
406,31 |
 |
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:
203,13 |
 |
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:
203,13 |
 |
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:
203,13 |
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
