checking

  • 1Model Checking. Верификация параллельных и распределенных программных систем (+ CD-ROM) , Ю. Г. Карпов (2010)
    В книге рассказывается о новых результатах в области верификация с помощью метода model checking и приводятся примеры приложений этого метода в самых разных областях. Рассматриваются проблема… 516 руб

  • 2Model Checking.Верификация параллельных и распределенных программных систем , Ю. Г. Карпов (2009)
    В книге рассказывается о новых результатах в области верификации с помощью метода model checking и приводятся примеры приложений этого метода в самых разных областях. Рассматриваются проблема… 399 руб электронная книга

  • 3Верификация моделей программ. Model Checking , Э. М. Кларк, О. Грамберг, Д. Пелед (2002)
    В монографии всемирно известных специалистов в области математической логики и теории вычислений представлено полное и подробное изложение нового подхода к решению задачи проверки правильности… 236 руб

  • 4Verification of Communication Protocols in Web Services. Model-Checking Service Compositions , Zahir Tari
    In the near future, wireless sensor networks will become an integral part of our day-to-day life. To solve different sensor networking related issues, researchers have been putting various efforts… 9961.23 руб электронная книга

  • 5Real-Time Embedded Systems , Jiacun Wang
    Offering comprehensive coverage of the convergence of real-time embedded systems scheduling, resource access control, software design and development, and high-level system modeling, analysis and… 9652.07 руб электронная книга

  • 6Air Babylon , Imogen Edwards-Jones (2006)
    Heard the one about the airline that has introduced 'corpse cupboards' on new planes to cope with the number of people who die in the air? Heard the story about the First Class air hostess who got… 759 руб

  • 7Semantic Web and Model-Driven Engineering , Fernando Parreiras S.
    The next enterprise computing era will rely on the synergy between both technologies: semantic web and model-driven software development (MDSD). The semantic web organizes system knowledge in… 6161.84 руб электронная книга

  • 8Algorithms and Ordering Heuristics for Distributed Constraint Satisfaction Problems , Mohamed Wahbi
    DisCSP (Distributed Constraint Satisfaction Problem) is a general framework for solving distributed problems arising in Distributed Artificial Intelligence. A wide variety of problems in artificial… 6254.98 руб электронная книга

  • 9Family and Friends 5: To the Rescue , Mary McIntosh (2014)
    Family and Friends readers have been carefully graded to match the syllabus of the "Family and Friends" series and provide extra reading practice. They can either be used in the classroom or to… 629 руб

  • 10Reward Elementary: Practice Book with Key , Diana Pye, Simon Greenall (2012)
    Reward is a multi-level course designed to take students from their first introduction to English up to a fully proficient use of the language. The cross-cultural contexts of Reward provide… 1449 руб

  • 11Essential: Business Grammar Builder: Student's Book (+ CD-ROM) , Paul Emmerson (2013)
    "Essential Business Grammar Builder" presents and practises the fundamental grammar requirements for students studying Business English. It is ideal for use in class and for self-study. Key features… 2559 руб

  • 12Survival English. International Communication for Professional People. Practice book , Viney (2003)
    A Pre-Intermediate English course for professional adults who need English for work and travel. Each one-page lesson depicts an authentic situation that learners might encounter in real-life… 898 руб

  • 13Reward. Elementary. Practice Book (with key edition) , Diana Pye (1997)
    Reward is a multi-level course designed to take students from their first introduction to English up to a fully proficient use of the language. The cross-cultural contexts of Reward provide… 1334 руб

  • 14Reward Upper-Intermediate Practice Book with key , Simon Greenall (1996)
    Reward is a multi-level course designed to take students from their first introduction to English up to a fully proficient use of the language. The cross-cultural contexts of Reward provide… 1165 руб

  • 15Primary I-Dictionary 2 Low Elementary Workbook , Anna Wieczorek (2013)
    The perfect accompaniment to the Primary i-Dictionary level 2 CD-ROM, this Workbook contains all the words from the CD-ROM plus activities. Young learners will enjoy labelling the pictures, then… 827 руб

  • 16Primary i-dictionary 3. High Elementary Workbook (+ DVD) , Holcombe Garan (2013)
    The perfect accompaniment to the Primary i-Dictionary level 3, this Workbook contains all the words from the CD-ROM plus activities. Young learners will enjoy labelling the pictures, then checking… 827 руб

  • 17Progressive Skills in English: Bk. 1 (+ DVD) , Terry Phillips (2012)
    Progressive Skills in English 1: Course Book Do you need English in your studies? Then you need the Progressive Skills in English Course. The course builds the skills required for lectures… 2561 руб

  • 18Progressive Skills in English: Bk. 1 , Terry Phillips (2012)
    Progressive Skills in English 1: Workbook Do you need English in your studies? Then you need the Progressive Skills in English Course. The course builds the skills required for lectures, tutorials… 1070 руб

  • 19Building Skills 1. Course Book + 3CD (+ Audio CD) , Terry Phillips (2010)
    Have you studied English at school? Do you need to improve your competence in English? Then you need Building Skills. This course will help you improve your competence in the skills of English for… 2263 руб

  • 20Building Skills 1. Workbook + 2 CD (+ Audio CD) , Terry Phillips (2010)
    Have you studied English at school? Do you need to improve your competence in English? Then you need Building Skills. This course will help you improve your competence in the skills of English for… 1177 руб


We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.