Limit Search Results
Author
SpringerLink (Online service)
(143)
Csuhaj-Varjú, Ersébet. editor.
(3)
Paschos, Vangelis Th.
(3)
Shi, Yuhui. editor.
(3)
Bonato, Anthony. editor.
(2)
Language
English
(154)
Subject
Computer science—Mathematics.
(108)
Algorithms.
(47)
Computer mathematics.
(41)
Artificial intelligence.
(31)
Computers.
(27)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
154 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Automatic Generation of Combinatorial Test Data
Automatic Generation of Combinatorial Test Data
Author 
Zhang, Jian. author. Zhang, Zhiqiang. author. Ma, Feifei. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-43429-1
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Computational Engineering
Computational Engineering
Author 
Hofstetter, Günter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-05933-4
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Regulated Grammars and Automata
Regulated Grammars and Automata
Author 
Meduna, Alexander. author. Zemek, Petr. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4939-0369-6
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Numerical Simulation of Mechanical Behavior of Composite Materials
Numerical Simulation of Mechanical Behavior of Composite Materials
Author 
Oller, Sergio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-04933-5
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers
Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers
Author 
Gupta, Gopal. editor. Peña, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-14125-1
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Finite Elements Methods in Mechanics
Finite Elements Methods in Mechanics
Author 
Eslami, M. Reza. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08037-6
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Introduction to numerical analysis and scientific computing
Introduction to numerical analysis and scientific computing
Author 
Nassif, Nabil, author. Fayyad, Dolly Khuwayri, author.
Preferred Shelf Number 
QA297 N37 2014
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
44. 
Cover image for Formal Grammar 19th International Conference, Formal Grammar 2014, Tübingen, Germany, August 16-17, 2014. Proceedings
Formal Grammar 19th International Conference, Formal Grammar 2014, Tübingen, Germany, August 16-17, 2014. Proceedings
Author 
Morrill, Glyn. editor. Muskens, Reinhard. editor. Osswald, Rainer. editor. Richter, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44121-3
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Logic, Language, Information, and Computation 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings
Logic, Language, Information, and Computation 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings
Author 
Kohlenbach, Ulrich. editor. Barceló, Pablo. editor. de Queiroz, Ruy J G B. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44145-9
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Combinatorial Optimization and Applications 8th International Conference, COCOA 2014, Wailea, Maui, HI, USA, December 19-21, 2014, Proceedings
Combinatorial Optimization and Applications 8th International Conference, COCOA 2014, Wailea, Maui, HI, USA, December 19-21, 2014, Proceedings
Author 
Zhang, Zhao. editor. Wu, Lidong. editor. Xu, Wen. editor. Du, Ding-Zhu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12691-3
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Algorithms and Computation 8th International Workshop, WALCOM 2014, Chennai, India, February 13-15, 2014, Proceedings
Algorithms and Computation 8th International Workshop, WALCOM 2014, Chennai, India, February 13-15, 2014, Proceedings
Author 
Pal, Sudebkumar Prasant. editor. Sadakane, Kunihiko. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-04657-0
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Language and Automata Theory and Applications 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings
Language and Automata Theory and Applications 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings
Author 
Dediu, Adrian-Horia. editor. Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Sierra-Rodríguez, José-Luis. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-04921-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets