Limit Search Results
Author
Pal, Indrajit. editor. (orcid)0000-0002-8743-8122
(3)
LaMarche, Jeff. author.
(2)
Marconi, Lorenzo. editor. (orcid)0000-0001-5519-5448
(2)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(2)
Mark, David. author.
(2)
Language
English
(118)
Publication Date
-
Subject
Software engineering.
(18)
Artificial intelligence.
(15)
Computational intelligence.
(15)
Computer science.
(10)
Compilers (Computer programs).
(9)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
118 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Student Financial Literacy Campus-Based Program Development
Student Financial Literacy Campus-Based Program Development
Author 
Durband, Dorothy B. editor. Britt, Sonya L. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-3505-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Managing More-than-Moore Integration Technology Development A Story of an Advanced Technology Program in the Semiconductor Industry
Managing More-than-Moore Integration Technology Development A Story of an Advanced Technology Program in the Semiconductor Industry
Author 
Radojcic, Riko. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92701-5
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Meta-Programming and Model-Driven Meta-Program Development Principles, Processes and Techniques
Meta-Programming and Model-Driven Meta-Program Development Principles, Processes and Techniques
Author 
Štuikys, Vytautas. author. Damaševičius, Robertas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330912.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4126-6
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Working with Assumptions in International Development Program Evaluation With a Foreword by Michael Bamberger
Working with Assumptions in International Development Program Evaluation With a Foreword by Michael Bamberger
Author 
Nkwake, Apollo M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331589.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-4797-9
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Rigorous Software Development An Introduction to Program Verification
Rigorous Software Development An Introduction to Program Verification
Author 
Almeida, José Bacelar. author. Frade, Maria João. author. Pinto, Jorge Sousa. author. Melo de Sousa, Simão. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-018-2
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Handbook of Blended Shore Education Adult Program Development and Delivery
Handbook of Blended Shore Education Adult Program Development and Delivery
Author 
Strohschen, Gabriele I.E. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-09443-4
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Automatic Program Development A Tribute to Robert Paige
Automatic Program Development A Tribute to Robert Paige
Author 
Danvy, Olivier. editor. Henglein, Fritz. editor. Mairson, Harry. editor. Pettorossi, Alberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-6585-9
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Communications-Based Train Control (CBTC) Automation of metros and urban rapid transit systems
Communications-Based Train Control (CBTC) Automation of metros and urban rapid transit systems
Author 
Schnieder, Lars. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-70251-2
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Hepatic Arterial Infusion for Malignancy
Hepatic Arterial Infusion for Malignancy
Author 
D'Angelica, Michael. editor. Lidsky, Michael. editor. (orcid)0000-0003-0500-2016 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-74935-3
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Graduate Medical Education in Family Medicine From Basic Processes to True Innovation
Graduate Medical Education in Family Medicine From Basic Processes to True Innovation
Author 
Kellerman, Rick. editor. Irwin, Gretchen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-70741-4
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Exercise Programming for Cardiac Patients
Exercise Programming for Cardiac Patients
Author 
Rybicki, Jerzy. editor. Staron, Adam. editor. (orcid)0000-0001-5489-9160 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-88475-7
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Plant Genebank Utilization for Trait Discovery in Millets Volume IV
Plant Genebank Utilization for Trait Discovery in Millets Volume IV
Author 
Tripathi, Kuldeep. editor. Kumari, Jyoti. editor. Pandey, Sushil. editor. Singh, Badal. editor. Archak, Sunil. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-4043-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action