| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISALENTO991002948599707536 |
|
|
Titolo |
Model theory in algebra, analysis and arithmetic : Cetraro, Italy 2012 / Lou van den Dries, H. Dugald Macpherson, Carlo Toffalori |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Heidelberg [Germany] : Springer, c2014 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
Lecture notes in mathematics, 1617-9692 ; 2111 |
|
|
|
|
|
|
Classificazione |
|
AMS 03-06 |
AMS 03C10 |
AMS 03C45 |
AMS 03C60 |
LC QA9.7 |
|
|
|
|
|
|
|
|
Altri autori (Persone) |
|
Dries, Lou : van denauthor |
Macpherson, Dugald |
Toffalori, Carlo |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Model theory |
Number theory |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
On cover and on tit. page: Fondazione CIME |
|
|
|
|
|
|
Nota di contenuto |
|
Some themes around first order theories without the independence property -- Lectures on the model theory of real and complex exponentiation -- Lectures on the model theory of valued fields -- Undecidability in number theory |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Presenting recent developments and applications, the book focuses on four main topics in current model theory: 1) the model theory of valued fields; 2) undecidability in arithmetic; 3) NIP theories; and 4) the model theory of real and complex exponentiation. Young researchers in model theory will particularly benefit from the book, as will more senior researchers in other branches of mathematics |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910713894703321 |
|
|
Autore |
Oaksford Edward T. |
|
|
Titolo |
Hydraulic considerations in sampling the unsaturated zone with inclined gravity lysimeters / / by Edward T. Oaksford |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Syosset, New York : , : U.S. Geological Survey, , 1983 |
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (iv, 17 pages) : illustrations |
|
|
|
|
|
|
Collana |
|
Water-resources investigations report ; ; 83-4005 |
|
|
|
|
|
|
Soggetti |
|
Groundwater - Sampling |
Lysimeter |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references (page 17). |
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910785344503321 |
|
|
Autore |
Juric Matjaz B |
|
|
Titolo |
WS-BPEL 2.0 for SOA composite applications with Oracle SOA Suite 11g [[electronic resource] ] : define, model, implement, and monitor real-world BPEL business processes with SOA-powered BPM / / Matjaz B. Juric with Marcel Krizevnik |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Birmingham [England], : Packt Pub., 2010 |
|
|
|
|
|
|
|
ISBN |
|
1-282-76686-4 |
9786612766862 |
1-84719-795-7 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (616 p.) |
|
|
|
|
|
|
Collana |
|
Enterprise : professional expertise distilled |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Service-oriented architecture (Computer science) |
BPEL (Computer program language) |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
|
|
|
|
|
Nota di contenuto |
|
Cover; Copyright; Credits; Foreword; About the Authors; About the Reviewers; Table of Contents; Preface; Chapter 1: Introduction to BPEL and SOA; Why business processes matters; Business and IT alignment; Service-Oriented Architecture; BPEL; Services; How to develop services; SOA concepts; Services; Interfaces; Messages; Loose Coupling; Reusability; Registries and repositories; Quality of Service; Composition of services into business processes; SOA building blocks; BPEL for process automation; Web Services; How Web Services differ from their predecessors; Web Services technology stack |
Enterprise Service BusESB features; Registry and repository; Human task support and identity management; Process Monitoring or Business Activity Monitoring; Business Rules Management Systems (BRMS) or Rule Engine; Adapters; Service Component Architecture; SOA governance; Understanding BPEL; BPEL features; Orchestration and choreography; Executable and abstract processes; Relation of BPEL to other languages; XLANG; WSFL; BPML; ebXML BPSS; YAWL; WSCL; WSCI; WS-CDL; BPMN; BPEL servers overview; The future of BPEL; Summary; Chapter 2: Service Composition with BPEL |
Developing Business Processes with BPELCore concepts; Invoking services; Invoking asynchronous services; Synchronous/Asynchronous business processes; Understanding links to partners; Partner link types; Defining partner links; BPEL process tag; Variables; Providing the interface to BPEL processes: , , and ; ; ; ; Assignments; Validating variables; Accessing variables in expressions; XSLT transformations; Conditions; Activity names; Documentation; BPEL business process example; Involved services; Employee Travel Status service; Airline Service |
WSDL for the BPEL processPartner link types; Business process definition; BPEL process outline; Partner links; Variables for the Travel Process; BPEL process main body; Asynchronous BPEL example; Modify the BPEL Process WSDL; Modify partner link types; Modify the BPEL process definition; Summary; Chapter 3: Advanced BPEL; Advanced activities; Loops; While; Repeat Until; For Each; Delays; Deadline and duration expressions; Empty activities; Ending a process; Fault handling and signaling; WSDL faults; Signaling faults; Signaling faults to clients in synchronous replies |
Signaling faults to clients in asynchronous scenariosHandling faults; Selection of a fault handler; Synchronous example; Asynchronous example; Propagating faults; Default fault handler; Inline fault handling; Scopes; Example; First scope; Second scope; Third scope; Isolated scopes; Compensation; Compensation handlers; Example; Default compensation handler; Invoking compensation handlers; Termination handler; Default termination handler; Managing events; Pick activity; Message events; Alarm events; Example; Event handlers; ; ; Business process lifecycle |
Correlation and message properties |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Define, model, implement, and monitor real-world BPEL business processes with SOA powered BPM for Oracle SOA Suite with this book and eBook |
|
|
|
|
|
|
|
| |