| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910376035403321 |
|
|
Titolo |
VMIL '17 : proceedings of the 9th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages : October 24, 2017, Vancouver, BC, Canada / / edited by Steve Blackburn [and seven others] ; sponsored by ACM SIGPLAN |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
New York : , : ACM, , 2017 |
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (27 pages) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Virtual computer systems |
Programming languages (Electronic computers) |
Computer software - Development |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910983306603321 |
|
|
Autore |
Tuset Lars |
|
|
Titolo |
Abstract Algebra via Numbers / / by Lars Tuset |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2025.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (462 pages) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Algebra |
Number theory |
Number Theory |
Àlgebra |
Teoria de nombres |
Llibres electrònics |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
Chapter 1. Number theory -- Chapter 2. Construction of numbers -- Chapter 3. Linear algebra -- Chapter 4. Groups -- Chapter 5. Representations of finite groups -- Chapter 6. Rings -- Chapter 7. Field extensions -- Chapter 8. Galois theory -- Chapter 9. Modules -- Chapter 10. Appendix. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book is a concise, self-contained treatise on abstract algebra with an introduction to number theory, where students normally encounter rigorous mathematics for the first time. The authors build up things slowly, by explaining the importance of proofs. Number theory with its focus on prime numbers is then bridged via complex numbers and linear algebra, to the standard concepts of a course in abstract algebra, namely groups, representations, rings, and modules. The interplay between these notions becomes evident in the various topics studied. Galois theory connects field extensions with automorphism groups. The group algebra ties group representations with modules over rings, also at the level of induced representations. Quadratic reciprocity occurs in the study of Fourier analysis over finite fields. Jordan decomposition of matrices is obtained by decomposition of modules |
|
|
|
|
|
|
|
|
|
|
|
|
|
over PID’s of complex polynomials. This latter example is just one of many stunning generalizations of the fundamental theorem of arithmetic, which in its various guises penetrates abstract algebra and figures multiple times in the extensive final chapter on modules. |
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9911047816703321 |
|
|
Autore |
Kő Andrea |
|
|
Titolo |
Electronic Government and the Information Systems Perspective : 14th International Conference, EGOVIS 2025, Bangkok, Thailand, August 25–27, 2025, Proceedings / / edited by Andrea Kő, Francesco Buccafurri, Gabriele Kotsis, A Min Tjoa, Ismail Khalil |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2026 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2026.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (296 pages) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 1611-3349 ; ; 16049 |
|
|
|
|
|
|
Altri autori (Persone) |
|
BuccafurriFrancesco |
KotsisGabriele |
TjoaA Min |
KhalilIsmail |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computers and civilization |
Political science |
Application software |
Computers and Society |
Governance and Government |
Computer and Information Systems Applications |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
-- Legal Aspects and Semantic Approaches. -- Mapping EU Legislative Definitions on Sustainable Development Goals using AI. -- Reporting Requirements Ontology for European Legislation. -- Digital Credentialing Framework for Continuing Professional Development: Global Practices and Integration. -- Japan's Electronic Voting System: Causes of Failure and Keys to Success. -- Digital Transformation and E-government Inclusion. -- Charting the Crossroads of Digital |
|
|
|
|
|
|
|
|
|
|
|
Sovereignty and Digital Transformation. -- Exploring The Strategy of E-Government Inclusion in Developing Countries. -- The Digital Transformation of Census in Iraq: Challenges and Opportunities. -- AI in E-Government. -- GenAI in Public Sector Transformation: Balancing Promise and Prudence. -- A Deliberation Knowledge Graph: Bridging Institutional and Civic Democratic Discourse. -- Customizing Investment Recommendations Using Investor's Financial Situation in Digital Banking and E-Government. -- Navigating AI integration in public healthcare: The role of dynamic capabilities in transforming service delivery and strategic adaptation. -- E-Government Cases. -- From Dashboards to Do-Boards: A Data-driven Architecture for Policy Support Systems. -- An Agentic Approach to Retrieving and Drafting Legislative Definitions. -- Decentralized Auction System for Tangible Assets and Its Application. -- A European Student eCard in the Context of the European Digital Identity Wallet. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the proceedings of the 14th International Conference on Electronic Government and the Information Systems Perspective, EGOVIS 2025, held in Bangkok, Thailand, during August 25–27, 2025. The 11 full and 4 short papers included in the proceedings were carefully reviewed and selected from 29 submissions. They were organized in topical sections as follows: Legal Aspects and Semantic Approaches; Digital Transformation and E-government Inclusion; AI in E-Government; E-Government Cases. |
|
|
|
|
|
|
|
| |