Limit Search Results
Author
Bernardo, Marco. editor.
(11)
Shishkov, Boris. editor.
(8)
Nurcan, Selmin. editor.
(3)
Winckler, Marco. editor.
(3)
Abdelnour Nocera, José. editor.
(2)
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
144 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Patterns of HCI Design and HCI Design of Patterns Bridging HCI Design and Model-Driven Software Engineering
Patterns of HCI Design and HCI Design of Patterns Bridging HCI Design and Model-Driven Software Engineering
Author 
Seffah, Ahmed. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(518624.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-15687-3
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Design Science Methodology for Information Systems and Software Engineering
Design Science Methodology for Information Systems and Software Engineering
Author 
Wieringa, Roel J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-43839-8
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Business Modeling and Software Design Third International Symposium, BMSD 2013, Noordwijkerhout, The Netherlands, July 8-10, 2013, Revised Selected Papers
Business Modeling and Software Design Third International Symposium, BMSD 2013, Noordwijkerhout, The Netherlands, July 8-10, 2013, Revised Selected Papers
Author 
Shishkov, Boris. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-06671-4
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
Author 
Bernardo, Marco. editor. Damiani, Ferruccio. editor. Haehnle, Reiner. editor. (orcid)0000-0001-8000-7613 Johnsen, Einar Broch. editor. Schaefer, Ina. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07317-0
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Business Modeling and Software Design Second International Symposium, BMSD 2012, Geneva, Switzerland, July 4-6, 2012, Revised Selected Papers
Business Modeling and Software Design Second International Symposium, BMSD 2012, Geneva, Switzerland, July 4-6, 2012, Revised Selected Papers
Author 
Shishkov, Boris. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334438.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-37478-4
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures
Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures
Author 
Bernardo, Marco. editor. Vink, Erik. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334688.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38874-3
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Multicore Systems On-Chip: Practical Software/Hardware Design 2nd Edition
Multicore Systems On-Chip: Practical Software/Hardware Design 2nd Edition
Author 
Ben Abdallah, Abderazek. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(336495.1)
Electronic Access 
http://dx.doi.org/10.2991/978-94-91216-92-3
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Software Radio Sampling Rate Selection, Design and Synchronization
Software Radio Sampling Rate Selection, Design and Synchronization
Author 
Venosa, Elettra. author. harris, fredric j. author. Palmieri, Francesco A. N. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-0113-1
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Business Modeling and Software Design First International Symposium, BMSD 2011, Sofia, Bulgaria, July 27-28, 2011, Revised Selected Papers
Business Modeling and Software Design First International Symposium, BMSD 2011, Sofia, Bulgaria, July 27-28, 2011, Revised Selected Papers
Author 
Shishkov, Boris. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29788-5
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Hardware/Software Co-design for Heterogeneous Multi-core Platforms The hArtes Toolchain
Hardware/Software Co-design for Heterogeneous Multi-core Platforms The hArtes Toolchain
Author 
Bertels, Koen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-1406-9
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Computer- Aided Design in Power Engineering Application of Software Tools
Computer- Aided Design in Power Engineering Application of Software Tools
Author 
Stojkovic, Zlatan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30206-0
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Formal Methods for Model-Driven Engineering 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures
Formal Methods for Model-Driven Engineering 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures
Author 
Bernardo, Marco. editor. Cortellessa, Vittorio. editor. Pierantonio, Alfonso. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30982-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets