Search Results for Science, general.

1518 Results Found

1 .. 25 26 27 28 29 .. 127

000000000000DEFAULT

313.

Cover image for Correct System Design Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings

Correct System Design Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings

Author

Meyer, Roland. editor. Platzer, André. editor. Wehrheim, Heike. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518815.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

314.

Cover image for Bioinspired Computation in Artificial Systems International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2015, Elche, Spain, June 1-5, 2015, Proceedings, Part II

Bioinspired Computation in Artificial Systems International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2015, Elche, Spain, June 1-5, 2015, Proceedings, Part II

Author

Ferrández Vicente, José Manuel. editor. Álvarez-Sánchez, José Ramón. editor. de la Paz López, Félix. editor. Toledo-Moreo, Fco. Javier. editor. Adeli, Hojjat. editor.

Preferred Shelf Number

XX(518824.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

315.

Cover image for Wireless Algorithms, Systems, and Applications 10th International Conference, WASA 2015, Qufu, China, August 10-12, 2015, Proceedings

Wireless Algorithms, Systems, and Applications 10th International Conference, WASA 2015, Qufu, China, August 10-12, 2015, Proceedings

Author

Xu, Kuai. editor. Zhu, Haojin. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518831.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

316.

Algorithms and Computation 26th International Symposium, ISAAC 2015, Nagoya, Japan, December 9-11, 2015, Proceedings

Author

Elbassioni, Khaled. editor. Makino, Kazuhisa. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518834.1)

Electronic Access

https://doi.org/10.1007/978-3-662-48971-0

Format:

Availability

Online Library~1

Available:
Copies:

317.

Cover image for Integration of AI and OR Techniques in Constraint Programming 12th International Conference, CPAIOR 2015, Barcelona, Spain, May 18-22, 2015, Proceedings

Integration of AI and OR Techniques in Constraint Programming 12th International Conference, CPAIOR 2015, Barcelona, Spain, May 18-22, 2015, Proceedings

Author

Michel, Laurent. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518836.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

318.

Combinatorial Pattern Matching 26th Annual Symposium, CPM 2015, Ischia Island, Italy, June 29 -- July 1, 2015, Proceedings

Author

Cicalese, Ferdinando. editor. Porat, Ely. editor. Vaccaro, Ugo. editor. (orcid) SpringerLink (Online service)

Preferred Shelf Number

XX(518842.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

319.

Curves and Surfaces 8th International Conference, Paris, France, June 12-18, 2014, Revised Selected Papers

Author

Boissonnat, Jean-Daniel. editor. Cohen, Albert. editor. Gibaru, Olivier. editor. Gout, Christian. editor. Lyche, Tom. editor.

Preferred Shelf Number

XX(518851.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

320.

Theoretical Aspects of Computing - ICTAC 2015 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings

Author

Leucker, Martin. editor. Rueda, Camilo. editor. Valencia, Frank D. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518852.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

321.

Cover image for Algorithms and Architectures for Parallel Processing ICA3PP International Workshops and Symposiums, Zhangjiajie, China, November 18-20, 2015, Proceedings

Algorithms and Architectures for Parallel Processing ICA3PP International Workshops and Symposiums, Zhangjiajie, China, November 18-20, 2015, Proceedings

Author

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

Preferred Shelf Number

XX(518859.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

322.

Cover image for Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers

Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers

Author

Falaschi, Moreno. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518861.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

323.

Cover image for Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part III

Computational Science and Its Applications -- ICCSA 2015 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part III

Author

Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Misra, Sanjay. editor. Gavrilova, Marina L. editor. Rocha, Ana Maria Alves Coutinho. editor.

Preferred Shelf Number

XX(518867.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

324.

Cover image for Neural Information Processing 22nd International Conference, ICONIP 2015, Istanbul, Turkey, November 9-12, 2015, Proceedings Part III

Neural Information Processing 22nd International Conference, ICONIP 2015, Istanbul, Turkey, November 9-12, 2015, Proceedings Part III

Author

Arik, Sabri. editor. Huang, Tingwen. editor. Lai, Weng Kin. editor. Liu, Qingshan. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518873.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 .. 25 26 27 28 29 .. 127

	{displayName}	{count}
{error}