Entdecke #BookTok

044 209 91 25 079 869 90 44

lesestoff-big

Die Merkliste ist leer.

Der Warenkorb ist leer.

Kostenloser Versand möglich

Registrieren Passwort vergessen?

Kostenloser Versand möglich

Bitte warten - die Druckansicht der Seite wird vorbereitet.

Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Druckansicht verlassenErneut drucken

lesestoff-big

Application and Theory of Petri Nets and Concurrency

Application and Theory of Petri Nets and Concurrency

ISBN/GTIN

Application and Theory of Petri Nets and Concurrency

43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19¿24, 2022, Proceedings

von

Petrucci, LaureHrsg.Bernardinello, LucaHrsg.

BuchKartoniert, Paperback

Verkaufsrang54700inTechnik

CHF106.00

In den Warenkorb

Beschreibung

This book constitutes the proceedings of the 43rd International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2022, which was held virtually in June 2021.

The 19 full papers presented in this volume were carefully reviewed and selected from 35 submissions. The papers are categorized into the following topical sub-headings: application of concurrency to system design; timed models; tools; applications; synthesis; petri nets architecture; and process mining.

Weitere Beschreibungen

Details

ISBN/GTIN978-3-031-06652-8

ProduktartBuch

EinbandKartoniert, Paperback

VerlagSpringer International Publishing

ErscheinungslandDeutschland

Erscheinungsdatum30.05.2022

Auflage1st ed. 2022

ReiheLecture Notes in Computer Science

Reihen-Nr.13288

Seiten412 Seiten

SpracheEnglisch

MasseBreite 155 mm, Höhe 235 mm, Dicke 23 mm

Gewicht622 g

Artikel-Nr.22004525

KatalogBuchzentrum

Datenquelle-Nr.39026154

WarengruppeTechnik

Weitere Details

Reihe

Computing Methods in Applied Sciences and Engineering

Graphtheoretic Concepts in Computer Science

Computer Science Today

Computing and Software Science

Efficient Checking of Polynomials and Proofs and the Hardness of Approximation Problems

Computability and Complexity

Runtime Verification

Disconnected Operation in a Distributed File System

Transactions on Rough Sets XX

Logics in Artificial Intelligence

Knowledge Engineering and Knowledge Management

Product-Focused Software Process Improvement

Structural, Syntactic, and Statistical Pattern Recognition

AI*IA 2016 Advances in Artificial Intelligence

Algorithms and Computations

Web Information Systems Engineering - WISE 2016

Big Data Benchmarking

Software Configuration Management

Cryptology and Network Security

Digital Heritage. Progress in Cultural Heritage: Documentation, Preservation, and Protection

Information Systems and Data Management

Advances in Services Computing

Security, Privacy, and Anonymity in Computation, Communication, and Storage

Integrity Primitives for Secure Information Systems

Advances in Visual Computing

Advances in Visual Computing

Fast Software Encryption

Digital Forensics and Watermarking

KORSO: Methods, Languages, and Tools for the Construction of Correct Software

Knowledge Representation for Health Care

Data Analytics for Renewable Energy Integration

Boolean Calculus of Differences

Social Information Access

Swarm Intelligence Based Optimization

Euro-Par 2016: Parallel Processing Workshops

Cyber Physical Systems. Design, Modeling, and Evaluation

Computer Vision - ACCV 2016

SOFSEM '95: Theory and Practice of Informatics

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIX

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications

Spectral and Shape Analysis in Medical Imaging

Deductive and Object-Oriented Databases

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXX

Smart Computing and Communication

Spatial Representation and Motion Planning

Verification, Model Checking, and Abstract Interpretation

Human-Computer Interaction

Numerical Software Verification

Active Visual Inference of Surface Shape

Security of Industrial Control Systems and Cyber-Physical Systems

Latent Variable Analysis and Signal Separation

Graph-Theoretic Concepts in Computer Science

Computer-Assisted and Robotic Endoscopy

Evolutionary Multi-Criterion Optimization

Public-Key Cryptography - PKC 2017

Database Systems for Advanced Applications

Database Systems for Advanced Applications

Network and Operating Systems Support for Digital Audio and Video

Theory and Applications of Models of Computation

Numerical Analysis and Its Applications

Understanding Human Activities Through 3D Sensors

Tools and Algorithms for the Construction and Analysis of Systems

Intelligent Information and Database Systems

Advances in Information Retrieval

On the Integration of Algebraic Functions

Foundations of Software Science and Computation Structures

Tools and Algorithms for the Construction and Analysis of Systems

Multi-Agent Systems and Agreement Technologies

OOER '95 Object-Oriented and Entity-Relationship Modeling

Advances in Cryptology - EUROCRYPT 2017

Functional Programming Languages in Education

Algorithms, Concurrency and Knowledge

Green, Pervasive, and Cloud Computing

Image Analysis Applications and Computer Graphics

Artificial Intelligence and Soft Computing

The Semantic Web

Cryptography and Coding

Wireless Algorithms, Systems, and Applications

Pattern Recognition and Image Analysis

Foundations of Software Technology and Theoretical Computer Science

Natural Language Processing and Information Systems

Functional Imaging and Modelling of the Heart

Image Analysis

Graph Drawing

Human-Computer Interaction. User Interface Design, Development and Multimodality

Human-Computer Interaction. Interaction Contexts

Human Interface and the Management of Information: Information, Knowledge and Interaction Design

Human Interface and the Management of Information: Supporting Learning, Decision-Making and Collaboration

Universal Access in Human-Computer Interaction. Design and Development Approaches and Methods

Electronic Commerce

Cross-Cultural Design

Augmented Cognition. Neurocognition and Machine Learning

Augmented Cognition. Enhancing Cognition and Behavior in Complex Human Environments

Cryptography: Policy and Algorithms

Distributed, Ambient and Pervasive Interactions

Human Aspects of Information Security, Privacy and Trust

Human Aspects of IT for the Aged Population. Aging, Design and User Experience

Human Aspects of IT for the Aged Population. Applications, Services and Contexts

Directions in Human Factors for Interactive Systems

Computer Aided Systems Theory - EUROCAST '95

Über den/die AutorIn

Petrucci, LaureHrsg.Bernardinello, LucaHrsg.

Weitere Produkte von Petrucci, Laure

Hrsg.

Formal Modeling and Analysis of Timed Systems

Distibuted Systems

Distibuted Systems

Distibuted Systems

Models and Analysis for Distributed Systems

Models and Analysis for Distributed Systems

Models and Analysis for Distributed Systems

Critical Systems: Formal Methods and Automated Verification

Application and Theory of Petri Nets

Critical Systems: Formal Methods and Automated Verification

Méthodes formelles pour les systèmes répartis et coopératifs