» książki » Computers - Languages - General
topmenu
 |
Bombproof: A True Story of Second Chances
ISBN: 9780595474882 / Angielski / Miękka / 288 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Her life was a walk on the razor's edge. Ravaged by a devastating combination of flashbacks and seizures, Leana Beasley had all but lost hope. Then came Bronson. The dog, once a stray, was a Rottweiler mixed-breed. Named after tough-guy actor Charles Bronson and trained in a women's prison to help people with disabilities, he immediately won Leana's heart. With an uncanny ability to forewarn of seizures and a loving, unflappable personality, the animal changed-indeed, saved-Leana's life, and that of her family. Bombproof takes readers into some of society's most desperate... Her life was a walk on the razor's edge. Ravaged by a devastating combination of flashbacks and seizures, Leana Beasley had all but lost hope. T... |
cena:
82,49 |
 |
Perception as Bayesian Inference
ISBN: 9780521064996 / Angielski / Miękka / 532 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In recent years, Bayesian probability theory has emerged not only as a powerful tool for building computational theories of vision, but also as a general paradigm for studying human visual perception. This book provides an introduction to and critical analysis of the Bayesian paradigm. Leading researchers in computer vision and experimental vision science describe general theoretical frameworks for modeling vision, detailed applications to specific problems and implications for experimental studies of human perception. The book provides a dialogue between different perspectives both within...
In recent years, Bayesian probability theory has emerged not only as a powerful tool for building computational theories of vision, but also as a gene...
|
cena:
384,23 |
 |
Metaprogramming Gpus with Sh
ISBN: 9781568812298 / Angielski / Miękka / 308 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Shading, as part of the creation of realistic computer-generated images, is currently bringing major advances to computer graphics, with important practical applications in computer game design and animation. Shaders are a more sophisticated way of making 3D objects look more realistic. While most shaders are created using proprietary shading languages, Sh, a new open-source system, simplifies the shader programming process by making it part of the C++ language. This book introduces Sh and describes how to program a GPU using C++ to implement both basic and advanced shading techniques....
Shading, as part of the creation of realistic computer-generated images, is currently bringing major advances to computer graphics, with important pra...
|
cena:
224,84 |
 |
Principles of Program Analysis
ISBN: 9783540654100 / Angielski / Twarda / 452 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Program analysis utilizes static techniques for computing reliable information about the dynamic behavior of programs. Applications include compilers (for code improvement), software validation (for detecting errors) and transformations between data representation (for solving problems such as Y2K). This book is unique in providing an overview of the four major approaches to program analysis: data flow analysis, constraint-based analysis, abstract interpretation, and type and effect systems. The presentation illustrates the extensive similarities between the approaches, helping readers to...
Program analysis utilizes static techniques for computing reliable information about the dynamic behavior of programs. Applications include compilers ...
|
cena:
326,55 |
 |
Specification and Proof in Real Time CSP
ISBN: 9780521450553 / Angielski / Twarda / 200 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Computing systems are becoming highly complex, harder to understand, and therefore more prone to failure. Where such systems control aircraft for example, system failure could have disastrous consequences. It is important therefore that we are able to employ mathematical techniques to specify the behavior of critical systems. This thesis uses the theory of Communicating Sequential Processes to show how a real-time system (a system that maintains a continuous interaction with its environment) may be specified. Included is a case study in which a local area network protocol is described at two...
Computing systems are becoming highly complex, harder to understand, and therefore more prone to failure. Where such systems control aircraft for exam...
|
cena:
527,09 |
 |
Nets, Terms and Formulas: Three Views of Concurrent Processes and Their Relationship
ISBN: 9780521400442 / Angielski / Twarda / 278 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The author presents a theory whereby nets, terms and formulas represent concurrent process at three levels of abstractions: Petri nets are used to describe all details of the operational machine behavior of processes. Algebraic process terms such as Calculus of Communicating Systems (CCS) or Communicating Sequential Processes (CSP) two of the main models for parallel programming, are used to describe the architecture of processes, i.e. how they can be composed from subprocesses. Logical formulas of a first-order trace logic are used to describe the safety and liveness aspects of the...
The author presents a theory whereby nets, terms and formulas represent concurrent process at three levels of abstractions: Petri nets are used to des...
|
cena:
527,09 |
 |
The Agent Modeling Language - AML: A Comprehensive Approach to Modeling Multi-Agent Systems
ISBN: 9783764383954 / Angielski / Miękka / 355 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Multi-agent systems are already a focus of studies for more than 25 years. Despite substantial effort of an active research community, modeling of multi-agent systems still lacks complete and proper definition, general acceptance, and practical application. Due to the vast potential of these systems e.g., to improve the practice in software and to extent the applications that can feasibly be tackled, this book tries to provide a comprehensive modeling language - the Agent Modeling Language (AML) - as an extension of UML 2.0, concentrating on multi-agent systems and applications.
Multi-agent systems are already a focus of studies for more than 25 years. Despite substantial effort of an active research community, modeling of mul...
|
cena:
204,08 |
 |
Theoretical Aspects of Computing - ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings
ISBN: 9783540752905 / Angielski / Miękka / 486 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007 held in Macau, China in September 2007. The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present research results and exchange experience, ideas and solutions for their problems in theoretical aspects of computing. This book constitutes the refereed proceedings of the 4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007 held in Macau, C... |
cena:
204,08 |
 |
Formal Modeling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings
ISBN: 9783540754534 / Angielski / Miękka / 372 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume consists of the proceedings of the Fifth International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2007). The main goal of this series of conferences is to bring together diverse communities of researchers that deal with the timing aspects of computing systems. Both fundamental and practical aspects of timed systems are addressed and results reportingnewapplicationdomainsareactivelyencouraged.Further, invitedtalks that survey various aspects of this broad research domain were presented at the conference. FORMATS 2007 was co-located (during October 3 5) as...
This volume consists of the proceedings of the Fifth International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2007). The ma...
|
cena:
204,08 |
 |
Shakedown!: A Critique Of Church & Money Written in Love
ISBN: 9780595484775 / Angielski / Miękka / 124 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. I kept expecting Bishop Don Juan to walk out from backstage with a mink and some purple gators. Instead, I saw a hoard of people going berserk as if that was a normal way to behave. Pastor had just said something that resonated with the congregation and this woman walked up, threw a bill onto the pulpit, and walked back to her seat waving her hands above her head. All of a sudden, a barrage of parishioners began filing out of the pews to do the same.. . ..But all of this feels a little bit too much like Magic City to me. This Book:
-Illustrates the Church Shakedown -Clarifies the Biblical... I kept expecting Bishop Don Juan to walk out from backstage with a mink and some purple gators. Instead, I saw a hoard of people going berserk as if t...
|
cena:
50,99 |
 |
An Introduction to PHP for Scientists and Engineers: Beyond JavaScript
ISBN: 9781848002364 / Angielski / Miękka / 141 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The best way to become acquainted with a subject is to write a book about it. --Benjamin Disraeli i. Background The purpose of this book is provide an introduction to using a server-side programming language to solve some kinds of computing problems that cannot be solved with a client-side language such as JavaScript. The language is PHP (originally created in 1994 by Danish/Icelandic programmer Rasmus Lerdorf as "Personal Home Page Tools" for dealing with his own web site). The PHP language does not have a formal specification, as C does, for example. It is developed and maintained by a User...
The best way to become acquainted with a subject is to write a book about it. --Benjamin Disraeli i. Background The purpose of this book is provide an...
|
cena:
183,67 |
 |
Wing Tip Shoes
ISBN: 9781421898469 / Angielski / Miękka / 124 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In a small mid-western town in the 1960's a fresh young girl had a fleeting passion to see the world. Looking past the Iowa corn fields she yearned to see grand oceans, legendary statues and exotic palaces. In 1964 the dreamer found the perfect cup to house her desires. Despite fear, competition and doubt, she was accepted into a life of excitement, culture, and friends as a first class flight attendant for TWA. Wing Tip Shoes - Memoirs of a Flight Attendant is the autobiographical story of the charming, timeless encounters of Mary Elizabeth Spreitzer. The original stories and unique...
In a small mid-western town in the 1960's a fresh young girl had a fleeting passion to see the world. Looking past the Iowa corn fields she yearned to...
|
cena:
70,34 |
 |
A New Dawn in the Millennium: Religious Mythologies - A Threat to World Peace and Personal Freedoms
ISBN: 9781418453251 / Angielski / Miękka / 176 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
56,19 |
 |
Semantics of Programming Languages and Model Theory
ISBN: 9782881249358 / Angielski / Twarda / 416 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
799,60 |
 |
Object-Oriented Engineering: Building Engineering Systems Usig Smalltalk-80
ISBN: 9780256112108 / Angielski / Twarda / 448 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book provides an introduction to the understanding and use of object-oriented methodologies for engineering problem solving with a specific emphasis on analysis and design. (Object-oriented programming is a general computer language methodology. The name comes from the focus on describing problems in terms of objects, both physical and conceptual).
This book provides an introduction to the understanding and use of object-oriented methodologies for engineering problem solving with a specific empha...
|
cena:
144,88 |
 |
PHP/Architect's Guide to E-Commerce Programming with Magento
ISBN: 9780973862171 / Angielski / Miękka / 184 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This highly anticipated book will give you the insight you need to successfully manage and customize your Magento Commerce installation. phparchitect's Guide to Programming with Magento takes you from installation to deployment of this popular e-commerce open source software. Magentos flexibility and Zend Framework-based structure have made it an increasingly popular e-commerce solution. Designed as a valuable companion to the the documentation provided on the Magento web site, this comprehensive book covers everything you as a developer need to know, including: - Installation and...
This highly anticipated book will give you the insight you need to successfully manage and customize your Magento Commerce installation. phparchitect'...
|
cena:
151,87 |
 |
Scholarship Pursuit; The How to Guide for Winning College Scholarships
ISBN: 9781421898018 / Angielski / Miękka / 176 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Hundreds of methods exist for finding out about the numerous college scholarships available today. But this unique guide teaches high school students how to actually prepare and qualify for winning scholarship awards. This straightforward workbook includes a wealth of hints and tips for: Creating successful applications, writing more compelling essays, gaining a competitive edge during interviews, building winning scholarship resumes and much much more! S.Y. Koot shares proven advice presented in a candid style sprinkled with "case studies" from her own experience helping her children win...
Hundreds of methods exist for finding out about the numerous college scholarships available today. But this unique guide teaches high school students ...
|
cena:
83,57 |
 |
Could You Be the Referee?: A compilation of football referee's signals.
ISBN: 9781434373397 / Angielski / Miękka / 108 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. An opportunity to test your knowledge and skill level using this compilation of football referee's signals. It's time to get pumped up and discover your skill level of the game. We have assembled this easy to follow set of signals, descriptions of calls, and when required, the penalty applied. Whether you are a seasoned veteran, a coach, a die-hard fan or a newbie to the hard-hitting, smash-mouth game of football, you will be challenged by this book. After you referee your way through every page you can be assured when you see the line judge scurry out on the field and pow-wow with the head...
An opportunity to test your knowledge and skill level using this compilation of football referee's signals. It's time to get pumped up and discover yo...
|
cena:
51,68 |
 |
ECOOP 2008 - Object-Oriented Programming: 22nd European Conference Paphos, Cyprus, July 7-11, 2008, Proceedings
ISBN: 9783540705918 / Angielski / Miękka / 716 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. It is a pleasure to present the proceedings of the 22nd European Conference on Object-Oriented Programming (ECOOP 2008) held in Paphos, Cyprus. The conference continues to serve a broad object-oriented community with a tech- cal program spanning theory and practice and a healthy mix of industrial and academic participants. This year a strong workshop and tutorial program c- plementedthemaintechnicaltrack.Wehad13workshopsand8tutorials, aswell as the co-located Dynamic Language Symposium (DLS). Finally, the program was rounded out with a keynote by Rachid Guerraoui and a banquet speech by James...
It is a pleasure to present the proceedings of the 22nd European Conference on Object-Oriented Programming (ECOOP 2008) held in Paphos, Cyprus. The co...
|
cena:
408,20 |
 |
Mathematics of Program Construction: 9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings
ISBN: 9783540705932 / Angielski / Miękka / 423 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. ThisvolumecontainstheproceedingsofMPC2008, the9thInternationalConf- enceontheMathematicsofProgramConstruction.Thisseriesofconferencesaims to promote the development of mathematical principles and techniques that are demonstrably useful in the process of constructing computer programs, whether implemented in hardware or software. The focus is on techniques that combine precision with conciseness, enabling programs to be constructed by formal c- culation.Within this theme, the scopeofthe seriesisverydiverse, including p- grammingmethodology, programspeci?cationandtransformation, programming...
ThisvolumecontainstheproceedingsofMPC2008, the9thInternationalConf- enceontheMathematicsofProgramConstruction.Thisseriesofconferencesaims to promote t...
|
cena:
204,08 |
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
