Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Ada : language and methodology / David A. Watt, Brian A. Wichmann, William Findlay
| Ada : language and methodology / David A. Watt, Brian A. Wichmann, William Findlay |
| Autore | Watt, David Antony |
| Pubbl/distr/stampa | New York [etc.], : Prentice Hall, c1987 |
| Descrizione fisica | XVII, 518 p. ; 24 cm |
| Disciplina |
005.13
005.133 |
| Altri autori (Persone) |
Wichmann, Brian Anderson <1939 - >
Findlay, William <1947- > |
| Collana | Prentice-Hall international series in computer science |
| Soggetto topico | Elaboratori elettronici - Programmazione - Linguaggio Ada |
| ISBN | 0130040789 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-NAP0401451 |
Watt, David Antony
|
||
| New York [etc.], : Prentice Hall, c1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
ADA as a second language / Norman H. Cohen
| ADA as a second language / Norman H. Cohen |
| Autore | Cohen, Norman H. |
| Pubbl/distr/stampa | New York, : McGraw-Hill, c1986 |
| Descrizione fisica | XXII, 838 p. ; 25 cm. |
| Disciplina |
005.13
005.133 |
| Collana | McGraw-Hill series in software engineering and technology |
| Soggetto topico | Elaboratori elettronici - Programmazione - Linguaggio Ada |
| ISBN | 0070115893 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-PAR0756583 |
|
Cohen, Norman H.
|
||
| New York, : McGraw-Hill, c1986 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Ada Software Tools Interfaces [[electronic resource] ] : Workshop, Bath, July 13-15, 1983. Proceedings / / edited by Peter J. L. Wallis
| Ada Software Tools Interfaces [[electronic resource] ] : Workshop, Bath, July 13-15, 1983. Proceedings / / edited by Peter J. L. Wallis |
| Edizione | [1st ed. 1984.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1984 |
| Descrizione fisica | 1 online resource (V, 165 p.) |
| Disciplina | 005.13 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Programming languages (Electronic computers)
Software engineering Computer programming Programming Languages, Compilers, Interpreters Software Engineering/Programming and Operating Systems Programming Techniques |
| ISBN | 3-540-39071-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Diana past, present, and future -- The intermediate language Diana design and implementation -- A formal definition of Diana -- Dianette — A pragmatic variant of Diana -- The design of air and its application to ada separate compilation -- The use of Diana in compilers, language transformers, formatters, and debuggers -- The DIANA interfacer -- Designing and testing interfaces for portable software: Ada TEXT_IO as an example -- Databases in software development: The Ada programming support environment -- The Toolpack/Ist approach to extensibility in software environments. |
| Record Nr. | UNISA-996466101603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1984 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Ada-Europe '93 : Ada sans frontieres : 12. Ada-Europe International Conference : Paris, France, June 14-18, 1993 : proceedings / Michel Gauthier (ed.)
| Ada-Europe '93 : Ada sans frontieres : 12. Ada-Europe International Conference : Paris, France, June 14-18, 1993 : proceedings / Michel Gauthier (ed.) |
| Autore | Ada Europe International Conference <12 : ; 1993> |
| Pubbl/distr/stampa | Berlin [etc.], : Springer, 1993 |
| Descrizione fisica | VIII, 351 p. ; 24 cm |
| Disciplina |
005.13
005.133 |
| Collana | Lecture notes in computer science |
| Soggetto topico | Elaboratori elettronici - Linguaggio Ada - Congressi |
| ISBN |
0387568026
3540568026 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-AQ10002769 |
|
Ada Europe International Conference <12 : ; 1993>
|
||
| Berlin [etc.], : Springer, 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Ada: The Choice for '92 [[electronic resource] ] : Ada-Europe International Conference Athens, Greece, May 13-17, 1991 / / edited by Dimitris Christodoulakis
| Ada: The Choice for '92 [[electronic resource] ] : Ada-Europe International Conference Athens, Greece, May 13-17, 1991 / / edited by Dimitris Christodoulakis |
| Edizione | [1st ed. 1991.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 |
| Descrizione fisica | 1 online resource (VIII, 416 p.) |
| Disciplina | 005.13 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Programming languages (Electronic computers)
Software engineering Computer programming Programming Languages, Compilers, Interpreters Software Engineering Programming Techniques |
| ISBN | 3-540-47396-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Modelling the temporal summation of neural membranes using the Ada language -- The use of Ada in reactive systems: A 3-dimensional model -- Ada 9X real-time scheduling alternatives -- Information engineering for systems in Ada -- AFADA, a measurement tool for Ada -- An approach to benchmarking Ada compilation systems -- Modelling SIMD — Type parallel arithmetic operations in Ada -- Analyzing Ada tasking deadlocks and livelocks using extended Petri nets -- A coprocessor for high performance multiprocessor Ada tasking -- Software project activity network for managing the development and testing process -- Ada in safety critical applications -- Real time electronic funds transfer and Ada -- Introducing HOOD into software process modelling based environments -- Design assessment of Ada systems using static analysis -- Using Ada to implement the transaction mechanism of a distributed object-oriented DBMS -- Distributed systems and Ada — Current projects and approaches comparative study's results -- Reconfigurable Ada distributed control system software -- ROSE-ADA: a method and a tool to help reuse of Ada codes -- Software reuse: Customer vs. contractor point-counterpoint -- Reusable input/output packages for Ada avionic applications -- Constructing a pilot library of components for avionic systems -- Formally specifying the logic of an automatic guidance controller -- Ada as high level language for real time systems exploiting RDBMS techniques -- Experience developing two Ada applications for embedded real-time systems using different software processes -- Testing and integrating a large embedded real-time system. |
| Altri titoli varianti | Proceedings |
| Record Nr. | UNISA-996465948203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advanced Metaprogramming in Classic C++ [[electronic resource] /] / by Davide Di Gennaro
| Advanced Metaprogramming in Classic C++ [[electronic resource] /] / by Davide Di Gennaro |
| Autore | Di Gennaro Davide |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Berkeley, CA : , : Apress : , : Imprint : Apress, , 2015 |
| Descrizione fisica | 1 online resource (554 p.) |
| Disciplina |
004
005.13 |
| Collana | Expert's Voice in C++ |
| Soggetto topico |
Programming languages (Electronic computers)
Programming Languages, Compilers, Interpreters |
| ISBN | 1-4842-1010-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Contents at a Glance; PART 1: #include ; Chapter 1: Templates; 1.1. C++ Templates; 1.1.1. Typename; 1.1.2. Angle Brackets; 1.1.3. Universal Constructors; 1.1.4. Function Types and Function Pointers; 1.1.5. Non-Template Base Classes; 1.1.6. Template Position; 1.2. Specialization and Argument Deduction; 1.2.1. Deduction; 1.2.2. Specializations; 1.2.3. Inner Class Templates; 1.3. Style Conventions; 1.3.1. Comments; 1.3.2. Macros; 1.3.3. Symbols; 1.3.4. Generality; 1.3.5. Template Parameters; 1.3.6. Metafunctions; 1.3.7. Namespaces and Using Declarations; 1.4. Classic Patterns
1.4.1. size_t and ptrdiff_t1.4.2. void T::swap(T&); 1.4.3. bool T::empty() const ; void T::clear(); 1.4.4. X T::get() const ; X T::base() const; 1.4.5. X T::property() const ; void T::property(X); 1.4.6. Action(Value) ; Action(Range); 1.4.7. Manipulators; 1.4.8. Position of Operators; 1.4.9. Secret Inheritance; 1.4.10. Literal Zero; 1.4.11. Boolean Type; 1.4.12. Default and Value Initialization; 1.5. Code Safety; 1.6. Compiler Assumptions; 1.6.1. Inline; 1.6.2. Error Messages; Long Template Stack; Implementation Details; Expanded Typedefs; Incomplete Types; 1.6.3. Miscellaneous Tips Don't Blame the CompilerKeep Warnings at the Default Level; Do Not Silence Warnings with "Dirty" Code Modifications; Maintain a Catalog of Compiler Bugs; Avoid Non-Standard Behavior; Don't Be Afraid of Language Features; Think About What Users of Your Code Would Do; 1.7. Preprocessor; 1.7.1. Include Guards; 1.7.2. Macro Expansion Rules; Chapter 2: Small Object Toolkit; 2.1. Hollow Types; 2 .1.1. instance_of; 2.1.2. Selector; 2.1.3. Static Value; 2.1.4. Size of Constraints; 2.2. Static Assertions; 2.2.1. Boolean Assertions; 2.2.2. Assert Legal; 2.2.3. Assertions with Overloaded Operators 2.2.4. Modeling Concepts with Function Pointers2.2.5. Not Implemented; 2.3. Tagging Techniques; 2.3.1. Type Tags; 2.3.2. Tagging with Functions; 2 .3.3. Tag Iteration; 2 .3.4. Tags and Inheritance; PART 2: #include ; Chapter 3: Static Programming; 3.1. Static Programming with the Preprocessor; 3.2. Compilation Complexity; 3.3. Classic Metaprogramming Idioms; 3.3.1. Static Short Circuit; 3.4. Hidden Template Parameters; 3 .4.1. Static Recursion on Hidden Parameters; 3.4.2. Accessing the Primary Template; 3.4.3. Disambiguation; 3.5. Traits; 3.5.1. Type Traits 3.5.2. Type Dismantling3.6. Type Containers; 3.6.1. typeat; 3.6.2. Returning an Error; 3.6.3. Depth; 3.6.4. Front and Back; 3.6.5. Find; 3.6.6. Push and Pop; 3.6.7 . More on Template Rotation; 3.6.8. Agglomerates; 3.6.9 . Conversions; 3.6.10. Metafunctors; 3.7. A Summary of Styles; Chapter 4: Overload Resolution; 4.1. Groups; 4.1.1. From Overload to Groups; 4.1.2. Runtime Decay; 4.2. More Traits; 4.2.1. A Function Set for Strings; 4.2.2. Concept Traits; 4.2.3. Platform-Specific Traits; 4.2.4. Merging Traits; 4.3. SFINAE; 4.3. 1. SFINAE Metafunctions; 4.3.2. Multiple Decisions; 4.3.3. Only_If 4.3.4. SFINAE and Returned Functors |
| Record Nr. | UNINA-9910300656503321 |
|
Di Gennaro Davide
|
||
| Berkeley, CA : , : Apress : , : Imprint : Apress, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advanced programming in Pascal with data structures / Larry Nyhoff, Sanford Leestma
| Advanced programming in Pascal with data structures / Larry Nyhoff, Sanford Leestma |
| Autore | Nyhoff, Larry R. |
| Pubbl/distr/stampa | New York, : Macmillan |
| Descrizione fisica | X, 623 p. ; 25 cm. |
| Disciplina |
005.13
005.133 |
| Altri autori (Persone) | Leestma, Sanford |
| Soggetto topico |
Pascal ELABORATORI ELETTRONICI - Programmazione - Linguaggio Pascal |
| ISBN |
0023695501
0029460042 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-NAP0401148 |
|
Nyhoff, Larry R.
|
||
| New York, : Macmillan | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Advanced R [[electronic resource] ] : data programming and the cloud / / by Matt Wiley, Joshua F. Wiley
| Advanced R [[electronic resource] ] : data programming and the cloud / / by Matt Wiley, Joshua F. Wiley |
| Autore | Wiley Matt |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Berkeley, CA : , : Apress : , : Imprint : Apress, , 2016 |
| Descrizione fisica | 1 online resource (XIX, 279 p. 77 illus., 40 illus. in color.) |
| Disciplina | 005.13 |
| Soggetto topico |
Programming languages (Electronic computers)
Mathematical statistics Statistics Computer programming R (Computer program language) Programming Languages, Compilers, Interpreters Probability and Statistics in Computer Science Statistics and Computing/Statistics Programs Programming Techniques |
| ISBN | 1-4842-2077-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1.Programming Basics -- 2.Programming Utilities -- 3.Loops, flow control, and *apply functions -- 4.Writing Functions -- 5.Writing Classes and Methods -- 6.Writing a Package -- 7.Data Management using data.table -- 8.Data Munging With data.table -- 9.Other Tools for Data Management -- 10.Reading Big Data(bases) -- 11.Getting a Cloud -- 12.Ubuntu for Windows Users -- 13.Every Cloud has a Shiny lining -- 14.Shiny Dashboard Sampler -- 15.Dynamic Reports and the Cloud -- References. |
| Record Nr. | UNINA-9910151576903321 |
|
Wiley Matt
|
||
| Berkeley, CA : , : Apress : , : Imprint : Apress, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advanced R statistical programming and data models : analysis, machine learning, and visualization / / by Matt Wiley, Joshua F. Wiley
| Advanced R statistical programming and data models : analysis, machine learning, and visualization / / by Matt Wiley, Joshua F. Wiley |
| Autore | Wiley Matt |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Berkeley, CA : , : Apress : , : Imprint : Apress, , 2019 |
| Descrizione fisica | 1 online resource (XX, 638 p. 207 illus., 127 illus. in color.) |
| Disciplina | 005.13 |
| Soggetto topico |
R (Llenguatge de programació)
Estadística matemàtica Programming languages (Electronic computers) Computer programming Mathematical statistics R (Computer program language) Programming Languages, Compilers, Interpreters Programming Techniques Probability and Statistics in Computer Science |
| ISBN |
9781484228722
1-5231-5031-9 1-4842-2872-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1 Univariate Data Visualization -- 2 Multivariate Data Visualization -- 3 Generalized Linear Models 1 -- 4 Generalized Linear Models 2 -- 5 Generalized Additive Models -- 6 Machine Learning: Introduction -- 7 Machine Learning: Unsupervised -- 8 Machine Learning: Supervised -- 9 Missing Data -- 10 Generalized Linear Mixed Models: Introduction -- 11 Generalized Linear Mixed Models: Linear -- 12 Generalized Linear Mixed Models: Advanced -- 13 Modeling IIV -- Bibliography. |
| Record Nr. | UNINA-9910338002703321 |
|
Wiley Matt
|
||
| Berkeley, CA : , : Apress : , : Imprint : Apress, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advanced turbo C programming / K. Weiskamp
| Advanced turbo C programming / K. Weiskamp |
| Autore | Weiskamp, Keith |
| Pubbl/distr/stampa | Boston : Academic Press, Inc., 1988 |
| Descrizione fisica | XIII, 558 p. ; 23 cm |
| Disciplina | 005.13 |
| ISBN | 0-12-742690-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000861180403321 |
|
Weiskamp, Keith
|
||
| Boston : Academic Press, Inc., 1988 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
