Limit Search Results
Author
IEEE Computer Society.
(8)
SpringerLink (Online service)
(8)
Wiley InterScience (Online service)
(5)
Jansen, Nils. editor. (orcid)0000-0003-1318-8973
(3)
Jat, Dharm Singh. editor.
(3)
Language
Publication Date
-
Subject
Electronic books.
(22)
Software engineering.
(9)
Computational intelligence.
(5)
Artificial intelligence.
(3)
Computer Science Logic and Foundations of Programming.
(3)
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
13. 
Cover image for Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I
Author 
Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75783-9
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Data Science and Big Data Analytics Proceedings of IDBA 2024
Data Science and Big Data Analytics Proceedings of IDBA 2024
Author 
Mishra, Durgesh. editor. Yang, Xin-She. editor. Unal, Aynur. editor. Jat, Dharm Singh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-9855-1
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Data Science and Big Data Analytics Proceedings of IDBA 2025, Volume 2
Data Science and Big Data Analytics Proceedings of IDBA 2025, Volume 2
Author 
Mishra, Durgesh. editor. Yang, Xin She. editor. (orcid)0000-0001-8231-5556 Unal, Aynur. editor. Jat, Dharm Singh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-032-05373-2
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III
Author 
Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75778-5
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Data Science and Big Data Analytics Proceedings of IDBA 2023
Data Science and Big Data Analytics Proceedings of IDBA 2023
Author 
Mishra, Durgesh. editor. Yang, Xin She. editor. (orcid)0000-0001-8231-5556 Unal, Aynur. editor. Jat, Dharm Singh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-9179-2
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Software technology : 10 years of innovation in IEEE Computer
Software technology : 10 years of innovation in IEEE Computer
Author 
Hinchey, Michael G. (Michael Gerard), 1969- editor.
Preferred Shelf Number 
QA76.758
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119174240
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Assured cloud computing
Assured cloud computing
Author 
Campbell, Roy Harold, editor. Kamhoua, Charles A., editor. Kwiat, Kevin A., editor.
Preferred Shelf Number 
QA76.585 .A87 2018 EB
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119428497
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Soft Computing Applications Proceedings of the 6th International Workshop Soft Computing Applications (SOFA 2014), Volume 2
Soft Computing Applications Proceedings of the 6th International Workshop Soft Computing Applications (SOFA 2014), Volume 2
Author 
Balas, Valentina Emilia. editor. Jain, Lakhmi C. editor. Kovačević, Branko. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-18416-6
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Soft Computing Applications Proceedings of the 6th International Workshop Soft Computing Applications (SOFA 2014), Volume 1
Soft Computing Applications Proceedings of the 6th International Workshop Soft Computing Applications (SOFA 2014), Volume 1
Author 
Balas, Valentina Emilia. editor. C. Jain, Lakhmi. editor. Kovačević, Branko. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-18296-4
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for The principles of electronic and electromechanic power conversion : a systems approach
The principles of electronic and electromechanic power conversion : a systems approach
Author 
Ferreira, Braham, 1958- Van der Merwe, Wim, 1977-
Preferred Shelf Number 
TK7881.15 F47 2014
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
23. 
Cover image for Computing handbook : computer science and software engineering
Computing handbook : computer science and software engineering
Author 
Tucker, Allen B., editor. Gonzalez, Teofilo F., editor. Diaz-Herrera, Jorge L., 1950- editor.
Preferred Shelf Number 
QA76 .C57315 2014
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Music navigation with symbols and layers toward content browsing with IEEE 1599 XML encoding
Music navigation with symbols and layers toward content browsing with IEEE 1599 XML encoding
Author 
Baggi, Denis. Haus, Goffredo.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6497235
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action