topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 6
 |
Mathematics of Program Construction: Third International Conference, MPC '95, Kloster Irsee, Germany, July 17 - 21, 1995. Proceedings
ISBN: 9783540601173 / Angielski / Miękka / 1995 / 479 str. Termin realizacji zamówienia: ok. 22 dni roboczych. This volume constitutes the proceedings of the Third International Conference on the Mathematics of Program Construction, held at Kloster Irsee, Germany in July 1995.
Besides five invited lectures by distinguished researchers there are presented 19 full revised papers selected from a total of 58 submissions. The general theme is the use of crisp, clear mathematics in the discovery and design of algorithms and in the development of corresponding software and hardware; among the topics addressed are program transformation, program analysis, program verification, as well as convincing case... This volume constitutes the proceedings of the Third International Conference on the Mathematics of Program Construction, held at Kloster Irsee, Germa...
|
cena:
201,72 |
 |
Prospects for Hardware Foundations: Esprit Working Group 8533 NADA -- New Hardware Design Methods Survey Chapters
ISBN: 9783540654612 / Angielski / Miękka / 1998 / 470 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Preface VI I X Table of Contents B. Moller and J.V. Tucker (Eds.): Prospects for Hardware Foundations, LNCS 1546, pp. 1-26, 1998. Springer-Verlag Berlin Heidelberg 1998 2 The NADA Group Introduction: NADA and NIL 3 4 The NADA Group Introduction: NADA and NIL 5 6 The NADA Group Introduction: NADA and NIL 7 8 The NADA Group Introduction: NADA and NIL 9 10 The NADA Group Introduction: NADA and NIL 11 12 The NADA Group Introduction: NADA and NIL 13 14 The NADA Group Introduction: NADA and NIL 15 16 The NADA Group Introduction: NADA and NIL 17 18 The NADA Group Introduction: NADA and NIL 19 20 The...
Preface VI I X Table of Contents B. Moller and J.V. Tucker (Eds.): Prospects for Hardware Foundations, LNCS 1546, pp. 1-26, 1998. Springer-Verlag Berl...
|
cena:
201,72 |
 |
Relations and Kleene Algebra in Computer Science: 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Alge
ISBN: 9783642046384 / Angielski / Miękka / 2009 / 367 str. Termin realizacji zamówienia: ok. 22 dni roboczych. This volume contains the proceedings of the 11th International Conference on RelationalMethodsinComputerScience(RelMiCS11)andthe6thInternational Conference on Applications of Kleene Algebra (AKA 6). The joint conference took place in Doha, Quatar, November 1-5, 2009. Its purpose was to bring - gether researchersfrom various subdisciplines of computer science, mathematics and related ?elds who use the calculus of relations and/or Kleene algebra as methodological and conceptual tools in their work. This conference is the joint continuation of two di?erent strands of meetings. The seminars of...
This volume contains the proceedings of the 11th International Conference on RelationalMethodsinComputerScience(RelMiCS11)andthe6thInternational Confe...
|
cena:
201,72 |
 |
Conformational Motion and Disorder in Low and High Molecular Mass Crystals
ISBN: 9783662151150 / Angielski / Miękka / 2013 / 137 str. Termin realizacji zamówienia: ok. 22 dni roboczych. The broad field of conformational motion disorder in crystals is described with particular attention to the separation from the well known mesophases of liquid crystals and plastic crystals. Structure, thermodynamics and motion of a larger number of small and large molecules are discussed. Of special interest are the borderlines between smectic and high viscosity liquid crystals and condis crystals and between plastic crystals and condis crystals as complicated by pseudorotation, jumping between symmetry-related states and hindered rotation. This paper illustrates the wide distribution of...
The broad field of conformational motion disorder in crystals is described with particular attention to the separation from the well known mesophases ...
|
cena:
403,47 |
 |
Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report
ISBN: 9783540574996 / Angielski / Miękka / 1993 / 375 str. Termin realizacji zamówienia: ok. 22 dni roboczych. This volume contains the background texts for an IFIPState-of-the-Art Seminar on Formal Program Development, heldin early 1992 near Rio de Janeiro, Brazil.The book stems from work done by IFIP Working Group 2.1 onAlgorithmic Languages and Calculi. Since 1975, the WorkingGroup has increasingly focused on systematic approaches toprogramming and on appropriate concepts and notations tosupport such approaches. Today, the calculation of programsfrom specifications constitutes the central theme ofthegroup's work. Thus the core interests of the group are: - formal specification of solutions to...
This volume contains the background texts for an IFIPState-of-the-Art Seminar on Formal Program Development, heldin early 1992 near Rio de Janeiro, Br...
|
cena:
201,72 |
 |
Relations and Kleene Algebra in Computer Science: 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/A
ISBN: 9783540789123 / Angielski / Miękka / 2008 / 402 str. Termin realizacji zamówienia: ok. 22 dni roboczych. The book constitutes the joint refereed proceedings of the 10th International Conference on Relational Methods in Computer Science, RelMiCS 2008, and the 5th International Workshop on Applications of Kleene Algebras, AKA 2008, held in Manchester, UK in April 2008. The 26 revised full papers presented together with 2 invited papers were carefully reviewed and selected from numerous submissions. The papers describe the calculus of relations and similar algebraic formalisms as methodological and conceptual tools with special focus on formal methods for software engineering, logics of programs...
The book constitutes the joint refereed proceedings of the 10th International Conference on Relational Methods in Computer Science, RelMiCS 2008, and ...
|
cena:
201,72 |
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
