Limit Search Results
Author
SpringerLink (Online service)
(8)
Jansen, Nils. editor. (orcid)0000-0003-1318-8973
(3)
Jat, Dharm Singh. editor.
(3)
Junges, Sebastian. editor. (orcid)0000-0003-0978-8466
(3)
Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324
(3)
Publication Date
-
Subject
Computational intelligence.
(5)
Electronic books.
(4)
Artificial intelligence.
(3)
Computer Science Logic and Foundations of Programming.
(3)
Computer science.
(3)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
26 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Discovering knowledge in data : an introduction to data mining
Discovering knowledge in data : an introduction to data mining
Author 
Larose, Daniel T., author. Larose, Chantal D., author. IEEE Computer Society.
Preferred Shelf Number 
ONLINE(341929.1)
Electronic Access 
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1699137
John Wiley http://dx.doi.org/10.1002/9781118874059
Books24x7 http://www.books24x7.com/marc.asp?bookid=63521
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Proceedings : IEEE 2001 Symposium on Parallel and Large-Data Visualization and Graphics : San Diego, California, October 22-23, 2001
Proceedings : IEEE 2001 Symposium on Parallel and Large-Data Visualization and Graphics : San Diego, California, October 22-23, 2001
Author 
Symposium on Parallel and Large-Data Visualization and Graphics (2001 : San Diego, Calif.) Breen, David. Heirich, Alan. Koning, Anton. Spencer, Stephen N., ed.
Preferred Shelf Number 
T 385 S977 2001
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
3. 
Cover image for SLIP 2001 : 2001 International Workshop on System-Level Interconnect Prediction ; Sonoma, California, USA March 31-April 1, 2001
SLIP 2001 : 2001 International Workshop on System-Level Interconnect Prediction ; Sonoma, California, USA March 31-April 1, 2001
Author 
International Workshop on System-Level Interconnect Prediction (2001 : Sonoma, Calif.) ACM Special Interest Group on Design Automation. IEEE Computer Society. Technical Committee on VLSI. Philips Research.
Preferred Shelf Number 
QA 76.9.A73 I58 2001
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
4. 
Cover image for Proceedings of the 23rd International Conference on Software Engineering : ICSE 2001 : 12-19, May 2001, Toronto, Ontario, Canada
Proceedings of the 23rd International Conference on Software Engineering : ICSE 2001 : 12-19, May 2001, Toronto, Ontario, Canada
Author 
International Conference on Software Engineering (23rd : 2001 : Toronto, Ont.) ACM Sigsoft. IEEE Computer Society. Technical Council on Software Engineering.
Preferred Shelf Number 
QA 76.6 P941 2001
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
5. 
Cover image for Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II
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-75775-4
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
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:
7. 
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:
8. 
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:
9. 
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:
10. 
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:
11. 
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:
12. 
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: