Limit Search Results
Author
SpringerLink (Online service)
(33)
IEEE Xplore (Online Service), distributor.
(5)
MIT Press, publisher.
(5)
Gropp, William, author.
(2)
Agha, Gul. editor.
(1)
Language
Subject
Computer programming.
(41)
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
59 Results Found Subscribe to search results
00000000000DEFAULT
Print
49. 
Cover image for Guide to Java A Concise Introduction to Programming
Guide to Java A Concise Introduction to Programming
Author 
Streib, James T. author. Soma, Takako. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4471-6317-6
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings
NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings
Author 
Badger, Julia M. editor. Rozier, Kristin Yvonne. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-06200-6
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
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:
52. 
Cover image for Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings
Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings
Author 
Giannakopoulou, Dimitra. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10431-7
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers
Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers
Author 
Escobar, Santiago. editor. (orcid)0000-0002-3550-4781 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12904-4
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Distributed Computing and Networking 15th International Conference, ICDCN 2014, Coimbatore, India, January 4-7, 2014, Proceedings
Distributed Computing and Networking 15th International Conference, ICDCN 2014, Coimbatore, India, January 4-7, 2014, Proceedings
Author 
Chatterjee, Mainak. editor. Cao, Jian-nong. editor. Kothapalli, Kishore. editor. Rajsbaum, Sergio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-45249-9
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014, Proceedings
Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014, Proceedings
Author 
Fischbach, Kai. editor. Krieger, Udo R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-05359-2
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
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:
57. 
Cover image for Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings
Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings
Author 
Cassez, Franck. editor. Raskin, Jean-Francois. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11936-6
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Programming Languages 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings
Programming Languages 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings
Author 
Quintao Pereira, Fernando Magno. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11863-5
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Trends in Functional Programming 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers
Trends in Functional Programming 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers
Author 
McCarthy, Jay. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-45340-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets