topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 6
 |
Fuzzy Techniques: Theory and Applications: Proceedings of the 2019 Joint World Congress of the International Fuzzy Systems Association and the Annual
ISBN: 9783030219192 / Angielski / Miękka / 2019 / 823 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) |
cena:
805,10 |
 |
Rigorous Global Search: Continuous Problems
ISBN: 9781441947628 / Angielski / Miękka / 2010 / 264 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) This work grew out of several years of research, graduate seminars and talks on the subject. It was motivated by a desire to make the technology accessible to those who most needed it or could most use it. It is meant to be a self-contained introduction, a reference for the techniques, and a guide to the literature for the underlying theory. It contains pointers to fertile areas for future research. It also serves as introductory documentation for a Fortran 90 software package for nonlinear systems and global optimization. The subject of the monograph is deterministic, automatically verified...
This work grew out of several years of research, graduate seminars and talks on the subject. It was motivated by a desire to make the technology acces...
|
cena:
603,81 |
 |
Rigorous Global Search: Continuous Problems
ISBN: 9780792342380 / Angielski / Twarda / 1996 / 264 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) This work grew out of several years of research, graduate seminars and talks on the subject. It was motivated by a desire to make the technology accessible to those who most needed it or could most use it. It is meant to be a self-contained introduction, a reference for the techniques, and a guide to the literature for the underlying theory. It contains pointers to fertile areas for future research. It also serves as introductory documentation for a Fortran 90 software package for nonlinear systems and global optimization. The subject of the monograph is deterministic, automatically verified...
This work grew out of several years of research, graduate seminars and talks on the subject. It was motivated by a desire to make the technology acces...
|
cena:
603,81 |
 |
Applications of Interval Computations
ISBN: 9780792338475 / Angielski / Twarda / 1996 / 428 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) Primary Audience for the Book Specialists in numerical computations who are interested in algorithms with automatic result verification. Engineers, scientists, and practitioners who desire results with automatic verification and who would therefore benefit from the experience of suc cessful applications. Students in applied mathematics and computer science who want to learn these methods. Goal Of the Book This book contains surveys of applications of interval computations, i. e., appli cations of numerical methods with automatic result verification, that were pre sented at an international...
Primary Audience for the Book Specialists in numerical computations who are interested in algorithms with automatic result verification. Engineers, sc...
|
cena:
805,10 |
 |
Applications of Interval Computations
ISBN: 9781461334422 / Angielski / Miękka / 2013 / 428 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) Primary Audience for the Book - Specialists in numerical computations who are interested in algorithms with automatic result verification. - Engineers, scientists, and practitioners who desire results with automatic verification and who would therefore benefit from the experience of suc- cessful applications. - Students in applied mathematics and computer science who want to learn these methods. Goal Of the Book This book contains surveys of applications of interval computations, i. e., appli- cations of numerical methods with automatic result verification, that were pre- sented at an...
Primary Audience for the Book - Specialists in numerical computations who are interested in algorithms with automatic result verification. - Engineers...
|
cena:
805,10 |
 |
Numerical Software with Result Verification: International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers
ISBN: 9783540212607 / Angielski / Miękka / 2004 / 315 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) Reliable computing techniques are essential if the validity of the output of a - merical algorithm is to be guaranteed to be correct. Our society relies more and more on computer systems. Usually, our systems appear to work successfully, but there are sometimes serious, and often minor, errors. Validated computing is one essential technology to achieve increased software reliability. Formal - gor in the de?nition of data types, the computer arithmetic, in algorithm design, and in program execution allows us to guarantee that the stated problem has (or does not have) a solution in an enclosing...
Reliable computing techniques are essential if the validity of the output of a - merical algorithm is to be guaranteed to be correct. Our society reli...
|
cena:
201,24 |
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
