Esec '87: 1st European Software Engineering Conference Strasbourg, France, September 9-11, 1987. Proceedings
ISBN: 9783540187127 / Angielski / Miękka / 404 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the First European Software Engineering Conference, held at Strasbourg on September 9-11, 1987. The purpose of ESEC 87 was to provide a European forum for the interchange of ideas, and presentations of the current state of research and development in software engineering. The conference had over 400 participants, and papers were presented from all over Europe, Japan and North America. The book brings together the latest information on software engineering. Not only are working systems described but the latest research topics are also covered. The book...
This volume contains the proceedings of the First European Software Engineering Conference, held at Strasbourg on September 9-11, 1987. The purpose of...
|
|
cena:
190,51 zł |
Foundations of C++/CLI: The Visual C++ Language for .Net 3.5
ISBN: 9781430210238 / Angielski / Miękka / 516 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Foundations of C++/CLI: The Visual C++ Language for .NET 3.5 introduces C++/CLI, Microsoft's extensions to the C++ syntax that allow you to target the common language runtime, the key to the heart of the .NET Framework 3.5. This book gives you a small, fast-paced primer that will kick-start your journey into the world of C++/CLI. In 13 no-fluff chapters, Microsoft insiders take readers into the core of the C++/CLI language and explain both how the language elements work and how Microsoft intends them to be used. This book is a beginner's guide, but it assumes a familiarity... Foundations of C++/CLI: The Visual C++ Language for .NET 3.5 introduces C++/CLI, Microsoft's extensions to the C++ syntax that allow you t... |
|
cena:
247,67 zł |
Software Engineering and Middleware: Third International Workshop, SEM 2002. Orlando, FL, USA, May 20-21, 2002, Revised Papers
ISBN: 9783540075493 / Angielski / Miękka / 244 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 3rd International Workshop on Software Engineering and Middleware {SEM 2002) was held May 20-21, 2002, in Orlando, Florida, as a co-located event of the 2002 International Conference on Software Engineering. The workshop attracted 30 participants from academic and industrial institutions in many countries. Twenty-seven papers were submitted, of which 15 were accepted to create a broad program covering the topics of architectures, specification, components and adaptations, technologies, and services. The focus of the workshop was on short presentations, with substantial dis cussions...
The 3rd International Workshop on Software Engineering and Middleware {SEM 2002) was held May 20-21, 2002, in Orlando, Florida, as a co-located event ...
|
|
cena:
190,51 zł |
Languages and Compilers for Parallel Computing: 15th Workshop, Lcpc 2002, College Park, MD, Usa, July 25-27, 2002, Revised Papers
ISBN: 9783540307815 / Angielski / Miękka / 380 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-proceedings of the 15th International Workshop on Languages and Compilers for Parallel Processing, LCPC 2002, held in College Park, MD, USA in July 2002. The 26 revised full papers presented were carefully selected during two rounds of reviewing and improvement from 32 submissions. All current issues in parallel processing are addressed, in particular memory-constrained computation, compiler optimization, performance studies, high-level languages, programming language consistency models, dynamic parallelization, parallelization of data... This book constitutes the thoroughly refereed post-proceedings of the 15th International Workshop on Languages and Compilers for Parallel Processin... |
|
cena:
190,51 zł |
ADA 2005 Rationale: The Language, the Standard Libraries
ISBN: 9783540797005 / Angielski / Miękka / 288 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Ada 2005 is the latest version of the International Standard for the programming language Ada. Formally, it is an Amendment of ISO/IEC 8652:1995 (E) rather than a new standard. The goals for the new version were to enhance its capabilities, in those areas where its reliability and predictability are of great value.
Ada 2005 is the latest version of the International Standard for the programming language Ada. Formally, it is an Amendment of ISO/IEC 8652:1995 (E) r...
|
|
cena:
190,51 zł |
Generative and Component-Based Software Engineering: First International Symposium, Gcse'99, Erfurt, Germany, September 28-30, 1999. Revised Papers
ISBN: 9783540411727 / Angielski / Miękka / 225 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In the past two years, the Smalltalk and Java in Industry and Education C- ference (STJA) featured a special track on generative programming, which was organized by the working group Generative and Component-Based Software Engineering" of the Gesellschaft fur ] Informatik" FG 2.1.9 Object-Oriented Software Engineering." This track covered a wide range of related topics from domain analysis, software system family engineering, and software product - nes, to extendible compilers and active libraries. The talks and keynotes directed towards this new software engineering paradigm received much...
In the past two years, the Smalltalk and Java in Industry and Education C- ference (STJA) featured a special track on generative programming, which wa...
|
|
cena:
190,51 zł |
Recueil de Petits Problèmes En Scheme
ISBN: 9783540660439 / Angielski / Miękka / 363 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Le but de ce livre est de fournir des gammes d'exercices autour du concept de recursion. Scheme est le language le plus utilise par ce livre car c'est, avec ML, l'un des deux langages les plus utilises en premier cycle universitaire comme support d'initiation a la programmation. Mais que l' on ne s'y trompe pas, le veritable fil conducteur est la recursion.
Ce livre propose des gammes en programmations. Exercice apres exercice, sereinement, mais en y mettant du coeur, la pensee recursive s'installe. Le but de ce livre est de fournir des gammes d'exercices autour du concept de recursion. Scheme est le language le plus utilise par ce livre car c'est...
|
|
cena:
171,45 zł |
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:
190,51 zł |
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:
190,51 zł |
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:
190,51 zł |
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:
190,51 zł |
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:
190,51 zł |
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:
190,51 zł |
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:
190,51 zł |
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:
647,83 zł |
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:
175,12 zł |
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:
190,51 zł |
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:
190,51 zł |
Ü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:
106,82 zł |
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:
190,51 zł |