Limit Search Results
Author
SpringerLink (Online service)
(1267)
Wiley InterScience (Online service)
(19)
Apduhan, Bernady O. editor.
(17)
Stephanidis, Constantine. editor.
(13)
Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X
(12)
Language
Publication Date
-
Subject
Computer communication systems.
(469)
User interfaces (Computer systems).
(347)
Artificial intelligence.
(340)
Application software.
(317)
Software engineering.
(146)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
1971 Results Found Subscribe to search results
000000000000DEFAULT
Print
145. 
Cover image for New Results in Dependability and Computer Systems Proceedings of the 8th International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, September 9-13, 2013, Brunów, Poland
New Results in Dependability and Computer Systems Proceedings of the 8th International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, September 9-13, 2013, Brunów, Poland
Author 
Zamojski, Wojciech. editor. Mazurkiewicz, Jacek. editor. Sugier, Jarosław. editor. Walkowiak, Tomasz. editor. Kacprzyk, Janusz. editor.
Preferred Shelf Number 
ONLINE(332820.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-00945-2
Format: 
Availability 
Online Library~1
Available:
Copies:
146. 
Cover image for Information Sciences and Systems 2013 Proceedings of the 28th International Symposium on Computer and Information Sciences
Information Sciences and Systems 2013 Proceedings of the 28th International Symposium on Computer and Information Sciences
Author 
Gelenbe, Erol. editor. Lent, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332878.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-01604-7
Format: 
Availability 
Online Library~1
Available:
Copies:
147. 
Cover image for Proceedings of the 8th International Conference on Computer Recognition Systems CORES 2013
Proceedings of the 8th International Conference on Computer Recognition Systems CORES 2013
Author 
Burduk, Robert. editor. Jackowski, Konrad. editor. Kurzynski, Marek. editor. Wozniak, Michał. editor. Zolnierek, Andrzej. editor.
Preferred Shelf Number 
ONLINE(332823.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-00969-8
Format: 
Availability 
Online Library~1
Available:
Copies:
148. 
Cover image for Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures
Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures
Author 
Bernardo, Marco. editor. Vink, Erik. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334688.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38874-3
Format: 
Availability 
Online Library~1
Available:
Copies:
149. 
Cover image for Computer Aided Systems Theory - EUROCAST 2013 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013. Revised Selected Papers, Part II
Computer Aided Systems Theory - EUROCAST 2013 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013. Revised Selected Papers, Part II
Author 
Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335220.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-53862-9
Format: 
Availability 
Online Library~1
Available:
Copies:
150. 
Cover image for Computer Information Systems and Industrial Management 12th IFIP TC8 International Conference, CISIM 2013, Krakow, Poland, September 25-27, 2013. Proceedings
Computer Information Systems and Industrial Management 12th IFIP TC8 International Conference, CISIM 2013, Krakow, Poland, September 25-27, 2013. Proceedings
Author 
Saeed, Khalid. editor. Chaki, Rituparna. editor. Cortesi, Agostino. editor. Wierzchoń, Sławomir. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335029.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40925-7
Format: 
Availability 
Online Library~1
Available:
Copies:
151. 
Cover image for Computer Aided Systems Theory - EUROCAST 2013 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013, Revised Selected Papers, Part I
Computer Aided Systems Theory - EUROCAST 2013 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013, Revised Selected Papers, Part I
Author 
Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335219.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-53856-8
Format: 
Availability 
Online Library~1
Available:
Copies:
152. 
Cover image for Formal Methods for Model-Driven Engineering 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures
Formal Methods for Model-Driven Engineering 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures
Author 
Bernardo, Marco. editor. Cortellessa, Vittorio. editor. Pierantonio, Alfonso. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30982-3
Format: 
Availability 
Online Library~1
Available:
Copies:
153. 
Cover image for Intelligent Computer Mathematics 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings
Intelligent Computer Mathematics 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings
Author 
Jeuring, Johan. editor. Campbell, John A. editor. Carette, Jacques. editor. Reis, Gabriel. editor. Sojka, Petr. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31374-5
Format: 
Availability 
Online Library~1
Available:
Copies:
154. 
Cover image for Computer Information Systems and Industrial Management 11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012. Proceedings
Computer Information Systems and Industrial Management 11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012. Proceedings
Author 
Cortesi, Agostino. editor. Chaki, Nabendu. editor. Saeed, Khalid. editor. Wierzchoń, Sławomir. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33260-9
Format: 
Availability 
Online Library~1
Available:
Copies:
155. 
Cover image for Advances in Future Computer and Control Systems Volume 1
Advances in Future Computer and Control Systems Volume 1
Author 
Jin, David. editor. Lin, Sally. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29387-0
Format: 
Availability 
Online Library~1
Available:
Copies:
156. 
Cover image for Advances in Future Computer and Control Systems Volume 2
Advances in Future Computer and Control Systems Volume 2
Author 
Jin, David. editor. Lin, Sally. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29390-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action