00933nam 2200337 450 9900008769402033160087694USA010087694(ALEPH)000087694USA01008769420020116d1986----km-y0itay0103----baitaIT||||||||001yy<<Le>> ore, i giorni e gli anni come il ventoSaverio SaluzziModicaModerna198622 p.22 cm2001001-------2001851.914SALUZZI,Saverio185297ITsalbcISBD990000876940203316V MISC 14/3025756 LMV MISCBKUMAPATTY9020020116USA01104020020403USA011732PATRY9020040406USA011700Ore, i giorni e gli anni come il vento98284UNISA01235nam0 22003251i 450 UON0002521420231205102037.12188-06-12462-520020107d1992 |0itac50 baitaIT|||| 1||||ˆL'‰uomo-scatolaKobo Abetraduzione di Antonietta PastoreTorino : Einaudi1992208 p.20 cmTitolo originaleHako Otoko001UON000252172001 Nuovi Coralli461UON00354342Hako Otoko / Kobo Abe32255LETTERATURA GIAPPONESENARRATIVASEC. XXUONC000232FIITTorinoUONL000014GIA VI BAGIAPPONE - LETTERATURA MODERNA E CONTEMPORANEA - TESTIAABE KôbôUONV007467438662PASTOREAntoniettaUONV016852EinaudiUONV246211650ITSOL20241122RICASIBA - SISTEMA BIBLIOTECARIO DI ATENEOUONSIUON00025214SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI GIA VI BA 401 N SI SA 83743 7 401 N Hako Otoko32255UNIOR06063nam 22008295 450 991048410060332120251226200403.03-540-75187-410.1007/978-3-540-75187-8(CKB)1000000000490398(SSID)ssj0000316853(PQKBManifestationID)11923499(PQKBTitleCode)TC0000316853(PQKBWorkID)10275629(PQKB)10226573(DE-He213)978-3-540-75187-8(MiAaPQ)EBC3063378(MiAaPQ)EBC6711183(Au-PeEL)EBL6711183(OCoLC)184953616(PPN)123165318(MiAaPQ)EBC337216(BIP)32372707(BIP)14495494(EXLCZ)99100000000049039820100301d2007 u| 0engurnn|008mamaatxtccrComputer Algebra in Scientific Computing 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007, Proceedings /edited by V.G. Ganzha, E.W. Mayr, E.V. Vorozhtsov1st ed. 2007.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2007.1 online resource (XIII, 460 p.) Theoretical Computer Science and General Issues,2512-2029 ;4770Bibliographic Level Mode of Issuance: Monograph3-540-75186-6 Includes bibliographical references and index.Analytic Solutions of Linear Difference Equations, Formal Series, and Bottom Summation -- Computations in Modules over Commutative Domains -- Advances on the Continued Fractions Method Using Better Estimations of Positive Root Bounds -- An Efficient LLL Gram Using Buffered Transformations -- On the Computation of A ???-Maps -- Algebraic Visualization of Relations Using RelView -- Comprehensive Triangular Decomposition -- Stability Investigation of a Difference Scheme for Incompressible Navier-Stokes Equations -- A Symbolic-Numerical Algorithm for Solving the Eigenvalue Problem for a Hydrogen Atom in the Magnetic Field: Cylindrical Coordinates -- An Algorithm for Construction of Normal Forms -- Computer Algebra: A ‘Classical’ Path to Explore Decoherence and Entanglement Phenomena in Quantum Information Theory -- Deducing the Constraints in the Light-Cone SU(3) Yang-Mills Mechanics Via Gröbner Bases -- On the Weight Spectra of Conway Matrices Related to the Non-transitive Head-or-Tail Game -- Properties of the Liapunov Stability Zones of the Lagrange Triangle -- Studying the Stability of the Second Order Non-autonomous Hamiltonian System -- On the Peculiar Properties of Families of Invariant Manifolds of Conservative Systems -- A Unified Algorithm for Multivariate Analytic Factorization -- On the Computation of the Defining Polynomial of the Algebraic Riccati Equation -- Symmetries and Dynamics of Discrete Systems -- Exact Solutions of Completely Integrable Systems and Linear ODE’s Having Elliptic Function Coefficients -- Dynamics of Nonlinear Parabolic Equations with Cosymmetry -- Weak Integer Quantifier Elimination Beyond the Linear Case -- Polynomial Division Using Dynamic Arrays, Heaps, and Packed Exponent Vectors -- Ruppert Matrix as Subresultant Mapping -- Construction ofComputer System for Microobjects Recognition Based on Neural Networks -- Analytical Solution for Transient Flow of a Generalized Bingham Fluid with Memory in a Movable Tube Using Computer Algebra -- Some Elimination Problems for Matrices -- A Full System of Invariants for Third-Order Linear Partial Differential Operators in General Form -- Automatic Stability Analysis for a Diffusion Equation with Memories Using Maple -- Bounds for Real Roots and Applications to Orthogonal Polynomials -- Distance Computation from an Ellipsoid to a Linear or a Quadric Surface in IR n -- Robust Stability for Parametric Linear ODEs -- Symbolic and Algebraic Methods for Linear Partial Differential Operators -- A New Scheme for Deniable/Repudiable Authentication -- An Algebraic-Numeric Algorithm for the Model Selection in Kinetic Networks -- On the Representation of the Differential Operator in Bases of Periodic Coiflets and It’s Application.This book constitutes the refereed proceedings of the 10th International Workshop on Computer Algebra in Scientific Computing, CASC 2007, held in Bonn, Germany, in September 2007. The volume is dedicated to Professor Vladimir P. Gerdt on the occasion of his 60th birthday. The papers cover not only various expanding applications of computer algebra to scientific computing but also the computer algebra systems themselves and the CA algorithms.Theoretical Computer Science and General Issues,2512-2029 ;4770Computer scienceMathematicsComputer programmingDiscrete mathematicsAlgorithmsSymbolic and Algebraic ManipulationProgramming TechniquesDiscrete Mathematics in Computer ScienceAlgorithmsMathematical Applications in Computer ScienceComputer scienceMathematics.Computer programming.Discrete mathematics.Algorithms.Symbolic and Algebraic Manipulation.Programming Techniques.Discrete Mathematics in Computer Science.Algorithms.Mathematical Applications in Computer Science.512.00285Ganzha V. G(Victor Grigorʹevich),1956-Mayr ErnstVorozhtsov E. V(Evgenii Vasilʹevich),1946-Workshop on Computer Algebra in Scientific ComputingMiAaPQMiAaPQMiAaPQBOOK9910484100603321Computer Algebra in Scientific Computing772100UNINA