Search Results for Science: general issues.

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

148 Results Found

1 2 3 4 5 .. 13

000000000000DEFAULT

25.

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I

Author

Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519007.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

26.

Cover image for Advances in Computer Games 14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015, Revised Selected Papers

Advances in Computer Games 14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015, Revised Selected Papers

Author

Plaat, Aske. editor. van den Herik, Jaap. editor. Kosters, Walter. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519010.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

27.

Cover image for Algorithms and Models for the Web Graph 12th International Workshop, WAW 2015, Eindhoven, The Netherlands, December 10-11, 2015, Proceedings

Algorithms and Models for the Web Graph 12th International Workshop, WAW 2015, Eindhoven, The Netherlands, December 10-11, 2015, Proceedings

Author

Gleich, David F. editor. Komjáthy, Júlia. editor. Litvak, Nelly. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519011.1)

Electronic Access

https://doi.org/10.1007/978-3-319-26784-5

Format:

Availability

Online Library~1

Available:
Copies:

28.

Language and Automata Theory and Applications 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings

Author

Dediu, Adrian-Horia. editor. Formenti, Enrico. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519014.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

29.

Cover image for Applications of Evolutionary Computation 18th European Conference, EvoApplications 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings

Applications of Evolutionary Computation 18th European Conference, EvoApplications 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings

Author

Mora, Antonio M. editor. Squillero, Giovanni. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519015.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

30.

Cover image for Graph Drawing and Network Visualization 23rd International Symposium, GD 2015, Los Angeles, CA, USA, September 24-26, 2015, Revised Selected Papers

Graph Drawing and Network Visualization 23rd International Symposium, GD 2015, Los Angeles, CA, USA, September 24-26, 2015, Revised Selected Papers

Author

Di Giacomo, Emilio. editor. Lubiw, Anna. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519018.1)

Electronic Access

https://doi.org/10.1007/978-3-319-27261-0

Format:

Availability

Online Library~1

Available:
Copies:

31.

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

Author

Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519028.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

32.

Cover image for SOFSEM 2015: Theory and Practice of Computer Science 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015, Proceedings

SOFSEM 2015: Theory and Practice of Computer Science 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015, Proceedings

Author

Italiano, Giuseppe. editor. Margaria-Steffen, Tiziana. editor. Pokorný, Jaroslav. editor. Quisquater, Jean-Jacques. editor. Wattenhofer, Roger. editor.

Preferred Shelf Number

XX(518910.1)

Electronic Access

https://doi.org/10.1007/978-3-662-46078-8

Format:

Availability

Online Library~1

Available:
Copies:

33.

Fundamentals of Computation Theory 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings

Author

Kosowski, Adrian. editor. Walukiewicz, Igor. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518912.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

34.

Advanced Parallel Processing Technologies 11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015, Proceedings

Author

Chen, Yunji. editor. Ienne, Paolo. editor. Ji, Qing. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519039.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

35.

Cover image for Logic, Language, and Computation 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers

Logic, Language, and Computation 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers

Author

Aher, Martin. editor. Hole, Daniel. editor. Jeřábek, Emil. editor. Kupke, Clemens. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519040.1)

Electronic Access

https://doi.org/10.1007/978-3-662-46906-4

Format:

Availability

Online Library~1

Available:
Copies:

36.

Cover image for Algorithms and Architectures for Parallel Processing 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part II

Algorithms and Architectures for Parallel Processing 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part II

Author

Wang, Guojun. editor. Zomaya, Albert. editor. Martinez, Gregorio. editor. Li, Kenli. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519042.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 .. 13

	{displayName}	{count}
{error}