Programowanie
ilość książek w kategorii: 24540
 |
Implementation and Application of Functional Languages: 16th International Workshop, Ifl 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected
ISBN: 9783540260943 / Angielski / Miękka / 2005 / 230 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. The 16th International Workshop on Implementation and Application of Fu- tional Languages (IFL 2004) was held in Lub ] eck, Germany, September 8 10, 2004. It was jointly organized by the Institute of Computer Science and Applied Mathematics of the University of Kiel and the Institute of Software Technology and Programming Languages of the University of Lub ] eck. IFL 2004 was the sixteenth event in the annual series of IFL workshops. The aim of the workshop series is to bring together researchers actively engaged in the implementation and application of functional and function-based progr-...
The 16th International Workshop on Implementation and Application of Fu- tional Languages (IFL 2004) was held in Lub ] eck, Germany, September 8 10, 2...
|
cena:
207,39 |
 |
Practical Aspects of Declarative Languages: Third International Symposium, PADL 2001 Las Vegas, Nevada, March 11-12, 2001 Proceedings
ISBN: 9783540417682 / Angielski / Miękka / 2001 / 352 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This volume constitutes the refereed proceedings of the Third International Symposium on Practical Aspects of Declarative Programming, PADL 2001, held in Las Vegas, Nevada, USA in March 2001. The 23 revised full papers presented were carefully reviewed and selected from a total of 40 submissions. Among the topics covered are Mu-calculus, specification languages, Java, Internet programming, VRML, security protocols, database security, authentication protocols, Prolog programming, implementation, constraint programming, visual tracking, and model checking.
This volume constitutes the refereed proceedings of the Third International Symposium on Practical Aspects of Declarative Programming, PADL 2001, held...
|
cena:
207,39 |
 |
Programming Languages and Systems: 7th European Symposium on Programming, Esop'98, Held as Part of the Joint European Conferences on Theory and Practi
ISBN: 9783540643029 / Angielski / Miękka / 1998 / 289 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This book constitutes the refereed proceedings of the 7th European Symposium on Programming, ESOP'98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, in Lisbon, Portugal, in March/April 1998.
This volume presents 17 revised full papers selected from a total of 59 submissions; also included is one invited paper. Among the issues addressed are software specification and verification, programming paradigms, semantics for formal development and implementation, program analysis, program transformation, etc. This book constitutes the refereed proceedings of the 7th European Symposium on Programming, ESOP'98, held as part of the Joint European Conferences o...
|
cena:
207,39 |
 |
Concur '98 Concurrency Theory: 9th International Conference, Nice, France, September 8-11, 1998, Proceedings
ISBN: 9783540648963 / Angielski / Miękka / 1998 / 663 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This book constitutes the refereed proceedings of the 9th International Conference on Concurrency Theory, CONCUR'98, held in Nice, France, in September 1998.
The 35 revised full papers presented were carefully selected from a total of 104 submissions. Also presented are five invited contributions. Among the topics covered are moduls of computation and semantic domains, process algebras, Petri Nets, event structures, real-time systems, hybrid systems, model checking, verification techniques, refinement, rewriting, typing systems and algorithms, etc.. This book constitutes the refereed proceedings of the 9th International Conference on Concurrency Theory, CONCUR'98, held in Nice, France, in Septembe...
|
cena:
414,81 |
 |
Lattice: Multivariate Data Visualization with R
ISBN: 9780387759685 / Angielski / Miękka / 2008 / 296 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. R is rapidly growing in popularity as the environment of choice for data analysis and graphics both in academia and industry. Lattice brings the proven design of Trellis graphics (originally developed for S by William S. Cleveland and colleagues at Bell Labs) to R, considerably expanding its capabilities in the process. Lattice is a powerful and elegant high level data visualization system that is sufficient for most everyday graphics needs, yet flexible enough to be easily extended to handle demands of cutting edge research. Written by the author of the lattice system, this book describes it...
R is rapidly growing in popularity as the environment of choice for data analysis and graphics both in academia and industry. Lattice brings the prove...
|
cena:
373,33 |
 |
Domain Oriented Systems Development: Practices and Perspectives
ISBN: 9780415304504 / Angielski / Twarda / 2002 / 230 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Domain Oriented Systems Development is the sixth volume in the Advanced Information Processing Technology series of the Information Processing Society of Japan. It draws together a collection of research papers on domain analysis and modeling written by a group of software engineers and researchers from Japan, Korea, Canada and Austria.
The topics covered include key concepts from domain-oriented systems development, feature oriented product line software engineering, software architecture for intelligent CAD, fully independent component architecture, interrelationships between... Domain Oriented Systems Development is the sixth volume in the Advanced Information Processing Technology series of the Information Processing Society...
|
cena:
1074,61 |
 |
Metamodelling for Software Engineering
ISBN: 9780470030363 / Angielski / Twarda / 2008 / 240 str. Termin realizacji zamówienia: ok. 30 dni roboczych. This book focuses on metamodelling as a discipline, exploring its foundations, techniques and results. It presents a comprehensive metamodel that covers process, product and quality issues under a common framework.
Issues covered include:
This book focuses on metamodelling as a discipline, exploring its foundations, techniques and results. It presents a comprehensive metamodel that cove...
|
cena:
333,69 |
 |
Herbalism: A Complete Reference Guide to Frequently Used Magickal Herbs, and Spices
ISBN: 9781603320344 / Angielski / Miękka / 2008 / 144 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Benson classifies healing herbs and foodstuffs, their uses, and their main properties. She includes a glossary and some of her favorite recipes and home remedies. (Gardening)
Benson classifies healing herbs and foodstuffs, their uses, and their main properties. She includes a glossary and some of her favorite recipes and ho...
|
cena:
90,47 |
 |
Static Analysis: 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings
ISBN: 9783540403258 / Angielski / Miękka / 2003 / 510 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. The refereed proceedings of the 10th International Symposium on Static Analysis, SAS 2003, held in San Diego, CA, USA in June 2003 as part of FCRC 2003. The 25 revised full papers presented together with two invited contributions were carefully reviewed and selected from 82 submissions. The papers are organized in topical sections on static analysis of object-oriented languages, static analysis of concurrent languages, static analysis of functional languages, static analysis of procedural languages, static data analysis, static linear relation analysis, static analysis based program... The refereed proceedings of the 10th International Symposium on Static Analysis, SAS 2003, held in San Diego, CA, USA in June 2003 as part of FCRC ... |
cena:
207,39 |
 |
Software for Parallel Computation
ISBN: 9783540564515 / Angielski / Twarda / 1993 / 366 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This volume contains papers on software for high performanceparallel computation. Their purpose is to evaluate thecurrent state of the art in software for parallelcomputation, identify the main factors inhibiting practicalapplications of parallel computers, and suggest possibleremedies. In particular, they focus on parallel software, programming tools, and practical experience of usingparallel computers for solving demanding problems. Criticalissues relative to the practical use of parallel computinginclude: portability, reusability and debugging, parallelization of sequential programs,...
This volume contains papers on software for high performanceparallel computation. Their purpose is to evaluate thecurrent state of the art in software...
|
cena:
414,81 |
 |
PDA Robotics
ISBN: 9780071417419 / Angielski / Miękka / 2003 / 256 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. PDAs and robotics come together in this innovative resource Here is the only book to provide in-depth designs and concepts on how to create a robot that utilises your PDA (Personal Digital Assistant) as the remote control or brains. It allows any PDA to communicate with and control the robot and requires only inexpensive, off-the-shelf components. No connectors necessary, works on a wireless link between the PDA and the robot.
PDAs and robotics come together in this innovative resource Here is the only book to provide in-depth designs and concepts on how to create a robot t...
|
cena:
120,65 |
 |
Compiler Construction: 11th International Conference, CC 2002, Held as Part of the Joint European Conferences on Theory and Practice of Softw
ISBN: 9783540433699 / Angielski / Miękka / 2002 / 348 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This volume constitutes the refereed proceedings of the 11th International Conference on Compiler Construction, CC 2002, held in Grenoble, France, in April 2002. The 19 revised full papers presented together with three tool demonstration papers and an invited paper were reviewed and selected from 44 submissions. The papers are organized in topical sections on analysis and optimization, low-level analysis, grammars and parsing, domain-specific languages and tools, energy consumption optimizations, and loop and array optimizations.
This volume constitutes the refereed proceedings of the 11th International Conference on Compiler Construction, CC 2002, held in Grenoble, France, in ...
|
cena:
207,39 |
 |
UML 2003 -- The Unified Modeling Language, Modeling Languages and Applications: 6th International Conference San Francisco, CA, USA, October 20-24, 2003, Proceedings
ISBN: 9783540202431 / Angielski / Miękka / 2003 / 418 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Thepastyearhasbeenaneventfuloneforthoseinterestedinsoftwaremodeling. The ?rst major revision of the Uni?ed Modeling Language, UML2.0, is in the process of adoption by the Object Management Group (OMG), and it makes many long-desired additions and improvements to UML. At the same time, it expands what was already a large language. A challenge for both practitioners andresearchersistohelpsmooththeadoptionofthisnewlanguage.Increasingly, attention is being paid to the use of specialized languages, often pro?les of UML, appropriate for di?erent purposes; this is one way to make UML less overwh-...
Thepastyearhasbeenaneventfuloneforthoseinterestedinsoftwaremodeling. The ?rst major revision of the Uni?ed Modeling Language, UML2.0, is in the proces...
|
cena:
207,39 |
 |
Languages and Compilers for Parallel Computing: 16th International Workshop, Lcpc 2003, College Sation, Tx, Usa, October 2-4, 2003, Revised Papers
ISBN: 9783540211990 / Angielski / Miękka / 2004 / 559 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This book constitutes the thoroughly refereed post-proceedings of the 16th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2003, held in College Station, Texas, USA, in October 2003. The 35 revised full papers presented were selected from 48 submissions during two rounds of reviewing and improvement upon presentation at the workshop. The papers are organized in topical sections on adaptive optimization, data locality, parallel languages, high-level transformations, embedded systems, distributed systems software, low-level transformations,... This book constitutes the thoroughly refereed post-proceedings of the 16th International Workshop on Languages and Compilers for Paralle... |
cena:
207,39 |
 |
Programming Languages and Systems: 9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Pract
ISBN: 9783540672623 / Angielski / Miękka / 2000 / 428 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. ETAPS 2000 was the third instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), ve satellite workshops (CBS, CMCS, CoFI, GRATRA, INT), seven invited lectures, a panel discussion, and ten tutorials. The events that comprise ETAPS address various aspects of the system de- lopment process, including speci cation, design, implementation, analysis, and improvement. The languages,...
ETAPS 2000 was the third instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that w...
|
cena:
207,39 |
 |
Domains and Lambda-Calculi
ISBN: 9780521062923 / Angielski / Miękka / 2008 / 504 str. Termin realizacji zamówienia: ok. 30 dni roboczych. This book describes the mathematical aspects of the semantics of programming languages. The main goals are to provide formal tools to assess the meaning of programming constructs in both a language-independent and a machine-independent way and to prove properties about programs, such as whether they terminate, or whether their result is a solution of the problem they are supposed to solve. In order to achieve this the authors first present, in an elementary and unified way, the theory of certain topological spaces that have proved of use in the modeling of various families of typed lambda...
This book describes the mathematical aspects of the semantics of programming languages. The main goals are to provide formal tools to assess the meani...
|
cena:
292,32 |
 |
Maven: The Definitive Guide: The Definitive Guide
ISBN: 9780596517335 / Angielski / Miękka / 2008 / 470 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. For too long, developers have worked on disorganized application projects, where every part seemed to have its own build system, and no common repository existed for information about the state of the project. Now there's help. The long-awaited official documentation to Maven is here. For too long, developers have worked on disorganized application projects, where every part seemed to have its own build system, and no common repo... |
cena:
201,03 |
 |
Warriors
ISBN: 0727361193126 / Angielski / CD-Audio / 2021 Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
120,91 |
 |
Another Voice
ISBN: 0727361136222 / Angielski / CD-Audio / 2021 Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
120,91 |
 |
Illustrating BBC Basic
ISBN: 9780521314954 / Angielski / Miękka / 1986 / 196 str. Termin realizacji zamówienia: ok. 30 dni roboczych. This book may be used as a self-contained manual for BBC-BASIC, the main language of the BBC Microcomputer and Master Series Computers.
This book may be used as a self-contained manual for BBC-BASIC, the main language of the BBC Microcomputer and Master Series Computers.
|
cena:
229,30 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
