Limit Search Results
Author
SpringerLink (Online service)
(33)
IEEE Xplore (Online Service), distributor.
(5)
MIT Press, publisher.
(5)
Diaz-Herrera, Jorge L., 1950- editor.
(2)
Gonzalez, Teofilo F., editor.
(2)
Language
Subject
Computer programming.
(42)
Software engineering.
(24)
Programming languages (Electronic computers).
(21)
Computer logic.
(14)
Mathematical logic.
(9)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
66 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Engineering Multi-Agent Systems Second International Workshop, EMAS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers
Engineering Multi-Agent Systems Second International Workshop, EMAS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers
Author 
Dalpiaz, Fabiano. editor. (orcid)0000-0003-4480-3887 Dix, Jürgen. editor. van Riemsdijk, M. Birna. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-14484-9
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
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:
27. 
Cover image for Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings
Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings
Author 
Le Goues, Claire. editor. Yoo, Shin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09940-8
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
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:
29. 
Cover image for Practical Analysis of Algorithms
Practical Analysis of Algorithms
Author 
Vrajitoru, Dana. author. Knight, William. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09888-3
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for A Beginner's Guide to Scala, Object Orientation and Functional Programming
A Beginner's Guide to Scala, Object Orientation and Functional Programming
Author 
Hunt, John. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-06776-6
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Emotion Modeling Towards Pragmatic Computational Models of Affective Processes
Emotion Modeling Towards Pragmatic Computational Models of Affective Processes
Author 
Bosse, Tibor. editor. Broekens, Joost. editor. Dias, João. editor. (orcid)0000-0002-1653-1821 van der Zwaan, Janneke. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12973-0
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
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:
33. 
Cover image for Programming Languages and Operational Semantics A Concise Overview
Programming Languages and Operational Semantics A Concise Overview
Author 
Fernández, Maribel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4471-6368-8
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
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:
35. 
Cover image for Models@run.time Foundations, Applications, and Roadmaps
Models@run.time Foundations, Applications, and Roadmaps
Author 
Bencomo, Nelly. editor. France, Robert B. editor. Cheng, Betty H.C. editor. Aßmann, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08915-7
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
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:
Select an Action