Wyniki wyszukiwania:
wyszukanych pozycji: 19
 |
FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings
ISBN: 9783319064093 / Angielski / Miękka / 2014 / 750 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the refereed proceedings of the 19th International Symposium on Formal Methods, FM 2014, held in Singapore, May 2014. The 45 papers presented together with 3 invited talks were carefully reviewed and selected from 150 submissions. The focus of the papers is on the following topics: Interdisciplinary Formal Methods, Practical Applications of Formal Methods in Industrial and Research Settings, Experimental Validation of Tools and Methods as well as Construction and Evolution of Formal Methods Tools.
This book constitutes the refereed proceedings of the 19th International Symposium on Formal Methods, FM 2014, held in Singapore, May 2014. The 45 pap...
|
cena:
389,09 zł |
 |
Water Runs Slow Through Flat Land
ISBN: 9781507852569 / Angielski / Miękka / 2015 / 294 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych (Dostawa przed świętami) |
cena:
49,89 zł |
 |
Norvis
ISBN: 9781483672267 / Angielski / Miękka / 2013 / 64 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych (Dostawa przed świętami) |
cena:
165,48 zł |
 |
Symposium on Real-Time and Hybrid Systems: Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday
ISBN: 9783030014605 / Angielski / Miękka / 2018 / 263 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
194,52 zł |
 |
Dependable and Historic Computing: Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday
ISBN: 9783642245404 / Angielski / Miękka / 2011 / 523 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This Festschrift volume, published in honor of Brian Randell on the occasion of his 75th birthday, contains a total of 37 refereed contributions. Two biographical papers are followed by the six invited papers that were presented at the conference 'Dependable and Historic Computing: The Randell Tales', held during April 7-8, 2011 at Newcastle University, UK. The remaining contributions are authored by former scientific colleagues of Brian Randell. The papers focus on the core of Brian Randell's work: the development of computing science and the study of its history. Moreover, his... This Festschrift volume, published in honor of Brian Randell on the occasion of his 75th birthday, contains a total of 37 refereed contributions. T... |
cena:
194,52 zł |
 |
Rigorous Development of Complex Fault-Tolerant Systems
ISBN: 9783540482659 / Angielski / Miękka / 2006 / 406 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Many software systems have reached a level of complication, mainly because of their size, heterogeneity and distribution, which results in faults appearing that cannot be traced back easily to the code. Some of these "faults" could also be unexpected program behavior that appears as a result of interactions between different parts of the program; this is commonly known as complexity. New methods, approaches, tools and techniques are needed to cope with the increasing complexity in software systems; amongst them, fault-tolerance techniques and formal methods, supported by the corresponding... Many software systems have reached a level of complication, mainly because of their size, heterogeneity and distribution, which results in faults a... |
cena:
194,52 zł |
 |
Mirrormaze: A Dreampunk Anthology
ISBN: 9781735217130 / Angielski / Miękka / 2020 / 386 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych (Dostawa przed świętami) |
cena:
73,86 zł |
 |
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays
ISBN: 9783540752202 / Angielski / Miękka / 2007 / 542 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This Festschrift volume is published to honour both Dines Bjorner and Zhou Chaochen on the occasion of their 70th birthdays. The volume includes 25 refereed papers by leading researchers, current and former colleagues, who congregated at a celebratory symposium held in Macao, China, in the course of the International Colloquium on Theoretical Aspects of Computing, ICTAC 2007. The papers cover a broad spectrum of subjects. "This Festschrift volume is published to honour both Dines Bjorner and Zhou Chaochen on the occasion of their 70th birthdays. The volume includes 25... |
cena:
194,52 zł |
 |
Understanding Programming Languages
ISBN: 9783030592561 / Angielski / Twarda / 2020 / 229 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
272,35 zł |
 |
5th Refinement Workshop: Proceedings of the 5th Refinement Workshop, Organised by Bcs-Facs, London, 8-10 January 1992
ISBN: 9783540197522 / Angielski / Miękka / 1992 / 381 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Refinement is the term used to describe systematic and formal methods of specifying hard- and software and transforming the specifications into designs and implementations. The value of formal methods in producing reliable hard- and software is widely appreciated by academics and workers in industry, despite the fact that certain research areas, such as the application to industrial-scale problems, are still in their infancy. This volume contains the papers presented at the 5th Refinement Workshop held in London, 8-10 January 1992. Its theme was the theory and practice of software...
Refinement is the term used to describe systematic and formal methods of specifying hard- and software and transforming the specifications into design...
|
cena:
194,52 zł |
 |
Understanding Programming Languages
ISBN: 9783030592592 / Angielski / Miękka / 2021 / 244 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
194,52 zł |
 |
Theories of Programming: The Life and Works of Tony Hoare
ISBN: 9781450387286 / Angielski / Twarda / 2021 / 450 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych (Dostawa przed świętami) |
cena:
328,36 zł |
 |
Theories of Programming: The Life and Works of Tony Hoare
ISBN: 9781450387293 / Angielski / Miękka / 2021 / 450 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych (Dostawa przed świętami) |
cena:
218,82 zł |
 |
Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective
ISBN: 9781846281105 / Angielski / Miękka / 2005 / 306 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Computer-based systems are now essential to everyday life. They involve both tech- cal (hardware/software) components and human beings as active participants. Wh- ever we ?y aboard an aircraft or withdraw money from a cash point, a combination of humans, machines and software is supporting the delivery of the service. These systems and many others bene't from the miniaturisation and cost reduction of the hardware which has made it possible for computers to be embedded everywhere. An equally remarkable development is the software involved: today, systems are built which were literally...
Computer-based systems are now essential to everyday life. They involve both tech- cal (hardware/software) components and human beings as active parti...
|
cena:
389,09 zł |
 |
Reflections on the Work of C.A.R. Hoare
ISBN: 9781447161523 / Angielski / Miękka / 2014 / 430 str. Termin realizacji zamówienia: ok. 20 dni roboczych. ThisvolumehasitsoriginsinameetingheldatMicrosoftResearch, Cambridge, in April2009tocelebrateTonyHoare s75thBirthday(actually11Jan2009). Allthe technicalpapersexceptforthosewrittenbyAbramsky, Jackson, JonesandMeyer arebased sometimesclosely, sometimesnot onpresentationsgivenatthatme- ing. TheideaforthemeetingaroseinconversationsbetweenourselvesandAndrew HerbertofMicrosoft, whohostedatrulymemorableandhappyevent. ThemeetingwasorganisedbyourselvesandKenWood, withthe?nancials- portofMicrosoftResearchandFormalSystems(Europe)Ltd, andheldovertwo days. We wouldlike to recordparticularthanksto Angela...
ThisvolumehasitsoriginsinameetingheldatMicrosoftResearch, Cambridge, in April2009tocelebrateTonyHoare s75thBirthday(actually11Jan2009). Allthe technic...
|
cena:
583,65 zł |
 |
Dreck
ISBN: 9798887850214 / Angielski Termin realizacji zamówienia: ok. 13-18 dni roboczych (Dostawa przed świętami) |
cena:
43,47 zł |
 |
Theoretical Aspects of Computing - ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings
ISBN: 9783540752905 / Angielski / Miękka / 2007 / 486 str. Termin realizacji zamówienia: ok. 20 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:
194,52 zł |
 |
A Performer's Guide to Music of the Classical Period: Second edition
ISBN: 9781786010988 / Angielski / Nuty / 2018 / 120 str. Termin realizacji zamówienia: ok. 8-10 dni roboczych (Dostawa przed świętami) This stimulating guide will help students and their teachers to achieve stylish performances of music of the Classical period. Individual chapters from leading experts focus on historical background, notation and interpretation, and sources and editions, presenting the latest thinking on performance in a clear, helpful and practical way. There are also dedicated chapters of specialist advice for keyboard, string and wind players, and singers, plus a recommended
playlist of illustrative, authoritative recordings. Fully illustrated throughout with many music examples, facsimiles and pictures,... This stimulating guide will help students and their teachers to achieve stylish performances of music of the Classical period. Individual chapters fro...
|
cena:
79,85 zł |
 |
Object Orientation with Parallelism and Persistence
ISBN: 9781461286257 / Angielski / Miękka / 2011 / 233 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Both object orientation and parallelism are modern programming paradigms which have gained much popularity in the last 10-15 years. Object orientation raises hopes for increased productivity of software generation and maintenance methods. Parallelism can serve to structure a problem but also promises faster program execution.
The two areas of computing science in which these paradigms play the most prominent role are programming languages and databases. In programming languages, one can take an academic approach with a primary focus on the generality of the semantics of the language... Both object orientation and parallelism are modern programming paradigms which have gained much popularity in the last 10-15 years. Object orientation...
|
cena:
583,65 zł |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
