Search Results for Computer science.

85 Results Found

1 2 3 4 5 .. 8

000000000000DEFAULT

Modelling Computing Systems Mathematics for Computer Science

Author

Moller, Faron. author. Struth, Georg. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332574.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-84800-322-4

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Mathematical Foundations of Computer Science 2013 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings

Mathematical Foundations of Computer Science 2013 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings

Author

Chatterjee, Krishnendu. editor. Sgall, Jirí. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334925.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

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(330901.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-4069-6

Format:

Availability

Online Library~1

Available:
Copies:

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:

Cover image for Graph-Theoretic Concepts in Computer Science 39th International Workshop, WG 2013, Lübeck, Germany, June 19-21, 2013, Revised Papers

Graph-Theoretic Concepts in Computer Science 39th International Workshop, WG 2013, Lübeck, Germany, June 19-21, 2013, Revised Papers

Author

Brandstädt, Andreas. editor. Jansen, Klaus. editor. Reischuk, Rüdiger. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335182.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

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:

Concise Computer Mathematics Tutorials on Theory and Problems

Author

Bagdasar, Ovidiu. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332887.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings

Author

Lodaya, Kamal. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334105.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Information Theory, Combinatorics, and Search Theory In Memory of Rudolf Ahlswede

Author

Aydinian, Harout. editor. Cicalese, Ferdinando. editor. Deppe, Christian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334319.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

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:

11.

Cover image for Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings

Author

Gomes, Carla. editor. Sellmann, Meinolf. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334549.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers

Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers

Author

Albert, Elvira. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334552.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 .. 8

	{displayName}	{count}
{error}