Limit Search Results
Author
SpringerLink (Online service)
(45)
Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X
(10)
Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758
(10)
Tetko, Igor V. editor. (orcid)0000-0002-6855-0012
(10)
Wand, Michael. editor. (orcid)0000-0003-0966-7824
(10)
Language
Publication Date
-
Subject
Computer networks .
(17)
Computing Milieux.
(16)
Computer Communication Networks.
(15)
Application software.
(13)
Artificial intelligence.
(13)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
46 Results Found Subscribe to search results
0000000000DEFAULT
Print
37. 
Cover image for Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs
Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs
Author 
Herdt, Vladimir. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-12680-3
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Resource Management for Big Data Platforms Algorithms, Modelling, and High-Performance Computing Techniques
Resource Management for Big Data Platforms Algorithms, Modelling, and High-Performance Computing Techniques
Author 
Pop, Florin. editor. Kołodziej, Joanna. editor. Di Martino, Beniamino. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-44881-7
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Multiple Constant Multiplication Optimizations for Field Programmable Gate Arrays
Multiple Constant Multiplication Optimizations for Field Programmable Gate Arrays
Author 
Kumm, Martin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-13323-8
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Seminal Contributions to Modelling and Simulation 30 Years of the European Council of Modelling and Simulation
Seminal Contributions to Modelling and Simulation 30 Years of the European Council of Modelling and Simulation
Author 
Al-Begain, Khalid. editor. Bargiela, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-33786-9
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Cognitive Radio Oriented Wireless Networks 11th International Conference, CROWNCOM 2016, Grenoble, France, May 30 - June 1, 2016, Proceedings
Cognitive Radio Oriented Wireless Networks 11th International Conference, CROWNCOM 2016, Grenoble, France, May 30 - June 1, 2016, Proceedings
Author 
Noguet, Dominique. editor. Moessner, Klaus. editor. Palicot, Jacques. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-40352-6
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for High Performance Computing ISC High Performance 2016 International Workshops, ExaComm, E-MuCoCoS, HPC-IODC, IXPUG, IWOPH, P^3MA, VHPC, WOPSSS, Frankfurt, Germany, June 19-23, 2016, Revised Selected Papers
High Performance Computing ISC High Performance 2016 International Workshops, ExaComm, E-MuCoCoS, HPC-IODC, IXPUG, IWOPH, P^3MA, VHPC, WOPSSS, Frankfurt, Germany, June 19-23, 2016, Revised Selected Papers
Author 
Taufer, Michela. editor. Mohr, Bernd. editor. Kunkel, Julian M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46079-6
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
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:
44. 
Cover image for Solving the Dynamic Complexity Dilemma Predictive and Prescriptive Business Management: Answering the Need for a New Paradigm
Solving the Dynamic Complexity Dilemma Predictive and Prescriptive Business Management: Answering the Need for a New Paradigm
Author 
Abu el Ata, Nabil. author. Perks, Maurice J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54310-4
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Parallel Computational Fluid Dynamics 25th International Conference, ParCFD 2013, Changsha, China, May 20-24, 2013. Revised Selected Papers
Parallel Computational Fluid Dynamics 25th International Conference, ParCFD 2013, Changsha, China, May 20-24, 2013. Revised Selected Papers
Author 
Li, Kenli. editor. Xiao, Zheng. editor. Wang, Yan. editor. Du, Jiayi. editor. Li, Keqin. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-53962-6
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for The first computers history and architectures
The first computers history and architectures
Author 
Rojas, Raúl, 1955- Hashagen, Ulf.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276817
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action