Limit Search Results
Author
SpringerLink (Online service)
(44)
Das, Swagatam. editor.
(4)
Buarque, Fernando. editor.
(3)
Engelbrecht, Andries. editor.
(3)
Gelbukh, Alexander. editor.
(3)
Language
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
44 Results Found Subscribe to search results
00000000DEFAULT
Print
1. 
Cover image for Multimodal Analyses enabling Artificial Agents in Human-Machine Interaction Second International Workshop, MA3HMI 2014, Held in Conjunction with INTERSPEECH 2014, Singapore, Singapore, September 14, 2014, Revised Selected Papers
Multimodal Analyses enabling Artificial Agents in Human-Machine Interaction Second International Workshop, MA3HMI 2014, Held in Conjunction with INTERSPEECH 2014, Singapore, Singapore, September 14, 2014, Revised Selected Papers
Author 
Böck, Ronald. editor. Bonin, Francesca. editor. Campbell, Nick. editor. Poppe, Ronald. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(518963.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-15557-9
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings
Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings
Author 
Bartocci, Ezio. editor. Majumdar, Rupak. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519135.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-23820-3
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers
Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers
Author 
Codescu, Mihai. editor. Diaconescu, Răzvan. editor. Țuțu, Ionuț. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519139.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-28114-8
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers
Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers
Author 
Lanese, Ivan. editor. Madelaine, Eric. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519140.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-15317-9
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Formal Methods: Foundations and Applications 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings
Formal Methods: Foundations and Applications 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings
Author 
Braga, Christiano. editor. Martí-Oliet, Narciso. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519154.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-15075-8
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Large-Scale Scientific Computing 10th International Conference, LSSC 2015, Sozopol, Bulgaria, June 8-12, 2015. Revised Selected Papers
Large-Scale Scientific Computing 10th International Conference, LSSC 2015, Sozopol, Bulgaria, June 8-12, 2015. Revised Selected Papers
Author 
Lirkov, Ivan. editor. Margenov, Svetozar D. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519278.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-26520-9
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Agents and Artificial Intelligence 7th International Conference, ICAART 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers
Agents and Artificial Intelligence 7th International Conference, ICAART 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers
Author 
Duval, Béatrice. editor. van den Herik, Jaap. editor. Loiseau, Stephane. editor. Filipe, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519119.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-27947-3
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
Author 
Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519028.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21668-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action