Limit Search Results
Author
SpringerLink (Online service)
(175)
Rozenberg, Grzegorz. editor.
(4)
Boldyreva, Alexandra. editor.
(3)
Jatowt, Adam. editor. (orcid)0000-0001-7235-0665
(3)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(3)
Language
Publication Date
-
Subject
Software engineering.
(96)
Application software.
(84)
Artificial intelligence.
(70)
Computer organization.
(23)
Computer security.
(22)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
179 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Reversible Computation 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings
Reversible Computation 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings
Author 
Yamashita, Shigeru. editor. Minato, Shin-ichi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08494-7
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Autonomy Requirements Engineering for Space Missions
Autonomy Requirements Engineering for Space Missions
Author 
Vassev, Emil. author. Hinchey, Mike. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09816-6
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Autonomous driving algorithms and Its IC Design
Autonomous driving algorithms and Its IC Design
Author 
Ren, Jianfeng. author. Xia, Dong. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-2897-2
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Applications in Reliability and Statistical Computing
Applications in Reliability and Statistical Computing
Author 
Pham, Hoang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-21232-1
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Bilgisayar mühendisliğine giriş
Bilgisayar mühendisliğine giriş
Author 
Çölkesen, Toros Rifat. Eren, Şaban.
Preferred Shelf Number 
QA76.27 B552 2022
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
42. 
Cover image for Machine learning for iOS developers
Machine learning for iOS developers
Author 
Mishra, Abhishek, author.
Preferred Shelf Number 
Q325.5 .M57 2020
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119602927
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Bilgisayar mühendisliğine giriş
Bilgisayar mühendisliğine giriş
Author 
Çölkesen, Toros Rifat. Eren, Şaban.
Preferred Shelf Number 
QA76.27 B552 2019
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
44. 
Cover image for Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
Author 
Dillig, Isil. editor. Tasiran, Serdar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-25543-5
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Knowledge Management and Acquisition for Intelligent Systems 16th Pacific Rim Knowledge Acquisition Workshop, PKAW 2019, Cuvu, Fiji, August 26–27, 2019, Proceedings
Knowledge Management and Acquisition for Intelligent Systems 16th Pacific Rim Knowledge Acquisition Workshop, PKAW 2019, Cuvu, Fiji, August 26–27, 2019, Proceedings
Author 
Ohara, Kouzou. editor. Bai, Quan. editor. (orcid)0000-0003-1214-6317 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30639-7
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Reachability Problems 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings
Reachability Problems 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings
Author 
Filiot, Emmanuel. editor. Jungers, Raphaël. editor. Potapov, Igor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30806-3
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Social Computing and Social Media. Communication and Social Communities 11th International Conference, SCSM 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings, Part II
Social Computing and Social Media. Communication and Social Communities 11th International Conference, SCSM 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings, Part II
Author 
Meiselwitz, Gabriele. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-21905-5
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Author 
Dillig, Isil. editor. Tasiran, Serdar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-25540-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action