Limit Search Results
Author
SpringerLink (Online service)
(591)
Jansen, Klaus. editor.
(13)
Mayr, Ernst W. editor.
(9)
Du, Ding-Zhu. editor.
(8)
Vorozhtsov, Evgenii V. editor.
(8)
Language
Publication Date
-
2010
(69)
2012
(69)
2011
(68)
2005
(65)
2006
(62)
Subject
Computer science.
(565)
Computer software.
(545)
Computer Communication Networks.
(200)
Data structures (Computer science).
(187)
Electronic data processing.
(169)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
591 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
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 II
Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II
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-74727-9
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings
Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings
Author 
Beyersdorff, Olaf. editor. Wintersteiger, Christoph M. editor. (orcid)0000-0003-0102-4381 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94144-8
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Evolutionary Computation in Combinatorial Optimization 18th European Conference, EvoCOP 2018, Parma, Italy, April 4–6, 2018, Proceedings
Evolutionary Computation in Combinatorial Optimization 18th European Conference, EvoCOP 2018, Parma, Italy, April 4–6, 2018, Proceedings
Author 
Liefooghe, Arnaud. editor. (orcid)0000-0003-3283-3122 López-Ibáñez, Manuel. editor. (orcid)0000-0001-9974-1295 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-77449-7
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Graph Transformation 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings
Graph Transformation 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings
Author 
Lambers, Leen. editor. (orcid)0000-0001-6937-5167 Weber, Jens. editor. (orcid)0000-0003-4591-6728 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92991-0
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Fundamentals of Discrete Math for Computer Science A Problem-Solving Primer
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:
6. 
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:
7. 
Cover image for DNA Computing and Molecular Programming 19th International Conference, DNA 19, Tempe, AZ, USA, September 22-27, 2013. Proceedings
DNA Computing and Molecular Programming 19th International Conference, DNA 19, Tempe, AZ, USA, September 22-27, 2013. Proceedings
Author 
Soloveichik, David. editor. Yurke, Bernard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332892.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-01928-4
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Algorithms and Models for the Web Graph 10th International Workshop, WAW 2013, Cambridge, MA, USA, December 14-15, 2013, Proceedings
Algorithms and Models for the Web Graph 10th International Workshop, WAW 2013, Cambridge, MA, USA, December 14-15, 2013, Proceedings
Author 
Bonato, Anthony. editor. Mitzenmacher, Michael. editor. Prałat, Paweł. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332980.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03536-9
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Combinatorial Optimization and Applications 7th International Conference, COCOA 2013, Chengdu, China, December 12-14, 2013, Proceedings
Combinatorial Optimization and Applications 7th International Conference, COCOA 2013, Chengdu, China, December 12-14, 2013, Proceedings
Author 
Widmayer, Peter. editor. Xu, Yinfeng. editor. Zhu, Binhai. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332995.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03780-6
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Graph Drawing 21st International Symposium, GD 2013, Bordeaux, France, September 23-25, 2013, Revised Selected Papers
Graph Drawing 21st International Symposium, GD 2013, Bordeaux, France, September 23-25, 2013, Revised Selected Papers
Author 
Wismath, Stephen. editor. Wolff, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332997.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03841-4
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Principles of Distributed Systems 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings
Principles of Distributed Systems 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings
Author 
Baldoni, Roberto. editor. Nisse, Nicolas. editor. Steen, Maarten. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332999.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-03850-6
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Graph Drawing 20th International Symposium, GD 2012, Redmond, WA, USA, September 19-21, 2012, Revised Selected Papers
Graph Drawing 20th International Symposium, GD 2012, Redmond, WA, USA, September 19-21, 2012, Revised Selected Papers
Author 
Didimo, Walter. editor. Patrignani, Maurizio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334284.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36763-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action