Skip to content
  • Previous online catalog
  • Gimikatalógus
  • Your Account
  • Log Out
  • Login
    • English
    • magyar
  • In Library Catalogs
  • In external databases
  • In EBSCO databases
  • In Other Databases
Advanced
  • Application and Theory of Petr...
  • Preview
  • Cite this
  • Email this
  • Export Record
    • Export to RefWorks
    • Export to EndNoteWeb
    • Export to EndNote
    • Export to BibTeX
    • Export to RIS
  • Save to List
  • Share this
    • facebook
    • google+
    • pinterest
    • twitter
Application and Theory of Petri Nets and Concurrency : 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings
QR Code
Preview
Preview
Preview

Application and Theory of Petri Nets and Concurrency : 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings

Saved in:
Bibliographic Details
Corporate Authors:
SpringerLink (Online service)
International Conference on Application and Theory of Petri Nets and Concurrency38.(2017) (Zaragoza, Spanyolország)
Other Authors:
van der Aalst, Wil, szerk.
Best, Eike, szerk.
Special Collection:e-book
Format: Book
Language:English
Published: Cham : Springer International Publishing, 2017
Series:Lecture Notes in Computer Science ; 10258
Subjects:
Logic design.
Software engineering.
szoftverfejlesztés
Computer simulation.
számítógépes szimuláció
Computer science.
számítástudomány
Artificial intelligence.
mesterséges intelligencia
Logics and Meanings of Programs.
Software Engineering.
Simulation and Modeling.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics).
elektronikus könyv
Online Access:https://doi.org/10.1007/978-3-319-57861-3
Tags: Add Tag
Be the first to tag this record!
  • Holdings
  • Description
  • Comments
  • Preview
  • Similar Items
  • Staff View
  • MARC View

Similar Items

  • Logic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings
    Published: (2017)
  • Intelligent Computer Mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
    Published: (2017)
  • Formal Techniques for Distributed Objects, Components, and Systems : 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings
    Published: (2017)
  • Automated Deduction – CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings
    Published: (2017)
  • Logic Programming and Nonmonotonic Reasoning : 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings
    Published: (2017)

Search Options

  • Search History
  • Advanced Search

Find More

  • Explore Channels
  • New Items

Need Help?

  • Search Tips
  • Videos
  • Ask a Librarian
  • Contact
Loading...