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.
SOFSEM 2009: Theory and Practice of Computer Science [[electronic resource] ] : 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings / / edited by Mogens Nielsen, Antonin Kucera, Peter Bro Miltersen, Catuscia Palamidessi, Petr Tuma, Frank Valencia
| SOFSEM 2009: Theory and Practice of Computer Science [[electronic resource] ] : 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings / / edited by Mogens Nielsen, Antonin Kucera, Peter Bro Miltersen, Catuscia Palamidessi, Petr Tuma, Frank Valencia |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XVII, 670 p.) |
| Disciplina | 004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Database management Computer programming Electronic digital computers—Evaluation Data mining Information storage and retrieval systems Theory of Computation Database Management Programming Techniques System Performance and Evaluation Data Mining and Knowledge Discovery Information Storage and Retrieval |
| ISBN | 3-540-95891-6 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- A New Analysis of Expected Revenue -- Can Component/Service-Based Systems Be Proved Correct? -- Probabilistic Acceptors for Languages over Infinite Words -- Automatic Verification of Heap Manipulation Using Separation Logic -- Technology Diffusion in Social Networks -- Service Oriented Architecture Pitfalls -- Algorithms for Solving Infinite Games -- Randomness and Determination, from Physics and Computing towards Biology -- When Analysis Fails: Heuristic Mechanism Design via Self-correcting Procedures -- Regular Papers -- On Compositionality, Efficiency, and Applicability of Abstraction in Probabilistic Systems -- Framed Versus Unframed Two-Dimensional Languages -- Approximating Tree Edit Distance through String Edit Distance for Binary Tree Codes -- The Shortcut Problem – Complexity and Approximation -- Green Computing: Energy Consumption Optimized Service Hosting -- On the OBDD Complexity of Threshold Functions and the Variable Ordering Problem -- Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems -- Epistemic Strategies and Games on Concurrent Processes -- On Finite Bases for Weak Semantics: Failures Versus Impossible Futures -- On Generating All Maximal Acyclic Subhypergraphs with Polynomial Delay -- Time and Fairness in a Process Algebra with Non-blocking Reading -- Expressiveness of Multiple Heads in CHR -- Weaknesses of Cuckoo Hashing with a Simple Universal Hash Class: The Case of Large Universes -- A Framework for Mutant Genetic Generation for WS-BPEL -- Implementing Services by Partial State Machines -- Pattern Matching with Swaps for Short Patterns in Linear Time -- Automatic Bug Detection in Microcontroller Software by Static Program Analysis -- On the Unification of Process Semantics: Observational Semantics -- Factoring and Testing Primes in Small Space -- Adaptive Incentive-Compatible Sponsored Search Auction -- Semantically-Aided Data-Aware Service Workflow Composition -- Increasing Machine Speed in On-Line Scheduling of Weighted Unit-Length Jobs in Slotted Time -- Abstract Storage Devices -- On Stateless Deterministic Restarting Automata -- User Care Preference-Based Semantic Service Discovery in a Ubiquitous Environment -- Safe Reasoning with Logic LTS -- Partial Order Semantics of Types of Nets -- A Problem Kernelization for Graph Packing -- -Hardness of Pure Nash Equilibrium in Scheduling and Connection Games -- Conjunctive Grammars with Restricted Disjunction -- Modelling and Verifying Mobile Systems Using ?-Graphs -- On Some SAT-Variants over Linear Formulas -- The Simple Reachability Problem in Switch Graphs -- Unambiguous Erasing Morphisms in Free Monoids -- An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA -- Asynchronous Deterministic Rendezvous on the Line -- Design Validation by Symbolic Simulation and Equivalence Checking: A Case Study in Memory Optimization for Image Manipulation -- Group Input Machine -- From Outermost Termination to Innermost Termination -- Improved Algorithms for the 2-Vertex Disjoint Paths Problem -- Event-Clock Visibly Pushdown Automata -- A Machine Checked Soundness Proof for an Intermediate Verification Language -- Symbolic State-Space Generation of Asynchronous Systems Using Extensible Decision Diagrams -- Symbolic Reachability Analysis of Integer Timed Petri Nets -- On Toda’s Theorem in Structural Communication Complexity -- The Minimum Reload s-t Path/Trail/Walk Problems -- Polylog Space Compression Is Incomparable with Lempel-Ziv and Pushdown Compression -- A New Family of Regular Operators Fitting with the Position Automaton Computation -- A Formal Model of Business Application Integration from Web Services (Position Paper). |
| Record Nr. | UNINA-9910484947403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software Engineering and Formal Methods [[electronic resource] ] : 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings / / edited by Peter Csaba Ölveczky, Gwen Salaün
| Software Engineering and Formal Methods [[electronic resource] ] : 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings / / edited by Peter Csaba Ölveczky, Gwen Salaün |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XVIII, 550 p. 910 illus., 89 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Compilers (Computer programs) Computer science Electronic digital computers—Evaluation Artificial intelligence Computer simulation Software Engineering Compilers and Interpreters Theory of Computation System Performance and Evaluation Artificial Intelligence Computer Modelling |
| ISBN | 3-030-30446-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466289003316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software Engineering and Formal Methods [[electronic resource] ] : 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings / / edited by Peter Csaba Ölveczky, Gwen Salaün
| Software Engineering and Formal Methods [[electronic resource] ] : 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings / / edited by Peter Csaba Ölveczky, Gwen Salaün |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XVIII, 550 p. 910 illus., 89 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Compilers (Computer programs) Computer science Electronic digital computers—Evaluation Artificial intelligence Computer simulation Software Engineering Compilers and Interpreters Theory of Computation System Performance and Evaluation Artificial Intelligence Computer Modelling |
| ISBN | 3-030-30446-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910349282603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software Engineering and Formal Methods [[electronic resource] ] : 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings / / edited by Einar Broch Johnsen, Ina Schaefer
| Software Engineering and Formal Methods [[electronic resource] ] : 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings / / edited by Einar Broch Johnsen, Ina Schaefer |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XIV, 303 p. 98 illus.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Compilers (Computer programs) Computer programming Computers Professions Electronic digital computers—Evaluation Computer science Software Engineering Compilers and Interpreters Programming Techniques The Computing Profession System Performance and Evaluation Theory of Computation |
| ISBN | 3-319-92970-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Specification -- Concurrency -- Program analysis -- Model checking and runtime verification -- Applications -- Shape analysis and reuse. |
| Record Nr. | UNISA-996465799103316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software Engineering and Formal Methods [[electronic resource] ] : 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings / / edited by Einar Broch Johnsen, Ina Schaefer
| Software Engineering and Formal Methods [[electronic resource] ] : 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings / / edited by Einar Broch Johnsen, Ina Schaefer |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XIV, 303 p. 98 illus.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Compilers (Computer programs) Computer programming Computers Professions Electronic digital computers—Evaluation Computer science Software Engineering Compilers and Interpreters Programming Techniques The Computing Profession System Performance and Evaluation Theory of Computation |
| ISBN | 3-319-92970-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Specification -- Concurrency -- Program analysis -- Model checking and runtime verification -- Applications -- Shape analysis and reuse. |
| Record Nr. | UNINA-9910349435603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software Engineering and Formal Methods [[electronic resource] ] : 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings / / edited by Alessandro Cimatti, Marjan Sirjani
| Software Engineering and Formal Methods [[electronic resource] ] : 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings / / edited by Alessandro Cimatti, Marjan Sirjani |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XIX, 410 p. 94 illus.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Compilers (Computer programs) Computer programming Computer science Electronic digital computers—Evaluation Artificial intelligence Software Engineering Compilers and Interpreters Programming Techniques Theory of Computation System Performance and Evaluation Artificial Intelligence |
| ISBN | 3-319-66197-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466155703316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software Engineering and Formal Methods [[electronic resource] ] : 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings / / edited by Alessandro Cimatti, Marjan Sirjani
| Software Engineering and Formal Methods [[electronic resource] ] : 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings / / edited by Alessandro Cimatti, Marjan Sirjani |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XIX, 410 p. 94 illus.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Compilers (Computer programs) Computer programming Computer science Electronic digital computers—Evaluation Artificial intelligence Software Engineering Compilers and Interpreters Programming Techniques Theory of Computation System Performance and Evaluation Artificial Intelligence |
| ISBN | 3-319-66197-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910482983303321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Spatial Data and Intelligence [[electronic resource] ] : 4th International Conference, SpatialDI 2023, Nanchang, China, April 13–15, 2023, Proceedings / / edited by Xiaofeng Meng, Xiang Li, Jianqiu Xu, Xueying Zhang, Yuming Fang, Bolong Zheng, Yafei Li
| Spatial Data and Intelligence [[electronic resource] ] : 4th International Conference, SpatialDI 2023, Nanchang, China, April 13–15, 2023, Proceedings / / edited by Xiaofeng Meng, Xiang Li, Jianqiu Xu, Xueying Zhang, Yuming Fang, Bolong Zheng, Yafei Li |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (274 pages) |
| Disciplina | 910.285 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Application software
Computer networks Electronic digital computers—Evaluation Computer systems Information storage and retrieval systems Computer and Information Systems Applications Computer Communication Networks System Performance and Evaluation Computer System Implementation Information Storage and Retrieval |
| Soggetto non controllato |
Geography
Science |
| ISBN | 3-031-32910-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Traffic Management -- APADGCN: Adaptive Partial Attention Diffusion Graph Convolutional Network for Traffic Flow Forecasting -- DeepParking: Deep Learning-based Planning Method for Autonomous Parking -- Recommendations for Urban Planning based on Non-motorized Travel Data and Street Comfort -- A Composite Grid Clustering Algorithm based on Density and Balance Degree -- Visualization Analysis -- Research on the Visualization Method of Weibo User Sentiment Analysis based on IP Affiliation and Comment Content -- Village Web 3D Visualization System based on Cesium -- Spatial Big Data Analysis -- Spatial-Aware Community Search over Heterogeneous Information Networks -- Ship Classification Based on Trajectories Data and LightGBM Considering Offshore Distance Feature -- CDGCN: An Effective and Efficient Algorithm based on Community Detection for Training Deep and Large Graph Convolutional Networks -- Investigate the Relationship between Traumatic Occurrences and Socio-economic Status based on Geographic Information System (GIS): The Case of Qingpu in Shanghai, China -- Contact Query Processing based on Spatiotemporal Trajectory -- Influential Community Search over Large Heterogeneous Information Networks -- Spatiotemporal Data Mining -- Fast Mining Prevalent Co-location Patterns over Dense Spatial Datasets -- Continuous Sub-prevalent Co-location Pattern Mining -- The Abnormal Detection Method of Ship Trajectory with Adaptive Transformer Model based on Migration Learning -- Spatiotemporal Data Storage -- A Comparative Study of Row and Column Storage for Time Series Data -- LOACR: A Cache Replacement Method Based on Loop Assist -- Metaverse -- Unifying Reality and Virtuality: Constructing a Cohesive Metaverse Using Complex Numbers. |
| Record Nr. | UNINA-9910726290903321 |
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Spatial Data and Intelligence [[electronic resource] ] : 4th International Conference, SpatialDI 2023, Nanchang, China, April 13–15, 2023, Proceedings / / edited by Xiaofeng Meng, Xiang Li, Jianqiu Xu, Xueying Zhang, Yuming Fang, Bolong Zheng, Yafei Li
| Spatial Data and Intelligence [[electronic resource] ] : 4th International Conference, SpatialDI 2023, Nanchang, China, April 13–15, 2023, Proceedings / / edited by Xiaofeng Meng, Xiang Li, Jianqiu Xu, Xueying Zhang, Yuming Fang, Bolong Zheng, Yafei Li |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (274 pages) |
| Disciplina | 910.285 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Application software
Computer networks Electronic digital computers—Evaluation Computer systems Information storage and retrieval systems Computer and Information Systems Applications Computer Communication Networks System Performance and Evaluation Computer System Implementation Information Storage and Retrieval |
| Soggetto non controllato |
Geography
Science |
| ISBN | 3-031-32910-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Traffic Management -- APADGCN: Adaptive Partial Attention Diffusion Graph Convolutional Network for Traffic Flow Forecasting -- DeepParking: Deep Learning-based Planning Method for Autonomous Parking -- Recommendations for Urban Planning based on Non-motorized Travel Data and Street Comfort -- A Composite Grid Clustering Algorithm based on Density and Balance Degree -- Visualization Analysis -- Research on the Visualization Method of Weibo User Sentiment Analysis based on IP Affiliation and Comment Content -- Village Web 3D Visualization System based on Cesium -- Spatial Big Data Analysis -- Spatial-Aware Community Search over Heterogeneous Information Networks -- Ship Classification Based on Trajectories Data and LightGBM Considering Offshore Distance Feature -- CDGCN: An Effective and Efficient Algorithm based on Community Detection for Training Deep and Large Graph Convolutional Networks -- Investigate the Relationship between Traumatic Occurrences and Socio-economic Status based on Geographic Information System (GIS): The Case of Qingpu in Shanghai, China -- Contact Query Processing based on Spatiotemporal Trajectory -- Influential Community Search over Large Heterogeneous Information Networks -- Spatiotemporal Data Mining -- Fast Mining Prevalent Co-location Patterns over Dense Spatial Datasets -- Continuous Sub-prevalent Co-location Pattern Mining -- The Abnormal Detection Method of Ship Trajectory with Adaptive Transformer Model based on Migration Learning -- Spatiotemporal Data Storage -- A Comparative Study of Row and Column Storage for Time Series Data -- LOACR: A Cache Replacement Method Based on Loop Assist -- Metaverse -- Unifying Reality and Virtuality: Constructing a Cohesive Metaverse Using Complex Numbers. |
| Record Nr. | UNISA-996534465303316 |
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Structured Object-Oriented Formal Language and Method [[electronic resource] ] : 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers / / edited by Zhenhua Duan, Shaoying Liu, Cong Tian, Fumiko Nagoya
| Structured Object-Oriented Formal Language and Method [[electronic resource] ] : 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers / / edited by Zhenhua Duan, Shaoying Liu, Cong Tian, Fumiko Nagoya |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (VIII, 197 p. 107 illus., 33 illus. in color.) |
| Disciplina | 004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Artificial intelligence Electronic digital computers—Evaluation Computer science Computer simulation Computers Software Engineering Artificial Intelligence System Performance and Evaluation Theory of Computation Computer Modelling Computing Milieux |
| ISBN | 3-030-13651-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Programming and testing -- Verification and validation -- Semantics -- Blockchain. |
| Record Nr. | UNISA-996466442803316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
