Limit Search Results
Author
SpringerLink (Online service)
(60)
Lapuschkin, Sebastian. editor. (orcid)0000-0002-0762-7258
(4)
Longo, Luca. editor.
(4)
Seifert, Christin. editor. (orcid)0000-0002-6776-3868
(4)
Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121
(3)
Language
Publication Date
-
Subject
Computer science.
(46)
Computer Science Logic and Foundations of Programming.
(45)
Software engineering.
(42)
Computer Communication Networks.
(38)
Artificial intelligence.
(26)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
60 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
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:
26. 
Cover image for Computer Vision Systems 11th International Conference, ICVS 2017, Shenzhen, China, July 10-13, 2017, Revised Selected Papers
Computer Vision Systems 11th International Conference, ICVS 2017, Shenzhen, China, July 10-13, 2017, Revised Selected Papers
Author 
Liu, Ming. editor. Chen, Haoyao. editor. Vincze, Markus. editor. (orcid)0000-0002-2799-491X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68345-4
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Advances in Computing 12th Colombian Conference, CCC 2017, Cali, Colombia, September 19-22, 2017, Proceedings
Advances in Computing 12th Colombian Conference, CCC 2017, Cali, Colombia, September 19-22, 2017, Proceedings
Author 
Solano, Andrés. editor. Ordoñez, Hugo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66562-7
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Advances in Soft Computing 15th Mexican International Conference on Artificial Intelligence, MICAI 2016, Cancún, Mexico, October 23-28, 2016, Proceedings, Part II
Advances in Soft Computing 15th Mexican International Conference on Artificial Intelligence, MICAI 2016, Cancún, Mexico, October 23-28, 2016, Proceedings, Part II
Author 
Pichardo-Lagunas, Obdulia. editor. Miranda-Jiménez, Sabino. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-62428-0
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings
Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings
Author 
Gabmeyer, Sebastian. editor. Johnsen, Einar Broch. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61467-0
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
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:
31. 
Cover image for Advances in Computational Intelligence 15th Mexican International Conference on Artificial Intelligence, MICAI 2016, Cancún, Mexico, October 23-28, 2016, Proceedings, Part I
Advances in Computational Intelligence 15th Mexican International Conference on Artificial Intelligence, MICAI 2016, Cancún, Mexico, October 23-28, 2016, Proceedings, Part I
Author 
Sidorov, Grigori. editor. Herrera-Alcántara, Oscar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-62434-1
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Security of Industrial Control Systems and Cyber-Physical Systems Second International Workshop, CyberICPS 2016, Heraklion, Crete, Greece, September 26-30, 2016, Revised Selected Papers
Security of Industrial Control Systems and Cyber-Physical Systems Second International Workshop, CyberICPS 2016, Heraklion, Crete, Greece, September 26-30, 2016, Revised Selected Papers
Author 
Cuppens-Boulahia, Nora. editor. Lambrinoudakis, Costas. editor. (orcid)0000-0003-3101-5347 Cuppens, Frédéric. editor. Katsikas, Sokratis. editor. (orcid)0000-0003-2966-9683 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61437-3
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Symbolic and Quantitative Approaches to Reasoning with Uncertainty 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017, Proceedings
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017, Proceedings
Author 
Antonucci, Alessandro. editor. Cholvy, Laurence. editor. Papini, Odile. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61581-3
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Fundamentals of Computation Theory 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings
Fundamentals of Computation Theory 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings
Author 
Klasing, Ralf. editor. Zeitoun, Marc. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-55751-8
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
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:
36. 
Cover image for Digital Logic for Computing
Digital Logic for Computing
Author 
Seiffertt, John. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-56839-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action