It looks like you're offline.
Donate
English (en) Change Website Language
Open Library logo
additional options menu
Last edited by ImportBot
April 27, 2020 | History
Edit

Erika Ábrahám

We need a photo of Erika Ábrahám

4 works Add another?

Showing all works by author. Would you like to see only ebooks?

  • Cover of: Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

    First published in 2016 — 2 editions
    Locate

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Formal Techniques for Distributed Objects, Components, and Systems: 34th IFIP WG 6. 1 International Conference, FORTE 2014, Held As Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings

    First published in 2014 — 2 editions
    Locate

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Quantitative Evaluation of Systems: 19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022, Proceedings

    First published in 2022 — 1 edition
    Locate

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Theoretical Aspects of Computing - ICTAC 2023: 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings

    First published in 2023 — 1 edition
    Locate

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
We need a photo of Erika Ábrahám

Subjects

Software engineering, Computation by Abstract Devices, Computer network protocols, Computer science, Electronic data processing, distributed processing, Logic design, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Mathematics, System design

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL7846564A

Links outside Open Library

No links yet. Add one?

History

Download catalog record: RDF / JSON
April 27, 2020 Created by ImportBot import new book