top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
An essay toward A Unified Theory of Special Functions : based upon the functional equa tion dF(z,a) / dz=F(z,a+1) / C. Truesdell
An essay toward A Unified Theory of Special Functions : based upon the functional equa tion dF(z,a) / dz=F(z,a+1) / C. Truesdell
Autore Truesdell, Clifford
Pubbl/distr/stampa London : Princeton University Press, 1948
Descrizione fisica IV, 182 p. ; 23 p.
Disciplina 517.5
Collana Annals of mathematics studies
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNINA-990000845050403321
Truesdell, Clifford  
London : Princeton University Press, 1948
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Analisi infinitesimale : prma puntata / Giulio Andreoli
Analisi infinitesimale : prma puntata / Giulio Andreoli
Autore Andreoli, Giulio
Pubbl/distr/stampa Napoli : G.U.F. Mussolini, 1938
Descrizione fisica 536 p. ; 24 cm
Disciplina 517.5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNIPARTHENOPE-000011379
Andreoli, Giulio  
Napoli : G.U.F. Mussolini, 1938
Materiale a stampa
Lo trovi qui: Univ. Parthenope
Opac: Controlla la disponibilità qui
Analisi matematica / Amedeo Agostini
Analisi matematica / Amedeo Agostini
Autore Agostini, Amedeo
Edizione [2 ed.]
Pubbl/distr/stampa Livorno : Tip. Della R. Accademia Navale, 1942-1946
Descrizione fisica 2 v. ; 24 cm
Disciplina 517.5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNIPARTHENOPE-000011390
Agostini, Amedeo  
Livorno : Tip. Della R. Accademia Navale, 1942-1946
Materiale a stampa
Lo trovi qui: Univ. Parthenope
Opac: Controlla la disponibilità qui
Analytic functions of several complex variables / Robert C. Gunning, Hugo Rossi
Analytic functions of several complex variables / Robert C. Gunning, Hugo Rossi
Autore Gunning, Robert C.
Pubbl/distr/stampa Englewood Cliffs [N.J.] : Prentice-Hall, 1965
Descrizione fisica xii, 317 p. ; 23 cm
Disciplina 517.4
517.5
515.73
Altri autori (Persone) Rossi, Hugo
Collana Prentice-Hall series in modern analysis
Soggetto non controllato Calcolo delle variazioni
Differenze finite
Integrali di fourier
Trasformazioni di fourier e laplace
Funzioni di variabile complessa
Analisi complessa
Funzioni analitiche
Variabili complesse
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001002780403321
Gunning, Robert C.  
Englewood Cliffs [N.J.] : Prentice-Hall, 1965
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Applied complex variables / John W. Dettman
Applied complex variables / John W. Dettman
Autore Dettman, John W.
Pubbl/distr/stampa New York : MacMillan, 1965
Descrizione fisica ix, 481 p. ; 25 cm
Disciplina 515
515.9
517.4
517.5
Soggetto non controllato Analisi complessa - Funzioni di una variabile complessa
Variabili complesse
Calcolo delle variazioni
Differenze finite
Integrali di fourier
Trasformazioni di fourier e laplace
Funzioni di variabile complessa
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990002561640403321
Dettman, John W.  
New York : MacMillan, 1965
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
The Calculi of Lambda Conversion. (AM-6), Volume 6 / / Alonzo Church
The Calculi of Lambda Conversion. (AM-6), Volume 6 / / Alonzo Church
Autore Church Alonzo
Pubbl/distr/stampa Princeton, NJ : , : Princeton University Press, , [2016]
Descrizione fisica 1 online resource (89 pages)
Disciplina 517.5
Collana Annals of Mathematics Studies
Soggetto topico Logic, Symbolic and mathematical
Recursive functions
Soggetto non controllato 2H
A-normal form
Addition
Alphabetical order
Ambiguity
Argument of a function
Axiom
Bibliography
Big O notation
Calculation
Characteristic function (probability theory)
Combination
Complex number
Computability
Computation
Consistency
Corollary
Definition
Denotation
Determination
Differential calculus
Enumeration
Equation
Exc
Existential quantification
Exponentiation
Finitary
Finite set
Formal system
Frege (programming language)
Function (mathematics)
Gödel numbering
Identity function
In the process of
Integer
Iteration
Limit (mathematics)
Logic
Logical conjunction
Logical disjunction
Mathematical induction
Mathematical logic
Mathematics
Metamathematics
Natural number
Negation
Notation
Null set
Number theory
Ordinal number
Pairing
Paul Bernays
Primitive recursive function
Principia Mathematica
Propositional function
Quantifier (logic)
Real number
Recursion (computer science)
Recursion
Reduction of order
Requirement
Resultant
Rule of inference
Scientific notation
Sequence
Set theory
Special case
Successor function
Theorem
Theory
Transfinite number
Transfinite
Truth value
Uncertainty
Universal quantification
Upper and lower bounds
Variable (mathematics)
Well-formed formula
Without loss of generality
ISBN 1-4008-8193-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Frontmatter -- CONTENTS -- Chapter I. INTRODUCTORY -- Chapter II. LAMBDA-CONVERSION -- Chapter III. LAMBDA-DEFINABILITY -- Chapter IV. COMBINATIONS, GÖDEL NUMBERS -- Chapter V. THE CALCULI OF λ-K-CONVERSION AND λ-δ- CONVERSION -- INDEX OP THE PRINCIPAL FORMULAS INTRODUCED BY DEFINITION -- BIBLIOGRAPHY -- CORRECTION AND ADDITIONS
Record Nr. UNINA-9910154753003321
Church Alonzo  
Princeton, NJ : , : Princeton University Press, , [2016]
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Calculus of variations and partial differential equations of the first order / by C. Caratheodory ; translated by Robert B. Dean and Julius J. Brandstatter
Calculus of variations and partial differential equations of the first order / by C. Caratheodory ; translated by Robert B. Dean and Julius J. Brandstatter
Autore Carathéodory, Constantin
Pubbl/distr/stampa San Francisco [etc.] : Holden-Day, 1965-1967
Descrizione fisica 2 v. : ill. ; 25 cm
Disciplina 517.4
515
517.5
Collana Holden-Day Series in Mathematical Physics
Soggetto non controllato Calcolo delle variazioni
Differenze finite
Integrali di fourier
Trasformazioni di fourier e laplace
Funzioni di variabile complessa
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto 1.: Partial differential equations of the first order 2.: Calculus of variations
Record Nr. UNINA-990001167870403321
Carathéodory, Constantin  
San Francisco [etc.] : Holden-Day, 1965-1967
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Computability & unsolvability
Computability & unsolvability
Autore Davis, Martin <1928- >
Pubbl/distr/stampa New York [etc.] : McGraw-Hill, 1958
Descrizione fisica XXV, 210 p. ; 21 cm
Disciplina 517.5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNIPARTHENOPE-000011345
Davis, Martin <1928- >  
New York [etc.] : McGraw-Hill, 1958
Materiale a stampa
Lo trovi qui: Univ. Parthenope
Opac: Controlla la disponibilità qui
Control and Communication for Demand Response with Thermostatically Controlled Loads / / by Kai Ma, Pei Liu, Jie Yang, Xinping Guan
Control and Communication for Demand Response with Thermostatically Controlled Loads / / by Kai Ma, Pei Liu, Jie Yang, Xinping Guan
Autore Ma Kai
Edizione [1st ed. 2023.]
Pubbl/distr/stampa Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2023
Descrizione fisica 1 online resource (197 pages)
Disciplina 517.5
Soggetto topico Electric power distribution
Automatic control
Energy Grids and Networks
Control and Systems Theory
ISBN 981-19-6876-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Introduction -- Switched Control Strategies of Aggregated Commercial HVAC Systems for Demand Response -- Hybrid control strategy of Aggregated TCLs for Demand Response -- Fuzzy Neural Network Control strategy of TCLs for Demand Response -- Optimal Control of TCLs Consumer Cost Based on Tracking Differentiator -- Optimizing Regulation of Aggregated TCLs Based on Multi-Swarm PSO -- Communication Network and Cost Modeling -- Bandwidth Allocation for Cooperative Relaying Network -- Distributed Power Allocation and Relay Selection for Cooperative Relaying Network -- Centralized Power Allocation and Relay Selection for Cooperative Relaying Network -- Interference Management and Power Control for Cognitive Radio Network -- Power Allocation for a Relaying-Based Cognitive Radio Network -- Spectrum Allocation and Power allocation for a Relaying-Based Cognitive Radio Network.
Record Nr. UNINA-9910634039903321
Ma Kai  
Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2023
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Corso di analisi superiore : appunti tratti dalle Lezioni tenute dal prof. Mauro Picone nella Facoltà di scienze matematiche, fisiche e naturali della r. Università di Roma nell'anno accademico 1938-1939
Corso di analisi superiore : appunti tratti dalle Lezioni tenute dal prof. Mauro Picone nella Facoltà di scienze matematiche, fisiche e naturali della r. Università di Roma nell'anno accademico 1938-1939
Autore Picone, Mauro
Edizione [Ed. autorizzata]
Pubbl/distr/stampa Roma : Dusa, Dispense Universitarie S. A., [1940]
Descrizione fisica 405 p. ; 24 cm
Disciplina 517.5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNIPARTHENOPE-000011391
Picone, Mauro  
Roma : Dusa, Dispense Universitarie S. A., [1940]
Materiale a stampa
Lo trovi qui: Univ. Parthenope
Opac: Controlla la disponibilità qui