Watanabe yoshitaka (23 risultati)
Lingua: Inglese
Editore: Springer, 2020
Serie: Springer Computational Mathematics, Libro 31 di 33. Libro 31 di 33 - Springer Computational Mathematics
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 76,41
EUR 14,09 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 78,27
EUR 11,76 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Paperback. Condizione: Brand New. 216 pages. 9.50x6.25x0.50 inches. In Stock.
Lingua: Inglese
Editore: Springer, 2019
Serie: Springer Computational Mathematics, Libro 31 di 33. Libro 31 di 33 - Springer Computational Mathematics
- Rilegato
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 76,41
EUR 14,09 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
Lingua: Inglese
Editore: Springer Verlag, Singapore, SG, 2020
Serie: Springer Computational Mathematics, Libro 31 di 33. Libro 31 di 33 - Springer Computational Mathematics
- Brossura
Da: Rarewaves.com USA, London, LONDO, Regno UnitoRarewaves.com USA
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 93,20
Spedizione gratuitaSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Paperback. Condizione: New. 2019 ed. In the last decades, various mathematical problems have been solved by computer-assisted proofs, among them the Kepler conjecture, the existence of chaos, the existence of the Lorenz attractor, the famous four-color problem, and more. In many cases, computer-assisted proofs have the remarkabl…e advantage (compared with a "theoretical" proof) of additionally providing accurate quantitative information.The authors have been working more than a quarter century to establish methods for the verified computation of solutions for partial differential equations, mainly for nonlinear elliptic problems of the form -?u=f(x,u,?u) with Dirichlet boundary conditions. Here, by "verified computation" is meant a computer-assisted numerical approach for proving the existence of a solution in a close and explicit neighborhood of an approximate solution. The quantitative information provided by these techniques is also significant from the viewpoint of a posteriori error estimates for approximate solutions of the concerned partial differential equations in a mathematically rigorous sense.In this monograph, the authors give a detailed description of the verified computations and computer-assisted proofs for partial differential equations that they developed. In Part I, the methods mainly studied by the authors Nakao and Watanabe are presented. These methods are based on a finite dimensional projection and constructive a priori error estimates for finite element approximations of the Poisson equation. In Part II, the computer-assisted approaches via eigenvalue bounds developed by the author Plum are explained in detail. The main task of this method consists of establishing eigenvalue bounds for the linearization of the corresponding nonlinear problem at the computed approximate solution. Some brief remarks on other approaches are also given in Part III. Each method in Parts I and II is accompanied by appropriate numerical examples that confirm the actual usefulness of theauthors' methods. Also in some examples practical computer algorithms are supplied so that readers can easily implement the verification programs by themselves.
Lingua: Inglese
Editore: Springer Verlag, Singapore, SG, 2019
Serie: Springer Computational Mathematics, Libro 31 di 33. Libro 31 di 33 - Springer Computational Mathematics
- Rilegato
Da: Rarewaves.com USA, London, LONDO, Regno UnitoRarewaves.com USA
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 101,85
Spedizione gratuitaSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Hardback. Condizione: New. 2019 ed. In the last decades, various mathematical problems have been solved by computer-assisted proofs, among them the Kepler conjecture, the existence of chaos, the existence of the Lorenz attractor, the famous four-color problem, and more. In many cases, computer-assisted proofs have the remarkable… advantage (compared with a "theoretical" proof) of additionally providing accurate quantitative information.The authors have been working more than a quarter century to establish methods for the verified computation of solutions for partial differential equations, mainly for nonlinear elliptic problems of the form -?u=f(x,u,?u) with Dirichlet boundary conditions. Here, by "verified computation" is meant a computer-assisted numerical approach for proving the existence of a solution in a close and explicit neighborhood of an approximate solution. The quantitative information provided by these techniques is also significant from the viewpoint of a posteriori error estimates for approximate solutions of the concerned partial differential equations in a mathematically rigorous sense.In this monograph, the authors give a detailed description of the verified computations and computer-assisted proofs for partial differential equations that they developed. In Part I, the methods mainly studied by the authors Nakao and Watanabe are presented. These methods are based on a finite dimensional projection and constructive a priori error estimates for finite element approximations of the Poisson equation. In Part II, the computer-assisted approaches via eigenvalue bounds developed by the author Plum are explained in detail. The main task of this method consists of establishing eigenvalue bounds for the linearization of the corresponding nonlinear problem at the computed approximate solution. Some brief remarks on other approaches are also given in Part III. Each method in Parts I and II is accompanied by appropriate numerical examples that confirm the actual usefulness of theauthors' methods. Also in some examples practical computer algorithms are supplied so that readers can easily implement the verification programs by themselves.
[Magazine] Gakushuu 71 volumes 10 issues
Pencils - Seiichiro Takahashi Yoshitaka Takahashi Kazuko Ikeda Akio Kudo Kazuo Watanabe et al.
Editore: Maruzen, 1974
- Brossura
Da: Sunny Day Bookstore, SINGAPORE, SingaporeSunny Day Bookstore
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Ottimo
EUR 54,03
EUR 13,11 spedizioneSpedito da Singapore a U.S.A.Quantità: 1 disponibili
Condizione: Fine. The book is in fine condition.
Editore: Chuokoronsha, 1966
- Brossura
Da: Sunny Day Bookstore, SINGAPORE, SingaporeSunny Day Bookstore
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Ottimo
EUR 54,03
EUR 13,11 spedizioneSpedito da Singapore a U.S.A.Quantità: 1 disponibili
Condizione: Fine. Number of books: 1.
Lingua: Inglese
Editore: Springer Verlag, Singapore, SG, 2020
Serie: Springer Computational Mathematics, Libro 31 di 33. Libro 31 di 33 - Springer Computational Mathematics
- Brossura
Da: Rarewaves.com UK, London, Regno UnitoRarewaves.com UK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 80,90
EUR 76,43 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Paperback. Condizione: New. 2019 ed. In the last decades, various mathematical problems have been solved by computer-assisted proofs, among them the Kepler conjecture, the existence of chaos, the existence of the Lorenz attractor, the famous four-color problem, and more. In many cases, computer-assisted proofs have the remarkabl…e advantage (compared with a "theoretical" proof) of additionally providing accurate quantitative information.The authors have been working more than a quarter century to establish methods for the verified computation of solutions for partial differential equations, mainly for nonlinear elliptic problems of the form -?u=f(x,u,?u) with Dirichlet boundary conditions. Here, by "verified computation" is meant a computer-assisted numerical approach for proving the existence of a solution in a close and explicit neighborhood of an approximate solution. The quantitative information provided by these techniques is also significant from the viewpoint of a posteriori error estimates for approximate solutions of the concerned partial differential equations in a mathematically rigorous sense.In this monograph, the authors give a detailed description of the verified computations and computer-assisted proofs for partial differential equations that they developed. In Part I, the methods mainly studied by the authors Nakao and Watanabe are presented. These methods are based on a finite dimensional projection and constructive a priori error estimates for finite element approximations of the Poisson equation. In Part II, the computer-assisted approaches via eigenvalue bounds developed by the author Plum are explained in detail. The main task of this method consists of establishing eigenvalue bounds for the linearization of the corresponding nonlinear problem at the computed approximate solution. Some brief remarks on other approaches are also given in Part III. Each method in Parts I and II is accompanied by appropriate numerical examples that confirm the actual usefulness of theauthors' methods. Also in some examples practical computer algorithms are supplied so that readers can easily implement the verification programs by themselves.
Lingua: Inglese
Editore: Springer Verlag, Singapore, SG, 2019
Serie: Springer Computational Mathematics, Libro 31 di 33. Libro 31 di 33 - Springer Computational Mathematics
- Rilegato
Da: Rarewaves.com UK, London, Regno UnitoRarewaves.com UK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 95,31
EUR 76,43 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Hardback. Condizione: New. 2019 ed. In the last decades, various mathematical problems have been solved by computer-assisted proofs, among them the Kepler conjecture, the existence of chaos, the existence of the Lorenz attractor, the famous four-color problem, and more. In many cases, computer-assisted proofs have the remarkable… advantage (compared with a "theoretical" proof) of additionally providing accurate quantitative information.The authors have been working more than a quarter century to establish methods for the verified computation of solutions for partial differential equations, mainly for nonlinear elliptic problems of the form -?u=f(x,u,?u) with Dirichlet boundary conditions. Here, by "verified computation" is meant a computer-assisted numerical approach for proving the existence of a solution in a close and explicit neighborhood of an approximate solution. The quantitative information provided by these techniques is also significant from the viewpoint of a posteriori error estimates for approximate solutions of the concerned partial differential equations in a mathematically rigorous sense.In this monograph, the authors give a detailed description of the verified computations and computer-assisted proofs for partial differential equations that they developed. In Part I, the methods mainly studied by the authors Nakao and Watanabe are presented. These methods are based on a finite dimensional projection and constructive a priori error estimates for finite element approximations of the Poisson equation. In Part II, the computer-assisted approaches via eigenvalue bounds developed by the author Plum are explained in detail. The main task of this method consists of establishing eigenvalue bounds for the linearization of the corresponding nonlinear problem at the computed approximate solution. Some brief remarks on other approaches are also given in Part III. Each method in Parts I and II is accompanied by appropriate numerical examples that confirm the actual usefulness of theauthors' methods. Also in some examples practical computer algorithms are supplied so that readers can easily implement the verification programs by themselves.
Lingua: Inglese
Editore: Springer, 2019
Serie: Springer Computational Mathematics, Libro 31 di 33. Libro 31 di 33 - Springer Computational Mathematics
- Rilegato
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 186,53
EUR 3,49 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New.
Lingua: Inglese
Editore: Springer, 2019
Serie: Springer Computational Mathematics, Libro 31 di 33. Libro 31 di 33 - Springer Computational Mathematics
- Rilegato
Da: Mispah books, Redhill, SURRE, Regno UnitoMispah books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 181,68
EUR 29,40 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Lingua: Inglese
Editore: Springer, 2020
Serie: Springer Computational Mathematics, Libro 31 di 33. Libro 31 di 33 - Springer Computational Mathematics
- Brossura
Da: Mispah books, Redhill, SURRE, Regno UnitoMispah books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 181,68
EUR 29,40 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Lingua: Inglese
Editore: Springer Nature, 2020
Serie: Springer Computational Mathematics, Libro 31 di 33. Libro 31 di 33 - Springer Computational Mathematics
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 225,13
EUR 14,70 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Paperback. Condizione: Brand New. 480 pages. 9.25x6.10x0.97 inches. In Stock.
Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
Nakao, Mitsuhiro T. (Author)/ Plum, Michael (Author)/ Watanabe, Yoshitaka (Author)
Lingua: Inglese
Editore: Springer, 2019
Serie: Springer Computational Mathematics, Libro 31 di 33. Libro 31 di 33 - Springer Computational Mathematics
- Rilegato
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 227,17
EUR 14,70 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Hardcover. Condizione: Brand New. 300 pages. 9.25x6.10x1.26 inches. In Stock.
Editore: The Mainichi Newspaper, 1987
- Brossura
Da: Sunny Day Bookstore, SINGAPORE, SingaporeSunny Day Bookstore
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Ottimo
EUR 354,79
EUR 13,11 spedizioneSpedito da Singapore a U.S.A.Quantità: 1 disponibili
Condizione: Fine. Number of books: 1 book.
Editore: The Mainichi Newspaper, 1987
- Brossura
Da: Sunny Day Bookstore, SINGAPORE, SingaporeSunny Day Bookstore
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Ottimo
EUR 354,79
EUR 13,11 spedizioneSpedito da Singapore a U.S.A.Quantità: 1 disponibili
Condizione: Fine. Number of books: 1 book.
Altre immaginiTodai Zenkyoto : wareware ni totte Todai toso to wa nani ka
Todai Zengaku Joshu Kyoto Kaigi (editors) ; Watanabe Hitomi (photography) ; Akiyuki Nosaka (contributor) ; Toro Hani (contributor) ; Yoshitaka Yamamoto (contributor) ; Yoshinobu Shiokawa (contributor)
Editore: Sanichi Shobo, 1969
- Rilegato
- Prima edizione
Da: Kagerou Bunko (ABAJ, ILAB), Tokyo, GiapponeKagerou Bunko (ABAJ, ILAB)
Contatta il venditoreVenditore con 2 stelleMembro dell’associazione: ILAB
Condizione: Usato - Quasi ottimo
EUR 382,70
EUR 31,04 spedizioneSpedito da Giappone a U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: Near Fine. Condizione sovraccoperta: Near Fine. 1st Edition. Signed by Watanabe Hitomi. Lacking original Obi. Dust jacket has minor foxing and is slightly scratched. Edges slightly rubbed. Book cover top has a few stains and one corner has a very small bump (about 2mm). Otherwise pages clean, bright and th…e binding is tight. Includes about 100 pages of photographs recording facinating Japanese student leftist activism and protests. 238 p. Used book.
Japan s Industrial Technology Development
Okada, Yoshitaka|Kojima, S.|Ohmori, T.|Watanabe, S.|Maeda, Y.
- Brossura
- Print on Demand
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 48,37
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Japan s technology support system has played a crucial role in developing firms technological capability and stimulating their innovation. How has it been done, and why is it effective? The research findings presente…d here show that what has worked best in .
Lingua: Inglese
Editore: Springer, 2020
Serie: Springer Computational Mathematics, Libro 31 di 33. Libro 31 di 33 - Springer Computational Mathematics
- Brossura
- Print on Demand
Da: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 121,60
Spedizione gratuitaSpedito in U.S.A.Quantità: 10 disponibili
Condizione: Brand New. New. US edition. Print on demand title. Delivery takes 20-25 days.
Lingua: Inglese
Editore: Springer Nature Singapore, 2020
Serie: Springer Computational Mathematics, Libro 31 di 33. Libro 31 di 33 - Springer Computational Mathematics
- Brossura
- Print on Demand
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 127,40
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Is the first published monograph on computer-assisted proofsPresents pioneering work on the numerical verification method of solution for partial differential equationsProvides verification techniques.
Lingua: Inglese
Editore: Springer Nature Singapore, 2019
Serie: Springer Computational Mathematics, Libro 31 di 33. Libro 31 di 33 - Springer Computational Mathematics
- Rilegato
- Print on Demand
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 127,40
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Gebunden. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Is the first published monograph on computer-assisted proofsPresents pioneering work on the numerical verification method of solution for partial differential equationsProvides verification techniques.
Lingua: Inglese
Editore: Springer, 2019
Serie: Springer Computational Mathematics, Libro 31 di 33. Libro 31 di 33 - Springer Computational Mathematics
- Rilegato
- Print on Demand
Da: Majestic Books, Hounslow, Regno UnitoMajestic Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 195,59
EUR 7,64 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Condizione: New. Print on Demand.
Lingua: Inglese
Editore: Springer, 2019
Serie: Springer Computational Mathematics, Libro 31 di 33. Libro 31 di 33 - Springer Computational Mathematics
- Rilegato
- Print on Demand
Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 194,47
EUR 9,95 spedizioneSpedito da Germania a U.S.A.Quantità: 4 disponibili
Condizione: New. PRINT ON DEMAND.
