Limit Search Results
Author
SpringerLink (Online service)
(75)
Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093
(2)
Bouajjani, Ahmed. editor.
(2)
Chaudhuri, Swarat. editor.
(2)
Chigona, Wallace. editor. (orcid)0000-0002-1059-811X
(2)
Language
Publication Date
-
2017
(24)
2016
(19)
2024
(18)
2025
(13)
2023
(1)
Subject
Computer Communication Networks.
(56)
Computer science.
(38)
Software engineering.
(38)
Formal Languages and Automata Theory.
(36)
Machine theory.
(36)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
75 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
Author 
Bogomolov, Sergiy. editor. Martel, Matthieu. editor. Prabhakar, Pavithra. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-54292-8
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Risk Assessment and Risk-Driven Quality Assurance 4th International Workshop, RISK 2016, Held in Conjunction with ICTSS 2016, Graz, Austria, October 18, 2016, Revised Selected Papers
Risk Assessment and Risk-Driven Quality Assurance 4th International Workshop, RISK 2016, Held in Conjunction with ICTSS 2016, Graz, Austria, October 18, 2016, Revised Selected Papers
Author 
Großmann, Jürgen. editor. Felderer, Michael. editor. Seehusen, Fredrik. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-57858-3
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Combinatorics on Words 11th International Conference, WORDS 2017, Montréal, QC, Canada, September 11-15, 2017, Proceedings
Combinatorics on Words 11th International Conference, WORDS 2017, Montréal, QC, Canada, September 11-15, 2017, Proceedings
Author 
Brlek, Srečko. editor. Dolce, Francesco. editor. Reutenauer, Christophe. editor. Vandomme, Élise. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66396-8
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Applied Reconfigurable Computing 13th International Symposium, ARC 2017, Delft, The Netherlands, April 3-7, 2017, Proceedings
Applied Reconfigurable Computing 13th International Symposium, ARC 2017, Delft, The Netherlands, April 3-7, 2017, Proceedings
Author 
Wong, Stephan. editor. Beck, Antonio Carlos. editor. Bertels, Koen. editor. Carro, Luigi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-56258-2
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Parallel Architecture, Algorithm and Programming 8th International Symposium, PAAP 2017, Haikou, China, June 17-18, 2017, Proceedings
Parallel Architecture, Algorithm and Programming 8th International Symposium, PAAP 2017, Haikou, China, June 17-18, 2017, Proceedings
Author 
Chen, Guoliang. editor. Shen, Hong. editor. Chen, Mingrui. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-6442-5
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for SDL 2017: Model-Driven Engineering for Future Internet 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedings
SDL 2017: Model-Driven Engineering for Future Internet 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedings
Author 
Csöndes, Tibor. editor. Kovács, Gábor. editor. Réthy, György. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68015-6
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Trust, Privacy and Security in Digital Business 14th International Conference, TrustBus 2017, Lyon, France, August 30-31, 2017, Proceedings
Trust, Privacy and Security in Digital Business 14th International Conference, TrustBus 2017, Lyon, France, August 30-31, 2017, Proceedings
Author 
Lopez, Javier. editor. Fischer-Hübner, Simone. editor. Lambrinoudakis, Costas. editor. (orcid)0000-0003-3101-5347 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-64483-7
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for KI 2017: Advances in Artificial Intelligence 40th Annual German Conference on AI, Dortmund, Germany, September 25-29, 2017, Proceedings.
KI 2017: Advances in Artificial Intelligence 40th Annual German Conference on AI, Dortmund, Germany, September 25-29, 2017, Proceedings.
Author 
Kern-Isberner, Gabriele. editor. Fürnkranz, Johannes. editor. (orcid)0000-0002-1207-0159 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67190-1
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Formal Techniques for Distributed Objects, Components, and Systems 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings
Formal Techniques for Distributed Objects, Components, and Systems 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings
Author 
Bouajjani, Ahmed. editor. Silva, Alexandra. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-60225-7
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Cellular Automata and Discrete Complex Systems 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings
Cellular Automata and Discrete Complex Systems 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings
Author 
Dennunzio, Alberto. editor. Formenti, Enrico. editor. Manzoni, Luca. editor. Porreca, Antonio E. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-58631-1
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude
Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude
Author 
Ölveczky, Peter Csaba. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4471-6687-0
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
Author 
Aceto, Luca. editor. Bacci, Giorgio. editor. Bacci, Giovanni. editor. Ingólfsdóttir, Anna. editor. Legay, Axel. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-63121-9
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets