1.

Record Nr.

UNISA990000835360203316

Autore

MODUGNO, Franco

Titolo

Il principio di unita del controllo sulle leggi nella giurisprudenza della Corte costituzionale / a cura di Franco Modugno e Antonio Stefano Agro

Pubbl/distr/stampa

Torino : G. Giappichelli, 1991

ISBN

88-348-0401-5

Edizione

[2. ed]

Descrizione fisica

VI, 259 p. ; 24 cm

Altri autori (Persone)

AGRÒ, Antonio Stefano

Disciplina

342.4502069

Soggetti

Corte costituzionale - Funzioni di controllo

Collocazione

XXIV.2.F 64 (IG IV 836)

Lingua di pubblicazione

Italiano

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Segue: Appendice



2.

Record Nr.

UNISA996466425203316

Titolo

Computer Algebra in Scientific Computing [[electronic resource] ] : 21st International Workshop, CASC 2019, Moscow, Russia, August 26–30, 2019, Proceedings / / edited by Matthew England, Wolfram Koepf, Timur M. Sadykov, Werner M. Seiler, Evgenii V. Vorozhtsov

Pubbl/distr/stampa

Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019

ISBN

3-030-26831-4

Edizione

[1st ed. 2019.]

Descrizione fisica

1 online resource (XIII, 479 p. 718 illus., 21 illus. in color.)

Collana

Theoretical Computer Science and General Issues, , 2512-2029 ; ; 11661

Disciplina

005.1

Soggetti

Computer science—Mathematics

Algorithms

Software engineering

Computers, Special purpose

Electronic data processing—Management

Mathematics of Computing

Software Engineering

Special Purpose and Application-Based Systems

IT Operations

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Nota di bibliografia

Includes bibliographical references and index.

Sommario/riassunto

This book constitutes the refereed proceedings of the 21st International Workshop on Computer Algebra in Scientific Computing, CASC 2019, held in Moscow, Russia, in August 2019. The 28 full papers presented together with 2 invited talks were carefully reviewed and selected from 44 submissions. They deal with cutting-edge research in all major disciplines of computer algebra. The papers cover topics such as polynomial algebra, symbolic and symbolic-numerical computation, applications of symbolic computation for investigating and solving ordinary differential equations, applications of CASs in the investigation and solution of celestial mechanics problems, and in



mechanics, physics, and robotics.