Your search returned 3 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
The Multi-Agent Transport Simulation MATSim by
Material type: Article Article; Format: available online remote
Language: English
Publication details: Ubiquity Press 2016
Online access:
Availability: Items available for reference: Bucheon University Library: Not for loan (1)Call number: 004.94 T44.
Lists:

Add to cart
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.

Add to cart
3.
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II by Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues ; v.12225
Material type: Article Article; Format: available online remote
Language: English
Publication details: Springer Nature 2020
Online access:
Availability: Items available for reference: Bucheon University Library: Not for loan (1)Call number: 004 L45 v.12225.

Add to cart
Pages