Search Results for Computer.

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

2174 Results Found

1 2 3 4 5 .. 182

000000000000DEFAULT

13.

Cover image for Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part I

Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part I

Author

Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-74718-7

Format:

Availability

Online Library~1

Available:
Copies:

14.

Cover image for Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

Author

Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

15.

Fundamentals of Discrete Math for Computer Science A Problem-Solving Primer

Author

Jenkyns, Tom. author. Stephenson, Ben. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for SOFSEM 2018: Theory and Practice of Computer Science 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings

SOFSEM 2018: Theory and Practice of Computer Science 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings

Author

Tjoa, A Min. editor. (orcid)0000-0002-8295-9252 Bellatreche, Ladjel. editor. Biffl, Stefan. editor. van Leeuwen, Jan. editor. Wiedermann, Jiří. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

17.

Cover image for Advances in Information and Computer Security 8th International Workshop on Security, IWSEC 2013, Okinawa, Japan, November 18-20, 2013, Proceedings

Advances in Information and Computer Security 8th International Workshop on Security, IWSEC 2013, Okinawa, Japan, November 18-20, 2013, Proceedings

Author

Sakiyama, Kazuo. editor. Terada, Masayuki. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335098.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

18.

Cover image for Computer Algebra in Scientific Computing 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings

Computer Algebra in Scientific Computing 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings

Author

Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Mayr, Ernst W. editor. Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332910.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-02297-0

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for Advances in Computer Entertainment 10th International Conference, ACE 2013, Boekelo, The Netherlands, November 12-15, 2013. Proceedings

Advances in Computer Entertainment 10th International Conference, ACE 2013, Boekelo, The Netherlands, November 12-15, 2013. Proceedings

Author

Reidsma, Dennis. editor. Katayose, Haruhiro. editor. Nijholt, Anton. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332968.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-03161-3

Format:

Availability

Online Library~1

Available:
Copies:

20.

Cover image for SOFSEM 2013: Theory and Practice of Computer Science 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings

SOFSEM 2013: Theory and Practice of Computer Science 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings

Author

Emde Boas, Peter. editor. Groen, Frans C. A. editor. Italiano, Giuseppe F. editor. Nawrocki, Jerzy. editor. Sack, Harald. editor.

Preferred Shelf Number

ONLINE(334064.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-35843-2

Format:

Availability

Online Library~1

Available:
Copies:

21.

Cover image for Mathematical and Engineering Methods in Computer Science 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers

Mathematical and Engineering Methods in Computer Science 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers

Author

Kučera, Antonín. editor. Henzinger, Thomas A. editor. Nešetřil, Jaroslav. editor. Vojnar, Tomáš. editor. Antoš, David. editor.

Preferred Shelf Number

ONLINE(334106.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36046-6

Format:

Availability

Online Library~1

Available:
Copies:

22.

Cover image for Discrete Geometry for Computer Imagery 17th IAPR International Conference, DGCI 2013, Seville, Spain, March 20-22, 2013. Proceedings

Discrete Geometry for Computer Imagery 17th IAPR International Conference, DGCI 2013, Seville, Spain, March 20-22, 2013. Proceedings

Author

Gonzalez-Diaz, Rocio. editor. Jimenez, Maria-Jose. editor. Medrano, Belen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334356.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-37067-0

Format:

Availability

Online Library~1

Available:
Copies:

23.

Cover image for Scale Space and Variational Methods in Computer Vision 4th International Conference, SSVM 2013, Schloss Seggau, Leibnitz, Austria, June 2-6, 2013. Proceedings

Scale Space and Variational Methods in Computer Vision 4th International Conference, SSVM 2013, Schloss Seggau, Leibnitz, Austria, June 2-6, 2013. Proceedings

Author

Kuijper, Arjan. editor. Bredies, Kristian. editor. Pock, Thomas. editor. Bischof, Horst. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334572.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

24.

Cover image for Computer Science – Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings

Computer Science – Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings

Author

Bulatov, Andrei A. editor. Shur, Arseny M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334617.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38536-0

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 .. 182

	{displayName}	{count}
{error}