» książki » Computers - Programming - General
topmenu
 |
Embedded Systems: New Approaches to Their Formal Description and Design. An Advanced Course, Zurich, Switzerland, March 5-7, 1986
ISBN: 9783540185819 / Angielski / Miękka / 212 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Springer Book Archives
Springer Book Archives
|
cena:
200,77 |
 |
Foundations of Logic and Functional Programming: Workshop, Trento, Italy, December 15-19, 1986. Proceedings
ISBN: 9783540191292 / Angielski / Miękka / 224 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume consists of some of the papers that were delivered during the workshop on "Foundations of Logic and Functional Programming" held in Trento, Italy, from December 15th to 19th, 1986. The meeting centered on themes and trends in Functional Programming and in Logic Programming. This book contains five papers contributed by the invited speakers and five selected contributions.
This volume consists of some of the papers that were delivered during the workshop on "Foundations of Logic and Functional Programming" held in Trento...
|
cena:
200,77 |
 |
Object-Oriented Information Systems: 9th International Conference, OOIS 2003, Geneva, Switzerland, September 2-5, 2003, Proceedings
ISBN: 9783540408604 / Angielski / Miękka / 432 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The conference on Object Oriented Information Systems (OOIS) is now an es- blished international conference where innovative ideas, research, applications, and experiences in the design, development, and use of object oriented infor- tionsystems, fromboththeacademicandindustrialenvironments, arepresented. The ninth OOIS conference was held at the University of Geneva, September 2 5, 2003. The main theme was the Evolution of Object Oriented Information Systems. The papers presented ideas and issues related to the evolution, ad- tability, restructuring, and ?exibility of OOIS. In the context of...
The conference on Object Oriented Information Systems (OOIS) is now an es- blished international conference where innovative ideas, research, applicat...
|
cena:
200,77 |
 |
Multiple Objective and Goal Programming: Recent Developments
ISBN: 9783790814095 / Angielski / Miękka / 432 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This work is dedicated to multi-objective methods in decision making. The first part, which is devoted to theoretical aspects, covers such multi-objective methods as: multiple linear programming; vector optimization; fuzzy goal programming; and data envelopment analysis.
This work is dedicated to multi-objective methods in decision making. The first part, which is devoted to theoretical aspects, covers such multi-objec...
|
cena:
401,58 |
 |
Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report
ISBN: 9783540574996 / Angielski / Miękka / 375 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the background texts for an IFIPState-of-the-Art Seminar on Formal Program Development, heldin early 1992 near Rio de Janeiro, Brazil.The book stems from work done by IFIP Working Group 2.1 onAlgorithmic Languages and Calculi. Since 1975, the WorkingGroup has increasingly focused on systematic approaches toprogramming and on appropriate concepts and notations tosupport such approaches. Today, the calculation of programsfrom specifications constitutes the central theme ofthegroup's work. Thus the core interests of the group are: - formal specification of solutions to...
This volume contains the background texts for an IFIPState-of-the-Art Seminar on Formal Program Development, heldin early 1992 near Rio de Janeiro, Br...
|
cena:
200,77 |
 |
Types for Proofs and Programs: International Workshop Types '93, Nijmegen, the Netherlands, May 24 - 28, 1993. Selected Papers
ISBN: 9783540580850 / Angielski / Miękka / 395 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains thoroughly refereed and revised full papers selected from the presentations at the first workshop held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs in Nijmegen, The Netherlands, in May 1993.
As the whole ESPRIT BRA 6453, this volume is devoted to the theoretical foundations, design and applications of systems for theory development. Such systems help in designing mathematical axiomatisation, performing computer-aided logical reasoning, and managing databases of mathematical facts; they are also known as proof assistants or... This volume contains thoroughly refereed and revised full papers selected from the presentations at the first workshop held under the auspices of the ...
|
cena:
200,77 |
 |
Software Process Technology: 4th European Workshop, Ewspt '95, Noordwijkerhout, the Netherlands, April 3 - 5, 1995. Proceedings
ISBN: 9783540592051 / Angielski / Miękka / 265 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume presents the proceedings of the Fourth European Workshop on Software Process Technology, EWSPT '95, held in Noordwijkerhout, The Netherlands in April 1995.
The book contains 28 revised full research papers selected from a total of 50 submissions; in addition, the session chairpersons contributed 7 short surveys on the topics treated. Among the issues addressed are analysis and metrics, application experiments, language experiments, models for distributions, mechanisms for cooperation, and change and meta-processes. This book documents that software process technology has become... This volume presents the proceedings of the Fourth European Workshop on Software Process Technology, EWSPT '95, held in Noordwijkerhout, The Netherlan...
|
cena:
200,77 |
 |
Objective Software Quality: Objective Quality: Second Symposium on Software Quality Techniques and Acquisition Criteria Florence, Italy, May 29- 3
ISBN: 9783540594499 / Angielski / Miękka / 256 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume presents the proceedings of Objective Quality 1995, the Second Symposium on Software Quality Techniques and Acquisition Criteria, held in Florence, Italy in May 1995.
The collection of papers selected for this volume covers the various aspects of software quality with special reference to the assessment and improvement of process and product quality. The 16 contributed papers cover the results of the most important European projects in the field of software quality with participation from academia and industry. In addition, there is a keynote speech by Giacomo Bucci and a... This volume presents the proceedings of Objective Quality 1995, the Second Symposium on Software Quality Techniques and Acquisition Criteria, held in ...
|
cena:
200,77 |
 |
Advanced Functional Programming: First International Spring School on Advanced Functional Programming Techniques, Bastad, Sweden, May 24 - 30, 1995. Tutorial Text
ISBN: 9783540594512 / Angielski / Miękka / 336 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume presents the tutorials given during the First International Spring School on Advanced Functional Programming Techniques, held in Bastad, Sweden in May 1995.
The last few years have seen important new developments in functional programming techniques: concepts, such as monads, type classes, and several new special purpose libraries of higher-order functions are new and powerful methods for structuring programs. This book brings programmers, software engineers and computer scientists up-to-date with the latest techniques. Most tutorial contributions contain exercises to... This volume presents the tutorials given during the First International Spring School on Advanced Functional Programming Techniques, held in Bastad, S...
|
cena:
200,77 |
 |
Multiprocessing
ISBN: 9780792393702 / Angielski / Twarda / 198 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Multiprocessing: Trade-Offs in Computation and Communication presents an in-depth analysis of several commonly observed regular and irregular computations for multiprocessor systems. This book includes techniques which enable researchers and application developers to quantitatively determine the effects of algorithm data dependencies on execution time, on communication requirements, on processor utilization and on the speedups possible.
Starting with simple, two-dimensional, diamond-shaped directed acyclic graphs, the analysis is extended to more complex and higher dimensional... Multiprocessing: Trade-Offs in Computation and Communication presents an in-depth analysis of several commonly observed regular and irregular...
|
cena:
401,58 |
 |
Scrum and XP from the Trenches
ISBN: 9781430322641 / Angielski / Miękka / 140 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book aims to give you a head start by providing a detailed down-to-earth account of how one Swedish company implemented Scrum and XP with a team of approximately 40 people and how they continuously improved their process over a year's time. Under the leadership of Henrik Kniberg they experimented with different team sizes, different sprint lengths, different ways of defining "done," different formats for product backlogs and sprint backlogs, different testing strategies, different ways of doing demos, different ways of synchronizing multiple Scrum teams, etc. They also experimented with...
This book aims to give you a head start by providing a detailed down-to-earth account of how one Swedish company implemented Scrum and XP with a team ...
|
cena:
104,38 |
 |
Mathematical Foundation of Programming Semantics: International Conference, Manhattan, Kansas, April 11-12, 1985. Proceedings
ISBN: 9783540168164 / Angielski / Miękka / 400 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Springer Book Archives
Springer Book Archives
|
cena:
200,77 |
 |
Logic Programming '87: Proceedings of the 6th Conference Tokyo, Japan, June 22-24, 1987
ISBN: 9783540194262 / Angielski / Miękka / 327 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains most of the papers presented at the 6th Logic Programming Conference held in Tokyo, June 22-24, 1987. It is the successor of Lecture Notes in Computer Science volumes 221 and 264. The contents cover foundations, programming, architecture and applications. Topics of particular interest are constraint logic programming and parallelism. The effort to apply logic programming to large-scale realistic problems is another important subject of these proceedings.
This volume contains most of the papers presented at the 6th Logic Programming Conference held in Tokyo, June 22-24, 1987. It is the successor of Lect...
|
cena:
200,77 |
 |
Computer Science Logic: 17th International Workshop, CSL 2003, 12th Annual Conference of the Eacsl, and 8th Kurt Gödel Colloquium, Kgc 2003, V
ISBN: 9783540408017 / Angielski / Miękka / 596 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych.
This book constitutes the joint refereed proceedings of the 17th International Workshop on Computer Science Logic, CSL 2003, held as the 12th Annual Conference of the EACSL and of the 8th Kurt Godel Colloquium, KGC 2003 in Vienna, Austria, in August 2003. The 30 revised full papers presented together with abstracts of 9 invited presentations were carefully reviewed and selected from a total of 112 submissions. All current aspects of computer science logic are addressed ranging from mathematical logic and logical foundations to the application of logics in various...
This book constitutes the joint refereed proceedings of the 17th International Workshop on Computer Science Logic, CSL 2003, held as the 1... |
cena:
401,58 |
 |
Algebraic and Logic Programming: Second International Conference, Nancy, France, October 1-3, 1990. Proceedings
ISBN: 9783540531623 / Angielski / Miękka / 389 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume consists of papers presented at the Second International Conference on Algebraic and Logic Programming in Nancy, France, October 1-3, 1990.
This volume consists of papers presented at the Second International Conference on Algebraic and Logic Programming in Nancy, France, October 1-3, 1990...
|
cena:
200,77 |
 |
Advanced Information Systems Engineering: 5th International Conference, Caise '93, Paris, France, June 8-11, 1993. Proceedings
ISBN: 9783540567776 / Angielski / Miękka / 655 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume presents the proceedings of the fifth Conference on Advanced Information Systems Engineering, CAiSE '93, held at the University of Paris-Sorbonne in June 1993. Initiated by J. Bubenko from the Swedish Institute for Systems Development in Stockhom, Sweden, and A. Solvberg from the Norwegian Institute of Technology in Trondheim, Norway, this series of conferences evolved from a Nordic audience to a truly European one. All the conferences have attracted international papers of high quality, indicating the needfor an international conference on advanced information systems engineering...
This volume presents the proceedings of the fifth Conference on Advanced Information Systems Engineering, CAiSE '93, held at the University of Paris-S...
|
cena:
200,77 |
 |
Algorithms and Computation: 4th International Symposium, Isaac '93, Hong Kong, December 15-17, 1993. Proceedings
ISBN: 9783540575689 / Angielski / Miękka / 546 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume presents the proceedings of the fourth annual International Symposium on Algorithms and Computation, held in Hong Kong in December 1993.Numerous selected papers present original research in such areas as design and analysis of algorithms, computational complexity, and theory of computation. Topics covered include: - automata, languages, and computability, - combinatorial, graph, geometric, and randomized algorithms, - networks and distributed algorithms, - VLSIand parallel algorithms, - theory of learning and robotics, - number theory and robotics. Three invited papers are also...
This volume presents the proceedings of the fourth annual International Symposium on Algorithms and Computation, held in Hong Kong in December 1993.Nu...
|
cena:
401,58 |
 |
CONCUR '94: Concurrency Theory: 5th International Conference, Uppsala, Sweden, August 22 - 25, 1994. Proceedings
ISBN: 9783540583295 / Angielski / Miękka / 534 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the proceedings of the Fifth International Conference on Concurrency Theory, CONCUR '94, held at Uppsala, Sweden in August 1994.
In total, 29 refereed research papers selected from 108 submissions for the conference are presented together with full papers or abstracts of the 5 invited talks by prominent speakers. The book contains recent results on all relevant aspects of concurrency research and thus competently documents the progress of the field since the predecessor conference CONCUR '93, the proceedings of which are published as LNCS 715. This volume constitutes the proceedings of the Fifth International Conference on Concurrency Theory, CONCUR '94, held at Uppsala, Sweden in August 199...
|
cena:
200,77 |
 |
Turing Machines with Sublogarithmic Space
ISBN: 9783540583554 / Angielski / Miękka / 114 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This comprehensive monograph investigates the computational power of Turing machines with sublogarithmic space. The studies are devoted to the Turing machine model introduced by Stearns, Hartmanis, and Lewis (1965) with a two-way read-only input tape and a separate two-way read-write work tape. The book presents the key results on space complexity, also as regards the classes of languages acceptable, under the perspective of a sublogarithmic number of cells used during computation. It originates from courses given by the author at the Technical University of Gdansk and Gdansk University in...
This comprehensive monograph investigates the computational power of Turing machines with sublogarithmic space. The studies are devoted to the Turing ...
|
cena:
200,77 |
 |
A Practical Theory of Programming
ISBN: 9780387941066 / Angielski / Twarda / 247 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. There are several theories of programming. The first usable theory, often called "Hoare's Logic," is still probably the most widely known. In it, a specification is a pair of predicates: a precondition and postcondition (these and all technical terms will be defined in due course). Another popular and closely related theory by Dijkstra uses the weakest precondition predicate transformer, which is a function from programs and postconditions to preconditions. lones's Vienna Development Method has been used to advantage in some industries; in it, a specification is a pair of predicates (as in...
There are several theories of programming. The first usable theory, often called "Hoare's Logic," is still probably the most widely known. In it, a sp...
|
cena:
200,77 |
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
