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.
The Control Theory and Application for Well Pattern Optimization of Heterogeneous Sandstone Reservoirs / / by Dehua Liu, Jing Sun
| The Control Theory and Application for Well Pattern Optimization of Heterogeneous Sandstone Reservoirs / / by Dehua Liu, Jing Sun |
| Autore | Liu Dehua |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XIV, 384 p. 263 illus.) |
| Disciplina | 553.280973 |
| Collana | Springer Geology |
| Soggetto topico |
Geology
Fossil fuels Industrial engineering Production engineering Fossil Fuels (incl. Carbon Capture) Industrial and Production Engineering |
| ISBN | 3-662-53287-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Geological foundation of well network optimization -- Reservoir direction characteristics and permeability distribution law -- Theory of Injection and production well network optimization control -- Principles and methods of vector well network -- Well network pattern on different reservoir characteristics -- Analysis of the application of vector well network -- Complex well network optimal design -- Determination of reasonable well network density. |
| Record Nr. | UNINA-9910254006903321 |
Liu Dehua
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Eco-materials processing and design XIII : selected, peer reviewed papers from the 13th International Symposium on Eco-Materials Processing and Design (ISEPD-13), January 7-10, 2012, Guilin, China / / edited by Jing Sun [and five others]
| Eco-materials processing and design XIII : selected, peer reviewed papers from the 13th International Symposium on Eco-Materials Processing and Design (ISEPD-13), January 7-10, 2012, Guilin, China / / edited by Jing Sun [and five others] |
| Pubbl/distr/stampa | Durnten-Zurich, Switzerland : , : TTP, , [2012] |
| Descrizione fisica | 1 online resource (497 p.) |
| Disciplina | 620.11 |
| Altri autori (Persone) | SunJing |
| Collana | Materials science forum |
| Soggetto topico |
Environmental protection - Design
Materials management - Environmental aspects Materials - Environmental aspects Environmental engineering |
| Soggetto genere / forma | Electronic books. |
| ISBN | 3-03813-853-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Eco-Materials Processing and Design XIII; Preface and Organizing Committee; Table of Contents; A. Environment Related Materials and Photocatalysts; Effect of Solution Treatment on Microstructure and Properties of the SAF2507 Super Duplex Stainless Steel; Materials Life Cycle Assessment of Chemical Strengthening Glass Used for Touch Screen Panel; MLCA (Material Life Cycle Assessment) for ITO Recycling; Study of Resistance Characteristics of Silicon Carbide Resistor Materials; Synthesis of Sn4+ Doped TiO2 Nanotube and its Photocatalytic Activity
Removal of Isopropyl Alcohol (IPA) Using Anodized Photocatalytic Metal Membrane Reactor Treatment Performance of Low Strength Electric Wastewater Using Solid-Advanced Oxidation Processes; Photocatalytic Degradation of Humic Acid Using Ti/Anodized TiO2 Metal Plate with Fe-Doping; Fabrication of Nanosheet-Assembled Hierarchical AlOOH and γ-Al2O3 Microspheres and its Application in Water Purification; Low Temperature Molten-Salt Synthesis and Characterization of Nanocrystalline Mullite Whiskers from Coal Gangue Effect of Temperature and Carbon Contents on the Synthesis of β-SiC from Silicon Sludge by Direct Carbonization Method A Study on the Synthesis of SiC Powder from the Silicon Sludge of the Photovoltaic Industry; A Study on the Improvement of Nitrogen Removal Efficiency in Small Size Sewage Treatment Facility Utilizing Zeolite Carrier; The Rheological Properties of Konjac Glucomannan (KGM) Solution; Preparation and Application of Electrospinning Membranes of Thermoplastic Carboxymethyl Cellulose/PLA for Removal of Cu2+ from Aqueous Solutions Extraction of Polyethylene Residue Components in Soil Research of Low Cost Fracturing Proppant; Studies on Adsorption of Strontium (II) by Expanded Rice Husk; Preparation of Porous Poly(butylene succinate)(PBS)/Starch Blends for Absorption of Copper (II) Ions; The Study of Environmental Degradation Characteristics of Photodegradable Polyethylene Film; Effect of PE Film Degradation Products on the Carbon Dioxide Content of Soil: A Mathematical Study; Effect of Gelatinization on Morphology and Thermal Properties of Polyvinyl Alcohol-Corn Starch Blend Films Factors Affecting Coagulation of Phosphorus from Municipal Sewage Adsorption of Bromic Acid Ion in Water by the Reduced Titanium Oxide; B. Eco-Materials Processing and Design, Multi-functional Materials; Properties of Artificial Lightweight Aggregate by Using Magnetic Separated Bottom Ash from Coal Power Plant; Bio-Inspired Synthesis of Al2O3/Polymer Composite; Thermoelectric Properties of Manganese Monosilicide Synthesized by Mechanical Alloying Process; First-Principles Investigation on Ag, N Codoped in p-Type ZnO Characteristics of Artificial Lightweight Aggregate by Using Magnetic Separated Desulfurized Fly Ash and Dredged Soil |
| Record Nr. | UNINA-9910462776103321 |
| Durnten-Zurich, Switzerland : , : TTP, , [2012] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Eco-materials processing and design XIII : selected, peer reviewed papers from the 13th International Symposium on Eco-Materials Processing and Design (ISEPD-13), January 7-10, 2012, Guilin, China / / edited by Jing Sun [and five others]
| Eco-materials processing and design XIII : selected, peer reviewed papers from the 13th International Symposium on Eco-Materials Processing and Design (ISEPD-13), January 7-10, 2012, Guilin, China / / edited by Jing Sun [and five others] |
| Pubbl/distr/stampa | Durnten-Zurich, Switzerland : , : TTP, , [2012] |
| Descrizione fisica | 1 online resource (497 p.) |
| Disciplina | 620.11 |
| Altri autori (Persone) | SunJing |
| Collana | Materials science forum |
| Soggetto topico |
Environmental protection - Design
Materials management - Environmental aspects Materials - Environmental aspects Environmental engineering |
| ISBN | 3-03813-853-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Eco-Materials Processing and Design XIII; Preface and Organizing Committee; Table of Contents; A. Environment Related Materials and Photocatalysts; Effect of Solution Treatment on Microstructure and Properties of the SAF2507 Super Duplex Stainless Steel; Materials Life Cycle Assessment of Chemical Strengthening Glass Used for Touch Screen Panel; MLCA (Material Life Cycle Assessment) for ITO Recycling; Study of Resistance Characteristics of Silicon Carbide Resistor Materials; Synthesis of Sn4+ Doped TiO2 Nanotube and its Photocatalytic Activity
Removal of Isopropyl Alcohol (IPA) Using Anodized Photocatalytic Metal Membrane Reactor Treatment Performance of Low Strength Electric Wastewater Using Solid-Advanced Oxidation Processes; Photocatalytic Degradation of Humic Acid Using Ti/Anodized TiO2 Metal Plate with Fe-Doping; Fabrication of Nanosheet-Assembled Hierarchical AlOOH and γ-Al2O3 Microspheres and its Application in Water Purification; Low Temperature Molten-Salt Synthesis and Characterization of Nanocrystalline Mullite Whiskers from Coal Gangue Effect of Temperature and Carbon Contents on the Synthesis of β-SiC from Silicon Sludge by Direct Carbonization Method A Study on the Synthesis of SiC Powder from the Silicon Sludge of the Photovoltaic Industry; A Study on the Improvement of Nitrogen Removal Efficiency in Small Size Sewage Treatment Facility Utilizing Zeolite Carrier; The Rheological Properties of Konjac Glucomannan (KGM) Solution; Preparation and Application of Electrospinning Membranes of Thermoplastic Carboxymethyl Cellulose/PLA for Removal of Cu2+ from Aqueous Solutions Extraction of Polyethylene Residue Components in Soil Research of Low Cost Fracturing Proppant; Studies on Adsorption of Strontium (II) by Expanded Rice Husk; Preparation of Porous Poly(butylene succinate)(PBS)/Starch Blends for Absorption of Copper (II) Ions; The Study of Environmental Degradation Characteristics of Photodegradable Polyethylene Film; Effect of PE Film Degradation Products on the Carbon Dioxide Content of Soil: A Mathematical Study; Effect of Gelatinization on Morphology and Thermal Properties of Polyvinyl Alcohol-Corn Starch Blend Films Factors Affecting Coagulation of Phosphorus from Municipal Sewage Adsorption of Bromic Acid Ion in Water by the Reduced Titanium Oxide; B. Eco-Materials Processing and Design, Multi-functional Materials; Properties of Artificial Lightweight Aggregate by Using Magnetic Separated Bottom Ash from Coal Power Plant; Bio-Inspired Synthesis of Al2O3/Polymer Composite; Thermoelectric Properties of Manganese Monosilicide Synthesized by Mechanical Alloying Process; First-Principles Investigation on Ag, N Codoped in p-Type ZnO Characteristics of Artificial Lightweight Aggregate by Using Magnetic Separated Desulfurized Fly Ash and Dredged Soil |
| Record Nr. | UNINA-9910786395603321 |
| Durnten-Zurich, Switzerland : , : TTP, , [2012] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Eco-materials processing and design XIII : selected, peer reviewed papers from the 13th International Symposium on Eco-Materials Processing and Design (ISEPD-13), January 7-10, 2012, Guilin, China / / edited by Jing Sun [and five others]
| Eco-materials processing and design XIII : selected, peer reviewed papers from the 13th International Symposium on Eco-Materials Processing and Design (ISEPD-13), January 7-10, 2012, Guilin, China / / edited by Jing Sun [and five others] |
| Pubbl/distr/stampa | Durnten-Zurich, Switzerland : , : TTP, , [2012] |
| Descrizione fisica | 1 online resource (497 p.) |
| Disciplina | 620.11 |
| Altri autori (Persone) | SunJing |
| Collana | Materials science forum |
| Soggetto topico |
Environmental protection - Design
Materials management - Environmental aspects Materials - Environmental aspects Environmental engineering |
| ISBN | 3-03813-853-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Eco-Materials Processing and Design XIII; Preface and Organizing Committee; Table of Contents; A. Environment Related Materials and Photocatalysts; Effect of Solution Treatment on Microstructure and Properties of the SAF2507 Super Duplex Stainless Steel; Materials Life Cycle Assessment of Chemical Strengthening Glass Used for Touch Screen Panel; MLCA (Material Life Cycle Assessment) for ITO Recycling; Study of Resistance Characteristics of Silicon Carbide Resistor Materials; Synthesis of Sn4+ Doped TiO2 Nanotube and its Photocatalytic Activity
Removal of Isopropyl Alcohol (IPA) Using Anodized Photocatalytic Metal Membrane Reactor Treatment Performance of Low Strength Electric Wastewater Using Solid-Advanced Oxidation Processes; Photocatalytic Degradation of Humic Acid Using Ti/Anodized TiO2 Metal Plate with Fe-Doping; Fabrication of Nanosheet-Assembled Hierarchical AlOOH and γ-Al2O3 Microspheres and its Application in Water Purification; Low Temperature Molten-Salt Synthesis and Characterization of Nanocrystalline Mullite Whiskers from Coal Gangue Effect of Temperature and Carbon Contents on the Synthesis of β-SiC from Silicon Sludge by Direct Carbonization Method A Study on the Synthesis of SiC Powder from the Silicon Sludge of the Photovoltaic Industry; A Study on the Improvement of Nitrogen Removal Efficiency in Small Size Sewage Treatment Facility Utilizing Zeolite Carrier; The Rheological Properties of Konjac Glucomannan (KGM) Solution; Preparation and Application of Electrospinning Membranes of Thermoplastic Carboxymethyl Cellulose/PLA for Removal of Cu2+ from Aqueous Solutions Extraction of Polyethylene Residue Components in Soil Research of Low Cost Fracturing Proppant; Studies on Adsorption of Strontium (II) by Expanded Rice Husk; Preparation of Porous Poly(butylene succinate)(PBS)/Starch Blends for Absorption of Copper (II) Ions; The Study of Environmental Degradation Characteristics of Photodegradable Polyethylene Film; Effect of PE Film Degradation Products on the Carbon Dioxide Content of Soil: A Mathematical Study; Effect of Gelatinization on Morphology and Thermal Properties of Polyvinyl Alcohol-Corn Starch Blend Films Factors Affecting Coagulation of Phosphorus from Municipal Sewage Adsorption of Bromic Acid Ion in Water by the Reduced Titanium Oxide; B. Eco-Materials Processing and Design, Multi-functional Materials; Properties of Artificial Lightweight Aggregate by Using Magnetic Separated Bottom Ash from Coal Power Plant; Bio-Inspired Synthesis of Al2O3/Polymer Composite; Thermoelectric Properties of Manganese Monosilicide Synthesized by Mechanical Alloying Process; First-Principles Investigation on Ag, N Codoped in p-Type ZnO Characteristics of Artificial Lightweight Aggregate by Using Magnetic Separated Desulfurized Fly Ash and Dredged Soil |
| Record Nr. | UNINA-9910823007203321 |
| Durnten-Zurich, Switzerland : , : TTP, , [2012] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal Methods and Software Engineering [[electronic resource] ] : 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings / / edited by Jing Sun, Meng Sun
| Formal Methods and Software Engineering [[electronic resource] ] : 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings / / edited by Jing Sun, Meng Sun |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XXII, 474 p. 115 illus.) |
| Disciplina | 004.0151 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Computer system failures Computers Mathematical logic Special purpose computers Software Engineering Logics and Meanings of Programs System Performance and Evaluation The Computing Profession Mathematical Logic and Formal Languages Special Purpose and Application-Based Systems |
| ISBN | 3-030-02450-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Formal methods -- Verification -- Network systems -- Type theory -- Theorem proving -- Logic and semantics -- Refinement and transition systems -- Emerging applications of formal methods -- Doctoral symposium. |
| Record Nr. | UNISA-996466453403316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal Methods and Software Engineering : 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings / / edited by Jing Sun, Meng Sun
| Formal Methods and Software Engineering : 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings / / edited by Jing Sun, Meng Sun |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XXII, 474 p. 115 illus.) |
| Disciplina | 004.0151 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Computer system failures Computers Mathematical logic Special purpose computers Software Engineering Logics and Meanings of Programs System Performance and Evaluation The Computing Profession Mathematical Logic and Formal Languages Special Purpose and Application-Based Systems |
| ISBN | 3-030-02450-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Formal methods -- Verification -- Network systems -- Type theory -- Theorem proving -- Logic and semantics -- Refinement and transition systems -- Emerging applications of formal methods -- Doctoral symposium. |
| Record Nr. | UNINA-9910349397403321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal Methods and Software Engineering [[electronic resource] ] : 15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings / / edited by Lindsay Groves, Jing Sun
| Formal Methods and Software Engineering [[electronic resource] ] : 15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings / / edited by Lindsay Groves, Jing Sun |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XVIII, 466 p. 136 illus.) |
| Disciplina | 004.0151 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer programming Programming languages (Electronic computers) Algorithms Mathematical logic Computer communication systems Software Engineering Programming Techniques Programming Languages, Compilers, Interpreters Algorithm Analysis and Problem Complexity Mathematical Logic and Formal Languages Computer Communication Networks |
| ISBN | 3-642-41202-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote -- Lattices of Information for Security: Deterministic, Demonic, Probabilistic -- Specification -- Algebraic Laws for Process Subtyping -- Boundness Issues in CCSL Specifications -- Mining Dataflow Sensitive Specifications -- Proof -- A Proof Slicing Framework for Program Verification -- Formally Verified System Initialisation -- Verifying an Aircraft Proximity Characterization Method in Coq -- Testing -- Assisting Specification Refinement by Random Testing -- Generation of Checking Sequences Using Identification Sets -- The Circus Testing Theory Revisited in Isabelle/HOL -- Timed Systems -- A CSP Timed Input-Output Relation and a Strategy for Mechanised Conformance Verification -- Deadline Analysis of AUTOSAR OS Periodic Tasks in the Presence of Interrupts -- Improving Model Checking Stateful Timed CSP with non-Zenoness through Clock-Symmetry Reduction -- Concurrency -- A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems -- A UTP Semantics for Communicating Processes with Shared Variables -- Verification of Static and Dynamic Barrier Synchronization Using- Bounded Permissions -- SysML/MDD -- Formal Models of SysML Blocks -- Towards a Process Algebra Framework for Supporting Behavioural Consistency and Requirements Traceability in SysML -- Translation from Workflow Nets to MSVL -- Verification -- Asymptotic Bounds for Quantitative Verification of Perturbed Probabilistic Systems -- Verification of Functional and Non-functional Requirements of Web Service Composition -- vTRUST: A Formal Modeling and Verification Framework for Virtualization Systems -- Application -- Formal Kinematic Analysis of the Two-Link Planar Manipulator -- Formal Modelling of Resilient Data Storage in Cloud -- Linking Operational Semantics and Algebraic Semantics for Wireless Networks -- Static Analysis -- Automated Specification Discovery via User-Defined Predicates -- Path-Sensitive Data Flow Analysis Simplified -- Reconstructing Paths for Reachable Code -- The Domain of Parametric Hypercubes for Static Analysis of Computer Games Software. |
| Record Nr. | UNISA-996465768303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal Methods and Software Engineering : 15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings / / edited by Lindsay Groves, Jing Sun
| Formal Methods and Software Engineering : 15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings / / edited by Lindsay Groves, Jing Sun |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XVIII, 466 p. 136 illus.) |
| Disciplina | 004.0151 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer programming Programming languages (Electronic computers) Algorithms Mathematical logic Computer communication systems Software Engineering Programming Techniques Programming Languages, Compilers, Interpreters Algorithm Analysis and Problem Complexity Mathematical Logic and Formal Languages Computer Communication Networks |
| ISBN | 3-642-41202-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote -- Lattices of Information for Security: Deterministic, Demonic, Probabilistic -- Specification -- Algebraic Laws for Process Subtyping -- Boundness Issues in CCSL Specifications -- Mining Dataflow Sensitive Specifications -- Proof -- A Proof Slicing Framework for Program Verification -- Formally Verified System Initialisation -- Verifying an Aircraft Proximity Characterization Method in Coq -- Testing -- Assisting Specification Refinement by Random Testing -- Generation of Checking Sequences Using Identification Sets -- The Circus Testing Theory Revisited in Isabelle/HOL -- Timed Systems -- A CSP Timed Input-Output Relation and a Strategy for Mechanised Conformance Verification -- Deadline Analysis of AUTOSAR OS Periodic Tasks in the Presence of Interrupts -- Improving Model Checking Stateful Timed CSP with non-Zenoness through Clock-Symmetry Reduction -- Concurrency -- A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems -- A UTP Semantics for Communicating Processes with Shared Variables -- Verification of Static and Dynamic Barrier Synchronization Using- Bounded Permissions -- SysML/MDD -- Formal Models of SysML Blocks -- Towards a Process Algebra Framework for Supporting Behavioural Consistency and Requirements Traceability in SysML -- Translation from Workflow Nets to MSVL -- Verification -- Asymptotic Bounds for Quantitative Verification of Perturbed Probabilistic Systems -- Verification of Functional and Non-functional Requirements of Web Service Composition -- vTRUST: A Formal Modeling and Verification Framework for Virtualization Systems -- Application -- Formal Kinematic Analysis of the Two-Link Planar Manipulator -- Formal Modelling of Resilient Data Storage in Cloud -- Linking Operational Semantics and Algebraic Semantics for Wireless Networks -- Static Analysis -- Automated Specification Discovery via User-Defined Predicates -- Path-Sensitive Data Flow Analysis Simplified -- Reconstructing Paths for Reachable Code -- The Domain of Parametric Hypercubes for Static Analysis of Computer Games Software. |
| Record Nr. | UNINA-9910484857203321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 2023 6th International Conference on E-Business, Information Management and Computer Science / / Edited by Rita Yi Man Li, Jing Sun, Ben Niu, Yudong Zhang
| Proceedings of the 2023 6th International Conference on E-Business, Information Management and Computer Science / / Edited by Rita Yi Man Li, Jing Sun, Ben Niu, Yudong Zhang |
| Pubbl/distr/stampa | Association for Computing Machinery, 2023 |
| Descrizione fisica | 1 online resource (265 p.;) |
| Altri autori (Persone) |
Man LiRita Yi
SunJing NiuBen ZhangYudong |
| Collana | ACM Other conferences |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ||| |
| Altri titoli varianti | EBIMCS '23 |
| Record Nr. | UNISA-996589537703316 |
| Association for Computing Machinery, 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Proceedings of the 2023 6th International Conference on E-Business, Information Management and Computer Science / / Edited by Rita Yi Man Li, Jing Sun, Ben Niu, Yudong Zhang
| Proceedings of the 2023 6th International Conference on E-Business, Information Management and Computer Science / / Edited by Rita Yi Man Li, Jing Sun, Ben Niu, Yudong Zhang |
| Pubbl/distr/stampa | Association for Computing Machinery, 2023 |
| Descrizione fisica | 1 online resource (265 p.;) |
| Altri autori (Persone) |
Man LiRita Yi
SunJing NiuBen ZhangYudong |
| Collana | ACM Other conferences |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ||| |
| Altri titoli varianti | EBIMCS '23 |
| Record Nr. | UNINA-9910845060303321 |
| Association for Computing Machinery, 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||