» książki » Computers - Programming - Compilers
topmenu
 |
Mathematical Foundations of Computer Science 1978: 7th Symposium Zakopane, Poland, September 4-8, 1978. Proceedings
ISBN: 9783540089216 / Angielski / Miękka / 556 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,24 |
 |
Languages and Compilers for Parallel Computing: 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers
ISBN: 9783540693291 / Angielski / Miękka / 480 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-proceedings of the 18th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2005, held in Hawthorne, NY, USA in October 2005. The 26 revised full papers and eight short papers presented were carefully selected during two rounds of reviewing and improvement. The papers are organized in topical sections. This book constitutes the thoroughly refereed post-proceedings of the 18th International Workshop on Languages and Compilers for Parallel Computing... |
cena:
201,24 |
 |
Applications of Declarative Programming and Knowledge Management: 17th International Conference, Inap 2007, and 21st Workshop on Logic Programming, Wl
ISBN: 9783642006746 / Holenderski / Miękka / 264 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains a selection of papers presented at the 17th International Conference on Applications of Declarative Programming and Knowledge M- agement INAP 2007 and the 21st Workshop on Logic Programming WLP 2007, which were held jointly in Wu ]rzburg, Germany, during October 4-6, 2007. Declarative programming is anadvancedparadigmforthe modelingandso- ing of complex problems. This speci?cation method has become more and more attractiveoverthelastyears, e.g., inthedomainsofdatabases, fortheprocessing of natural language, for the modeling and processing of combinatorial problems, and...
This volume contains a selection of papers presented at the 17th International Conference on Applications of Declarative Programming and Knowledge M- ...
|
cena:
201,24 |
 |
Software Engineering for Self-Adaptive Systems
ISBN: 9783642021602 / Angielski / Miękka / 261 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Although the self-adaptability of systems has been studied in a wide range of disciplines, from biology to robotics, only recently has the software engineering community recognized its key role in enabling the development of future software systems that are able to self-adapt to changes that may occur in the system, its requirements, or the environment in which it is deployed. The 12 carefully reviewed papers included in this state-of-the-art survey originate from the International Seminar on Software Engineering for Self-Adaptive Systems, held in Dagstuhl Castle, Germany, in... Although the self-adaptability of systems has been studied in a wide range of disciplines, from biology to robotics, only recently has the software... |
cena:
201,24 |
 |
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:
684,33 |
 |
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:
184,98 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
Ü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:
112,84 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
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:
603,81 |
 |
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:
402,53 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
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:
201,24 |
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
