Wyniki wyszukiwania:
wyszukanych pozycji: 24
 |
Energy Storage: Issues & Applications
ISBN: 9781612095172 / Angielski / Twarda / 2011 / 157 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Energy Storage
Energy Storage
|
cena:
605,12 zł |
 |
Revenge: The Real Life Story of Star Wars: Episode III-Revenge of the Sith
ISBN: 9780595429233 / Angielski / Miękka / 2007 / 388 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. In 2005, the most successful film series of all time came to a close with "Star Wars: Episode III-Revenge of the Sith." Not only did the movie break countless box office records-and hit a first-ever $50 million opening day-it also impressed critics worldwide. The fan frenzy led to a record $3 billion in consumer spending on related products. With its $850 million worldwide box-office gross and glowing reviews from fans and critics, the final prequel ended the saga in brilliant fashion and gave George Lucas a hearty measure of revenge against his detractors. "Revenge: The Real Life... In 2005, the most successful film series of all time came to a close with "Star Wars: Episode III-Revenge of the Sith." Not only did the movie brea... |
cena:
107,93 zł |
 |
Revenge: The Real Life Story of Star Wars: Episode III-Revenge of the Sith
ISBN: 9780595875337 / Angielski / Twarda / 2007 / 388 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. In 2005, the most successful film series of all time came to a close with "Star Wars: Episode III-Revenge of the Sith." Not only did the movie break countless box office records-and hit a first-ever $50 million opening day-it also impressed critics worldwide. The fan frenzy led to a record $3 billion in consumer spending on related products. With its $850 million worldwide box-office gross and glowing reviews from fans and critics, the final prequel ended the saga in brilliant fashion and gave George Lucas a hearty measure of revenge against his detractors. "Revenge: The Real Life... In 2005, the most successful film series of all time came to a close with "Star Wars: Episode III-Revenge of the Sith." Not only did the movie brea... |
cena:
151,19 zł |
 |
Getting Started with Talend Open Studio for Data Integration
ISBN: 9781849514729 / Angielski / Miękka / 2012 / 320 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. Talend Open Studio for Data Integration (TOS) is an open source graphical development environment for creating custom integrations between systems. It comes with over 600 pre-built connectors that make it quick and easy to connect databases, transform files, load data, move, copy and rename files and connect individual components in order to define complex integration processes. "Getting Started with Talend Open Studio for Data Integration" illustrates common uses and scenarios in a simple, practical manner and, building on knowledge as the book progresses, works towards more complex...
Talend Open Studio for Data Integration (TOS) is an open source graphical development environment for creating custom integrations between systems. It...
|
cena:
237,36 zł |
 |
Unifying Theories of Programming: 6th International Symposium, Utp 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers
ISBN: 9783319522272 / Angielski / Miękka / 2017 / 217 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the refereed proceedings of the 6th International Symposium on Unifying Theories of Programming, UTP 2016, held in Reykjavik, Iceland, in June 2016, in conjunction with the 12th International Conference on Integrated Formal Methods, iFM 2016. The 8 revised full papers presented were carefully reviewed and selected from 10 submissions. They deal with the fundamental problem of combination of formal notations and theories of programming that define in various different ways many common notions, such as abstraction refinement, choice, termination, feasibility,... This book constitutes the refereed proceedings of the 6th International Symposium on Unifying Theories of Programming, UTP 2016, held in Reykjavik,... |
cena:
194,08 zł |
 |
Zum'97: The Z Formal Specification Notation: 10th International Conference of Z Users, Reading, Uk, April, 3-4, 1997, Proceedings
ISBN: 9783540627173 / Angielski / Miękka / 1997 / 442 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the refereed proceedings of the 10th International Conference of Z Users, ZUM'97, held in Reading, UK, in April 1997.
The volume presents 18 revised full papers together with three invited presentations by internationally leading experts. The papers are organized into topical sections on real-time systems, tools, logic, system development, reactive systems, refinement, and applications. Also a select Z bibliography by Jonathan Bowen is added. All in all, the book competently reports the state-of-the-art in research and advanced applications of the Z notation. This book constitutes the refereed proceedings of the 10th International Conference of Z Users, ZUM'97, held in Reading, UK, in April 1997. |
cena:
194,08 zł |
 |
Zb 2000: Formal Specification and Development in Z and B: First International Conference of B and Z Users York, Uk, August 29 - September 2, 2000 Proc
ISBN: 9783540679448 / Angielski / Miękka / 2000 / 510 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the refereed proceedings of the First International Conference of B and Z Users, ZB 2000, held in York, UK in August/September 2000.
The 25 revised full papers presented together with four invited contributions were carefully reviewed and selected for inclusion in the book. The book documents the recent advances for the Z formal specification notion and for the B method; the full scope, ranging from foundational and theoretical issues to advanced applications, tools, and case studies, is covered. This book constitutes the refereed proceedings of the First International Conference of B and Z Users, ZB 2000, held in York, UK in August/September 2...
|
cena:
194,08 zł |
 |
Engineering Trustworthy Software Systems: 4th International School, Setss 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures
ISBN: 9783030176006 / Angielski / Miękka / 2019 / 237 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
225,14 zł |
 |
Zum '95: The Z Formal Specification Notation: 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings
ISBN: 9783540602712 / Angielski / Miękka / 1995 / 583 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book presents the proceedings of the 9th International Conference of Z Users, ZUM '95, held in Limerick, Ireland in September 1995.
The book contains 34 carefully selected papers on Z, using Z, applications of Z, proof, testing, industrial usage, object orientation, animation of specification, method integration, and teaching formal methods. Of particular interest is the inclusion of an annotated Z bibliography listing 544 entries. While focussing on Z, by far the most commonly used "formal method" both in industry and application, the volume is of high relevance for the whole formal... This book presents the proceedings of the 9th International Conference of Z Users, ZUM '95, held in Limerick, Ireland in September 1995.
The book c... |
cena:
388,20 zł |
 |
Anticipation: The Real Life Story of Star Wars: Episode I-The Phantom Menace
ISBN: 9780595347322 / Angielski / Miękka / 2005 / 252 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. In 1999, the first new "Star Wars" movie in sixteen years came to theater screens worldwide. Leading up to the release of the film, the hype and media coverage reached epic proportions. "The Phantom Menace" graced every cover from Vanity Fair to Newsweek to Entertainment Weekly. Fans began camping in line for more than a month in Los Angeles just to be first to see the new film. "Anticipation" tells the real-life story of a movie that faced expectations unlike those of any other film in history, but had the advantage of years of anticipation and excitement from eager fans and the public. "The...
In 1999, the first new "Star Wars" movie in sixteen years came to theater screens worldwide. Leading up to the release of the film, the hype and media...
|
cena:
86,30 zł |
 |
Engineering Trustworthy Software Systems: 5th International School, Setss 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures
ISBN: 9783030550882 / Angielski / Miękka / 2020 / 221 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
194,08 zł |
 |
Engineering Trustworthy Software Systems: Second International School, Setss 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures
ISBN: 9783319568409 / Angielski / Miękka / 2017 / 259 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This volume contains a record of some of the lectures and seminars delivered at the Second International School on Engineering Trustworthy Software Systems (SETSS 2016), held in March/April 2016 at Southwest University in Chongqing, China.
The six contributions included in this volume provide an overview of leading-edge research in methods and tools for use in computer system engineering. They have been distilled from six courses and two seminars on topics such as: modelling and verification in event-B; parallel programming today; runtime verification; Java in the... This volume contains a record of some of the lectures and seminars delivered at the Second International School on Engineering Trustworthy Software... |
cena:
194,08 zł |
 |
Zum '98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings
ISBN: 9783540650706 / Angielski / Miękka / 1998 / 424 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 1 In a number of recent presentations most notably at FME 96 oneofthe foremost scientists in the ?eld of formal methods, C.A.R. Hoare, has highlighted the fact that formal methods are not the only technique for producing reliable software. This seems to have caused some controversy, not least amongst formal methods practitioners. How can one of the founding fathers of formal methods seemingly denounce the ?eld of research after over a quarter of a century of support? This is a question that has been posed recently by some formal methods skeptics. However, Prof. Hoare has not abandoned formal...
1 In a number of recent presentations most notably at FME 96 oneofthe foremost scientists in the ?eld of formal methods, C.A.R. Hoare, has highlighted...
|
cena:
194,08 zł |
 |
Anticipation: The Real Life Story of Star Wars: Episode I-The Phantom Menace
ISBN: 9780595671489 / Angielski / Twarda / 2005 / 252 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. In 1999, the first new "Star Wars" movie in sixteen years came to theater screens worldwide. Leading up to the release of the film, the hype and media coverage reached epic proportions. "The Phantom Menace" graced every cover from Vanity Fair to Newsweek to Entertainment Weekly. Fans began camping in line for more than a month in Los Angeles just to be first to see the new film. "Anticipation" tells the real-life story of a movie that faced expectations unlike those of any other film in history, but had the advantage of years of anticipation and excitement from eager fans and the public. "The...
In 1999, the first new "Star Wars" movie in sixteen years came to theater screens worldwide. Leading up to the release of the film, the hype and media...
|
cena:
129,56 zł |
 |
Engineering Trustworthy Software Systems: Third International School, Setss 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures
ISBN: 9783030029272 / Angielski / Miękka / 2018 / 219 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
194,08 zł |
 |
The Art of Drama, volume 4: Jerusalem
ISBN: 9781703364385 / Angielski / Miękka / 2019 / 138 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
90,80 zł |
 |
Electronic Visualisation in Arts and Culture
ISBN: 9781447172352 / Angielski / Miękka / 2016 / 291 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This volume presents the latest technological developments in arts and culture. Coverage includes a diverse range of theory, applications and uses, including art, music, archaeology, historic landscape, motion capture, and photography.
This volume presents the latest technological developments in arts and culture. Coverage includes a diverse range of theory, applications and uses, in...
|
cena:
543,49 zł |
 |
Electronic Visualisation in Arts and Culture
ISBN: 9781447154051 / Angielski / Twarda / 2013 / 291 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Presenting the latest technological developments in arts and culture, this volume demonstrates the advantages of a union between art and science. Electronic Visualisation in Arts and Culture is presented in five parts: * Imaging and Culture* New Art Practice* Seeing Motion* Interaction and Interfaces * Visualising Heritage Electronic Visualisation in Arts and Culture explores a variety of new theory and technologies, including devices and techniques for motion capture for music and performance, advanced photographic techniques, computer generated images derived from different sources, game...
Presenting the latest technological developments in arts and culture, this volume demonstrates the advantages of a union between art and science. Elec...
|
cena:
543,49 zł |
 |
Formal Methods: State of the Art and New Directions
ISBN: 9781447157458 / Angielski / Miękka / 2014 / 273 str. Termin realizacji zamówienia: ok. 20 dni roboczych. The Formal Aspects of Computing Science (FACS) Specialist Group of the British Computer Society set up a seriesof evening seminarsin 2005to report on advances in the application of formal design and analysis techniques in all the stages of software development. The seminars attracted an audience fromboth academiaand industry, andgavethem the opportunity to hear and meet pioneers andkeyresearchersin computing science.Normally it wouldbe necessaryto travelabroadand attend an internationalconference to be in the presence of such respected ?gures; instead, the evening seminar programme, overa...
The Formal Aspects of Computing Science (FACS) Specialist Group of the British Computer Society set up a seriesof evening seminarsin 2005to report on ...
|
cena:
388,20 zł |
 |
Provably Correct Systems
ISBN: 9783319486277 / Angielski / Twarda / 2017 / 328 str. Termin realizacji zamówienia: ok. 20 dni roboczych. As computers increasingly control the systems and services we depend upon within our daily lives like transport, communications, and the media, ensuring these systems function correctly is of utmost importance. This book consists of twelve chapters and one historical account that were presented at a workshop in London in 2015, marking the 25th anniversary of the European ESPRIT Basic Research project 'ProCoS' (Provably Correct Systems). The ProCoS I and II projects pioneered and accelerated the automation of verification techniques, resulting in a wide range of applications within... As computers increasingly control the systems and services we depend upon within our daily lives like transport, communications, and the media, ens... |
cena:
388,20 zł |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
