Search Results for Computer science.

530 Results Found

1 .. 3 4 5 6 7 .. 45

000000000000DEFAULT

49.

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:

50.

Cover image for Technology Systems and Management First International Conference, ICTSM 2011, Mumbai, India, February 25-27, 2011. Selected Papers

Technology Systems and Management First International Conference, ICTSM 2011, Mumbai, India, February 25-27, 2011. Selected Papers

Author

Shah, Ketan. editor. Lakshmi Gorty, V. R. editor. Phirke, Ajay. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-20209-4

Format:

Availability

Online Library~1

Available:
Copies:

51.

Cover image for Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005. Proceedings

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005. Proceedings

Author

Paliouras, Vassilis. editor. Vounckx, Johan. editor. Verkest, Diederik. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11556930

Format:

Availability

Online Library~1

Available:
Copies:

52.

Power-Aware Computer Systems Third International Workshop, PACS 2003, San Diego, CA, USA, December 1, 2003 Revised Papers

Author

Falsafi, Babak. editor. VijayKumar, T. N. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b104218

Format:

Availability

Online Library~1

Available:
Copies:

53.

Power-Aware Computer Systems 4th International Workshop, PACS 2004, Portland, OR, USA, December 5, 2004, Revised Selected Papers

Author

Falsafi, Babak. editor. VijayKumar, T. N. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11574859

Format:

Availability

Online Library~1

Available:
Copies:

54.

Cover image for Innovations of Intelligent Informatics, Networking, and Cybersecurity Second International Conference, 3INC 2024, Babylon, Iraq, October 15-16, 2024, Proceedings

Innovations of Intelligent Informatics, Networking, and Cybersecurity Second International Conference, 3INC 2024, Babylon, Iraq, October 15-16, 2024, Proceedings

Author

Al-Mamory, Safaa O. editor. (orcid)0000-0003-3144-8222 Al-Sherbaz, Ali. editor. (orcid)0000-0002-0995-1262 Kanakis, Triantafyllos. editor. (orcid)0000-0002-3492-037X Albahri, Ahmed S. editor. (orcid)0000-0003-3335-457X Bhaya, Wesam S. editor. (orcid)0000-0003-1751-2718

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-81065-7

Format:

Availability

Online Library~1

Available:
Copies:

55.

Secure IT Systems 29th Nordic Conference, NordSec 2024 Karlstad, Sweden, November 6-7, 2024 Proceedings

Author

Horn Iwaya, Leonardo. editor. (orcid)0000-0001-9005-0543 Kamm, Liina. editor. (orcid)0000-0003-1479-2195 Martucci, Leonardo. editor. (orcid)0000-0002-9980-3473 Pulls, Tobias. editor. (orcid)0000-0001-6459-8409 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

56.

Cover image for Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I

Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I

Author

Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

57.

Cover image for Computing, Communication and Learning Third International Conference, CoCoLe 2024, Warangal, India, September 13-15, 2024, Revised Selected Papers

Computing, Communication and Learning Third International Conference, CoCoLe 2024, Warangal, India, September 13-15, 2024, Revised Selected Papers

Author

Panda, Sanjaya Kumar. editor. (orcid)0000-0003-3242-525X Buyya, Rajkumar. editor. Rout, Rashmi Ranjan. editor. (orcid)0000-0003-3457-6633 Bisi, Manjubala. editor. (orcid)0000-0002-9555-1520 Godboley, Sangharatna. editor. (orcid)0000-0002-6169-6334

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

58.

Cover image for Information Security Applications 25th International Conference, WISA 2024, Jeju Island, South Korea, August 21-23, 2024, Revised Selected Papers

Information Security Applications 25th International Conference, WISA 2024, Jeju Island, South Korea, August 21-23, 2024, Revised Selected Papers

Author

Lee, Jong-Hyouk. editor. (orcid)0000-0002-1753-1284 Emura, Keita. editor. (orcid)0000-0002-8969-3581 Lee, Sokjoon. editor. (orcid)0000-0002-4632-8322 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-1624-4

Format:

Availability

Online Library~1

Available:
Copies:

59.

Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II

Author

Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

60.

Cover image for Innovative Intelligent Industrial Production and Logistics 5th International Conference, IN4PL 2024, Porto, Portugal, November 21-22, 2024, Proceedings, Part I

Innovative Intelligent Industrial Production and Logistics 5th International Conference, IN4PL 2024, Porto, Portugal, November 21-22, 2024, Proceedings, Part I

Author

Dassisti, Michele. editor. (orcid)0000-0001-6984-9203 Madani, Kurosh. editor. Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 .. 3 4 5 6 7 .. 45

	{displayName}	{count}
{error}