Limit Search Results
Author
Language
Publication Date
-
Subject
COMPUTERS.
(3)
Electronic books.
(3)
Programming.
(3)
Software engineering.
(3)
Telecommunication.
(3)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
10 Results Found Subscribe to search results
0000000000DEFAULT
Print
1. 
Cover image for Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings
Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings
Author 
André, Étienne. editor. (orcid)0000-0001-8473-9555 Stoelinga, Mariëlle. editor. (orcid)0000-0001-6793-8165 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-29662-9
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings
Author 
Collart-Dutilleul, Simon. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-18744-6
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Author 
Abraham, Erika. editor. Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54862-8
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Randomized Algorithms for Analysis and Control of Uncertain Systems With Applications
Randomized Algorithms for Analysis and Control of Uncertain Systems With Applications
Author 
Tempo, Roberto. author. Calafiore, Giuseppe. author. Dabbene, Fabrizio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331024.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4610-0
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Randomized Algorithms for Analysis and Control of Uncertain Systems
Randomized Algorithms for Analysis and Control of Uncertain Systems
Author 
Tempo, Roberto. author. Dabbene, Fabrizio. author. Calafiore, Giuseppe. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137802
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Principles of Signals and Systems
Principles of Signals and Systems
Author 
Gazi, Orhan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-17789-7
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Cultural algorithms : tools to model complex dynamic social systems
Cultural algorithms : tools to model complex dynamic social systems
Author 
Reynolds, Robert G., author.
Preferred Shelf Number 
H61.25 .R49 2021
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119403111
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Role of edge analytics in sustainable smart city development : challenges and solutions
Role of edge analytics in sustainable smart city development : challenges and solutions
Author 
Kanagachidambaresan, G. R., 1988- editor.
Preferred Shelf Number 
TD159.4 .R65 2020
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119681328
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Design and optimization for 5G wireless communications
Design and optimization for 5G wireless communications
Author 
Kim, Haesik, author.
Preferred Shelf Number 
TK5103.25 .K56 2020
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119494492
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Analog automation and digital feedback control techniques
Analog automation and digital feedback control techniques
Author 
Mbihi, Jean.
Preferred Shelf Number 
TJ213
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119452836
Format: 
Availability 
Online Library~1
Available:
Copies: