» książki » Computers - Programming - Compilers
topmenu
 |
Partial Evaluation: Practice and Theory: DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998
ISBN: 9783540667100 / Angielski / Miękka / 442 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. As the complexity of software increases, researchers and practicioners continue to seek better techniques for engineering the construction of evolution of software. Partial evaluation is an attractive technology for modern software construction since it provides automatic tools for software specialization and is based on rigorous semantic foundations. This book is based on a school held at DIKU Copenhagen, Denmark in summer 1998 during which leading researchers summarized the state of the art in partial evaluation. The lectures presented survey the foundations of partial evaluation in a clear...
As the complexity of software increases, researchers and practicioners continue to seek better techniques for engineering the construction of evolutio...
|
cena:
201,24 |
 |
Constraint Databases and Applications: Second International Workshop on Constraint Database Systems, Cdb '97, Delphi, Greece, January 11-12, 1997, Cp'
ISBN: 9783540625018 / Angielski / Miękka / 350 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents the refereed proceedings of the Second International Workshop on Constraint Database Systems, CDB '97, held in Delphi, Greece, in January 1997 together with some papers presented at the CP '96 Workshop on Constraints and Databases, held in Cambridge, Massachussetts, in August 1996.
The 18 revised full papers presented were carefully reviewed and selected for inclusion in the volume; also included are the extended abstract of an invited contribution and two survey papers. The papers are organized in sections on languages, expressiveness of spatial languages, systems,... This book presents the refereed proceedings of the Second International Workshop on Constraint Database Systems, CDB '97, held in Delphi, Greece, in J...
|
cena:
201,24 |
 |
Worldwide Computing and Its Applications: International Conference, Wwca '97, Tsukuba, Japan, March 10-11, 1997 Proceedings.
ISBN: 9783540633433 / Angielski / Miękka / 450 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the strictly refereed post-conference proceedings of the International Conference on Worldwide Computing and Its Applications, WWCA'97, held in Tsukuba, Japan, in March 1997.
The volume presents 15 revised full papers selected from 50 submissions as well as 15 revised invited papers by leading researchers in this emerging area and two keynotes. The papers are organized in topical sections on distributed programming languages and systems, distributed object environments, cooperative computation, collaboration support Systems, collaborative media, novel distributed... This book constitutes the strictly refereed post-conference proceedings of the International Conference on Worldwide Computing and Its Applications, W...
|
cena:
201,24 |
 |
Recent Advances in Parallel Virtual Machine and Message Passing Interface: 5th European PVM/MPI Users' Group Meeting, Liverpool, UK, September 7-9, 1998, Proceedings
ISBN: 9783540650416 / Angielski / Miękka / 424 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 5th European Meeting of the Parallel Virtual Machine and Message Passing Interface Users' Group, PVM/MPI '98, held in Liverpool, UK, in September 1998.
The 49 contributed and invited papers presented were carefully reviewed and revised for inclusion in the volume. All current aspects of PVM and MPI are addressed. The papers are organized in topical sections on evaluation and performance, extensions and improvements, implementation issues, tools, and algorithms. This book constitutes the refereed proceedings of the 5th European Meeting of the Parallel Virtual Machine and Message Passing Interface Users' Group,...
|
cena:
201,24 |
 |
Implementation of Functional Languages: 10th International Workshop, IFL'98, London, UK, September 9-11, 1998, Selected Papers
ISBN: 9783540662297 / Angielski / Miękka / 254 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on the Implementation of Functional Languages, IFL'98, held in London, UK, in September 1998.
The 15 revised full papers presented were carefully selected during two rounds of reviewing. The volume covers a wide range of topics including parallel process organization, parallel profiling, compilation and semantics of parallel systems, programming methodology, interrupt handling, strictness analysis, concurrency and message passing, and inter-language working. This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on the Implementation of Functional Languag...
|
cena:
201,24 |
 |
Speech Application SDK Mit ASP.NET: Design Und Implementierung Sprachgestützter Web-Applikationen
ISBN: 9783540208723 / Niemiecki / Twarda / 376 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Das Speech Application SDK ermoglicht den Aufbau von sprachgestutzten Web-Applikationen innerhalb des .NET-Frameworks. Im vorliegenden Buch wird die Implementierung entsprechender Programme anhand fundierter und praxisnaher Code-Beispiele dargestellt. Als Werkzeuge werden das .NET Framework 1.1 und das aktuelle SASDK 1.0 zum Einsatz kommen, wobei die einzelnen Komponenten des Visual Studio 2003 ebenso beschrieben werden wie auch SML (Semantic Markup Language) und SALT (Speech Application Language Tags) sowie JScript/JScript.NET und C#. Hierbei soll das Verstandnis dieser... Das Speech Application SDK ermoglicht den Aufbau von sprachgestutzten Web-Applikationen innerhalb des .NET-Frameworks. Im vorliegenden Buch... |
cena:
225,72 |
 |
LOGLAN '88 - Report on the Programming Language
ISBN: 9783540523253 / Angielski / Miękka / 135 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. LOGLAN '88 belongs to the family of object oriented programming languages. It embraces all important known tools and characteristics of OOP, i.e. classes, objects, inheritance, coroutine sequencing, but it does not get rid of traditional imperative programming: primitive types do not need to be objects; records, static arrays, subtypes and other similar type contructs are admitted. LOGLAN has non-traditional memory model which accepts programmed deallocation but avoids dangling reference. The LOGLAN semantic model provides multi-level inheritance, which properly cooperates with module...
LOGLAN '88 belongs to the family of object oriented programming languages. It embraces all important known tools and characteristics of OOP, i....
|
cena:
201,24 |
 |
Category Theory and Computer Science: Paris, France, September 3-6, 1991. Proceedings
ISBN: 9783540544951 / Angielski / Miękka / 304 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The papers in this volume were presented at the fourth biennial Summer Conference on Category Theory and Computer Science, held in Paris, September3-6, 1991. Category theory continues to be an important tool in foundationalstudies in computer science. It has been widely applied by logicians to get concise interpretations of many logical concepts. Links between logic and computer science have been developed now for over twenty years, notably via the Curry-Howard isomorphism which identifies programs with proofs and types with propositions. The triangle category theory - logic - programming...
The papers in this volume were presented at the fourth biennial Summer Conference on Category Theory and Computer Science, held in Paris, September3-6...
|
cena:
201,24 |
 |
Concur '92: Third International Conference on Concurrency Theory, Stony Brook, Ny, Usa, August 24-27, 1992. Proceedings
ISBN: 9783540558224 / Angielski / Miękka / 586 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains a selection of research papers on recent advances in the theory of concurrent systems and their applications. The mathematical understanding of their behaviour is examined in detail. Topics include process algebra, true concurrency, verification case studies and more.
This volume contains a selection of research papers on recent advances in the theory of concurrent systems and their applications. The mathematical un...
|
cena:
402,53 |
 |
Constraint Databases and Applications: ESPRIT WG CONTESSA Workshop, Friedrichshafen, Germany, September, 8 - 9, 1995. Proceedings
ISBN: 9783540607946 / Angielski / Miękka / 192 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the ESPRIT Working Group CONTESSA Workshop on Constraint Databases and Applications, held in Friedrichshafen, Germany in September 1995.
The 10 full revised papers selected for inclusion in this volume are written by and for practitioners, researchers, and application users of core constraint database technology; they can be classified in three sections on expressiveness of the various constraint database models; implementation and optimization issues in areas like spatial databases, geographic information systems, scheduling and routing.... This book constitutes the refereed proceedings of the ESPRIT Working Group CONTESSA Workshop on Constraint Databases and Applications, held in Friedri...
|
cena:
201,24 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
Ecoop '87. European Conference on Object-Oriented Programming: Paris, France, June 15-17, 1987. Proceedings
ISBN: 9783540183532 / Angielski / Miękka / 273 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the first European Conference on Object-Oriented Programming, held in Paris, June 15-17, 1987. The idea of this annual conference series is to provide a forum for theorists and practitioners interested in the object-oriented programming paradigm. The contributions cover the following aspects of object-oriented programming: methodology, implementation, theory, interfaces, languages, simulation, inheritance.
This volume contains the proceedings of the first European Conference on Object-Oriented Programming, held in Paris, June 15-17, 1987. The idea of thi...
|
cena:
140,86 |
 |
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:
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
