Limit Search Results
Author
SpringerLink (Online service)
(59)
Sharan, Kishori. author.
(3)
Akshay, S. editor. (orcid)0000-0002-2471-5997
(2)
Dandamudi, Sivarama P. author.
(2)
Luković, Ivan. editor. (orcid)0000-0003-1319-488X
(2)
Language
Publication Date
-
Subject
Computer science.
(18)
Programming Language.
(15)
Programming languages (Electronic computers).
(15)
Compilers (Computer programs).
(13)
Compilers and Interpreters.
(13)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
61 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude
Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude
Author 
Ölveczky, Peter Csaba. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4471-6687-0
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications
Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications
Author 
O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-64021-1
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Guide to Scientific Computing in C++
Guide to Scientific Computing in C++
Author 
Pitt-Francis, Joe. author. Whiteley, Jonathan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-73132-2
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Programming Languages and Systems 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Programming Languages and Systems 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Author 
Thiemann, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-49498-1
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Programming with Python
Programming with Python
Author 
Padmanabhan, T R. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-3277-6
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Software Design for Resilient Computer Systems
Software Design for Resilient Computer Systems
Author 
Schagaev, Igor. author. Thomas, Kaegi. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-29465-0
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for The Python Quick Syntax Reference
The Python Quick Syntax Reference
Author 
Walters, Gregory. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4302-6479-8
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Beginning Java 8 Language Features Lambda Expressions, Inner Classes, Threads, I/O, Collections, and Streams
Beginning Java 8 Language Features Lambda Expressions, Inner Classes, Threads, I/O, Collections, and Streams
Author 
Sharan, Kishori. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4302-6659-4
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Beginning COBOL for Programmers
Beginning COBOL for Programmers
Author 
Coughlan, Michael. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4302-6254-1
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Advanced Topics in Java Core Concepts in Data Structures
Advanced Topics in Java Core Concepts in Data Structures
Author 
Kalicharan, Noel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4302-6620-4
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Building JavaScript Games for Phones, Tablets, and Desktop
Building JavaScript Games for Phones, Tablets, and Desktop
Author 
Egges, Arjan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4302-6539-9
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Pro Unity Game Development with C#
Pro Unity Game Development with C#
Author 
Thorn, Alan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4302-6745-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action