» książki » Computers - Programming - General
topmenu
 |
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:
201,72 |
 |
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:
201,72 |
 |
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:
201,72 |
 |
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:
201,72 |
 |
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:
201,72 |
 |
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:
534,05 |
 |
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:
105,24 |
 |
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:
201,72 |
 |
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:
201,72 |
 |
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:
403,47 |
 |
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:
201,72 |
 |
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:
201,72 |
 |
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:
403,47 |
 |
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:
201,72 |
 |
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:
201,72 |
 |
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:
201,72 |
 |
Cnc Control Setup for Milling and Turning
ISBN: 9780831133504 / Angielski / Twarda / 314 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. No other book covers CNC control setup in such practical detail. This unique reference from the author of the best-selling CNC Programming Handbook features nearly all of the activities a typical CNC operator performs on a daily basis. Starting with overall descriptions and in-depth explanations of various features, it goes much further and is sure to be a valuable resource for anyone involved in CNC.
No other book covers CNC control setup in such practical detail. This unique reference from the author of the best-selling CNC Programming Handbook... |
cena:
404,42 |
 |
Managing EZ Publish Web Content Management Projects
ISBN: 9781847191724 / Angielski / Miękka / 320 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is ideal for readers responsible for implementing projects for medium/large clients using eZ publish, an enterprise open-source CMS and development framework with functionality for web publishing, intranets, e-commerce, extranets, and web portals. It covers the process of successfully managing an eZ publish web content management project efficiently and effectively, with strategies, best practices, and techniques for implementing projects to delight your clients. Author Martin Bauer of eZ publish Silver partner designit.com provides unique insight and proven experience on crucial...
This book is ideal for readers responsible for implementing projects for medium/large clients using eZ publish, an enterprise open-source CMS and deve...
|
cena:
250,28 |
 |
Joomla! Accessibility
ISBN: 9781847194084 / Angielski / Miękka / 156 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Creating accessible websites is essential. If you are building websites for government-funded organizations, then you may be obliged by law to create websites usable by people with a range of disabilities. If you're building sites for a business or any other kind of organization, building accessible sites will ensure that no part of your audience is excluded from reading your content. Joomla! provides all the facilities you need to make a web site accessible to users with a variety of disabilities. Not only can it produce accessible web sites, but with a few tweaks users of assistive...
Creating accessible websites is essential. If you are building websites for government-funded organizations, then you may be obliged by law to create ...
|
cena:
151,01 |
 |
Parallel Computing on Distributed Memory Multiprocessors
ISBN: 9783540562955 / Angielski / Twarda / 332 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Distributed memory multiprocessors - parallel computers that consist of microprocessors interconnected in a regular topology - are increasingly being used to solve large problems in many applications. This NATO ASI volume examines the restructuring of computations for such machines.
Distributed memory multiprocessors - parallel computers that consist of microprocessors interconnected in a regular topology - are increasingly being ...
|
cena:
534,05 |
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
