Search Results for Computer science

453 Results Found

1 2 3 4 5 6 .. 38

000000000000DEFAULT

37.

Cover image for Operations Research and Enterprise Systems 11th International Conference, ICORES 2022, Virtual Event, February 3-5, 2022, and 12th International Conference, ICORES 2023, Lisbon, Portugal, February 19-21, 2023, Revised Selected Papers

Operations Research and Enterprise Systems 11th International Conference, ICORES 2022, Virtual Event, February 3-5, 2022, and 12th International Conference, ICORES 2023, Lisbon, Portugal, February 19-21, 2023, Revised Selected Papers

Author

Liberatore, Federico. editor. (orcid)0000-0001-9900-5108 Wesolkowski, Slawo. editor. Demange, Marc. editor. (orcid)0000-0001-6195-2919 Parlier, Greg H. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

38.

Cover image for Advances in Artificial Life, Evolutionary Computation, and Systems Chemistry 11th Italian Workshop, WIVACE 2016, Fisciano, Italy, October 4-6, 2016, Revised Selected Papers

Advances in Artificial Life, Evolutionary Computation, and Systems Chemistry 11th Italian Workshop, WIVACE 2016, Fisciano, Italy, October 4-6, 2016, Revised Selected Papers

Author

Rossi, Federico. editor. Piotto, Stefano. editor. Concilio, Simona. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-57711-1

Format:

Availability

Online Library~1

Available:
Copies:

39.

Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Author

Aceto, Luca. editor. Bacci, Giorgio. editor. Bacci, Giovanni. editor. Ingólfsdóttir, Anna. editor. Legay, Axel. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-63121-9

Format:

Availability

Online Library~1

Available:
Copies:

40.

Cover image for Theory and Applications of Satisfiability Testing - SAT 2017 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings

Theory and Applications of Satisfiability Testing - SAT 2017 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings

Author

Gaspers, Serge. editor. Walsh, Toby. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-66263-3

Format:

Availability

Online Library~1

Available:
Copies:

41.

Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II

Author

Chaudhuri, Swarat. editor. Farzan, Azadeh. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-41540-6

Format:

Availability

Online Library~1

Available:
Copies:

42.

Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I

Author

Chaudhuri, Swarat. editor. Farzan, Azadeh. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-41528-4

Format:

Availability

Online Library~1

Available:
Copies:

43.

Software and Data Engineering 33rd International Conference, SEDE 2024, San Diego, CA, USA, October 21-22, 2024, Proceedings

Author

Feng, Wenying. editor. Rahimi, Nick. editor. Margapuri, Venkatasivakumar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-75201-8

Format:

Availability

Online Library~1

Available:
Copies:

44.

Technologies and Innovation 10th International Conference, CITI 2024, Guayaquil, Ecuador, November 11-14, 2024, Proceedings

Author

Valencia-García, Rafael. editor. (orcid)0000-0003-2457-1791 Borodulina, Tamara. editor. (orcid)0000-0001-8649-7318 Del Cioppo-Morstadt, Javier. editor. (orcid)0000-0001-5689-5884 Moran-Castro, Cesar Ernesto. editor. (orcid)0000-0002-6596-9766 Vera-Lucio, Néstor. editor. (orcid)0000-0002-1006-1566

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

45.

Cover image for Information, Communication and Computing Technology 9th International Conference, ICICCT 2024, New Delhi, India, May 11, 2024, Revised Selected Papers

Information, Communication and Computing Technology 9th International Conference, ICICCT 2024, New Delhi, India, May 11, 2024, Revised Selected Papers

Author

Weber, Gerhard-Wilhelm. editor. (orcid)0000-0003-0849-7771 Martinez Trinidad, Jose Francisco. editor. (orcid)0000-0001-7973-9075 Sheng, Michael. editor. (orcid)0000-0002-3326-4147 Ramachand, Raghavendra. editor. (orcid)0000-0003-0484-3956 Kharb, Latika. editor. (orcid)0000-0002-8549-0920

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

46.

Cover image for Electronic Governance with Emerging Technologies Third International Conference, EGETC 2024, Jakarta, Indonesia, September 25-26, 2024, Revised Selected Papers

Electronic Governance with Emerging Technologies Third International Conference, EGETC 2024, Jakarta, Indonesia, September 25-26, 2024, Revised Selected Papers

Author

Ortiz-Rodriguez, Fernando. editor. (orcid)0000-0003-2084-3462 Tiwari, Sanju. editor. (orcid)0000-0001-7197-0766 Krisnadhi, Adila Alfa. editor. (orcid)0000-0003-0745-6804 Medina-Quintero, Jose Melchor. editor. (orcid)0000-0003-3466-7113 Valle-Cruz, David. editor. (orcid)0000-0002-5204-8095

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-77029-6

Format:

Availability

Online Library~1

Available:
Copies:

47.

Cover image for Distributed Computing and Intelligent Technology 21st International Conference, ICDCIT 2025, Bhubaneswar, India, January 8-11, 2025, Proceedings

Distributed Computing and Intelligent Technology 21st International Conference, ICDCIT 2025, Bhubaneswar, India, January 8-11, 2025, Proceedings

Author

Bramas, Quentin. editor. (orcid)0000-0003-0612-5616 Chatterjee, Bapi. editor. (orcid)0000-0002-2742-4028 Devismes, Stéphane. editor. (orcid)0000-0002-8032-9732 Egan, Malcolm. editor. (orcid)0000-0003-2534-2018 Mandal, Partha Sarathi. editor. (orcid)0000-0002-8632-5767

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

48.

Cover image for Emerging Information Security and Applications 5th International Conference, EISA 2024, Changzhou, China, October 18-19, 2024, Proceedings

Emerging Information Security and Applications 5th International Conference, EISA 2024, Changzhou, China, October 18-19, 2024, Proceedings

Author

Li, Wenjuan. editor. (orcid)0000-0003-3745-5669 Chen, Liqun. editor. (orcid)0000-0003-2680-4907 Lopez, Javier. editor. (orcid)0000-0003-4384-5786 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-80419-9

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 6 .. 38

	{displayName}	{count}
{error}