
ilość książek w kategorii: 24540
![]() |
Mountain Biking in the Tao
ISBN: 9780595480944 / Angielski / Miękka / 2007 / 92 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. "Mountain Biking in the Tao" is the seminal work on Taoist philosophy and how it applies to mountain biking and life. Inspired by years of riding and meditation it gives the best possible advice on how to properly ride your mountain bike. Relax, be who you are, then go ride in the Tao on the trail nearest your own home.
"Mountain Biking in the Tao" is the seminal work on Taoist philosophy and how it applies to mountain biking and life. Inspired by years of riding and ...
|
cena:
48,06 |
![]() |
Identity Theft: A Comprehensive Guide
ISBN: 9780595481286 / Angielski / Miękka / 2007 / 84 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. "Identity Theft: A Comprehensive Guide," enables readers to understand, prevent and recover from the crime of identity theft. Included in the book are chapters on how to safeguard your computer, how to avoid scams, 40 ways to prevent identity theft, 20 things to do if you are a victim of identity theft, how to order your free credit report and FACTA.
Thorough information is provided on the latest identity theft insurance and what to avoid in purchasing this type of protection. The book includes a library of letters an identity theft victim will need to use and a snapshot of current state... "Identity Theft: A Comprehensive Guide," enables readers to understand, prevent and recover from the crime of identity theft. Included in the book are...
|
cena:
44,04 |
![]() |
Programming Flex 3
ISBN: 9780596516215 / Angielski / Miękka / 2008 / 660 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. If you want to try your hand at developing rich Internet applications with Adobe's Flex 3, and already have experience with frameworks such as .NET or Java, this is the ideal book to get you started. Programming Flex 3 gives you a solid understanding of Flex 3's core concepts, and valuable insight into how, why, and when to use specific Flex features. Numerous examples and sample code demonstrate ways to build complete, functional applications for the Web, using the free Flex SDK, and RIAs for the desktop, using Adobe AIR. This book is an excellent companion to Adobe's Flex 3... If you want to try your hand at developing rich Internet applications with Adobe's Flex 3, and already have experience with frameworks such as .NET... |
cena:
221,14 |
![]() |
Beginning Database-Driven Application Development in Java Ee: Using Glassfish
ISBN: 9781430209638 / Angielski / Miękka / 2008 / 400 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Beginning Database-Driven Application Development in Java(TM) EE: Using GlassFish(TM) focuses on the open source GlassFish persistence engine. This book shows Java programmers how to develop applications utilizing relational database technologies with examples using Oracle and MySQL and the GlassFish application development framework and deployment platform all based on Java EE.
Beginning Database-Driven Application Development in Java(TM) EE: Using GlassFish(TM) focuses on the open source GlassFish persistence eng... |
cena:
161,75 |
![]() |
MetaSoft Primer: Towards a Metalanguage for Applied Denotational Semantics
ISBN: 9783540186571 / Angielski / Miękka / 1987 / 148 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. The book is devoted to a simplified set-theoretic version of denotational semantics where sets are used in place of Scott's reflexive domains and where jumps are described without continuations. This approach has emerged as a reaction to the sophisticated model of traditional semantics. It was also strongly stimulated by the applications of denotational semantics and especially by its software-industry oriented version known as VDM (Vienna Development Method). The new approach was successfully tested on several examples. Based on this approach the Polish Academy of Sciences created the...
The book is devoted to a simplified set-theoretic version of denotational semantics where sets are used in place of Scott's reflexive domains and wher...
|
cena:
207,39 |
![]() |
Software and Compilers for Embedded Systems: 7th International Workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003, Proceedings
ISBN: 9783540201458 / Angielski / Miękka / 2003 / 406 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This volume contains the proceedings of the 7th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2003, held in Vienna, Austria, September 24 26, 2003. Initially, the workshop was referred to as the International Workshop on Code Generation for Embedded Systems. The ?rst workshop took place in 1994 in Schloss Dagstuhl, Germany. From its beg- nings, the intention of the organizers was to create an atmosphere in which the researcherscould participateactively in dynamic discussionsand pro't from the assembly of international experts in the ?eld. It was at the fourth...
This volume contains the proceedings of the 7th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2003, held in Vienna, Au...
|
cena:
207,39 |
![]() |
Multiparadigm Programming in Mozart/Oz: Second International Conference, Moz 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers
ISBN: 9783540250791 / Angielski / Miękka / 2005 / 336 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. To many readers, Mozart/Oz represents a new addition to the pantheon of p- gramming systems. One way of evaluating a newcomer is through the eyes of the classics, for example Kernighan and Pike's The Practice of Programming, a bookthatconcludeswithsixlastingconcepts: simplicityandclarity, generality, evolution, interfaces, automation, andnotation.KernighanandPikeconcentrate on using standard languages such as C and Java to implement these concepts, but it is instructive to see how a multiparadigm language such as Oz changes the outlook. Oz's concurrency model yields simplicity and clarity...
To many readers, Mozart/Oz represents a new addition to the pantheon of p- gramming systems. One way of evaluating a newcomer is through the eyes of t...
|
cena:
207,39 |
![]() |
Languages, Compilers, and Tools for Embedded Systems: ACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June 18, 2000, Proceedings
ISBN: 9783540417811 / Angielski / Miękka / 2001 / 228 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This book constitutes the thoroughly refereed post-proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems, LCTES 2000, held in Vancouver, Canada, in June 2000.The 12 revised full papers presented together with five posters were carefully reviewed and selected from a total of 43 submissions. The book presents topical sections on formal methods and databases, compilers, tools, hardware, and work in process.
This book constitutes the thoroughly refereed post-proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems, LC...
|
cena:
207,39 |
![]() |
Metalevel Architectures and Separation of Crosscutting Concerns: Third International Conference, REFLECTION 2001, Kyoto, Japan, September 25-28, 2001 Proceedings
ISBN: 9783540426189 / Angielski / Miękka / 2001 / 288 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This volume constitutes the proceedings of REFLECTION 2001, the Third Int- national Conference on Metalevel Architectures and Separation of Crosscutting Concerns, which was held in Kyoto, September 25-28, 2001. Metalevel architectures and re?ection have drawn the attention of researchers and practitioners throughout computer science. Re?ective and metalevel te- niques are being used to address real-world problems in such areas as: progr- ming languages, operating systems, databases, distributed computing, expert systems and web computing. Separation of concerns has been a guiding principle of...
This volume constitutes the proceedings of REFLECTION 2001, the Third Int- national Conference on Metalevel Architectures and Separation of Crosscutti...
|
cena:
207,39 |
![]() |
Programming Languages and Systems: 11th European Symposium on Programming, ESOP 2002, Held as Part of the Joint European Conferences on Theory and Pra
ISBN: 9783540433637 / Angielski / Miękka / 2002 / 330 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. ETAPS2002wasthe?fthinstanceoftheEuropeanJointConferencesonTheory 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 5 conferences (FOSSACS, FASE, ESOP, CC, TACAS), 13 satellite workshops (ACL2, AGT, CMCS, COCV, DCC, INT, LDTA, SC, SFEDL, SLAP, SPIN, TPTS, and VISS), 8 invited lectures (not including those speci?c to the satellite events), and several tutorials. The events that comprise ETAPS address various aspects of the system - velopmentprocess, includingspeci?cation,...
ETAPS2002wasthe?fthinstanceoftheEuropeanJointConferencesonTheory and Practice of Software. ETAPS is an annual federated conference that was establishe...
|
cena:
207,39 |
![]() |
Logics for Concurrency: Structure versus Automata
ISBN: 9783540609155 / Angielski / Miękka / 1996 / 268 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This book presents five tutorial-style lectures on various approaches to the problem of verifying distributed systems: three chapters concentrate on linear-time or branching-time temporal logics; one addresses process equivalence with an emphasis on infinite-state systems; and the final one presents a novel category-theoretic approach to verification. The various formalisms for expressing properties of concurrent systems, based on automata-theoretic techniques or structural properties, are studied in detail.
Much attention is paid to the style of writing and complementary coverage of the... This book presents five tutorial-style lectures on various approaches to the problem of verifying distributed systems: three chapters concentrate on l...
|
cena:
207,39 |
![]() |
Extensions of Logic Programming: 5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings.
ISBN: 9783540609834 / Angielski / Miękka / 1996 / 322 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This book constitutes the refereed proceedings of the 5th International Workshop on Extensions of Logic Programming, ELP '96, held in Leipzig, Germany in March 1996.
The 18 full papers included were carefully selected by the program committee and are presented together with three invited papers. Among the topics addressed in this book are categorical logic programming, correctness of logic programs, functional-logic languages, implementation issues, linear logic programming, nonmonotonic reasoning, and proof search. This book constitutes the refereed proceedings of the 5th International Workshop on Extensions of Logic Programming, ELP '96, held in Leipzig, Germany...
|
cena:
207,39 |
![]() |
Coordination Languages and Models: First International Conference, COORDINATION '96, Cesena, Italy, April 15-17, 1996. Proceedings.
ISBN: 9783540610526 / Angielski / Miękka / 1996 / 452 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. These conference proceedings are concerned with co-ordination, languages and models, a characteristic feature of which is that they are based on (generative) communication via a shared data space. Included with the book are posters.
These conference proceedings are concerned with co-ordination, languages and models, a characteristic feature of which is that they are based on (gene...
|
cena:
207,39 |
![]() |
Declarative Programming for Knowledge Management: 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005. Rev
ISBN: 9783540692331 / Angielski / Miękka / 2006 / 229 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Knowledge means power - but only if it is available at the right time, the right place, and in the hands of the right people. Structured, engineered, repeatable methodsto gather, transport, andapplyknowledgearecollectivelycalledkno- edge management. Declarative programming strives for the ideal of programming by wish: the user states what he or she wants, and the computer ?gures out how to achieve it. Thus, declarative programming splits into two separate parts: methods for humans on how to write wishes, and algorithms for computers that ful?l these wishes....
Knowledge means power - but only if it is available at the right time, the right place, and in the hands of the right people. Structured, engineered, ...
|
cena:
207,39 |
![]() |
Theory of Neural Information Processing Systems
ISBN: 9780198530244 / Angielski / Miękka / 2005 / 592 str. Termin realizacji zamówienia: ok. 22 dni roboczych. This interdisciplinary graduate text gives a full, explicit, coherent and up-to-date account of the modern theory of neural information processing systems and is aimed at student with an undergraduate degree in any quantitative discipline (e.g. computer science, physics, engineering, biology, or mathematics). The book covers all the major theoretical developments from the 1940s tot he present day, using a uniform and rigorous style of presentation and of mathematical notation. The text starts with simple model neurons and moves gradually to the latest advances in neural processing. An ideal...
This interdisciplinary graduate text gives a full, explicit, coherent and up-to-date account of the modern theory of neural information processing sys...
|
cena:
503,20 |
![]() |
Requirements Engineering: From System Goals to UML Models to Software Specifications
ISBN: 9780470012703 / Angielski / Miękka / 2009 / 720 str. Termin realizacji zamówienia: ok. 30 dni roboczych. Essential comprehensive coverage of the fundamentals of requirements engineering
Requirements engineering (RE) deals with the variety of prerequisites that must be met by a software system within an organization in order for that system to produce stellar results. With that explanation in mind, this must-have book presents a disciplined approach to the engineering of high-quality requirements. Serving as a helpful introduction to the fundamental concepts and principles of requirements engineering, this guide offers a comprehensive review of the aim, scope, and role of requirements... Essential comprehensive coverage of the fundamentals of requirements engineering
Requirements engineering (RE) deals with the variety of prerequisi... |
cena:
322,92 |
![]() |
Dream Cruises
ISBN: 9781583489840 / Angielski / Miękka / 2007 / 352 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
76,21 |
![]() |
The FORTRAN 2003 Handbook: The Complete Syntax, Features and Procedures
ISBN: 9781846283789 / Angielski / Twarda / 2008 / 728 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. The Fortran 2003 Handbook is a definitive and comprehensive guide to Fortran 2003 and its use. Fortran 2003, the latest standard version of Fortran, has many excellent features that assist the programmer in writing efficient, portable and maintainable programs. This all-inclusive volume offers a reader-friendly, easy-to-follow and informal description of Fortran 2003, and has been developed to provide not only a readable explanation of features, but also some rationale for the inclusion of features and their use. This highly versatile handbook is intended for anyone who wants a... The Fortran 2003 Handbook is a definitive and comprehensive guide to Fortran 2003 and its use. Fortran 2003, the latest standard version of Fortran... |
cena:
954,12 |
![]() |
Practical Aspects of Declarative Languages: 5th International Symposium, Padl 2003, New Orleans, La, Usa, January 13-14, 2003, Proceedings
ISBN: 9783540003892 / Angielski / Miękka / 2002 / 414 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. The Fifth International Symposium on Practical Aspects of Declarative L- guages (PADL 2003) was held in New Orleans on 13-14 January 2003. It was colocatedwiththe30thAnnualACMSymposiumonPrinciplesofProgramming Languages(POPL2003). We received 57 submissions, a record for PADL. One of the strengths of PADL is that it draws papers from both sides of the declarative divide, from boththefunctionalandlogicprogrammingcommunities.Ofthe57submissions, 25werefunctionaland32werelogical, withsomenotableoverlaps. The program committee was divided on the approach to take to the con-...
The Fifth International Symposium on Practical Aspects of Declarative L- guages (PADL 2003) was held in New Orleans on 13-14 January 2003. It was colo...
|
cena:
207,39 |
![]() |
Programming Languages and Systems: First Asian Symposium, Aplas 2003, Beijing, China, November 27-29, 2003, Proceedings
ISBN: 9783540205364 / Angielski / Miękka / 2003 / 434 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. With warm-hearted and friendly promotion by our Japanese friends Prof. - sushi Ohori, Prof. Tetsuo Ida, and Prof. Zhenjiang Hu, and other distinguished professors and scholars from countries and regions such as Japan, South Korea, Singapore, and Taiwan, the 1st Asian Symposium on Programming Languages andSystems(APLAS2003)tookplaceinBeijing.Wereceived76papers, among which 24 were selected for the proceedings after serious evaluation, which fully demonstrates the high quality of the collected papers. I hereby, on behalf of the Program Committee and the Organization Committee of the symposium,...
With warm-hearted and friendly promotion by our Japanese friends Prof. - sushi Ohori, Prof. Tetsuo Ida, and Prof. Zhenjiang Hu, and other distinguishe...
|
cena:
207,39 |