Limit Search Results
Author
SpringerLink (Online service)
(351)
Stephanidis, Constantine. editor.
(6)
Antona, Margherita. editor.
(4)
IEEE Xplore (Online Service), distributor.
(4)
MIT Press, publisher.
(4)
Language
Subject
Computers.
(191)
Artificial intelligence.
(84)
Software engineering.
(82)
Computers and civilization.
(81)
Application software.
(75)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
388 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Descriptional Complexity of Formal Systems 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings
Descriptional Complexity of Formal Systems 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings
Author 
Jürgensen, Helmut. editor. Karhumäki, Juhani. editor. Okhotin, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09704-6
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Autonomy Requirements Engineering for Space Missions
Autonomy Requirements Engineering for Space Missions
Author 
Vassev, Emil. author. Hinchey, Mike. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09816-6
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings
Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings
Author 
Le Goues, Claire. editor. Yoo, Shin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09940-8
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Software Architecture 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings
Software Architecture 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings
Author 
Avgeriou, Paris. editor. Zdun, Uwe. editor. (orcid)0000-0002-6233-2591 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09970-5
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Linked Open Data -- Creating Knowledge Out of Interlinked Data Results of the LOD2 Project
Linked Open Data -- Creating Knowledge Out of Interlinked Data Results of the LOD2 Project
Author 
Auer, Sören. editor. Bryl, Volha. editor. Tramp, Sebastian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09846-3
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Safe and Secure Cities 5th International Conference on Well-Being in the Information Society, WIS 2014, Turku, Finland, August 18-20, 2014. Proceedings
Safe and Secure Cities 5th International Conference on Well-Being in the Information Society, WIS 2014, Turku, Finland, August 18-20, 2014. Proceedings
Author 
Saranto, Kaija. editor. Castrén, Maaret. editor. Kuusela, Tiina. editor. Hyrynsalmi, Sami. editor. Ojala, Stina. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10211-5
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Knowledge-Based Software Engineering 11th Joint Conference, JCKBSE 2014, Volgograd, Russia, September 17-20, 2014. Proceedings
Knowledge-Based Software Engineering 11th Joint Conference, JCKBSE 2014, Volgograd, Russia, September 17-20, 2014. Proceedings
Author 
Kravets, Alla. editor. (orcid)0000-0003-1675-8652 Shcherbakov, Maxim. editor. (orcid)0000-0001-7173-4499 Kultsova, Marina. editor. (orcid)0000-0002-2584-431X Iijima, Tadashi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11854-3
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Mobile Web Information Systems 11th International Conference, MobiWIS 2014, Barcelona, Spain, August 27-29, 2014. Proceedings
Mobile Web Information Systems 11th International Conference, MobiWIS 2014, Barcelona, Spain, August 27-29, 2014. Proceedings
Author 
Awan, Irfan. editor. Younas, Muhammad. editor. Franch, Xavier. editor. Quer, Carme. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10359-4
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings
Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings
Author 
Giannakopoulou, Dimitra. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10431-7
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings
Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings
Author 
Albert, Elvira. editor. Sekerinski, Emil. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10181-1
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Concrete Semantics With Isabelle/HOL
Concrete Semantics With Isabelle/HOL
Author 
Nipkow, Tobias. author. Klein, Gerwin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10542-0
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Broadcast Design in Cognitive Radio Ad Hoc Networks
Broadcast Design in Cognitive Radio Ad Hoc Networks
Author 
Song, Yi. author. Xie, Jiang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12622-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action