서울대학교 빅데이터 지식정보플랫폼
전체 메뉴
AI 검색
최근 확인한 콘텐츠
16건 더보기
loading...
반출리포트 생성
논문 목록
연관 콘텐츠
LikeSNU에서 의미기반으로 분석하여 연관된 자료를 추천해드립니다.
-
Measures of effectiveness for the information-age Navy : the effects of network-centric operations on combat outcomes
-
Distributed algorithms : 10th international workshop, WDAG '96, Bologna, Italy, October 9-11, 1996 : proceedings
-
Compositional verification of concurrent and real-time systems
-
Recent developments in decision support systems
-
Distributed real-time systems : monitoring, visualization, debugging, and analysis
-
Information support and aircraft flight management
-
FME '96, industrial benefit and advances in formal methods : Third International Symposium of Formal Methods Europe co-sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996 : proceedings
-
Validation of communications systems with SDL : the art of SDL simulation and reachability analysis
-
Recent advances in multi-state systems reliability : theory and applications
-
Parallel and distributed simulation systems
-
Cyber Security Cryptography and Machine Learning : 5th International Symposium, CSCML 2021, Be'er Sheva, Israel, July 8–9, 2021, Proceedings
-
Communication-based systems : proceedings of the 3rd international workshop held at the TU Berlin, Germany, 31 March-1 April 2000
-
Distributed algorithms : 9th international workshop, WDAG '95, Le Mont-Saint-Michel, France, September 13-15, 1995 : proceedings
-
Wireless sensors in industrial time-critical environments
-
Defense transportation : algorithms, models, and applications for the 21st century
-
Software failure investigation
-
Dependable computing--EDCC-2 : second European Dependable Computing Conference, Taormina, Italy, October 2-4, 1996 : proceedings
-
Advances in delay-tolerant networks (dtns) : architecture and enhanced performance
-
Mission-critical and safety-critical systems handbook : design and development for embedded applications
-
ESEC '89 : proceedings
이전
다음
이전
다음