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.
Automata Studies. (AM-34), Volume 34 / / J. McCarthy, C. E. Shannon
| Automata Studies. (AM-34), Volume 34 / / J. McCarthy, C. E. Shannon |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (297 pages) : illustrations |
| Disciplina |
621.38
621.34* |
| Collana | Annals of Mathematics Studies |
| Soggetto topico |
Machine theory
Conscious automata |
| Soggetto non controllato |
A Mathematical Theory of Communication
Abstraction (software engineering) Accuracy and precision Algebraic theory Arithmetic Automaton Axiom Binary number Biophysics Bit Boolean algebra (structure) Calculation Chaos theory Circuit design Classical conditioning Combination lock Combination Computable number Computation Concepts (C++) Conditional probability Connectivity (graph theory) Correlation and dependence Counterexample Counting Decision problem Description number Detection Determinism Deterministic system (philosophy) Diagram (category theory) Diagram Entscheidungsproblem Enumeration Equation Estimation Exponentiation Finite-state machine First principle Fixed point (mathematics) Function (mathematics) Gödel numbering Hardware random number generator Heuristic argument Instance (computer science) Interlacing (bitmaps) Intuitionistic logic Lebesgue measure Logarithm Logic Logical disjunction Markov chain Mathematical analysis Mathematical induction Mathematical logic Mathematical notation Mathematical theory Mathematics Measure (mathematics) Metamathematics Modular arithmetic Moment (mathematics) Moore machine Notation Number theory OR gate Parameter (computer programming) Parity (mathematics) Permutation Pilot plant Polynomial Primitive recursive function Probability measure Probability Proportionality (mathematics) Propositional function Quantity Recursion (computer science) Recursive set Recursively enumerable set Result Schematic Sequence Series (mathematics) Set theory Sheffer stroke Sign (mathematics) Solver Special case Stochastic process String (computer science) Subsequence Subset Theorem Thermodynamic equilibrium Trial and error Turing machine Typewriter Universal Turing machine Variable (mathematics) |
| ISBN | 1-4008-8261-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Preface -- Contents -- Finite Automata -- Representation of Events in Nerve Nets and Finite Automata / Kleene, S. C. -- Probabilistic Logics and the Synthesis of Reliable Organisms From Unreliable Components / Neumann, J. von -- Some Uneconomical Robots / Culbertson, James T. -- Some Universal Elements for Finite Automata / Minsky, M. L. -- Gedanken-Experiments on Sequential Machines / Moore, Edward F. -- Turing Machines -- A Universal Turing Machine with Two Internal States / Shannon, Claude E. -- A Note on Universal Turing Machines / Davis, M. D. -- The Inversion of Functions Defined by Turing Machines / McCarthy, John -- Computability by Probabilistic Machines / Leeuw, K. de / Moore, E. F. / Shannon, C. E. / Shapiro, N. -- Synthesis of Automata -- Design for an Intelligence-Amplifier / Ashby, W. Ross -- The Epistemological Problem for Automata / MacKay, D. M. -- Conditional Probability Machines and Conditioned Reflexes / Uttley, Albert M. -- Temporal and Spatial Patterns in a Conditional Probability Machine / Uttley, Albert M. |
| Record Nr. | UNINA-9910154745703321 |
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Avventure con l'elettronica digitale / Tom Duncan
| Avventure con l'elettronica digitale / Tom Duncan |
| Autore | Duncan, Tom |
| Pubbl/distr/stampa | Bologna : Zanichelli, 1984 |
| Descrizione fisica | 58 p. : ill. ; 24 cm |
| Disciplina | 621.38 |
| Soggetto non controllato |
Circuiti integrati
Apparecchi elettronici |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Titolo uniforme | |
| Record Nr. | UNIPARTHENOPE-000024319 |
Duncan, Tom
|
||
| Bologna : Zanichelli, 1984 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Parthenope | ||
| ||
Basic electronics "autotext" : a programed course in circuits / edited by Jack W. Friedman, Harry G. Rice, Gerald McGinty
| Basic electronics "autotext" : a programed course in circuits / edited by Jack W. Friedman, Harry G. Rice, Gerald McGinty |
| Autore | Friedman, Jack W. |
| Pubbl/distr/stampa | Englewood Cliffs, New Jersey : Prentice-Hall, ©1965 |
| Descrizione fisica | 534 p. : ill. ; 24 cm |
| Disciplina | 621.38 |
| Altri autori (Persone) |
McGinty, Gerard P.
Rice, Harry G. |
| Soggetto non controllato |
Elettronica
Istruzioni per programmi |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000495120403321 |
|
Friedman, Jack W.
|
||
| Englewood Cliffs, New Jersey : Prentice-Hall, ©1965 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Beginning Android 4 application development [[electronic resource] /] / Wei-Meng Lee
| Beginning Android 4 application development [[electronic resource] /] / Wei-Meng Lee |
| Autore | Lee Wei-Meng |
| Edizione | [1st edition] |
| Pubbl/distr/stampa | Indianapolis, IN, : Wiley, 2012 |
| Descrizione fisica | 1 online resource (564 p.) |
| Disciplina |
005.258
621.38 621.38456 |
| Soggetto topico |
Mobile computing
Smartphones |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-280-67446-6
9786613651396 1-118-22824-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Beginning AndroidTM 4 Application Development; Contents; Introduction; Chapter 1: Getting Started with Android Programming; What Is Android?; Android Versions; Features of Android; Architecture of Android; Android Devices in the Market; The Android Market; The Android Developer Community; Obtaining the Required Tools; Android SDK; Installing the Android SDK Tools; Configuring the Android SDK Manager; Eclipse; Android Development Tools (ADT); Creating Android Virtual Devices (AVDs); Creating Your First Android Application; Anatomy of an Android Application; Summary
Chapter 2: Activities, Fragments, and IntentsUnderstanding Activities; Applying Styles and Themes to an Activity; Hiding the Activity Title; Displaying a Dialog Window; Displaying a Progress Dialog; Displaying a More Sophisticated Progress Dialog; Linking Activities Using Intents; Resolving Intent Filter Collision; Returning Results from an Intent; Passing Data Using an Intent Object; Fragments; Adding Fragments Dynamically; Life Cycle of a Fragment; Interactions between Fragments; Calling Built-In Applications Using Intents; Understanding the Intent Object; Using Intent Filters Adding CategoriesDisplaying Notifications; Summary; Chapter 3: Getting to Know the Android User Interface; Understanding the Components of a Screen; Views and ViewGroups; LinearLayout; AbsoluteLayout; TableLayout; RelativeLayout; FrameLayout; ScrollView; Adapting to Display Orientation; Anchoring Views; Resizing and Repositioning; Managing Changes to Screen Orientation; Persisting State Information during Changes in Configuration; Detecting Orientation Changes; Controlling the Orientation of the Activity; Utilizing the Action Bar; Adding Action Items to the Action Bar Customizing the Action Items and Application IconCreating the User Interface Programmatically; Listening for UI Notifications; Overriding Methods Defined in an Activity; Registering Events for Views; Summary; Chapter 4: Designing Your User Interface with Views; Using Basic Views; TextView View; Button, ImageButton, EditText, CheckBox, ToggleButton, RadioButton, and RadioGroup Views; ProgressBar View; AutoCompleteTextView View; Using Picker Views; TimePicker View; DatePicker View; Using List Views to Display Long Lists; ListView View; Using the Spinner View; Understanding Specialized Fragments Using a ListFragmentUsing a DialogFragment; Using a PreferenceFragment; Summary; Chapter 5: Displaying Pictures and Menus with Views; Using Image Views to Display Pictures; Gallery and ImageView Views; ImageSwitcher; GridView; Using Menus with Views; Creating the Helper Methods; Options Menu; Context Menu; Some Additional Views; AnalogClock and DigitalClock Views; WebView; Summary; Chapter 6: Data Persistence; Saving and Loading User Preferences; Accessing Preferences Using an Activity; Programmatically Retrieving and Modifying the Preferences Values Changing the Default Name of the Preferences File |
| Record Nr. | UNINA-9910457417803321 |
|
Lee Wei-Meng
|
||
| Indianapolis, IN, : Wiley, 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Beginning Android 4 application development [[electronic resource] /] / Wei-Meng Lee
| Beginning Android 4 application development [[electronic resource] /] / Wei-Meng Lee |
| Autore | Lee Wei-Meng |
| Edizione | [1st edition] |
| Pubbl/distr/stampa | Indianapolis, IN, : Wiley, 2012 |
| Descrizione fisica | 1 online resource (564 p.) |
| Disciplina |
005.258
621.38 621.38456 |
| Soggetto topico |
Mobile computing
Smartphones |
| ISBN |
1-280-67446-6
9786613651396 1-118-22824-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Beginning AndroidTM 4 Application Development; Contents; Introduction; Chapter 1: Getting Started with Android Programming; What Is Android?; Android Versions; Features of Android; Architecture of Android; Android Devices in the Market; The Android Market; The Android Developer Community; Obtaining the Required Tools; Android SDK; Installing the Android SDK Tools; Configuring the Android SDK Manager; Eclipse; Android Development Tools (ADT); Creating Android Virtual Devices (AVDs); Creating Your First Android Application; Anatomy of an Android Application; Summary
Chapter 2: Activities, Fragments, and IntentsUnderstanding Activities; Applying Styles and Themes to an Activity; Hiding the Activity Title; Displaying a Dialog Window; Displaying a Progress Dialog; Displaying a More Sophisticated Progress Dialog; Linking Activities Using Intents; Resolving Intent Filter Collision; Returning Results from an Intent; Passing Data Using an Intent Object; Fragments; Adding Fragments Dynamically; Life Cycle of a Fragment; Interactions between Fragments; Calling Built-In Applications Using Intents; Understanding the Intent Object; Using Intent Filters Adding CategoriesDisplaying Notifications; Summary; Chapter 3: Getting to Know the Android User Interface; Understanding the Components of a Screen; Views and ViewGroups; LinearLayout; AbsoluteLayout; TableLayout; RelativeLayout; FrameLayout; ScrollView; Adapting to Display Orientation; Anchoring Views; Resizing and Repositioning; Managing Changes to Screen Orientation; Persisting State Information during Changes in Configuration; Detecting Orientation Changes; Controlling the Orientation of the Activity; Utilizing the Action Bar; Adding Action Items to the Action Bar Customizing the Action Items and Application IconCreating the User Interface Programmatically; Listening for UI Notifications; Overriding Methods Defined in an Activity; Registering Events for Views; Summary; Chapter 4: Designing Your User Interface with Views; Using Basic Views; TextView View; Button, ImageButton, EditText, CheckBox, ToggleButton, RadioButton, and RadioGroup Views; ProgressBar View; AutoCompleteTextView View; Using Picker Views; TimePicker View; DatePicker View; Using List Views to Display Long Lists; ListView View; Using the Spinner View; Understanding Specialized Fragments Using a ListFragmentUsing a DialogFragment; Using a PreferenceFragment; Summary; Chapter 5: Displaying Pictures and Menus with Views; Using Image Views to Display Pictures; Gallery and ImageView Views; ImageSwitcher; GridView; Using Menus with Views; Creating the Helper Methods; Options Menu; Context Menu; Some Additional Views; AnalogClock and DigitalClock Views; WebView; Summary; Chapter 6: Data Persistence; Saving and Loading User Preferences; Accessing Preferences Using an Activity; Programmatically Retrieving and Modifying the Preferences Values Changing the Default Name of the Preferences File |
| Record Nr. | UNINA-9910779096103321 |
|
Lee Wei-Meng
|
||
| Indianapolis, IN, : Wiley, 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Beginning Android 4 application development / / Wei-Meng Lee
| Beginning Android 4 application development / / Wei-Meng Lee |
| Autore | Lee Wei-Meng |
| Edizione | [1st edition] |
| Pubbl/distr/stampa | Indianapolis, IN, : Wiley, 2012 |
| Descrizione fisica | 1 online resource (564 p.) |
| Disciplina |
005.258
621.38 621.38456 |
| Soggetto topico |
Mobile computing
Smartphones |
| ISBN |
1-280-67446-6
9786613651396 1-118-22824-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Beginning AndroidTM 4 Application Development; Contents; Introduction; Chapter 1: Getting Started with Android Programming; What Is Android?; Android Versions; Features of Android; Architecture of Android; Android Devices in the Market; The Android Market; The Android Developer Community; Obtaining the Required Tools; Android SDK; Installing the Android SDK Tools; Configuring the Android SDK Manager; Eclipse; Android Development Tools (ADT); Creating Android Virtual Devices (AVDs); Creating Your First Android Application; Anatomy of an Android Application; Summary
Chapter 2: Activities, Fragments, and IntentsUnderstanding Activities; Applying Styles and Themes to an Activity; Hiding the Activity Title; Displaying a Dialog Window; Displaying a Progress Dialog; Displaying a More Sophisticated Progress Dialog; Linking Activities Using Intents; Resolving Intent Filter Collision; Returning Results from an Intent; Passing Data Using an Intent Object; Fragments; Adding Fragments Dynamically; Life Cycle of a Fragment; Interactions between Fragments; Calling Built-In Applications Using Intents; Understanding the Intent Object; Using Intent Filters Adding CategoriesDisplaying Notifications; Summary; Chapter 3: Getting to Know the Android User Interface; Understanding the Components of a Screen; Views and ViewGroups; LinearLayout; AbsoluteLayout; TableLayout; RelativeLayout; FrameLayout; ScrollView; Adapting to Display Orientation; Anchoring Views; Resizing and Repositioning; Managing Changes to Screen Orientation; Persisting State Information during Changes in Configuration; Detecting Orientation Changes; Controlling the Orientation of the Activity; Utilizing the Action Bar; Adding Action Items to the Action Bar Customizing the Action Items and Application IconCreating the User Interface Programmatically; Listening for UI Notifications; Overriding Methods Defined in an Activity; Registering Events for Views; Summary; Chapter 4: Designing Your User Interface with Views; Using Basic Views; TextView View; Button, ImageButton, EditText, CheckBox, ToggleButton, RadioButton, and RadioGroup Views; ProgressBar View; AutoCompleteTextView View; Using Picker Views; TimePicker View; DatePicker View; Using List Views to Display Long Lists; ListView View; Using the Spinner View; Understanding Specialized Fragments Using a ListFragmentUsing a DialogFragment; Using a PreferenceFragment; Summary; Chapter 5: Displaying Pictures and Menus with Views; Using Image Views to Display Pictures; Gallery and ImageView Views; ImageSwitcher; GridView; Using Menus with Views; Creating the Helper Methods; Options Menu; Context Menu; Some Additional Views; AnalogClock and DigitalClock Views; WebView; Summary; Chapter 6: Data Persistence; Saving and Loading User Preferences; Accessing Preferences Using an Activity; Programmatically Retrieving and Modifying the Preferences Values Changing the Default Name of the Preferences File |
| Record Nr. | UNINA-9910816726703321 |
|
Lee Wei-Meng
|
||
| Indianapolis, IN, : Wiley, 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Blockchain for Global Education [[electronic resource] /] / by Lakshmana Kumar Ramasamy, Firoz Khan
| Blockchain for Global Education [[electronic resource] /] / by Lakshmana Kumar Ramasamy, Firoz Khan |
| Autore | Ramasamy Lakshmana Kumar |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (225 pages) |
| Disciplina | 621.38 |
| Altri autori (Persone) | KhanFiroz |
| Soggetto topico |
Cooperating objects (Computer systems)
Telecommunication Educational technology Cyber-Physical Systems Communications Engineering, Networks Digital Education and Educational Technology |
| ISBN | 3-031-52123-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Introduction to Blockchain in Education -- Creating a decentralized database of educational credentials -- Decentralized marketplace for educational resources -- Digital identity system for students -- Cross-border credit transfer -- Blockchain-based e-learning platform -- Development of a blockchain-based certification system -- Secure and transparent record-keeping of educational data -- Blockchain-based Online Learning -- Blockchain-based Research -- Case studies and best practices of blockchain -- Future of Blockchain in Education -- Conclusion. |
| Record Nr. | UNINA-9910835061203321 |
| Ramasamy Lakshmana Kumar | ||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Blockchain Transformations [[electronic resource] ] : Navigating the Decentralized Protocols Era / / edited by Sheikh Mohammad Idrees, Mariusz Nowostawski
| Blockchain Transformations [[electronic resource] ] : Navigating the Decentralized Protocols Era / / edited by Sheikh Mohammad Idrees, Mariusz Nowostawski |
| Autore | Idrees Sheikh Mohammad |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (277 pages) |
| Disciplina | 621.38 |
| Altri autori (Persone) | NowostawskiMariusz |
| Collana | Signals and Communication Technology |
| Soggetto topico |
Cooperating objects (Computer systems)
Telecommunication Electronic commerce Artificial intelligence - Data processing Cyber-Physical Systems Communications Engineering, Networks e-Commerce and e-Business Data Science |
| ISBN | 3-031-49593-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Empowering Education: Leveraging Blockchain for Secure Credentials and Lifelong Learning -- 2. Utilization of Blockchain Technology in Artificial Intelligence based Healthcare Security -- 3. Decentralized Key Management for Digital Identity Wallets -- 4. Towards Blockchain Driven Solution for Remote Healthcare Service: An Analytical Study -- 5. Smart Contract Vulnerabilities: Exploring the Technical and Economic Aspects -- 6. Modernizing Healthcare Data Management: A Fusion of Mobile Agents and Blockchain Technology -- 7. Machine Learning Approaches in Blockchain Technology based IoT Security: An Investigation on current developments and open challenges -- 8. Decentralized identity management using blockchain technology: challenges and solutions -- 9. Reshaping the education sector of Manipur through Blockchain -- 10. Exploring the Intersection of Entrepreneurship and Blockchain Technology: A Research Landscape through R Studio and VOSviewer -- 11. Transforming Educational Landscape with Blockchain Technology: Applications and Challenges -- 12. VERIFICATE - Transforming Certificate Verification using Blockchain Technology -- 13. Transforming Waste Management Practices through Blockchain Innovations -- 14. Decentralized Technology and Blockchain in Healthcare Administration -- 15. Blockchain Technology Acceptance in Agribusiness Industry -- 16. Adoption of Block Chain Technology and Circular Economy Practices by SMEs. |
| Record Nr. | UNINA-9910835061703321 |
| Idrees Sheikh Mohammad | ||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Cabine MT/BT 13 : le guide blu : impianti a norme CEI / Tuttonormel
| Cabine MT/BT 13 : le guide blu : impianti a norme CEI / Tuttonormel |
| Autore | TuttoNormel |
| Edizione | [Ristampa e aggiornamento febbraio 2023] |
| Pubbl/distr/stampa | Torino, : TNE, 2023 |
| Descrizione fisica | 311 p. : ill. ; 24 cm |
| Disciplina | 621.38 |
| Collana | Le guide blu impianti a norme CEI |
| Soggetto non controllato | Impianti a norme CEI |
| ISBN | 978-88-94847-16-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-9910835999003321 |
|
TuttoNormel
|
||
| Torino, : TNE, 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Cabine MT/BT 13 : le guide blu : impianti a norme CEI / Tuttonormel
| Cabine MT/BT 13 : le guide blu : impianti a norme CEI / Tuttonormel |
| Autore | TuttoNormel |
| Edizione | [Ristampa e aggiornamento giugno 2017] |
| Pubbl/distr/stampa | Torino : TNE, 2017 |
| Descrizione fisica | 308 p. : ill. ; 24 cm |
| Disciplina | 621.38 |
| Collana | Le guide blu |
| Soggetto non controllato | Impianti a norme CEI |
| ISBN | 978-88-94847-16-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-9910285758303321 |
|
TuttoNormel
|
||
| Torino : TNE, 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
