Search Results for Computer Science (General)

298 Results Found

1 2 3 4 5 .. 25

000000000000DEFAULT

13.

Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

Author

Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-03421-4

Format:

Availability

Online Library~1

Available:
Copies:

14.

Developments in Language Theory 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings

Author

Hoshi, Mizuho. editor. Seki, Shinnosuke. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-98654-8

Format:

Availability

Online Library~1

Available:
Copies:

15.

Cover image for Algorithms and Discrete Applied Mathematics 4th International Conference, CALDAM 2018, Guwahati, India, February 15-17, 2018, Proceedings

Algorithms and Discrete Applied Mathematics 4th International Conference, CALDAM 2018, Guwahati, India, February 15-17, 2018, Proceedings

Author

Panda, B.S. editor. Goswami, Partha P. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-74180-2

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings

Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings

Author

Rusu, Vlad. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

17.

Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday

Author

Jones, Cliff. editor. Wang, Ji. editor. Zhan, Naijun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-01461-2

Format:

Availability

Online Library~1

Available:
Copies:

18.

DNA Computing and Molecular Programming 24th International Conference, DNA 24, Jinan, China, October 8–12, 2018, Proceedings

Author

Doty, David. editor. (orcid)0000-0002-3922-172X Dietz, Hendrik. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-00030-1

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part II

Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part II

Author

Cheng, Long. editor. (orcid)0000-0001-7565-8788 Leung, Andrew Chi Sing. editor. Ozawa, Seiichi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-04179-3

Format:

Availability

Online Library~1

Available:
Copies:

20.

Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018, Proceedings, Part I

Author

Cheng, Long. editor. (orcid)0000-0001-7565-8788 Leung, Andrew Chi Sing. editor. Ozawa, Seiichi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-04167-0

Format:

Availability

Online Library~1

Available:
Copies:

21.

Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018, Proceedings, Part IV

Author

Cheng, Long. editor. (orcid)0000-0001-7565-8788 Leung, Andrew Chi Sing. editor. Ozawa, Seiichi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-04212-7

Format:

Availability

Online Library~1

Available:
Copies:

22.

Neural Information Processing 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part VII

Author

Cheng, Long. editor. (orcid)0000-0001-7565-8788 Leung, Andrew Chi Sing. editor. Ozawa, Seiichi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-04239-4

Format:

Availability

Online Library~1

Available:
Copies:

23.

Cover image for Combinatorial Optimization and Applications 12th International Conference, COCOA 2018, Atlanta, GA, USA, December 15-17, 2018, Proceedings

Combinatorial Optimization and Applications 12th International Conference, COCOA 2018, Atlanta, GA, USA, December 15-17, 2018, Proceedings

Author

Kim, Donghyun. editor. Uma, R. N. editor. Zelikovsky, Alexander. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-04651-4

Format:

Availability

Online Library~1

Available:
Copies:

24.

Cover image for Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III

Author

Vaidya, Jaideep. editor. Li, Jin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-05057-3

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 .. 25

	{displayName}	{count}
{error}