Limit Search Results
Author
SpringerLink (Online service)
(101)
Dastani, Mehdi. editor.
(4)
Meyer, Bertrand. editor.
(4)
Diniz, Pedro C. editor.
(3)
Leite, João. editor.
(3)
Language
Publication Date
-
Subject
Software engineering.
(47)
Computer Communication Networks.
(33)
Logic design.
(23)
Artificial intelligence.
(18)
Information systems.
(18)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
103 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Systems and Software Variability Management Concepts, Tools and Experiences
Systems and Software Variability Management Concepts, Tools and Experiences
Author 
Capilla, Rafael. editor. Bosch, Jan. editor. Kang, Kyo-Chul. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334240.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36583-6
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
Author 
Piterman, Nir. editor. Smolka, Scott A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334278.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36742-7
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Reconfigurable Computing: Architectures, Tools and Applications 9th International Symposium, ARC 2013, Los Angeles, CA, USA, March 25-27, 2013. Proceedings
Reconfigurable Computing: Architectures, Tools and Applications 9th International Symposium, ARC 2013, Los Angeles, CA, USA, March 25-27, 2013. Proceedings
Author 
Brisk, Philip. editor. Figueiredo Coutinho, José Gabriel. editor. Diniz, Pedro C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334299.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36812-7
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Techniques and Tools for Designing an Online Social Network Platform
Techniques and Tools for Designing an Online Social Network Platform
Author 
Karampelas, Panagiotis. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335297.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-7091-0787-4
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Measurement Methodology and Tools First European Workshop, FP7 FIRE/EULER Project, Aalborg, Denmark, May 9, 2012, Revised and Extended Papers
Measurement Methodology and Tools First European Workshop, FP7 FIRE/EULER Project, Aalborg, Denmark, May 9, 2012, Revised and Extended Papers
Author 
Fàbrega, Lluís. editor. Vilà, Pere. editor. Careglio, Davide. editor. Papadimitriou, Dimitri. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335086.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41296-7
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Intel® Xeon Phi™ Coprocessor Architecture and Tools The Guide for Application Developers
Intel® Xeon Phi™ Coprocessor Architecture and Tools The Guide for Application Developers
Author 
Rahman, Rezaur. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330730.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-5927-5
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Universal Access in Human-Computer Interaction. Design Methods, Tools, and Interaction Techniques for eInclusion 7th International Conference, UAHCI 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I
Universal Access in Human-Computer Interaction. Design Methods, Tools, and Interaction Techniques for eInclusion 7th International Conference, UAHCI 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I
Author 
Stephanidis, Constantine. editor. Antona, Margherita. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334747.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39188-0
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Design, User Experience, and Usability. Design Philosophy, Methods, and Tools Second International Conference, DUXU 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I
Design, User Experience, and Usability. Design Philosophy, Methods, and Tools Second International Conference, DUXU 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I
Author 
Marcus, Aaron. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334758.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39229-0
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Human-Computer Interaction. Human-Centred Design Approaches, Methods, Tools, and Environments 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I
Human-Computer Interaction. Human-Centred Design Approaches, Methods, Tools, and Environments 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I
Author 
Kurosu, Masaaki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334759.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39232-0
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings
Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings
Author 
Lourenço, João M. editor. Farchi, Eitan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334870.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39955-8
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Collaborative Financial Infrastructure Protection Tools, Abstractions, and Middleware
Collaborative Financial Infrastructure Protection Tools, Abstractions, and Middleware
Author 
Baldoni, Roberto. editor. Chockler, Gregory. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20420-3
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Verified Software: Theories, Tools, Experiments 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings
Verified Software: Theories, Tools, Experiments 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings
Author 
Joshi, Rajeev. editor. Müller, Peter. editor. Podelski, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27705-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action