Limit Search Results
Author
SpringerLink (Online service)
(41)
Grzech, Adam. editor.
(8)
Wilimowska, Zofia. editor.
(8)
Borzemski, Leszek. editor.
(4)
Borzemski, Leszek. editor. (orcid)0000-0001-5307-3818
(4)
Language
Publication Date
-
2016
(13)
2024
(13)
2017
(11)
2025
(4)
Subject
Computer networks .
(18)
Computer Communication Networks.
(15)
Artificial intelligence.
(13)
Communications Engineering, Networks.
(13)
Telecommunication.
(13)
Material Type
Library
Switch to list view
Switch to thumbnail view
Select an Action
41 Results Found Subscribe to search results
00000DEFAULT
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 Distributed Computer and Communication Networks 19th International Conference, DCCN 2016, Moscow, Russia, November 21-25, 2016, Revised Selected Papers
Distributed Computer and Communication Networks 19th International Conference, DCCN 2016, Moscow, Russia, November 21-25, 2016, Revised Selected Papers
Author 
Vishnevskiy, Vladimir M. editor. (orcid)0000-0001-7373-4847 Samouylov, Konstantin E. editor. Kozyrev, Dmitry V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-51917-3
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Information Systems Architecture and Technology: Proceedings of 36th International Conference on Information Systems Architecture and Technology - ISAT 2015 - Part III
Information Systems Architecture and Technology: Proceedings of 36th International Conference on Information Systems Architecture and Technology - ISAT 2015 - Part III
Author 
Świątek, Jerzy. editor. Borzemski, Leszek. editor. Grzech, Adam. editor. Wilimowska, Zofia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-28564-1
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Information Systems Architecture and Technology: Proceedings of 36th International Conference on Information Systems Architecture and Technology - ISAT 2015 - Part II
Information Systems Architecture and Technology: Proceedings of 36th International Conference on Information Systems Architecture and Technology - ISAT 2015 - Part II
Author 
Grzech, Adam. editor. Borzemski, Leszek. editor. Świątek, Jerzy. editor. Wilimowska, Zofia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-28561-0
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Information Systems Architecture and Technology: Proceedings of 36th International Conference on Information Systems Architecture and Technology - ISAT 2015 - Part I
Information Systems Architecture and Technology: Proceedings of 36th International Conference on Information Systems Architecture and Technology - ISAT 2015 - Part I
Author 
Borzemski, Leszek. editor. Grzech, Adam. editor. Swiątek, Paweł. editor. Wilimowska, Zofia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-28555-9
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action