Your search returned 5 results.

Sort
Results
1.
High-Performance Modelling and Simulation for Big Data Applications Selected Results of the COST Action IC1406 cHiPSet by Series: Lecture Notes in Computer Science
Material type: Article Article; Format: available online remote
Language: English
Publication details: Springer Nature 2019
Online access:
Availability: Items available for reference: Bucheon University Library: Not for loan (1)Call number: 004.94 L45.

2.
Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings by Series: Lecture Notes in Computer Science
Material type: Article Article; Format: available online remote
Language: English
Publication details: Springer Nature 2019
Online access:
Availability: Items available for reference: Bucheon University Library: Not for loan (1)Call number: 004 L45.

3.
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I by Series: Lecture Notes in Computer Science
Material type: Article Article; Format: available online remote
Language: English
Publication details: Springer Nature 2019
Online access:
Availability: Items available for reference: Bucheon University Library: Not for loan (1)Call number: 004 L45.

4.
Principles of Security and Trust 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings by Series: Lecture Notes in Computer Science
Material type: Article Article; Format: available online remote
Language: English
Publication details: Springer Nature 2019
Online access:
Availability: Items available for reference: Bucheon University Library: Not for loan (1)Call number: 004 L45.

5.
Pages