Limit Search Results
Author
SpringerLink (Online service)
(23)
Laaksonen, Antti. author.
(2)
Ahrendt, Wolfgang. editor.
(1)
Alanis, Alma y. author. (orcid)0000-0001-9600-779X
(1)
Bai, Yuchao. author.
(1)
Language
Publication Date
-
Subject
Software engineering.
(7)
Computer programming.
(6)
Programming Techniques.
(6)
Computer science.
(5)
Compilers (Computer programs).
(4)
Material Type
Library
Switch to list view
Switch to thumbnail view
Select an Action
23 Results Found Subscribe to search results
00000000000DEFAULT
Print
13. 
Cover image for DataFlow Supercomputing Essentials Research, Development and Education
DataFlow Supercomputing Essentials Research, Development and Education
Author 
Milutinovic, Veljko. author. Salom, Jakob. author. Veljovic, Dragan. author. Korolija, Nenad. author. Markovic, Dejan. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66128-5
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
Author 
Jobstmann, Barbara. editor. Leino, K. Rustan M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-49122-5
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Deductive Software Verification - The KeY Book From Theory to Practice
Deductive Software Verification - The KeY Book From Theory to Practice
Author 
Ahrendt, Wolfgang. editor. Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291 Bubel, Richard. editor. Hähnle, Reiner. editor. Schmitt, Peter H. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-49812-6
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for IP Cores Design from Specifications to Production Modeling, Verification, Optimization, and Protection
IP Cores Design from Specifications to Production Modeling, Verification, Optimization, and Protection
Author 
Mohamed, Khaled Salah. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-22035-2
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Structured Object-Oriented Formal Language and Method 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers
Structured Object-Oriented Formal Language and Method 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers
Author 
Liu, Shaoying. editor. Duan, Zhenhua. editor. (orcid)0000-0003-2772-1433 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-31220-0
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Beginning Xcode
Beginning Xcode
Author 
Knott, Matthew. author. Bramhall, Daniel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4302-5744-8
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for jQuery 2 Recipes A Problem-Solution Approach
jQuery 2 Recipes A Problem-Solution Approach
Author 
Pande, Arun. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4302-6434-7
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Android Application Development for the Intel Platform
Android Application Development for the Intel Platform
Author 
Cohen, Ryan. author. Wang, Tao. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4842-0100-8
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Scripting in Java Integrating with Groovy and JavaScript
Scripting in Java Integrating with Groovy and JavaScript
Author 
Sharan, Kishori. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4842-0713-0
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Visual Studio Condensed For Visual Studio 2013 Express, Professional, Premium and Ultimate Editions
Visual Studio Condensed For Visual Studio 2013 Express, Professional, Premium and Ultimate Editions
Author 
Desjardins, Patrick. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4302-6823-9
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Beginning Oracle SQL For Oracle Database 12c
Beginning Oracle SQL For Oracle Database 12c
Author 
Gorman, Tim. author. Jorgensen, Inger. author. Caffrey, Melanie. author. deHaan, Lex. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4302-6557-3
Format: 
Availability 
Online Library~1
Available:
Copies: