Limit Search Results
Author
SpringerLink (Online service)
(281)
Barolli, Leonard. editor.
(14)
Bernardo, Marco. editor.
(12)
Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382
(6)
Bhateja, Vikrant. editor. (orcid)0000-0002-3259-8874
(6)
Language
Publication Date
-
Subject
Artificial intelligence.
(93)
Computational intelligence.
(69)
Software engineering.
(62)
Human-computer interaction.
(57)
Computer networks .
(54)
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
472 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Software Design for Resilient Computer Systems
Software Design for Resilient Computer Systems
Author 
Schagaev, Igor. author. Gutknecht, Jürg. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-55139-0
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Software Design for Resilient Computer Systems
Software Design for Resilient Computer Systems
Author 
Schagaev, Igor. author. Thomas, Kaegi. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-29465-0
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Design and Applications of Emerging Computer Systems
Design and Applications of Emerging Computer Systems
Author 
Liu, Weiqiang. editor. Han, Jie. editor. Lombardi, Fabrizio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-42478-6
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Computer-aided drug design and delivery systems
Computer-aided drug design and delivery systems
Author 
Nag, Ahindra. Dey, Baishakhi.
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Computer aided design, engineering, and manufacturing : systems techniques and applications
Computer aided design, engineering, and manufacturing : systems techniques and applications
Author 
Leondes, Cornelius T.
Preferred Shelf Number 
TS155.6 .C6455 2001
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9780367802370
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Artificial Intelligence Algorithm Design for Systems Proceedings of 13th Computer Science Online Conference 2024, Volume 3
Artificial Intelligence Algorithm Design for Systems Proceedings of 13th Computer Science Online Conference 2024, Volume 3
Author 
Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-70518-2
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Computer Systems Digital Design, Fundamentals of Computer Architecture and Assembly Language
Computer Systems Digital Design, Fundamentals of Computer Architecture and Assembly Language
Author 
Elahi, Ata. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66775-1
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Self-Regulation in Activity Theory : Applied Work Design for Human-Computer and Human-Machine Systems
Self-Regulation in Activity Theory : Applied Work Design for Human-Computer and Human-Machine Systems
Author 
Bedny, Gregory Z., author. Karwowski, Waldemar, author. Bedny, Inna, author.
Preferred Shelf Number 
TA166 .B436 2018
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/e/9781466569355
Taylor & Francis https://www.taylorfrancis.com/books/9780429188145
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
Author 
Bernardo, Marco. editor. De Nicola, Rocco. editor. Hillston, Jane. editor. (orcid)0000-0003-4914-9255 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-34096-8
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Intelligent Computer Systems in Engineering Design Principles and Applications
Intelligent Computer Systems in Engineering Design Principles and Applications
Author 
Sunnersjö, Staffan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-28125-4
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Applying systemic-structural activity theory to design of human-computer interaction systems
Applying systemic-structural activity theory to design of human-computer interaction systems
Author 
Bedny, Gregory Z., author. Karwowski, Waldemar, 1953- author. Bedny, Inna, author.
Preferred Shelf Number 
QA76.9 .H85 B434 2015
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures
Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures
Author 
Bernardo, Marco. editor. Johnsen, Einar Broch. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-18941-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action