جهت دسترسی به کاربرگه ی زیر، از این لینک استفاده کنید.
http://localhost/handle/Hannan/1223
عنوان: | Sailing Routes in the World of Computation |
عنوان دیگر: | 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 ee August 3, 2018, Proceedings / |
پدیدآورنده: | Manea, Florin. ;;Miller, Russell G. ;;Nowotka, Dirk. ; |
کلید واژه ها: | Computer Science;Computers;Numerical analysis. ;;Computer Science and Mathematics;Management Information Systems;Computer Science;Math Applications in Computer Science. ;;Numeric Computing. ;;Theory of Computation. ;;Management of Computing and Information Systems. ;;004.0151 ; 23 ;;QA76.9.M35 ; |
تاریخ انتشار: | 2018 |
محل نشر: | Cham : |
ناشر: | Springer International Publishing : Imprint: Springer, |
فروست / شماره : | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10936. ; Lecture Notes in Computer Science, ; 0302-9743 ; ; 10936. ; |
چکیده: | This book constitutes the refereed proceedings of the 14th Conference on Computability in Europe, CiE 2018, held in Kiel, Germany, in July/ August 2017. The 26 revised full papers were carefully reviewed and selected from 55 submissions. In addition, this volume includes 15 invited papers. The conference CiE 2018 has six special sessions, namely: Approximation and optimization, Bioinformatics and bio-inspired computing, computing with imperfect information, continuous computation, history and philosophy of computing (celebrating the 80th birthday of Martin Davis), and SAT-solving. ; |
توضیحات : | SpringerLink (Online service) ; Printed edition: ; 9783319944173. ; |
آدرس: | http://localhost/handle/Hannan/1223 |
شابک : | 9783319944180 ; 9783319944173 (print) ; |
اطلاعات بیشتر: | XV, 434 p. 28 illus. ; online resource. ; |
مجموعه(های): | مدیریت فناوری اطلاعات |
پیوست های این کاربرگه
فایل | توضیحات | اندازه | فرمت | |
---|---|---|---|---|
9783319944173.pdf | 10.21 MB | Adobe PDF | مشاهده فایل |
عنوان: | Sailing Routes in the World of Computation |
عنوان دیگر: | 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 ee August 3, 2018, Proceedings / |
پدیدآورنده: | Manea, Florin. ;;Miller, Russell G. ;;Nowotka, Dirk. ; |
کلید واژه ها: | Computer Science;Computers;Numerical analysis. ;;Computer Science and Mathematics;Management Information Systems;Computer Science;Math Applications in Computer Science. ;;Numeric Computing. ;;Theory of Computation. ;;Management of Computing and Information Systems. ;;004.0151 ; 23 ;;QA76.9.M35 ; |
تاریخ انتشار: | 2018 |
محل نشر: | Cham : |
ناشر: | Springer International Publishing : Imprint: Springer, |
فروست / شماره : | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10936. ; Lecture Notes in Computer Science, ; 0302-9743 ; ; 10936. ; |
چکیده: | This book constitutes the refereed proceedings of the 14th Conference on Computability in Europe, CiE 2018, held in Kiel, Germany, in July/ August 2017. The 26 revised full papers were carefully reviewed and selected from 55 submissions. In addition, this volume includes 15 invited papers. The conference CiE 2018 has six special sessions, namely: Approximation and optimization, Bioinformatics and bio-inspired computing, computing with imperfect information, continuous computation, history and philosophy of computing (celebrating the 80th birthday of Martin Davis), and SAT-solving. ; |
توضیحات : | SpringerLink (Online service) ; Printed edition: ; 9783319944173. ; |
آدرس: | http://localhost/handle/Hannan/1223 |
شابک : | 9783319944180 ; 9783319944173 (print) ; |
اطلاعات بیشتر: | XV, 434 p. 28 illus. ; online resource. ; |
مجموعه(های): | مدیریت فناوری اطلاعات |
پیوست های این کاربرگه
فایل | توضیحات | اندازه | فرمت | |
---|---|---|---|---|
9783319944173.pdf | 10.21 MB | Adobe PDF | مشاهده فایل |
عنوان: | Sailing Routes in the World of Computation |
عنوان دیگر: | 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 ee August 3, 2018, Proceedings / |
پدیدآورنده: | Manea, Florin. ;;Miller, Russell G. ;;Nowotka, Dirk. ; |
کلید واژه ها: | Computer Science;Computers;Numerical analysis. ;;Computer Science and Mathematics;Management Information Systems;Computer Science;Math Applications in Computer Science. ;;Numeric Computing. ;;Theory of Computation. ;;Management of Computing and Information Systems. ;;004.0151 ; 23 ;;QA76.9.M35 ; |
تاریخ انتشار: | 2018 |
محل نشر: | Cham : |
ناشر: | Springer International Publishing : Imprint: Springer, |
فروست / شماره : | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10936. ; Lecture Notes in Computer Science, ; 0302-9743 ; ; 10936. ; |
چکیده: | This book constitutes the refereed proceedings of the 14th Conference on Computability in Europe, CiE 2018, held in Kiel, Germany, in July/ August 2017. The 26 revised full papers were carefully reviewed and selected from 55 submissions. In addition, this volume includes 15 invited papers. The conference CiE 2018 has six special sessions, namely: Approximation and optimization, Bioinformatics and bio-inspired computing, computing with imperfect information, continuous computation, history and philosophy of computing (celebrating the 80th birthday of Martin Davis), and SAT-solving. ; |
توضیحات : | SpringerLink (Online service) ; Printed edition: ; 9783319944173. ; |
آدرس: | http://localhost/handle/Hannan/1223 |
شابک : | 9783319944180 ; 9783319944173 (print) ; |
اطلاعات بیشتر: | XV, 434 p. 28 illus. ; online resource. ; |
مجموعه(های): | مدیریت فناوری اطلاعات |
پیوست های این کاربرگه
فایل | توضیحات | اندازه | فرمت | |
---|---|---|---|---|
9783319944173.pdf | 10.21 MB | Adobe PDF | مشاهده فایل |