| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA990008556420403321 |
|
|
Autore |
Russo, Vincenzo |
|
|
Titolo |
La prova indiziaria e il giusto processo : l'art. 192 C.P.P. e la Legge 63/2001 / Vincenzo Russo, Antonio Abet |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Locazione |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNISA996465913103316 |
|
|
Titolo |
Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2007, Aix en Provence, France, July 2007, proceedings / / Nicola Olivetti (editor) |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer-Verlag, , [2007] |
|
©2007 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2007.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (X, 250 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Artificial Intelligence ; ; 4548 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Automatic theorem proving |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Invited Talks -- Nonmonotonic Description Logics – Requirements, Theory, and Implementations -- Our Quest for the Holy Grail of Agent Verification -- An Abstract Framework for Satisfiability Modulo Theories -- Research Papers -- Axiom Pinpointing in General Tableaux -- Proof Theory for First Order ?ukasiewicz Logic -- A Tableau Method for Public Announcement Logics -- Bounded Model Checking with Description Logic Reasoning -- Tableau Systems for Logics of Subinterval Structures over Dense Orderings -- A Cut-Free Sequent Calculus for Bi-intuitionistic Logic -- Tableaux with Dynamic Filtration for Layered Modal Logics -- The Neighbourhood of S0.9 and S1 -- EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies -- Tree-Sequent Methods for Subintuitionistic Predicate Logics -- A Sequent Calculus for Bilattice-Based Logic and Its Many-Sorted Representation -- Updating Reduced Implicate Tries -- A Bottom-Up Approach to Clausal Tableaux -- Differential Dynamic Logic for Verifying Parametric Hybrid Systems -- System Descriptions -- Improvements to the Tableau Prover PITP -- KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910822283203321 |
|
|
Autore |
Uddin Muhammad Saif |
|
|
Titolo |
IBM worklight mobile application development essentials : develop efficient mobile applications using IBM Worklight / / Muhammad Saif Uddin, Talha Haroon ; cover image by Ronak Dhruv |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Birmingham, England : , : Packt Publishing Ltd, , 2014 |
|
©2014 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st edition] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (144 p.) |
|
|
|
|
|
|
Collana |
|
Professional expertise distilled |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Mobile computing - Programming |
Mobile computing - Security measures |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
"Professional expertise distilled"--Cover. |
Includes index. |
|
|
|
|
|
|
|
|
Nota di contenuto |
|
Cover; Copyright; Credits; About the Authors; Acknowledgement; About the Reviewers; www.PacktPub.com; Table of Contents; Preface; Chapter 1: Getting Started with IBM Worklight; The IBM Worklight solution; Worklight capabilities and supported platforms; Components of Worklight; Worklight Studio; Features of the Worklight Studio platform; Worklight Device Runtime; Worklight Server; Worklight Console; Worklight Application Center; Summary; Chapter 2: Installing Worklight; Installing IBM Worklight Consumer Edition; Installing IBM Installation Manager; Installing the IBM Worklight Server |
Configuring the WebSphere Application Server (Liberty profile)Installing IBM Worklight Studio; Installing IBM Worklight Developer Edition; Installing Android SDK; Summary; Chapter 3: Creating a Basic Worklight Application; Creating a simple IBM Worklight application; Worklight project and application structure; Application resources; Rich Page Editor; Adding an environment; Verifying the server configuration; Building the application; Application skins; Previewing an application in the mobile simulator; Summary; Chapter 4: Customizing a Worklight Application; A quick overview of HTML5 |
|
|
|
|
|
|
|
|
|
|
|
The IBM Worklight client-side APIThe WLClient JavaScript client library; Exploring Dojo Mobile; Designing your first Dojo application; Adding an environment in IBM Worklight; Application resources; Application-descriptor; The main HTML file; Client scripts and stylesheets; The application icon; The splash screen; The Worklight client property file; Exploring the Android application environment; Summary; Chapter 5: Adding an Adapter; IBM Worklight Adapter concept; Exploring Adapter files; Types of Adapters; HTTP Adapters; SQL Adapters; Invoking the Adapter procedure |
Calling Java code using an AdapterInvoking Java code from the Adapter; Summary; Chapter 6: Authentication and Security; Worklight security principles, concepts, and terminologies; Challenge handler; Authenticator; The login module; Authentication realms; Security test; Examining generated realms, security test, and login modules; Generating realms; Generating login modules; Generating security tests; Creating adapter-based authentication; Client side - adapter authentication components; Challenge handler in Worklight; Form-based authentication; Security realm; The login module; Security test |
Challenge handlerCustom authentication; Summary; Chapter 7: Advanced Features of IBM Worklight; Push notification; Device and platforms support; Worklight push notification concepts and terminology; WL client API; WL.BusyIndicator; WL.Logger; WL.SimpleDialog; Cordova plugins; Encrypted Offline Cache; Storage JSONStore; Summary; Index |
|
|
|
|
|
|
Sommario/riassunto |
|
This book will guide you through the process of building an application and customizing it with the help of lucid instructions on development, configuration, and administration with a practical, step-by-step approach.If you are a developer who wants to create mobile applications quickly, this is the book for you. Some basic knowledge about of web technologies and client -side languages such as JavaScript, CSS and HTML will serve you well. |
|
|
|
|
|
|
|
| |