Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
2 Results Found Subscribe to search results
00DEFAULT
Print
1. 
Cover image for Engineering Adaptive Software Systems Communications of NII Shonan Meetings
Engineering Adaptive Software Systems Communications of NII Shonan Meetings
Author 
Yu, Yijun. editor. Bandara, Arosha. editor. Honiden, Shinichi. editor. Hu, Zhenjiang. editor. Tamai, Tetsuo. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-2185-6
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Cafe an industrial-strength algebraic formal method
Cafe an industrial-strength algebraic formal method
Author 
Futatsugi, Kokichi. Tamai, T. (Tetsuo) Nakagawa, A. T. (Ataru T.)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444505569
Format: 
Availability 
Online Library~1
Available:
Copies: