C manuale di programmazione : Linguaggio e tecniche di ingegnerizzazione del software / Peter A. Darnell, Philip E.Margolis. |
Autore | Darnell, Peter A. |
Edizione | [1° edz] |
Pubbl/distr/stampa | Milano : McGraw-Hill, 1991 |
Descrizione fisica | XXI,632 p. ; 25 cm |
Disciplina | 005.131 |
Collana | Informatica professionale |
Soggetto non controllato | LINGUAGGIO DI PROGRAMMAZIONE C |
ISBN | 88-386-0169-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNINA-990000521530403321 |
Darnell, Peter A. | ||
Milano : McGraw-Hill, 1991 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Categories, types and structures : an introduction to category theory for the working computer scientist / Andrea Asperti, Giuseppe Longo |
Autore | ASPERTI, Andrea |
Pubbl/distr/stampa | Cambridge (Mass.), : The MIT Press, 1991 |
Descrizione fisica | XI, 306 p. : ill. ; 24 cm |
Disciplina | 005.131 |
Altri autori (Persone) | LONGO, Giuseppe <1947- > |
Collana | Foundations of computing |
Soggetto topico | Categorie matematiche - Informatica |
ISBN | 0-262-01125-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000141650203316 |
ASPERTI, Andrea | ||
Cambridge (Mass.), : The MIT Press, 1991 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Coalgebraic Methods in Computer Science [[electronic resource] ] : 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 -- April 1, 2012, Revised Selected Papers / / edited by Dirk Pattinson, Lutz Schröder |
Edizione | [1st ed. 2012.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
Descrizione fisica | 1 online resource (VII, 259 p. 7 illus.) |
Disciplina | 005.131 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Machine theory
Computer science Computer science—Mathematics Mathematical statistics Formal Languages and Automata Theory Theory of Computation Computer Science Logic and Foundations of Programming Probability and Statistics in Computer Science |
ISBN | 3-642-32784-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | From Lawvere to Brandenburger-Keisler: Interactive Forms of Diagonalization and Self-reference -- Defining Context-Free Power Series Coalgebraically -- Relational Presheaves as Labelled Transition Systems -- On Finitary Functors and Their Presentations -- Structural Operational Semantics for Continuous State Probabilistic Processes -- Stream Automata Are Coalgebras -- Trace Semantics via Determinizatio -- An Alpha-Corecursion Principle for the Infinitary Lambda Calculus -- Lax Extensions of Coalgebra Functors -- From Transitions to Executions -- Tracing the Man in the Middle in Monoidal Categories -- Permutations in Coinductive Graph Representation -- Internal Models for Coalgebraic Modal Logics. |
Record Nr. | UNISA-996465439903316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Codes and automata / Jean Berstel, Dominique Perrin, Christophe Reutenauer |
Autore | Berstel, Jean |
Pubbl/distr/stampa | Cambridge : Cambridge university press, 2010 |
Descrizione fisica | xiii, 619 p. : ill. ; 24 cm |
Disciplina | 005.131 |
Altri autori (Persone) |
Perrin, Dominiqueauthor
Reutenauer, Christopheauthor |
Collana | Encyclopedia of mathematics and its applications ; 129 |
Soggetto topico | Algebraic theory of languages and automata |
ISBN | 9780521888318 |
Classificazione | AMS 68Q70 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000514329707536 |
Berstel, Jean | ||
Cambridge : Cambridge university press, 2010 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Come usare Microsoft Excel 3 per Windows / Ralph Soucie |
Autore | Souci, Ralph |
Pubbl/distr/stampa | Milano [etc.] : McGraw-Hill, ©1992 |
Descrizione fisica | XI, 321 p. : ill. ; 24 cm |
Disciplina | 005.131 |
Soggetto non controllato | Software applicativi - Excel |
ISBN | 88-386-0234-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNINA-990000517070403321 |
Souci, Ralph | ||
Milano [etc.] : McGraw-Hill, ©1992 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Compiling natural semantics / / Mikael Pettersson |
Autore | Pettersson Mikael |
Edizione | [1st ed. 1999.] |
Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [1999] |
Descrizione fisica | 1 online resource (XVIII, 246 p.) |
Disciplina | 005.131 |
Collana | Lecture Notes in Computer Science |
Soggetto topico | Programming languages (Electronic computers) - Semantics |
ISBN | 3-540-48823-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1 Introduction -- 2 Preliminaries -- 3 The Design of RML -- 4 Examples -- 5 Implementation Overview -- 6 Reducing Nondeterminism -- 7 Compiling Pattern Matching -- 8 Compiling Continuations -- 9 Simulating Tailcalls in C -- 10 Performance Evaluation -- 11. Concluding Remarks -- A. The Definition of RML. |
Record Nr. | UNINA-9910143478503321 |
Pettersson Mikael | ||
Berlin ; ; Heidelberg : , : Springer, , [1999] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Compiling natural semantics / / Mikael Pettersson |
Autore | Pettersson Mikael |
Edizione | [1st ed. 1999.] |
Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [1999] |
Descrizione fisica | 1 online resource (XVIII, 246 p.) |
Disciplina | 005.131 |
Collana | Lecture Notes in Computer Science |
Soggetto topico | Programming languages (Electronic computers) - Semantics |
ISBN | 3-540-48823-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1 Introduction -- 2 Preliminaries -- 3 The Design of RML -- 4 Examples -- 5 Implementation Overview -- 6 Reducing Nondeterminism -- 7 Compiling Pattern Matching -- 8 Compiling Continuations -- 9 Simulating Tailcalls in C -- 10 Performance Evaluation -- 11. Concluding Remarks -- A. The Definition of RML. |
Record Nr. | UNISA-996466128703316 |
Pettersson Mikael | ||
Berlin ; ; Heidelberg : , : Springer, , [1999] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Computability and complexity : from a programming perspective / Neil D. Jones |
Autore | Jones, Neil D. |
Pubbl/distr/stampa | Cambridge [etc.] : The MIT Press, copyr. 1997 |
Descrizione fisica | XVI, 466 p. : ill. ; 20 cm |
Disciplina | 005.131 |
Soggetto non controllato |
Linguaggi formali
Complessità computazionale |
ISBN | 0-262-10064-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000491230203316 |
Jones, Neil D. | ||
Cambridge [etc.] : The MIT Press, copyr. 1997 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Computer Algebra in Scientific Computing [[electronic resource] ] : 13th International Workshop, CASC 2011, Kassel, Germany, September 5-9, 2011. Proceedings / / edited by Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov |
Edizione | [1st ed. 2011.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
Descrizione fisica | 1 online resource (XI, 359 p.) |
Disciplina | 005.131 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science—Mathematics
Discrete mathematics Algorithms Computer graphics Numerical analysis Computer arithmetic and logic units Symbolic and Algebraic Manipulation Discrete Mathematics in Computer Science Computer Graphics Numerical Analysis Arithmetic and Logic Structures |
ISBN | 3-642-23568-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Recurrent method for constructing irreducible polynomials over finite fields / Sergey Abrahamyan, Melsik Kyureghyan -- Higher-order linear differential systems with truncated coefficients / S.A. Abramov, M.A. Barkatou, E. Pflugel. |
Record Nr. | UNISA-996466005103316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Computer Algebra in Scientific Computing [[electronic resource] ] : 11th International Workshop, CASC 2009, Kobe, Japan, September 13-17, 2009, Proceedings / / edited by Vladimir P. Gerdt, Ernst W. Mayr, Evgenii V. Vorozhtsov |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (XI, 393 p.) |
Disciplina | 005.131 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science—Mathematics
Computer software Mathematics—Data processing Computer programming Discrete mathematics Algorithms Symbolic and Algebraic Manipulation Mathematical Software Computational Mathematics and Numerical Analysis Programming Techniques Discrete Mathematics in Computer Science |
ISBN | 3-642-04103-5 |
Classificazione |
DAT 702f
SS 4800 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | On m-Interlacing Solutions of Linear Difference Equations -- Parametric Analysis of Stability Conditions for a Satellite with Gyrodines -- Computing and Visualizing Closure Objects Using Relation Algebra and RelView -- On Integrability of a Planar ODE System Near a Degenerate Stationary Point -- Conditions of D-Stability of the Fifth-Order Matrices -- Code Generation for Polynomial Multiplication -- Solving Structured Polynomial Systems and Applications to Cryptology -- The Comparison Method of Physical Quantity Dimensionalities -- Ambient Isotopic Meshing for Implicit Algebraic Surfaces with Singularities -- Involution and Difference Schemes for the Navier–Stokes Equations -- A Mathematica Package for Simulation of Quantum Computation -- On Computing the Hermite Form of a Matrix of Differential Polynomials -- On the Computation of Comprehensive Boolean Gröbner Bases -- On Invariant Manifolds of Dynamical Systems in Lie Algebras -- On the Complexity of Reliable Root Approximation -- Algebraic Approach to the Computation of the Defining Polynomial of the Algebraic Riccati Equation -- Discrete Dynamics: Gauge Invariance and Quantization -- Effective Quantifier Elimination for Presburger Arithmetic with Infinity -- An Algorithm for Symbolic Solving of Differential Equations and Estimation of Accuracy -- Lazy and Forgetful Polynomial Arithmetic and Applications -- On the Average Growth Rate of Random Compositions of Fibonacci and Padovan Recurrences -- A Study on Gröbner Basis with Inexact Input -- Modular Algorithms for Computing a Generating Set of the Syzygy Module -- A Symbolic Framework for Operations on Linear Boundary Problems -- Mathematical Model for Dengue Epidemics with Differential Susceptibility and Asymptomatic Patients Using Computer Algebra -- Multiple Factorizations of Bivariate Linear Partial Differential Operators -- Computing Gröbner Bases within Linear Algebra -- A Mimetic Finite-Difference Scheme for Convection of Multicomponent Fluid in a Porous Medium -- Symbolic-Numerical Algorithms for Solving Parabolic Quantum Well Problem with Hydrogen-Like Impurity -- New Analytic Solutions of the Problem of Gas Flow in a Casing with Rotating Disc -- Hybrid Solution of Two-Point Linear Boundary Value Problems. |
Record Nr. | UNINA-9910483934403321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|