Wyniki wyszukiwania:
wyszukanych pozycji: 69
 |
Vlisp a Verified Implementation of Scheme: A Special Issue of LISP and Symbolic Computation, an International Journal Vol. 8, Nos. 1 & 2 March 1995
ISBN: 9781461359913 / Angielski / Miękka / 2012 / 184 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. The VLISP project showed how to produce a comprehensively verified implemen tation for a programming language, namely Scheme 4, 15). Some of the major elements in this verification were: The proof was based on the Clinger-Rees denotational semantics of Scheme given in 15). Our goal was to produce a "warts-and-all" verification of a real language. With very few exceptions, we constrained ourselves to use the se mantic specification as published. The verification was intended to be rigorous, but. not. complet.ely formal, much in the style of ordinary mathematical discourse. Our goal was to...
The VLISP project showed how to produce a comprehensively verified implemen tation for a programming language, namely Scheme 4, 15). Some of the majo...
|
cena:
605,23 |
 |
Principles of Security and Trust: First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -
ISBN: 9783642286407 / Angielski / Miękka / 2012 / 431 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This book constitutes the refereed proceedings of the first International Conference on Principles of Security and Trust, POST 2012, held in Tallinn, Estonia, in March/April 2012, as part of ETAPS 2012, the European Joint Conferences on Theory and Practice of Software.The 20 papers, presented together with the abstract of an invited talk and a joint-ETAPS paper, were selected from a total of 67 submissions. Topics covered by the papers include: foundations of security, authentication, confidentiality, privacy and anonymity, authorization and trust, network security, protocols for security,...
This book constitutes the refereed proceedings of the first International Conference on Principles of Security and Trust, POST 2012, held in Tallinn, ...
|
cena:
201,72 |
 |
The Sir Mortimer B. Davis Jewish General Hospital
ISBN: 9780773553064 / Angielski / Twarda / 2018 / 344 str. Termin realizacji zamówienia: ok. 30 dni roboczych. A compelling look at the remarkable progress of Montreal's Jewish General Hospital, from a community hospital to a first-class medical and research centre.
A compelling look at the remarkable progress of Montreal's Jewish General Hospital, from a community hospital to a first-class medical and research ce...
|
cena:
295,06 |
 |
A Report on the Certification of an Absolute Molecular Mass Distribution Polymer Standard: Standard Reference Material 2881
ISBN: 9781495920042 / Angielski / Miękka / 2008 / 60 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. The certification of the absolute molecular mass distribution (MMD) of an n-octyl-initiated, proton-terminated, low mass, atactic polystyrene (PS) by matrix-assisted laser desorption ionization time-of-flight mass spectrometry (MALDI-TOF MS) is fully described. This polymer has been designated Standard Reference Material (SRM) 2881. The material constituting SRM 2881 was prepared commercially for the NIST Polymers Division specifically for use as a narrow-distribution polymer standard. Anticipated uses include calibration of mass spectrometers and size exclusion chromatographs (SEC) in...
The certification of the absolute molecular mass distribution (MMD) of an n-octyl-initiated, proton-terminated, low mass, atactic polystyrene (PS) by ...
|
cena:
55,80 |
 |
Zeppelin Vs British Home Defence 1915-18
ISBN: 9781472820334 / Angielski / Miękka / 2018 / 80 str. Termin realizacji zamówienia: ok. 30 dni roboczych. |
cena:
82,77 |
 |
Chemical Genomics and Proteomics
ISBN: 9781138198470 / Angielski / Miękka / 2016 / 243 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Since the publication of the pioneering first edition of Chemical Genomics and Proteomics more than seven years ago, the area of chemical genomics has rapidly expanded and diversified to numerous novel methods and subdisciplines, such as chemical glycomics and lipidomics. This second edition has been updated to uniquely reflect this interdisciplinary feature as well as the remarkable developments that have occurred. The new edition also covers innovative applications from cell biology to drug discovery to, more recently, clinical diagnostics and medical practice, which utilize the... Since the publication of the pioneering first edition of Chemical Genomics and Proteomics more than seven years ago, the area of chemical ge... |
cena:
388,45 |
 |
Non-State Actors in China and Global Environmental Governance
ISBN: 9789813365933 / Angielski / Twarda / 2021 / 303 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
564,88 |
 |
Chemical Genomics and Proteomics
ISBN: 9781439830529 / Angielski / Twarda / 2013 / 243 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Since the publication of the pioneering first edition of Chemical Genomics and Proteomics more than seven years ago, the area of chemical genomics has rapidly expanded and diversified to numerous novel methods and subdisciplines, such as chemical glycomics and lipidomics. This second edition has been updated to uniquely reflect this interdisciplinary feature as well as the remarkable developments that have occurred. The new edition also covers innovative applications from cell biology to drug discovery to, more recently, clinical diagnostics and medical practice, which utilize the... Since the publication of the pioneering first edition of Chemical Genomics and Proteomics more than seven years ago, the area of chemical ge... |
cena:
983,54 |
 |
We Discover
ISBN: 9780984980239 / Angielski / Miękka / 2016 / 370 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Enjoy the compelling journeys of We Discover's researchers, innovators, and explorers as they take you to the prehistoric planet and the future, and all around the world and into space. You will discover marine life deep in our oceans, insects in the grasslands, primates and predators in the jungles of Africa, the habits of whales and bears in the Arctic, glaciers in the planet's highest mountain ranges, and fossils in deserts and buried in the frozen mountains of Antarctica. You will be taken down into the microscopic world and up to the sun and way out to the outer solar system, and to a...
Enjoy the compelling journeys of We Discover's researchers, innovators, and explorers as they take you to the prehistoric planet and the future, and a...
|
cena:
86,95 |
4 
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
