» książki » Computers - Languages - General
topmenu
 |
Algebraic Specification of Communication Protocols
ISBN: 9780521088121 / Angielski / Miękka / 212 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Modern computer networks now circle the world, but the transmission of information among them depends on the many different protocols that define the behavior of the sender and receiver. It is clear therefore, that the accurate description of these protocols is important if harmonious communication is to be maintained. In this book the authors use the formal specification language PSF to provide an unambiguous description of several communication protocols of varying levels of complexity, ranging from the alternating bit protocol to the token ring protocol. Beginners, as well as professionals...
Modern computer networks now circle the world, but the transmission of information among them depends on the many different protocols that define the ...
|
cena:
249,46 |
 |
Programming Languages and Systems: 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Pra
ISBN: 9783540787389 / Angielski / Miękka / 402 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 17th European Symposium on Programming, ESOP 2008, held in Budapest, Hungary, in March/April 2008, as part of ETAPS 2008, the European Joint Conferences on Theory and Practice of Software. The 25 revised full papers presented together with the abstract of one invited talk and two tool presentations were carefully reviewed and selected from 104 submissions and address fundamental issues in the specification, analysis, and implementation of programming languages and sytems. The papers are organized in topical sections on static analysis,...
This book constitutes the refereed proceedings of the 17th European Symposium on Programming, ESOP 2008, held in Budapest, Hungary, in March/April 200...
|
cena:
201,72 |
 |
Generative and Transformational Techniques in Software Engineering II: International Summer School, Gttse 2007, Braga, Portugal, July 2-7. 2007, Revis
ISBN: 9783540886426 / Angielski / Miękka / 538 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The second instance of the international summer school on Generative and Transformational Techniques in Software Engineering (GTTSE 2007) was held in Braga, Portugal, during July 2-7, 2007. This volume contains an augmented selection of the material presented at the school, including full tutorials, short tutorials, and contributions to the participants workshop. The GTTSE summer school series brings together PhD students, lecturers, technology presenters, as well as other researchers and practitioners who are interested in the generation and the transformation of programs, data, models,...
The second instance of the international summer school on Generative and Transformational Techniques in Software Engineering (GTTSE 2007) was held in ...
|
cena:
201,72 |
 |
The Definition of Standard ML, revised edition
ISBN: 9780262631815 / Angielski / Miękka / 132 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Standard ML is a general-purpose programming language designed for large projects. This book provides a formal definition of Standard ML for the benefit of all concerned with the language, including users and implementers. Because computer programs are increasingly required to withstand rigorous analysis, it is all the more important that the language in which they are written be defined with full rigor.One purpose of a language definition is to establish a theory of meanings upon which the understanding of particular programs may rest. To properly define a programming language, it is... Standard ML is a general-purpose programming language designed for large projects. This book provides a formal definition of Standard ML for the be... |
cena:
166,38 |
 |
Principles of Programming Languages
ISBN: 9781848820319 / Angielski / Miękka / 159 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. We've known about algorithms for millennia, but we've only been writing c- puter programs for a few decades. A big di?erence between the Euclidean or Eratosthenes age and ours is that since the middle of the twentieth century, we express the algorithms we conceive using formal languages: programming languages. Computer scientists are not the only ones who use formal languages. - tometrists, for example, prescribe eyeglasses using very technical expressions, ? ? such as "OD: -1.25 (-0.50) 180 OS: -1.00 (-0.25) 180," in which the parent- ses are essential. Many such formal languages have been...
We've known about algorithms for millennia, but we've only been writing c- puter programs for a few decades. A big di?erence between the Euclidean or ...
|
cena:
144,01 |
 |
Languages and Compilers for Parallel Computing: 20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised Selected Papers
ISBN: 9783540852605 / Angielski / Miękka / 354 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. It is our pleasure to present the papers from the 20th International Workshop on Languages and Compilers for Parallel Computing For the past 19 years, this workshop has been one of the primary venues for presenting and learning about a wide rangeof currentresearchin parallelcomputing. We believe that tradition has continued in this, the 20th year of the workshop. This year, we received 49 paper submissions from 10 countries. About a quarter of the papers (12 out of 49) included authors from industry. We selected 23 papers to be presented at the workshop, for an acceptancerate of 47%, which...
It is our pleasure to present the papers from the 20th International Workshop on Languages and Compilers for Parallel Computing For the past 19 years...
|
cena:
201,72 |
 |
Data Structures and Algorithms: An Object-Oriented Approach Using ADA 95
ISBN: 9780387948348 / Angielski / Twarda / 364 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This textbook provides an in depth course on data structures in the context of object oriented development. Its main themes are abstraction, implementation, encapsulation, and measurement: that is, that the software process begins with abstraction of data types, which then lead to alternate representations and encapsulation, and finally to resource measurement. A clear object oriented approach, making use of Booch components, will provide readers with a useful library of data structure components and experience in software reuse. Students using this book are expected to have a reasonable...
This textbook provides an in depth course on data structures in the context of object oriented development. Its main themes are abstraction, implement...
|
cena:
201,72 |
 |
Functions in Free-Format RPG IV
ISBN: 9781583470879 / Angielski / Miękka / 170 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Written especially for programmers adopting a free-format style, this manual explores the role of functions in writing RPG IV programs. Demonstrating the potential of functions, many topics are explored such as details about existing RPG IV built-in functions, writing new functions, using ILE concepts to use C functions, and utilizing IBM API s functions. Explaining how to write small programs, either as sub-procedures or modules, and how to gather those parts together to make programs that are easy to write and maintain, this is a natural next step for programmers familiar with a free-format...
Written especially for programmers adopting a free-format style, this manual explores the role of functions in writing RPG IV programs. Demonstrating ...
|
cena:
228,50 |
 |
Languages and Compilers for Parallel Computing: 12th International Workshop, LCPC'99 La Jolla, CA, USA, August 4-6, 1999 Proceedings
ISBN: 9783540678588 / Angielski / Miękka / 502 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In August 1999, the Twelfth Workshop on Languages and Compilers for P- allel Computing (LCPC) was hosted by the Hierarchical Tiling Research group from the Computer Science and Engineering Department at the University of California San Diego (UCSD). The workshop is an annual international forum for leading research groups to present their current research activities and the latest results. It has also been a place for researchers and practitioners to - teract closely and exchange ideas about future directions. Among the topics of interest to the workshop are language features, code...
In August 1999, the Twelfth Workshop on Languages and Compilers for P- allel Computing (LCPC) was hosted by the Hierarchical Tiling Research group fro...
|
cena:
201,72 |
 |
Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers
ISBN: 9783540140313 / Angielski / Miękka / 336 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. These proceedings contain a refereed selection of papers presented at the Second Annual Workshop of the Types Working Group (Computer-Assisted Reasoning based on Type Theory, EUIST project 29001), which was held April 24-28, 2002 in Hotel Erica, Berg en Dal (close to Nijmegen), The Netherlands. The workshop was attended by about 90 researchers. On April 27, there was a special afternoon celebrating the 60th birthday of Per Martin-L]of, one of the founding fathers of the Types community. The afternoon consisted of the following three invited talks: "Constructive Validity Revisited" by Dana...
These proceedings contain a refereed selection of papers presented at the Second Annual Workshop of the Types Working Group (Computer-Assisted Reasoni...
|
cena:
201,72 |
 |
Practical Aspects of Declarative Languages: 7th International Symposium, Padl 2005, Long Beach, Ca, Usa, January 10-11, 2005, Proceedings
ISBN: 9783540243625 / Angielski / Miękka / 272 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the proceedings of the 7th International Symposium on Practical Aspects of Declarative Languages, PADL 2005, held in Long Beach, CA, USA in January 2005. This work addresses various aspects of declarative programming including implementational issues and applications in areas such as database management, active networks, and more.
Constitutes the proceedings of the 7th International Symposium on Practical Aspects of Declarative Languages, PADL 2005, held in Long Beach, CA, USA i...
|
cena:
201,72 |
 |
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,72 |
 |
Programming Languages and Systems: Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings
ISBN: 9783540297352 / Angielski / Miękka / 438 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. APLAS 2005 was the Asian Symposium on Programming Languages and S- tems, held in Tsukuba, Japan in November 2 5, 2005. It was the latest event in the series of annual meetings started in 2000 by Asian researchers in the ?eld of programming languages and systems. The ?rst three were organized as wo- shops, and were held in Singapore(2000), Daejeon (2001), and Shanghai (2002). Theenthusiasmthere, encouragedbytherichproductionoforiginalresearch- pers, and the support of the internationalresearchcommunities in programming languagesandsystems, ledtothe?rstAPLASasasymposiuminBeijing(2003), followed...
APLAS 2005 was the Asian Symposium on Programming Languages and S- tems, held in Tsukuba, Japan in November 2 5, 2005. It was the latest event in the ...
|
cena:
201,72 |
 |
Sofsem '95: Theory and Practice of Informatics: 22nd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November
ISBN: 9783540606093 / Angielski / Miękka / 504 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 22nd International Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM '95, held in Milovy, Czech Republic, in November 1995. The SOFSEM seminars are held annually and aim at fostering cooperation among and high-level continuing education of computer scientists active in different areas.
The book presents 17 invited full papers by renowned researchers as well as 22 revised refereed papers selected from 52 submissions. The 17 invited papers cover more than 350 pages and give a representative overview of fundamental issues,... This book constitutes the proceedings of the 22nd International Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM '95, held in M...
|
cena:
201,72 |
 |
Functional Programming Languages in Education: 1st International Symposium FPLE '95 Nijmegen, The Netherlands, December 4-6, 1995. Proceedings
ISBN: 9783540606758 / Angielski / Miękka / 317 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the First International Symposium on Functional Programming Languages in Education, FPLE '95, held in Nijmegen, The Netherlands in December 1995.
The 17 revised full papers included represent the current state-of-the-art in using functional languages in computer science education. Most papers report teaching experience in some detail, however, the emphasis is generally on technical issues. Functional languages are increasingly used for teaching in a number of important areas such as algorithms, data structures, compiler construction,... This book constitutes the refereed proceedings of the First International Symposium on Functional Programming Languages in Education, FPLE '95, held i...
|
cena:
201,72 |
 |
Ada in Europe: Second International Eurospace-Ada-Europe Symposium, Frankfurt, Germany, October 2-6, 1995
ISBN: 9783540607571 / Angielski / Miękka / 464 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents the refereed proceedings of the Second International Eurospace - Ada-Europe Symposium, held in Frankfurt, Germany, in October 1995.
The 37 selected revised papers are organized in sections on Ada 95: the future, safety, language, applications, distribution, methods and tools, design methods, life cycle, real-time, and methods. Many significant features of the new Ada 95 version, officially issued in February 1995, are addressed. Besides Ada-specific problems, general software engineering aspects are also presented. This book presents the refereed proceedings of the Second International Eurospace - Ada-Europe Symposium, held in Frankfurt, Germany, in October 1995....
|
cena:
201,72 |
 |
Programming Languages and Systems - ESOP '96: 6th European Symposium on Programming, Linköping, Sweden, April, 22 - 24, 1996. Proceedings
ISBN: 9783540610557 / Angielski / Miękka / 410 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents the refereed proceedings of the Sixth European Symposium on Programming, ESOP '96, held in Linkoping, Sweden, in April 1996.
The 23 revised full papers included were selected from a total of 63 submissions; also included are invited papers by Cliff B. Jones and by Simon L. Peyton Jones. The book is devoted to fundamental issues in the specification, analysis, and implementation of programming languages and systems; the emphasis is on research issues bridging the gap between theory and practice. Among the topics addressed are software specification and verification,... This book presents the refereed proceedings of the Sixth European Symposium on Programming, ESOP '96, held in Linkoping, Sweden, in April 1996.
The... |
cena:
201,72 |
 |
Reliable Software Technologies - ADA Europe 96: 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, Jun
ISBN: 9783540613176 / Angielski / Miękka / 520 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 1996 Ada-Europe International Conference on Reliable Software Technologies, held in Montreux, Switzerland, in June 1996.
The 35 revised full papers selected for inclusion in the volume, along with four attractive invited papers, were contributed by researchers, developers, and users; they cover numerous aspects of the Ada 95 programming language and address various current topics of reliable software in general. Among the issues addressed are software development methods, verification and validation, safety and security, distributed... This book constitutes the refereed proceedings of the 1996 Ada-Europe International Conference on Reliable Software Technologies, held in Montreux, Sw...
|
cena:
201,72 |
 |
Parallel Virtual Machine - Europvm'96: Third European Pvm Conference, Munich, Germany, October, 7 - 9, 1996. Proceedings
ISBN: 9783540617792 / Angielski / Miękka / 373 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the Third European Conference on the Parallel Virtual Machine, EuroPVM '96, the 1996 European PVM users' group meeting, held in Munich, Germany, in October 1996.
The parallel virtual machine, PVM, was developed at the University of Tennessee and Oak Ridge National Laboratory in cooperation with Emory University and Carnegie Mellon University to support distributed computing. This volume comprises 51 revised full contributions devoted to PVM. The papers are organized in topical sections on evaluation of PVM; Applications: CFD solvers; tools... This book constitutes the refereed proceedings of the Third European Conference on the Parallel Virtual Machine, EuroPVM '96, the 1996 European PVM us...
|
cena:
201,72 |
 |
Cognitive Aspects of Electronic Text Processing
ISBN: 9781567502350 / Angielski / Twarda / 332 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
360,15 |
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
