Biocomputing 2020 - Proceedings Of The Pacific Symposium, Altman Russ B, Dunker A Keith, Hunter Lawrence, Ritchie Marylyn D, Murray Tiffany A, Klein Teri E
Автор: Soren Prehn; Hans Toetenel Название: VDM `91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings ISBN: 3540548688 ISBN-13(EAN): 9783540548683 Издательство: Springer Рейтинг: Цена: 81050.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The proceedings of the fourth VDM Symposium are presented here in two volumes. Volume 1 contains invited and contributed papers, reports and abstracts. Volume 2 contains introductory and advanced tutorials. A large number of methods for formal software development besides VDM are presented.
Автор: Soren Prehn; Hans Toetenel Название: VDM `91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings ISBN: 3540548343 ISBN-13(EAN): 9783540548348 Издательство: Springer Рейтинг: Цена: 111790.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The proceedings of the fourth VDM Symposium are presented here in two volumes. Volume 1 contains invited and contributed papers, reports and abstracts. Volume 2 contains introductory and advanced tutorials. A large number of methods for formal software development besides VDM are presented.
Автор: Hochberger Christian, Nelson Brent, Koch Andreas Название: Applied Reconfigurable Computing: 15th International Symposium, ARC 2019, Darmstadt, Germany, April 9-11, 2019, Proceedings ISBN: 3030172260 ISBN-13(EAN): 9783030172268 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the proceedings of the 15th International Symposium on Applied Reconfigurable Computing, ARC 2019, held in Darmstadt, Germany, in April 2019. The 20 full papers and 7 short papers presented in this volume were carefully reviewed and selected from 52 submissions.
Автор: Xinguo Zhang Название: The Proceedings of the 2018 Asia-Pacific International Symposium on Aerospace Technology (APISAT 2018) ISBN: 9811333041 ISBN-13(EAN): 9789811333040 Издательство: Springer Рейтинг: Цена: 307450.00 T Наличие на складе: Невозможна поставка. Описание: This book is a compilation of peer-reviewed papers from the 2018 Asia-Pacific International Symposium on Aerospace Technology (APISAT 2018). The symposium is a common endeavour between the four national aerospace societies in China, Australia, Korea and Japan, namely, the Chinese Society of Aeronautics and Astronautics (CSAA), Royal Aeronautical Society Australian Division (RAeS Australian Division), the Korean Society for Aeronautical and Space Sciences (KSAS) and the Japan Society for Aeronautical and Space Sciences (JSASS). APISAT is an annual event initiated in 2009 to provide an opportunity for researchers and engineers from Asia-Pacific countries to discuss current and future advanced topics in aeronautical and space engineering.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz