Limit Search Results
Author
SpringerLink (Online service)
(52)
Logofatu, Doina. author.
(3)
Pepper, Peter. author.
(3)
Abts, Dietmar. author.
(2)
Kämper, Sabine. author.
(2)
Language
Publication Date
-
Subject
Compilers and Interpreters.
(52)
Software engineering.
(32)
Computer programming.
(21)
Computer science-Mathematics.
(21)
Programming Techniques.
(21)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
52 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Stochastic Model Checking International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures
Stochastic Model Checking International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures
by 
Remke, Anne. editor.
https://doi.org/10.1007/978-3-662-45489-3
Format: 
Excerpt: 
Computer science-Mathematics.
2. 
Cover image for Numerical Computations with GPUs
Numerical Computations with GPUs
by 
Kindratenko, Volodymyr. editor.
https://doi.org/10.1007/978-3-319-06548-9
Format: 
Excerpt: 
Mathematical and Computational Engineering Applications.
3. 
Cover image for Theoretical Aspects of Computing - ICTAC 2014 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings
Theoretical Aspects of Computing - ICTAC 2014 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings
by 
Ciobanu, Gabriel. editor.
https://doi.org/10.1007/978-3-319-10882-7
Format: 
Excerpt: 
Discrete Mathematics in Computer Science.
4. 
Cover image for MATLAB Control Systems Engineering
MATLAB Control Systems Engineering
by 
Lopez, Cesar. author.
https://doi.org/10.1007/978-1-4842-0289-0
Format: 
Excerpt: 
MATLAB Control Systems Engineering Lopez, Cesar. author.
5. 
Cover image for Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013, Proceedings
Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013, Proceedings
by 
Colom, Jose-Manuel. editor.
https://doi.org/10.1007/978-3-642-38697-8
Format: 
Excerpt: 
Computer science-Mathematics.
6. 
Cover image for Principles and Practice of Constraint Programing-CP 2013 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings
Principles and Practice of Constraint Programing-CP 2013 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings
by 
Schulte, Christian. editor.
https://doi.org/10.1007/978-3-642-40627-0
Format: 
Excerpt: 
Discrete Mathematics in Computer Science.
7. 
Cover image for The R Software Fundamentals of Programming and Statistical Analysis
The R Software Fundamentals of Programming and Statistical Analysis
by 
Lafaye de Micheaux, Pierre. author.
https://doi.org/10.1007/978-1-4614-9020-3
Format: 
Excerpt: 
Statistics in Engineering, Physics, Computer Science, Chemistry and Earth Sciences.
8. 
Cover image for From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartz
From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartz
by 
Davis, Martin. editor.
https://doi.org/10.1007/978-1-4471-4282-9
Format: 
Excerpt: 
Mathematical Logic and Foundations.
9. 
Cover image for Grundkurs JAVA Von den Grundlagen bis zu Datenbank- und Netzanwendungen
Grundkurs JAVA Von den Grundlagen bis zu Datenbank- und Netzanwendungen
by 
Abts, Dietmar. author.
https://doi.org/10.1007/978-3-8348-2535-3
Format: 
Excerpt: 
Mathematical and Computational Engineering Applications.
10. 
Cover image for Certified Programs and Proofs Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings
Certified Programs and Proofs Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings
by 
Hawblitzel, Chris. editor.
https://doi.org/10.1007/978-3-642-35308-6
Format: 
Excerpt: 
Computer science-Mathematics.
11. 
Cover image for Algebraic and Numeric Biology 4th International Conference, ANB 2010, Hagenberg, Austria, July 31-August 2, 2010, Revised Selected Papers
Algebraic and Numeric Biology 4th International Conference, ANB 2010, Hagenberg, Austria, July 31-August 2, 2010, Revised Selected Papers
by 
Horimoto, Katsuhisa. editor.
https://doi.org/10.1007/978-3-642-28067-2
Format: 
Excerpt: 
Computer science-Mathematics.
12. 
Cover image for Mathematics of Program Construction 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings
Mathematics of Program Construction 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings
by 
Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917
https://doi.org/10.1007/978-3-642-31113-0
Format: 
Excerpt: 
Mathematics of Program Construction 11th International Conference, MPC 2012, Madrid, Spain, June 25
Go to:Search Results
|
Search Facets
|
Top of Page