Limit Search Results
Author
SpringerLink (Online service)
(62)
Hawari, Kamarul Bin Ghazali. editor.
(4)
Lingras, Pawan. editor.
(4)
Luhach, Ashish Kumar. editor.
(4)
Kultsova, Marina. editor. (orcid)0000-0002-2584-431X
(3)
Language
Publication Date
-
2019
(47)
2014
(15)
2007
(1)
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
63 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
Cover image for ABZ 2014: The Landing Gear Case Study Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings
ABZ 2014: The Landing Gear Case Study Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings
Author 
Boniol, Frederic. editor. Wiels, Virginie. editor. Ait Ameur, Yamine. editor. Schewe, Klaus-Dieter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07512-9
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for HCI International 2014 - Posters' Extended Abstracts International Conference, HCI International 2014, Heraklion, Crete, June 22-27, 2014. Proceedings, Part I
HCI International 2014 - Posters' Extended Abstracts International Conference, HCI International 2014, Heraklion, Crete, June 22-27, 2014. Proceedings, Part I
Author 
Stephanidis, Constantine. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07857-1
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for HCI International 2014 - Posters' Extended Abstracts International Conference, HCI International 2014, Heraklion, Crete, June 22-27, 2014. Proceedings, Part II
HCI International 2014 - Posters' Extended Abstracts International Conference, HCI International 2014, Heraklion, Crete, June 22-27, 2014. Proceedings, Part II
Author 
Stephanidis, Constantine. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07854-0
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Parallel Computational Fluid Dynamics 25th International Conference, ParCFD 2013, Changsha, China, May 20-24, 2013. Revised Selected Papers
Parallel Computational Fluid Dynamics 25th International Conference, ParCFD 2013, Changsha, China, May 20-24, 2013. Revised Selected Papers
Author 
Li, Kenli. editor. Xiao, Zheng. editor. Wang, Yan. editor. Du, Jiayi. editor. Li, Keqin. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-53962-6
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Process Design for Natural Scientists An Agile Model-Driven Approach
Process Design for Natural Scientists An Agile Model-Driven Approach
Author 
Lamprecht, Anna-Lena. editor. Margaria, Tiziana. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45006-2
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Computer Games Workshop on Computer Games, CGW 2013, Held in Conjunction with the 23rd International Conference on Artificial Intelligence, IJCAI 2013, Beijing, China, August 3, 2013, Revised Selected Papers
Computer Games Workshop on Computer Games, CGW 2013, Held in Conjunction with the 23rd International Conference on Artificial Intelligence, IJCAI 2013, Beijing, China, August 3, 2013, Revised Selected Papers
Author 
Cazenave, Tristan. editor. (orcid)0000-0003-4669-9374 Winands, Mark H.M. editor. Iida, Hiroyuki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-05428-5
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Computer Games Third Workshop on Computer Games, CGW 2014, Held in Conjunction with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18, 2014, Revised Selected Papers
Computer Games Third Workshop on Computer Games, CGW 2014, Held in Conjunction with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18, 2014, Revised Selected Papers
Author 
Cazenave, Tristan. editor. (orcid)0000-0003-4669-9374 Winands, Mark H.M. editor. (orcid)0000-0002-0125-0824 Björnsson, Yngvi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-14923-3
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers
Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers
Author 
Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-05416-2
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Advances in Image and Graphics Technologies Chinese Conference, IGTA 2014, Beijing, China, June 19-20, 2014. Proceedings
Advances in Image and Graphics Technologies Chinese Conference, IGTA 2014, Beijing, China, June 19-20, 2014. Proceedings
Author 
Tan, Tieniu. editor. Ruan, Qiuqi. editor. Wang, Shengjin. editor. Ma, Huimin. editor. Huang, Kaiqi. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45498-5
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Machine Translation 10th China Workshop, CWMT 2014, Macau, China, November 4-6, 2014. Proceedings
Machine Translation 10th China Workshop, CWMT 2014, Macau, China, November 4-6, 2014. Proceedings
Author 
Shi, Xiaodong. editor. Chen, Yidong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45701-6
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for AsiaSim 2014 14th International Conference on Systems Simulation, Kitakyushu, Japan, October 26-30, 2014. Proceedings
AsiaSim 2014 14th International Conference on Systems Simulation, Kitakyushu, Japan, October 26-30, 2014. Proceedings
Author 
Tanaka, Satoshi. editor. Hasegawa, Kyoko. editor. Xu, Rui. editor. Sakamoto, Naohisa. editor. Turner, Stephen John. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45289-9
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Beyond Databases, Architectures, and Structures 10th International Conference, BDAS 2014, Ustron, Poland, May 27-30, 2014. Proceedings
Beyond Databases, Architectures, and Structures 10th International Conference, BDAS 2014, Ustron, Poland, May 27-30, 2014. Proceedings
Author 
Kozielski, Stanislaw. editor. Mrozek, Dariusz. editor. (orcid)0000-0001-6764-6656 Kasprowski, Pawel. editor. Małysiak-Mrozek, Bożena. editor. Kostrzewa, Daniel. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-06932-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action