Limit Search Results
Author
SpringerLink (Online service)
(23)
Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792
(3)
Heule, Marijn. editor. (orcid)0000-0002-5587-8801
(3)
Bryson, J. R., 1963-
(2)
Daniel, Florian. editor.
(2)
Language
Publication Date
-
Subject
Competition, International.
(26)
Software engineering.
(11)
Computer science.
(8)
Artificial intelligence.
(7)
Theory of Computation.
(7)
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
75 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Enron ascending : the forgotten years, 1984-1996
Enron ascending : the forgotten years, 1984-1996
Author 
Bradley, Robert L., 1955- author.
Preferred Shelf Number 
HD9502 .U54
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119493709
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I
Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I
Author 
Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-54577-5
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II
Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II
Author 
Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-54580-5
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Transactions on Computational Collective Intelligence XXVI
Transactions on Computational Collective Intelligence XXVI
Author 
Nguyen, Ngoc Thanh. editor. Kowalczyk, Ryszard. editor. Pinto, Alexandre Miguel. editor. Cardoso, Jorge. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-59268-8
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for RoboCup 2016: Robot World Cup XX
RoboCup 2016: Robot World Cup XX
Author 
Behnke, Sven. editor. Sheh, Raymond. editor. Sarıel, Sanem. editor. Lee, Daniel D. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68792-6
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Health Without Borders Epidemics in the Era of Globalization
Health Without Borders Epidemics in the Era of Globalization
Author 
Vineis, Paolo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-52446-7
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Rapid Mashup Development Tools Second International Rapid Mashup Challenge, RMC 2016, Lugano, Switzerland, June 6, 2016, Revised Selected Papers
Rapid Mashup Development Tools Second International Rapid Mashup Challenge, RMC 2016, Lugano, Switzerland, June 6, 2016, Revised Selected Papers
Author 
Daniel, Florian. editor. Gaedke, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-53174-8
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Author 
Chechik, Marsha. editor. (orcid)0000-0002-6301-3517 Raskin, Jean-François. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-49674-9
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Rapid Mashup Development Tools First International Rapid Mashup Challenge, RMC 2015, Rotterdam, The Netherlands, June 23, 2015, Revised Selected Papers
Rapid Mashup Development Tools First International Rapid Mashup Challenge, RMC 2015, Rotterdam, The Netherlands, June 23, 2015, Revised Selected Papers
Author 
Daniel, Florian. editor. Pautasso, Cesare. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-28727-0
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Exploring the Strategy Space of Negotiating Agents A Framework for Bidding, Learning and Accepting in Automated Negotiation
Exploring the Strategy Space of Negotiating Agents A Framework for Bidding, Learning and Accepting in Automated Negotiation
Author 
Baarslag, Tim. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-28243-5
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Recent Advances in Agent-based Complex Automated Negotiation
Recent Advances in Agent-based Complex Automated Negotiation
Author 
Fukuta, Naoki. editor. Ito, Takayuki. editor. Zhang, Minjie. editor. Fujita, Katsuhide. editor. Robu, Valentin. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-30307-9
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for The future of global organizing
The future of global organizing
Author 
Tulder, Rob van. Verbeke, Alain. Drogendijk, Rian.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://www.emerald.com/insight/publication/doi/10.1108/S1745-8862201510
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action