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
23 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Embedded Software Verification and Debugging
Embedded Software Verification and Debugging
Author 
Lettnin, Djones. editor. Winterholer, Markus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4614-2266-2
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for The Python Workbook A Brief Introduction with Exercises and Solutions
The Python Workbook A Brief Introduction with Exercises and Solutions
Author 
Stephenson, Ben. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-84560-4
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Principles and Practices of Building Parallel Software Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday
Principles and Practices of Building Parallel Software Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday
Author 
Barik, Rajkishore. editor. Gupta, Rajiv. editor. Palsberg, Jens. editor. (orcid)0000-0003-4747-365X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-97492-2
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Versatile Hardware Analysis Techniques From Waveform-based Analysis to Formal Verification
Versatile Hardware Analysis Techniques From Waveform-based Analysis to Formal Verification
Author 
Klemmer, Lucas. author. Große, Daniel. author. (orcid)0000-0002-1490-6175 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-83093-8
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Boosting Software Development Using Machine Learning
Boosting Software Development Using Machine Learning
Author 
Benala, Tirimula Rao. editor. Dehuri, Satchidananda. editor. Mall, Rajib. editor. Favorskaya, Margarita N. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-88188-6
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Analog Filters Handbook using APL-2
Analog Filters Handbook using APL-2
Author 
Fernández Marzalo, Carlos. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-80987-3
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Learning Java A Test-Driven Approach
Learning Java A Test-Driven Approach
Author 
Crotts, Joshua. author. (orcid)0000-0002-7513-5618 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-66638-4
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Guide to Competitive Programming Learning and Improving Algorithms Through Contests
Guide to Competitive Programming Learning and Improving Algorithms Through Contests
Author 
Laaksonen, Antti. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-61794-2
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Laser Powder Bed Fusion of Additive Manufacturing Technology
Laser Powder Bed Fusion of Additive Manufacturing Technology
Author 
Wang, Di. author. (orcid)0000-0001-5727-2777 Yang, Yongqiang. author. Liu, Yang. author. Bai, Yuchao. author. Tan, Chaolin. author. (orcid)0000-0003-2029-4600
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-5513-8
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings
Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings
Author 
Bouajjani, Ahmed. editor. Monniaux, David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-52234-0
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Decentralized Neural Control: Application to Robotics
Decentralized Neural Control: Application to Robotics
Author 
Garcia-Hernandez, Ramon. author. Lopez-Franco, Michel. author. Sanchez, Edgar N. author. Alanis, Alma y. author. (orcid)0000-0001-9600-779X Ruz-Hernandez, Jose A. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-53312-4
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
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:
Go to:Search Results
|
Top of Page
|
Search Facets