» książki » Computers - Programming - General
topmenu
 |
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:
409,14 |
 |
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:
204,55 |
 |
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:
204,55 |
 |
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:
409,14 |
 |
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:
204,55 |
 |
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:
204,55 |
 |
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:
204,55 |
 |
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:
461,84 |
 |
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:
259,82 |
 |
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:
156,78 |
 |
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:
554,42 |
 |
Genetic Programming: First European Workshop, EuroGP'98, Paris, France, April 14-15, 1998, Proceedings
ISBN: 9783540643609 / Angielski / Miękka / 238 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the First European Workshop on Genetic Programming, EuroGP'98, held in Paris, France, in April 1998, under the sponsorship of EvoNet, the European Network of Excellence in Evolutionary Computing.
The volume presents 12 revised full papers and 10 short presentations carefully selected for inclusion in the book. The papers are organized in topical sections on experimental and theoretical studies; algorithms, representations and operators; and applications. This book constitutes the refereed proceedings of the First European Workshop on Genetic Programming, EuroGP'98, held in Paris, France, in April 1998,...
|
cena:
204,55 |
 |
Algorithms and Computations: 10th International Symposium, ISAAC'99, Chennai, India, December 16-18, 1999 Proceedings
ISBN: 9783540669166 / Angielski / Miękka / 454 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This text constitutes the refereed proceedings of the 10th International Symposium on Algorithms and Computation, ISAAC'99, held in Chennai, India, in December 1999. The 40 revised full papers, presented together with four invited contributions, were carefully reviewed and selected from 71 submissions. Among the topics covered are: data structures; parallel and distributed computing; approximation algorithms; computational intelligence; online algorithms; complexity theory; graph algorithms; computational geometry; and algorithms in practice.
This text constitutes the refereed proceedings of the 10th International Symposium on Algorithms and Computation, ISAAC'99, held in Chennai, India, in...
|
cena:
204,55 |
 |
Cognitive Models and Intelligent Environments for Learning Programming
ISBN: 9783540565802 / Angielski / Twarda / 312 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. At present, there is a general consensus on the nature of learning programming, but there are different opinions on what forms an effective environment for it. It is generally recognized that the development of a mental model is a formidable task for the student and that learning programming is a complex activity that depends heavily on metacognitive skills. This book, based on a NATO workshop, presents both pure cognitive models and experimental learning environments, and discusses what characteristics can make a learning model effective, especially in relation to the learning environment...
At present, there is a general consensus on the nature of learning programming, but there are different opinions on what forms an effective environmen...
|
cena:
613,74 |
 |
Network-Based Parallel Computing. Communication, Architecture, and Applications: Second International Workshop, Canpc'98, Las Vegas, Nevada, Usa, Janu
ISBN: 9783540641407 / Angielski / Miękka / 250 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the strictly refereed proceedings of the Second International Workshop on Communication and Architectural Support for Network-Based Parallel Computing, CANPC'98, held in Las Vegas, Nevada, USA, in January/February 1998.
The 18 revised full papers presented were selected from 38 submissions on the basis of four to five reviews per paper. The volume comprises a representative compilation of state-of-the-art solutions for network-based parallel computing. Several new interconnection technologies, new software schemes and standards are studied and developed to provide... This book constitutes the strictly refereed proceedings of the Second International Workshop on Communication and Architectural Support for Network-Ba...
|
cena:
204,55 |
 |
Grammatical Inference: 4th International Colloquium, ICGI-98, Ames, Iowa, USA, July 12-14, 1998, Proceedings
ISBN: 9783540647768 / Angielski / Miękka / 277 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the Fourth International Colloquium on Grammatical Inference, ICGI-98, held in Ames, Iowa, in July 1998.
The 23 revised full papers were carefully reviewed and selected for inclusion in the book from a total of 35 submissions. The book addresses a wide range of grammatical inference theory such as automata induction, grammar induction, automatic language acquisition, etc. as well as a variety of applications in areas like syntactic pattern recognition, adaptive intelligent agents, diagnosis, computational biology, data mining, and knowledge... This book constitutes the refereed proceedings of the Fourth International Colloquium on Grammatical Inference, ICGI-98, held in Ames, Iowa, in July 1...
|
cena:
204,55 |
 |
Extensions of Logic Programming: Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings
ISBN: 9783540554981 / Angielski / Miękka / 376 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains papers presented at the secondinternational workshop on extensions of logic programming, which was held at the Swedish Institute of Computer Science, Stockhom, January 27-29, 1991.The 12 papers describe and discuss several approaches toextensions of logic programming languages such as PROLOG, aswell as connections between logic programming and functionalprogramming, theoretical foundations of extensions, applications, and programming methodologies.The first workshop in this series was held in T}bingen in1989 and its proceedings areavailable as LNCS 475. Thethird workshop...
This volume contains papers presented at the secondinternational workshop on extensions of logic programming, which was held at the Swedish Institute ...
|
cena:
204,55 |
 |
Advanced Information Systems Engineering: 11th International Conference, Caise'99, Heidelberg, Germany, June 14-18, 1999, Proceedings
ISBN: 9783540661573 / Angielski / Miękka / 486 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. CAiSE*99 is the 11th in the series of International Conferences on Advanced Information Systems Engineering. The aim of the CAiSE series is to give - searchers and professionals from universities, research, industry, and public - ministrationthe opportunityto meetannuallytodiscussevolvingresearchissues and applications in the el d of information systems engineering; also to assist young researchersand doctoralstudents in establishing relationships with senior scientists in their areas of interest. StartingfromaScandinavianorigininthelate1980 s, CAiSEhasevolvedinto...
CAiSE*99 is the 11th in the series of International Conferences on Advanced Information Systems Engineering. The aim of the CAiSE series is to give - ...
|
cena:
204,55 |
 |
The Unified Modeling Language. <
ISBN: 9783540662525 / Angielski / Miękka / 450 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains mainly the revised versions of papers presented at the wo- shop '98, "Beyond the Notation," that took place in Mulhouse, France on June 3-4, 1998. We thank all those that have made this possible, and particularly all the people in Mulhouse that worked hard to make this meeting a success, with such a short delay between the announcement and the realization. We are specially grateful to Nathalie Gaertner, who put in a tremendous amount of effort in the initial preparation of the workshop. We were pleasantly surprised of the quality of the submitted material and of the level...
This volume contains mainly the revised versions of papers presented at the wo- shop '98, "Beyond the Notation," that took place in Mulhouse, France o...
|
cena:
204,55 |
 |
Basic Simple Type Theory
ISBN: 9780521054225 / Angielski / Miękka / 200 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. An introduction to type theory for computer scientists.
An introduction to type theory for computer scientists.
|
cena:
261,83 |
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
