Your search returned 10 results.

Sort
Results
1.
Linked Open Data - Creating Knowledge Out of Interlinked Data Results of the LOD2 Project by Series: Lecture Notes in Computer Science ; v.8661
Material type: Article Article; Format: available online remote
Language: English
Publication details: Cham Springer Nature 2014
Online access:
Availability: Items available for reference: Bucheon University Library: Not for loan (1)Call number: 004 L45 v.8661.

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.
Programming Languages and Systems 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings by Series: Lecture Notes in Computer Science ; v.13240
Material type: Article Article; Format: available online remote
Language: English
Publication details: Cham Springer Nature 2022
Online access:
Availability: Items available for reference: Bucheon University Library: Not for loan (1)Call number: 004 L45 v.13240.

4.
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.

5.
6.
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.

7.
Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II by Series: Lecture Notes in Computer Science ; v.13372
Material type: Article Article; Format: available online remote
Language: English
Publication details: Cham Springer Nature 2022
Online access:
Availability: Items available for reference: Bucheon University Library: Not for loan (1)Call number: 004 L45 v.13372.

8.
Cybersecurity of Digital Service Chains Challenges, Methodologies, and Tools by Series: Lecture Notes in Computer Science
Material type: Article Article; Format: available online remote
Language: English
Publication details: Cham Springer Nature 2022
Online access:
Availability: Items available for reference: Bucheon University Library: Not for loan (1)Call number: 004 L45.

9.
Algorithms for Big Data DFG Priority Program 1736 by Series: Lecture Notes in Computer Science
Material type: Article Article; Format: available online remote
Language: English
Publication details: Cham Springer Nature 2022
Online access:
Availability: Items available for reference: Bucheon University Library: Not for loan (1)Call number: 004 L45.

10.
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.

Pages