Limit Search Results
Author
SpringerLink (Online service)
(71)
Apduhan, Bernady O. editor.
(6)
Gervasi, Osvaldo. editor.
(5)
Higashino, Teruo. editor.
(4)
Liu, Shaoying. editor.
(4)
Language
Publication Date
-
Subject
Computer science.
(58)
Computer Communication Networks.
(40)
Artificial intelligence.
(28)
Logic design.
(18)
Information systems.
(16)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
71 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Requirements Engineering Toward Sustainable World Third Asia-Pacific Symposium, APRES 2016, Nagoya, Japan, November 10-12, 2016, Proceedings
Requirements Engineering Toward Sustainable World Third Asia-Pacific Symposium, APRES 2016, Nagoya, Japan, November 10-12, 2016, Proceedings
Author 
Lee, Seok-Won. editor. (orcid)0000-0002-8569-0236 Nakatani, Takako. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-3256-1
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Advances in Conceptual Modeling ER 2016 Workshops, AHA, MoBiD, MORE-BI, MReBA, QMMQ, SCME, and WM2SP, Gifu, Japan, November 14-17, 2016, Proceedings
Advances in Conceptual Modeling ER 2016 Workshops, AHA, MoBiD, MORE-BI, MReBA, QMMQ, SCME, and WM2SP, Gifu, Japan, November 14-17, 2016, Proceedings
Author 
Link, Sebastian. editor. Trujillo, Juan C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-47717-6
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings
Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings
Author 
Codish, Michael. editor. Sumii, Eijiro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07151-0
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Reversible Computation 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings
Reversible Computation 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings
Author 
Yamashita, Shigeru. editor. Minato, Shin-ichi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08494-7
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings
Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings
Author 
Higashino, Teruo. editor. Katayama, Yoshiaki. editor. Masuzawa, Toshimitsu. editor. Potop-Butucaru, Maria. editor. Yamashita, Masafumi. editor.
Preferred Shelf Number 
ONLINE(332964.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03089-0
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Languages and Compilers for Parallel Computing 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers
Languages and Compilers for Parallel Computing 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers
Author 
Kasahara, Hironori. editor. Kimura, Keiji. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334469.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37658-0
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers
Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers
Author 
Liu, Shaoying. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334772.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39277-1
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Algorithms and Architectures for Parallel Processing 12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012, Proceedings, Part II
Algorithms and Architectures for Parallel Processing 12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012, Proceedings, Part II
Author 
Xiang, Yang. editor. Stojmenovic, Ivan. editor. Apduhan, Bernady O. editor. Wang, Guojun. editor. Nakano, Koji. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33065-0
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Algorithms and Architectures for Parallel Processing 12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012, Proceedings, Part I
Algorithms and Architectures for Parallel Processing 12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012, Proceedings, Part I
Author 
Xiang, Yang. editor. Stojmenovic, Ivan. editor. Apduhan, Bernady O. editor. Wang, Guojun. editor. Nakano, Koji. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33078-0
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Formal Methods and Software Engineering 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings
Formal Methods and Software Engineering 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings
Author 
Aoki, Toshiaki. editor. Taguchi, Kenji. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34281-3
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Simulation, Modeling, and Programming for Autonomous Robots Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012. Proceedings
Simulation, Modeling, and Programming for Autonomous Robots Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012. Proceedings
Author 
Noda, Itsuki. editor. Ando, Noriaki. editor. Brugali, Davide. editor. Kuffner, James J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34327-8
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Functional and Logic Programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings
Functional and Logic Programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings
Author 
Schrijvers, Tom. editor. Thiemann, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29822-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action