» książki » Computers - Programming - Compilers
topmenu
 |
Developments in Language Theory: 5th International Conference, DLT 2001, Vienna, Austria, July 16-21, 2001. Revised Papers
ISBN: 9783540434535 / Angielski / Miękka / 389 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the thoroughly refereed post-proceedings of the 5th International Conference on Developments in Language Theory, DLT 2001, held in Vienna, Austria, in July 2001. The 24 revised full papers presented together with 10 revised invited papers were carefully selected during two rounds of reviewing and revision from a total of 64 papers submitted. Among the topics covered are grammars and acceptors, efficient algorithms for languages, combinatorial and algebraic properties, decision problems, relations to complexity theory, logic, picture description and analysis, DNA...
This volume constitutes the thoroughly refereed post-proceedings of the 5th International Conference on Developments in Language Theory, DLT 2001, hel...
|
cena:
209,75 |
 |
Implementation of Functional Languages: 15th International Workshop, Ifl 2003, Edinburgh, Uk, September 8-11, 2003. Revised Papers
ISBN: 9783540237273 / Angielski / Miękka / 190 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-proceedings of the 15th International Workshop on the Implementation of Functional Languages, IFL 2003, held in Edinburgh, UK in September 2003. The 11 revised full papers presented were carefully selected during two rounds of reviewing and revision from 32 workshop presentations. The papers are organized in topical sections on language constructs and programming, static analysis and types, parallelism, and generic programming.
This book constitutes the thoroughly refereed post-proceedings of the 15th International Workshop on the Implementation of Functional Languages, IF... |
cena:
209,75 |
 |
Recent Advances in Parallel Virtual Machine and Message Passing Interface: 7th European Pvm/Mpi Users' Group Meeting Balatonfüred, Hungary, September
ISBN: 9783540410102 / Angielski / Miękka / 368 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Parallel Virtual Machine (PVM) and Message Passing Interface (MPI) are the most frequently used tools for programming according to the message passing paradigm, which is considered one of the best ways to develop parallel applications. This volume comprises 42 revised contributions presented at the Seventh European PVM/MPI Users' Group Meeting, which was held in Balatonfr ed, Hungary, 10 13 September 2000. The conference was organized by the Laboratory of Parallel and Distributed Systems of the Computer and Automation Research Institute of the Hungarian Academy of Sciences. This conference...
Parallel Virtual Machine (PVM) and Message Passing Interface (MPI) are the most frequently used tools for programming according to the message passing...
|
cena:
209,75 |
 |
Advances in Exception Handling Techniques
ISBN: 9783540419525 / Angielski / Miękka / 292 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Modern software systems are becoming more complex in many ways and have to cope with a growing number of abnormal situations which, in turn, are increasingly complex to handle. The most general way of dealing with these problems is by incorporating exception handling techniques in software design. In the past, various exception handling models and techniques have been proposed and many of them are part of practical languages and software composition technologies.
This book is composed of five parts, which deal with topics related to exception handling in the context of programming language... Modern software systems are becoming more complex in many ways and have to cope with a growing number of abnormal situations which, in turn, are incre...
|
cena:
209,75 |
 |
Concur 2001 - Concurrency Theory: 12th International Conference, Aalborg, Denmark, August 20-25, 2001 Proceedings
ISBN: 9783540424970 / Angielski / Miękka / 589 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 12th International Conference on Concurrency Theory, CONCUR 2001, held in Aalborg, Denmark in August 2001.
The 32 revised full papers presented together with six invited contributions were carefully reviewed and selected from 78 submissions. The papers are organized in topical sections on mobility, probabilistic systems, model checking, process algebra, unfoldings and prefixes, logic and compositionality, and games. This book constitutes the refereed proceedings of the 12th International Conference on Concurrency Theory, CONCUR 2001, held in Aalborg, Denmark in Au...
|
cena:
209,75 |
 |
Recent Advances in Parallel Virtual Machine and Message Passing Interface: 8th European Pvm/Mpi Users' Group Meeting, Santorini/Thera, Greece, Septemb
ISBN: 9783540426097 / Angielski / Miękka / 444 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Parallel Virtual Machine (PVM) and Message Passing Interface (MPI) are the most frequently used tools for programming according to the message passing paradigm, which is considered one of the best ways to develop parallel appli- tions. This volume comprises 50 revised contributions presented at the Eighth - ropean PVM/MPI Users' Group Meeting, which was held on Santorini (Thera), Greece,23-26September2001.TheconferencewasorganizedbytheDepartment of Informatics and Telecommunications, University of Athens, Greece. This conference has been previously held in Balatofured, ] Hungary (2000),...
Parallel Virtual Machine (PVM) and Message Passing Interface (MPI) are the most frequently used tools for programming according to the message passing...
|
cena:
209,75 |
 |
Modular Specification and Verification of Object-Oriented Programs
ISBN: 9783540431671 / Angielski / Miękka / 298 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Software systems play an increasingly important role in modern societies. Smart cards for personal identi?cation, e-banking, software-controlled me- cal tools, airbags in cars, and autopilots for aircraft control are only some examples that illustrate how everyday life depends on the good behavior of software. Consequently, techniques and methods for the development of hi- quality, dependable software systems are a central research topic in computer science. A fundamental approach to this area is to use formal speci?cation and veri?cation. Speci?cation languages allow one to describe the...
Software systems play an increasingly important role in modern societies. Smart cards for personal identi?cation, e-banking, software-controlled me- c...
|
cena:
209,75 |
 |
Reliable Software Technologies Ada-Europe 2000: 5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000, Proceedings
ISBN: 9783540676690 / Angielski / Miękka / 306 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Fifth International Conference on Reliable Software Technologies, Ada- Europe 2000, took place in Potsdam, Germany, June 26-30, 2000. It was - ganized by Ada Deutschland and sponsored by Ada-Europe, the European f- eration of national Ada societies, in cooperation with ACM SIGAda and the Gesellschaft fu ]r Informatik (GI). We gratefully acknowledge additional spons- ship by the DFG, the German Research Foundation, and by the Forschungsz- trum Karlsruhe. This year's conference marked the 20th anniversary of consecutive annual Ada-Europe conferences and the ?fth year of a conference...
The Fifth International Conference on Reliable Software Technologies, Ada- Europe 2000, took place in Potsdam, Germany, June 26-30, 2000. It was - gan...
|
cena:
209,75 |
 |
Advanced Functional Programming: 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures
ISBN: 9783540285403 / Angielski / Miękka / 362 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Presents nine revised lectures given at the 5th International School on Functional Programming, AFP 2004, in Tartu, Estonia in August 2004. This book includes the following lectures: Typing Haskell with an Attribute Grammar, Programming with Arrows, Epigram: Practical Programming with Dependent Types, And Combining Datatypes and Effects.
Presents nine revised lectures given at the 5th International School on Functional Programming, AFP 2004, in Tartu, Estonia in August 2004. This book ...
|
cena:
209,75 |
 |
Programming Languages and Systems: 11th European Symposium on Programming, ESOP 2002, Held as Part of the Joint European Conferences on Theory and Pra
ISBN: 9783540433637 / Angielski / Miękka / 330 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. ETAPS2002wasthe?fthinstanceoftheEuropeanJointConferencesonTheory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised 5 conferences (FOSSACS, FASE, ESOP, CC, TACAS), 13 satellite workshops (ACL2, AGT, CMCS, COCV, DCC, INT, LDTA, SC, SFEDL, SLAP, SPIN, TPTS, and VISS), 8 invited lectures (not including those speci?c to the satellite events), and several tutorials. The events that comprise ETAPS address various aspects of the system - velopmentprocess, includingspeci?cation,...
ETAPS2002wasthe?fthinstanceoftheEuropeanJointConferencesonTheory and Practice of Software. ETAPS is an annual federated conference that was establishe...
|
cena:
209,75 |
 |
Foundations of Software Science and Computational Structures: 6th International Conference, Fossacs 2003 Held as Part of the Joint European Conference
ISBN: 9783540008972 / Angielski / Miękka / 440 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The present volume contains the proceedings of the international conference Foundations of Software Science and Computation Structures(FOSSACS)2003, held in Warsaw, Poland, April 7-9, 2003. FOSSACS is an event of the Joint European Conferences on Theory and Practice of Software (ETAPS). The pre- ous ?ve FOSSACS conferences took place in Lisbon (1998), Amsterdam (1999), Berlin (2000), Genoa (2001), and Grenoble (2002). FOSSACS presents original papers on foundational researchwith a clear s- ni?cancetosoftwarescience.TheProgramCommitteeinvitedpapersontheories and methodsto supportthe analysis,...
The present volume contains the proceedings of the international conference Foundations of Software Science and Computation Structures(FOSSACS)2003, h...
|
cena:
209,75 |
 |
Software Engineering and Middleware: 4th International Workshop, Sem 2004, Linz, Austria, September 20-21, 2004 Revised Selected Papers
ISBN: 9783540253280 / Angielski / Miękka / 245 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Middleware provides an integration framework for multiple and potentially - verse computing platforms. It allows developers to engineer distributed appli- tions more easily, providing abstractions and primitives to handle distribution and coordination. Middlewareisconstantlyfacingnewchallenges.Today sadvancesincomp- ing, including development of pervasive applications, exacerbates the diversity problem, introducing variations not only in terms of performance, but also in terms of environments and device characteristics. Software engineers are the- fore challenged both in the area of the...
Middleware provides an integration framework for multiple and potentially - verse computing platforms. It allows developers to engineer distributed ap...
|
cena:
209,75 |
 |
Languages and Compilers for Parallel Computing: 16th International Workshop, Lcpc 2003, College Sation, Tx, Usa, October 2-4, 2003, Revised Papers
ISBN: 9783540211990 / Angielski / Miękka / 559 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-proceedings of the 16th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2003, held in College Station, Texas, USA, in October 2003. The 35 revised full papers presented were selected from 48 submissions during two rounds of reviewing and improvement upon presentation at the workshop. The papers are organized in topical sections on adaptive optimization, data locality, parallel languages, high-level transformations, embedded systems, distributed systems software, low-level transformations,... This book constitutes the thoroughly refereed post-proceedings of the 16th International Workshop on Languages and Compilers for Paralle... |
cena:
209,75 |
 |
Recent Advances in Constraints: Joint Ercim/Colognet International Workshop on Constraint Solving and Constraint Logic Programming, Csclp 2003, Budape
ISBN: 9783540218340 / Angielski / Miękka / 288 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-proceedings of the Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003 held in Budapest, Hungary in June/July 2003. The 15 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers are organized in Topical sections on constraint solving, soft constraints, language issues, and applications.
This book constitutes the thoroughly refereed post-proceedings of the Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constra... |
cena:
209,75 |
 |
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:
209,75 |
 |
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:
209,75 |
 |
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:
209,75 |
 |
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:
209,75 |
 |
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:
209,75 |
 |
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:
209,75 |
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
