Limit Search Results
Author
SpringerLink (Online service)
(530)
Wiley InterScience (Online service)
(10)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(9)
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
(9)
Taylor and Francis.
(6)
Language
Publication Date
-
Subject
Computer programming.
(337)
Software engineering.
(282)
Computer science.
(264)
COMPUTERS / Computer Graphics / Game Programming & Design
(240)
Computer Science Logic and Foundations of Programming.
(231)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
1363 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings
Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings
Author 
Cariani, Fabrizio. editor. Grossi, Davide. editor. Meheus, Joke. editor. Parent, Xavier. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08615-6
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers
Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers
Author 
Hanus, Michael. editor. (orcid)0000-0002-4953-8202 Rocha, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08909-6
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers
Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers
Author 
Fiadeiro, José Luiz. editor. Liu, Zhiming. editor. Xue, Jinyun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07602-7
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Numerical Computations with GPUs
Numerical Computations with GPUs
Author 
Kindratenko, Volodymyr. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-06548-9
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Basic data analysis for time series with R
Basic data analysis for time series with R
Author 
Derryberry, DeWayne R., author.
Preferred Shelf Number 
ONLINE(341606.1)
Electronic Access 
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1719581
John Wiley http://onlinelibrary.wiley.com/book/10.1002/9781118593233
John Wiley http://dx.doi.org/10.1002/9781118593233
MyiLibrary http://www.myilibrary.com?id=632010
http://swb.eblib.com/patron/FullRecord.aspx?p=1719581
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Optimization in engineering sciences : approximate and metaheuristic methods
Optimization in engineering sciences : approximate and metaheuristic methods
Author 
Stefanoiu, Dan, author.
Preferred Shelf Number 
ONLINE(341642.1)
Electronic Access 
ebrary An electronic book accessible through the World Wide Web; click to view
John Wiley http://dx.doi.org/10.1002/9781118648766
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Discovering knowledge in data : an introduction to data mining
Discovering knowledge in data : an introduction to data mining
Author 
Larose, Daniel T., author. Larose, Chantal D., author. IEEE Computer Society.
Preferred Shelf Number 
ONLINE(341929.1)
Electronic Access 
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1699137
John Wiley http://dx.doi.org/10.1002/9781118874059
Books24x7 http://www.books24x7.com/marc.asp?bookid=63521
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Formal languages, automata and numeration systems. 1, Introduction to combinatorics on words
Formal languages, automata and numeration systems. 1, Introduction to combinatorics on words
Author 
Rigo, Michel.
Preferred Shelf Number 
ONLINE(342165.1)
Electronic Access 
John Wiley http://dx.doi.org/10.1002/9781119008200
John Wiley http://dx.doi.org/10.1002/9781119042853
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings
Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings
Author 
Flatt, Matthew. editor. Guo, Hai-Feng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-04132-2
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings
Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings
Author 
Merz, Stephan. editor. Pang, Jun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11737-9
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Introduction to Software Quality
Introduction to Software Quality
Author 
O’Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-06106-1
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Software Reuse for Dynamic Systems in the Cloud and Beyond 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings
Software Reuse for Dynamic Systems in the Cloud and Beyond 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings
Author 
Schaefer, Ina. editor. Stamelos, Ioannis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-14130-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action