» książki » Computers - Programming - Compilers
topmenu
 |
Typed Lambda Calculi and Applications: 7th International Conference, Tlca 2005, Nara, Japan, April 21-23, 2005, Proceedings
ISBN: 9783540255932 / Angielski / Miękka / 436 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 7th International Conference on Typed Lambda Calculi and Applications (TLCA 2005) was held in Nara (Japan) from 21 to 23 April 2005, as part of the Joint Conference on Rewriting, Deduction and Programming (RDP 2005). This book contains the contributed papers, and extended abstracts of two invited talks, given by Thierry Coquand and Susumu Hayashi. A short abstract of the joint RDP invited lecture by Amy Felty is also included. The 27 contributed papers were selected from 61 submissions of generally very high quality, and the Program Committee had a hard time making the selection. The...
The 7th International Conference on Typed Lambda Calculi and Applications (TLCA 2005) was held in Nara (Japan) from 21 to 23 April 2005, as part of th...
|
cena:
201,24 |
 |
Applications of Declarative Programming and Knowledge Management: 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Log
ISBN: 9783540255604 / Angielski / Miękka / 314 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains a selection of papers presented at the 15th International Conference on Applications of Declarative Programming and Knowledge M- agement, INAP 2004, and the 18th Workshop on Logic Programming, WLP 2004, which were held jointly in Potsdam, Germany, from March 4th to 6th, 2004. Declarative programming is an advanced paradigm for the modeling and solving of complex problems. This speci?cation method has become more and more attractive in recent years, for example, in the domains of databases, for the processing of natural language, for the modeling and processing of...
This volume contains a selection of papers presented at the 15th International Conference on Applications of Declarative Programming and Knowledge M- ...
|
cena:
201,24 |
 |
Languages and Compilers for High Performance Computing: 17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers
ISBN: 9783540280095 / Angielski / Miękka / 494 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-proceedings of the 17th International Workshop on Languages and Compilers for High Performance Computing, LCPC 2004, held in West Lafayette, IN, USA in September 2004. The 33 revised full papers presented were carefully selected during two rounds of reviewing and improvement. The papers are organized in topical sections on compiler infrastructures; predicting and reducing memory access; locality, tiling, and partitioning; tools and techniques for parallelism and locality; Java for high-performance computing; high-level languages and... This book constitutes the thoroughly refereed post-proceedings of the 17th International Workshop on Languages and Compilers for High Performance C... |
cena:
201,24 |
 |
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 |
 |
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 |
 |
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 |
 |
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 |
 |
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:
201,24 |
 |
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:
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
