Automatic translation / D. Yu. Panov ; translated from the russian by R. Kisch ; edited by A. J. Mitchell |
Autore | Padov, D. Yu. |
Pubbl/distr/stampa | London [etc.] : Pergamon Press, 1960 |
Descrizione fisica | 73 p. : ill. ; 22 cm |
Disciplina | 005.45 |
Soggetto non controllato | Traduzione meccanica - Elaboratori |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990000494860403321 |
Padov, D. Yu. | ||
London [etc.] : Pergamon Press, 1960 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Beginning C [[electronic resource] ] : From Beginner to Pro / / by German Gonzalez-Morris, Ivor Horton |
Autore | Gonzalez-Morris German |
Edizione | [7th ed. 2024.] |
Pubbl/distr/stampa | Berkeley, CA : , : Apress : , : Imprint : Apress, , 2024 |
Descrizione fisica | 1 online resource (710 pages) |
Disciplina | 005.45 |
Altri autori (Persone) | HortonIvor |
Soggetto topico | C (Computer program language) |
ISBN | 979-88-6880-149-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1. Programming in C -- 2. First Steps in Programming -- 3. Making Decisions -- 4. Loops -- 5. Arrays -- 6. Applications with Strings and Text -- 7. Pointers -- 8. Structuring Your Programs -- 9. More on Functions -- 10. Essential Input and Output Operations -- 11. Structuring Data -- 12. Working with Files -- 13. Supporting Facilities -- 14. Advanced and Specialized Topics -- A. Computer Arithmetic -- B. ASCII Character Code Definitions -- C. Reserved Words in C -- D. Input and Output Format Specifications -- E. Standard Library Headers. |
Record Nr. | UNINA-9910841862903321 |
Gonzalez-Morris German
![]() |
||
Berkeley, CA : , : Apress : , : Imprint : Apress, , 2024 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Beginning C++ Compilers : An Introductory Guide to Microsoft C/C++ and MinGW Compilers / / by Berik I. Tuleuov, Ademi B. Ospanova |
Autore | Tuleuov Berik I |
Edizione | [1st ed. 2024.] |
Pubbl/distr/stampa | Berkeley, CA : , : Apress : , : Imprint : Apress, , 2024 |
Descrizione fisica | 1 online resource (XIX, 211 p. 83 illus.) |
Disciplina | 005.45 |
Soggetto topico |
C++ (Computer program language)
Compilers (Computer programs) |
ISBN | 1-4842-9563-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Chapter 1. Files and Devices -- Chapter 2. Software Installation -- Chapter 3. Programming Languages and Software.-Chapter 4. General Build Information -- Chapter 5. Some Useful Open Source Utilities -- Chapter 6. Command-Line Interface -- Chapter 7. Integrated Development Environments and Editors -- Chapter 8. Minimal Systems -- Chapter 9. Compilers -- Chapter 10. Libraries -- Chapter 11. Using Libraries -- Chapter 12. GMP (GNU Multiprecision Library) -- Chapter 13. Crypto++ -- Chapter 14. Open SSL -- Chapter 15: Process Hacker. |
Record Nr. | UNINA-9910799206503321 |
Tuleuov Berik I
![]() |
||
Berkeley, CA : , : Apress : , : Imprint : Apress, , 2024 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
CGO '17 : proceedings of the 2017 International Symposium on Code Generation and Optimization : February 4-8, 2017, Austin, USA / / edited by Vijay Janapa Reddi, Aaron Smith, and Lingjia Tang |
Pubbl/distr/stampa | Piscataway, New Jersey : , : IEEE Press, , 2017 |
Descrizione fisica | 1 online resource (317 pages) |
Disciplina | 005.45 |
Soggetto topico |
Code generators
Compilers (Computer programs) |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910169251303321 |
Piscataway, New Jersey : , : IEEE Press, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
CGO '17 : proceedings of the 2017 International Symposium on Code Generation and Optimization : February 4-8, 2017, Austin, USA / / edited by Vijay Janapa Reddi, Aaron Smith, and Lingjia Tang |
Pubbl/distr/stampa | Piscataway, New Jersey : , : IEEE Press, , 2017 |
Descrizione fisica | 1 online resource (317 pages) |
Disciplina | 005.45 |
Soggetto topico |
Code generators
Compilers (Computer programs) |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996280210003316 |
Piscataway, New Jersey : , : IEEE Press, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
CGO 2015 : proceedings of the 2015 IEEE/ACM International Symposium on Code Generation and Optimization : February 7-11, 2015, San Francisco, California, USA / / co-sponsored by ACM SIGMICRO, ACM SIGPLAN, and the IEEE Computer Society TC-uARCH |
Pubbl/distr/stampa | Washington, District of Columbia : , : IEEE Computer Society, , 2015 |
Descrizione fisica | 1 online resource (280 pages) |
Disciplina | 005.45 |
Soggetto topico |
Code generators
Compilers (Computer programs) |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910376615703321 |
Washington, District of Columbia : , : IEEE Computer Society, , 2015 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Data Parallel C++ [[electronic resource] ] : Programming Accelerated Systems Using C++ and SYCL / / by James Reinders, Ben Ashbaugh, James Brodman, Michael Kinsner, John Pennycook, Xinmin Tian |
Autore | Reinders James |
Edizione | [2nd ed. 2023.] |
Pubbl/distr/stampa | Berkeley, CA : , : Apress : , : Imprint : Apress, , 2023 |
Descrizione fisica | 1 online resource (XXX, 630 p. 329 illus., 294 illus. in color.) |
Disciplina | 005.45 |
Soggetto topico |
Compilers (Computer programs)
Makerspaces Compilers and Interpreters Maker |
ISBN | 1-4842-9691-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Chapter 1: Introduction -- Chapter 2: Where Code Executes -- Chapter 3: Data Management and Ordering the Uses of Data -- Chapter 4: Expressing Parallelism -- Chapter 5: Error Handling -- Chapter 6: Unified Shared Memory -- Chapter 7: Buffers -- Chapter 8: Scheduling Kernels and Data Movement -- Chapter 9: Local Memory and Work-group Barriers -- Chapter 10: Defining Kernels -- Chapter 11: Vector and Math Arrays -- Chapter 12: Device Information and Kernel Specialization -- Chapter 13: Practical Tips -- Chapter 14: Common Parallel Patterns -- Chapter 15: Programming for GPUs -- Chapter 16: Programming for CPUs -- Chapter 17: Programming for FFGAs -- Chapter 18: Libraries -- Chapter 19: Memory Model and Atomics -- Chapter 20: Backend Interoperability -- Chapter 21: Migrating CUDA Code -- Epilogue. |
Record Nr. | UNINA-9910746982603321 |
Reinders James
![]() |
||
Berkeley, CA : , : Apress : , : Imprint : Apress, , 2023 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Parallel SML : a functional language and its implementation in DACTL / Kevin Hammond |
Autore | Hammond, Kevin |
Pubbl/distr/stampa | London, : Pitman, 1991 |
Descrizione fisica | 252 p. ; 25 cm |
Disciplina |
005.4
005.45 |
Collana | Research monographs in parallel and distributed computing |
Soggetto topico |
Elaboratori paralleli - Programmazione
Linguaggi di programmazione |
ISBN | 0273088319 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISANNIO-NAP0398650 |
Hammond, Kevin
![]() |
||
London, : Pitman, 1991 | ||
![]() | ||
Lo trovi qui: Univ. del Sannio | ||
|
Proceedings of the 18th ACM/IEEE International Symposium on Code Generation and Optimization / / Jason Mars |
Autore | Mars Jason |
Pubbl/distr/stampa | New York : , : Association for Computing Machinery, , 2020 |
Descrizione fisica | 1 online resource (329 pages) |
Disciplina | 005.45 |
Soggetto topico | Code generators |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910412112303321 |
Mars Jason
![]() |
||
New York : , : Association for Computing Machinery, , 2020 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Programming Languages and Systems : 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I / / edited by Stephanie Weirich |
Autore | Weirich Stephanie |
Edizione | [1st ed. 2024.] |
Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
Descrizione fisica | 1 online resource (351 pages) |
Disciplina | 005.45 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Compilers (Computer programs)
Programming languages (Electronic computers) Compilers and Interpreters Programming Language |
ISBN | 3-031-57262-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Effects and Modal Types -- Scoped Effects as Parameterized Algebraic Theories -- Intersection Types, Relationally -- Modal Type Theory: Where Meta-programming Meets Intentional Analysis -- Program Synthesis from Graded Types -- Bidirectional Typing and Session Types -- A Formal Treatment of Bidirectional Typing -- Generic bidirectional typing for dependent type theories -- Artifact report: Generic bidirectional typing for dependent type theories -- Deciding Subtyping for Asynchronous Multiparty Sessions -- The Session Abstract Machine -- Dependent Types -- Trocq: Proof Transfer for Free, With or Without Univalence -- Artifact report: Trocq: Proof Transfer for Free, With or Without Univalence -- Observational Equality Meets CIC -- Definitional Functoriality for Dependent (Sub)Types -- Artifact report: Definitional Functoriality for Dependent (Sub)Types. |
Record Nr. | UNISA-996594169603316 |
Weirich Stephanie
![]() |
||
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|