Limit Search Results
Author
SpringerLink (Online service)
(438)
Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X
(10)
Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758
(10)
Tetko, Igor V. editor. (orcid)0000-0002-6855-0012
(10)
Wand, Michael. editor. (orcid)0000-0003-0966-7824
(10)
Language
English
(451)
Publication Date
-
Subject
Artificial intelligence.
(186)
Computing Milieux.
(154)
Application software.
(129)
Computer networks .
(126)
Software engineering.
(107)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
451 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Transactions on Engineering Technologies World Congress on Engineering and Computer Science 2017
Transactions on Engineering Technologies World Congress on Engineering and Computer Science 2017
Author 
Ao, Sio-Iong. editor. Kim, Haeng Kon. editor. Amouzegar, Mahyar A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-2191-7
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Representation Theorems in Computer Science A Treatment in Logic Engineering
Representation Theorems in Computer Science A Treatment in Logic Engineering
Author 
Özçep, Özgür Lütfü. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-25785-9
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Advances of Science and Technology 6th EAI International Conference, ICAST 2018, Bahir Dar, Ethiopia, October 5-7, 2018, Proceedings
Advances of Science and Technology 6th EAI International Conference, ICAST 2018, Bahir Dar, Ethiopia, October 5-7, 2018, Proceedings
Author 
Zimale, Fasikaw Atanaw. editor. Enku Nigussie, Temesgen. editor. Fanta, Solomon Workneh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-15357-1
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Extending the Boundaries of Design Science Theory and Practice 14th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2019, Worcester, MA, USA, June 4–6, 2019, Proceedings
Extending the Boundaries of Design Science Theory and Practice 14th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2019, Worcester, MA, USA, June 4–6, 2019, Proceedings
Author 
Tulu, Bengisu. editor. (orcid)0000-0001-7226-1830 Djamasbi, Soussan. editor. (orcid)0000-0001-8638-8402 Leroy, Gondy. editor. (orcid)0000-0003-4751-6680 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-19504-5
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Design Science Methodology for Information Systems and Software Engineering
Design Science Methodology for Information Systems and Software Engineering
Author 
Wieringa, Roel J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-43839-8
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Transactions on Engineering Technologies Special Issue of the World Congress on Engineering and Computer Science 2013
Transactions on Engineering Technologies Special Issue of the World Congress on Engineering and Computer Science 2013
Author 
Kim, Haeng Kon. editor. Ao, Sio-Iong. editor. Amouzegar, Mahyar A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-94-017-9115-1
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Science Gateways for Distributed Computing Infrastructures Development Framework and Exploitation by Scientific User Communities
Science Gateways for Distributed Computing Infrastructures Development Framework and Exploitation by Scientific User Communities
Author 
Kacsuk, Péter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11268-8
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Handbook of logic and proof techniques for computer science
Handbook of logic and proof techniques for computer science
Author 
Krantz, Steven George, 1951-
Preferred Shelf Number 
QA 76 K723 2002
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
9. 
Cover image for A century of electrical engineering and computer science at MIT, 1882-1982
A century of electrical engineering and computer science at MIT, 1882-1982
Author 
Wildes, Karl L. Lindgren, Nilo A.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267505
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Privately and Publicly Verifiable Computing Techniques A Survey
Privately and Publicly Verifiable Computing Techniques A Survey
Author 
Demirel, Denise. author. Schabhüser, Lucas. author. Buchmann, Johannes. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-53798-6
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for The AI Act and The Agile Safety Plan
The AI Act and The Agile Safety Plan
Author 
Myklebust, Thor. author. (orcid)0000-0002-9283-092X Stålhane, Tor. author. Vatn, Dorthea Mathilde Kristin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-80504-2
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Self-restructuring in Fault Tolerant Architecture Processor Arrays with Spares
Self-restructuring in Fault Tolerant Architecture Processor Arrays with Spares
Author 
Takanami, Itsuo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-1539-1
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action