Limit Search Results
Author
SpringerLink (Online service)
(48)
Park, James J. (Jong Hyuk). editor.
(4)
Chao, Han-Chieh. editor.
(2)
Oplatkova, Zuzana Kominkova. editor.
(2)
Pan, Yi. editor.
(2)
Language
Subject
Computational intelligence.
(8)
Electronic Circuits and Systems.
(8)
Electronic circuits.
(8)
Electronics and Microelectronics, Instrumentation.
(8)
Electronics.
(8)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
49 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Author 
Baier, Christel. editor. Tinelli, Cesare. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-46681-0
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Software Engineering for Resilient Systems 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings
Software Engineering for Resilient Systems 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings
Author 
Fantechi, Alessandro. editor. Pelliccione, Patrizio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-23129-7
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part I
Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part I
Author 
Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafal. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-19324-3
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Information Security Theory and Practice 9th IFIP WG 11.2 International Conference, WISTP 2015, Heraklion, Crete, Greece, August 24-25, 2015. Proceedings
Information Security Theory and Practice 9th IFIP WG 11.2 International Conference, WISTP 2015, Heraklion, Crete, Greece, August 24-25, 2015. Proceedings
Author 
Akram, Raja Naeem. editor. Jajodia, Sushil. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-24018-3
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Intelligent Computing and Applications Proceedings of the International Conference on ICA, 22-24 December 2014
Intelligent Computing and Applications Proceedings of the International Conference on ICA, 22-24 December 2014
Author 
Mandal, Durbadal. editor. Kar, Rajib. editor. Das, Swagatam. editor. Panigrahi, Bijaya Ketan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-81-322-2268-2
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Advances in Computer Science and Ubiquitous Computing CSA & CUTE
Advances in Computer Science and Ubiquitous Computing CSA & CUTE
Author 
Park, Doo-Soon. editor. Chao, Han-Chieh. editor. Jeong, Young-Sik. editor. Park, James J. (Jong Hyuk). editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-0281-6
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Formal Modeling and Verification of Cyber-Physical Systems 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015
Formal Modeling and Verification of Cyber-Physical Systems 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015
Author 
Drechsler, Rolf. editor. Kühne, Ulrich. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-09994-7
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for A Construction Manual for Robots' Ethical Systems Requirements, Methods, Implementations
A Construction Manual for Robots' Ethical Systems Requirements, Methods, Implementations
Author 
Trappl, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-21548-8
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Technological Innovation for Cloud-Based Engineering Systems 6th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2015, Costa de Caparica, Portugal, April 13-15, 2015, Proceedings
Technological Innovation for Cloud-Based Engineering Systems 6th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2015, Costa de Caparica, Portugal, April 13-15, 2015, Proceedings
Author 
Camarinha-Matos, Luis M. editor. Baldissera, Thais A. editor. Di Orio, Giovanni. editor. Marques, Francisco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-16766-4
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Reasoning Web. Web Logic Rules 11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, Tutorial Lectures.
Reasoning Web. Web Logic Rules 11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, Tutorial Lectures.
Author 
Faber, Wolfgang. editor. Paschke, Adrian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-21768-0
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Graph Transformation 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings
Graph Transformation 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings
Author 
Parisi-Presicce, Francesco. editor. Westfechtel, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-21145-9
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Complex System Modelling and Control Through Intelligent Soft Computations
Complex System Modelling and Control Through Intelligent Soft Computations
Author 
Zhu, Quanmin. editor. Azar, Ahmad Taher. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12883-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action