Search Results for Computers.

139 Results Found

1 2 3 4 5 .. 12

000000000000DEFAULT

Encyclopedia for Computers

Author

Murugan, S. Ananda.

Preferred Shelf Number

QA76.5 M87 2014

Format:

Availability

Beytepe Library~1

Available:
Copies:

Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III

Author

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-75380-0

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers

Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers

Author

Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-73741-1

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Advanced Data Mining and Applications 20th International Conference, ADMA 2024, Sydney, NSW, Australia, December 3-5, 2024, Proceedings, Part I

Advanced Data Mining and Applications 20th International Conference, ADMA 2024, Sydney, NSW, Australia, December 3-5, 2024, Proceedings, Part I

Author

Sheng, Quan Z. editor. (orcid)0000-0002-3326-4147 Dobbie, Gill. editor. (orcid)0000-0001-7245-0367 Jiang, Jing. editor. (orcid)0000-0002-3035-0074 Zhang, Xuyun. editor. (orcid)0000-0001-7353-4159 Zhang, Wei Emma. editor. (orcid)0000-0002-0406-5974

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-0811-9

Format:

Availability

Online Library~1

Available:
Copies:

Advanced Data Mining and Applications 20th International Conference, ADMA 2024, Sydney, NSW, Australia, December 3-5, 2024, Proceedings, Part II

Author

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-0814-0

Format:

Availability

Online Library~1

Available:
Copies:

Advanced Data Mining and Applications 20th International Conference, ADMA 2024, Sydney, NSW, Australia, December 3-5, 2024, Proceedings, Part IV

Author

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-0840-9

Format:

Availability

Online Library~1

Available:
Copies:

Advanced Data Mining and Applications 20th International Conference, ADMA 2024, Sydney, NSW, Australia, December 3-5, 2024, Proceedings, Part V

Author

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-0847-8

Format:

Availability

Online Library~1

Available:
Copies:

Advanced Data Mining and Applications 20th International Conference, ADMA 2024, Sydney, NSW, Australia, December 3-5, 2024, Proceedings, Part III

Author

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-0821-8

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Trends in Functional Programming 25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10-12, 2024, Revised Selected Papers

Trends in Functional Programming 25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10-12, 2024, Revised Selected Papers

Author

Hemann, Jason. editor. (orcid)0000-0002-5405-2936 Chang, Stephen. editor. (orcid)0000-0002-4760-0658 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-74558-4

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Supercomputing 10th Russian Supercomputing Days, RuSCDays 2024, Moscow, Russia, September 23-24, 2024, Revised Selected Papers, Part I

Supercomputing 10th Russian Supercomputing Days, RuSCDays 2024, Moscow, Russia, September 23-24, 2024, Revised Selected Papers, Part I

Author

Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Antonov, Alexander. editor. (orcid)0000-0003-2820-7196 Nikitenko, Dmitry. editor. (orcid)0000-0002-2864-7995 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-78459-0

Format:

Availability

Online Library~1

Available:
Copies:

11.

Supercomputing 10th Russian Supercomputing Days, RuSCDays 2024, Moscow, Russia, September 23-24, 2024, Revised Selected Papers, Part II

Author

Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Antonov, Alexander. editor. (orcid)0000-0003-2820-7196 Nikitenko, Dmitry. editor. (orcid)0000-0002-2864-7995 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-78462-0

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Economics of Grids, Clouds, Systems, and Services 20th International Conference, GECON 2024, Rome, Italy, September 26-27, 2024, Proceedings

Economics of Grids, Clouds, Systems, and Services 20th International Conference, GECON 2024, Rome, Italy, September 26-27, 2024, Proceedings

Author

Naldi, Maurizio. editor. (orcid)0000-0002-0903-398X Djemame, Karim. editor. (orcid)0000-0001-5811-5263 Altmann, Jörn. editor. (orcid)0000-0002-8880-9546 Bañares, José Ángel. editor. (orcid)0000-0002-4198-8241 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-81226-2

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 .. 12

	{displayName}	{count}
{error}