Limit Search Results
Author
SpringerLink (Online service)
(586)
Kim, Tai-hoon. editor.
(13)
Ślęzak, Dominik. editor.
(8)
Nguyen, Ngoc Thanh. editor.
(7)
Daniilidis, Kostas. editor.
(6)
Language
Subject
Computer science.
(544)
Software engineering.
(343)
Computer software.
(316)
Computer Communication Networks.
(267)
Information systems.
(231)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
655 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Permutation tests for complex data theory, applications, and software
Permutation tests for complex data theory, applications, and software
Author 
Pesarin, Fortunato. Salmaso, Luigi. Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
John Wiley http://dx.doi.org/10.1002/9780470689516
MyiLibrary, Table of contents http://www.myilibrary.com?id=255043&ref=toc
http://site.ebrary.com/lib/alltitles/Doc?id=10371881
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Modeling in Event-B system and software engineering
Modeling in Event-B system and software engineering
Author 
Abrial, Jean-Raymond.
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=317644
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for The architecture of computer hardware, systems software, and networking : an information technology approach
The architecture of computer hardware, systems software, and networking : an information technology approach
Author 
Englander, Irv.
Preferred Shelf Number 
QA76.5 E54 2010
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
28. 
Cover image for Safety analyses of complex systems : considerations of software, firmware, hardware, human, and the environment
Safety analyses of complex systems : considerations of software, firmware, hardware, human, and the environment
Author 
Allocco, Michael.
Preferred Shelf Number 
TA169.7 A45 2010
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
29. 
Cover image for Embedded Software Design and Programming of Multiprocessor System-on-Chip Simulink and System C Case Studies
Embedded Software Design and Programming of Multiprocessor System-on-Chip Simulink and System C Case Studies
Author 
Popovici, Katalin. author. Rousseau, Frédéric. author. Jerraya, Ahmed A. author. Wolf, Marilyn. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-5567-8
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Software Automatic Tuning From Concepts to State-of-the-Art Results
Software Automatic Tuning From Concepts to State-of-the-Art Results
Author 
Naono, Ken. editor. Teranishi, Keita. editor. Cavazos, John. editor. Suda, Reiji. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-6935-4
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Agility Across Time and Space Implementing Agile Methods in Global Software Projects
Agility Across Time and Space Implementing Agile Methods in Global Software Projects
Author 
Šmite, Darja. editor. Moe, Nils Brede. editor. Ågerfalk, Pär J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-12442-6
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2010
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2010
Author 
Lee, Roger. editor. Ma, Jixin. editor. Bacon, Liz. editor. Du, Wencai. editor. Petridis, Miltos. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13265-0
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Multimedia Services in Intelligent Environments Software Development Challenges and Solutions
Multimedia Services in Intelligent Environments Software Development Challenges and Solutions
Author 
Tsihrintzis, George A. editor. Virvou, Maria. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13355-8
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Reliable Software Technologiey – Ada-Europe 2010 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings
Reliable Software Technologiey – Ada-Europe 2010 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings
Author 
Real, Jorge. editor. Vardanega, Tullio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13550-7
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Reasoning Web. Semantic Technologies for Software Engineering 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010. Tutorial Lectures
Reasoning Web. Semantic Technologies for Software Engineering 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010. Tutorial Lectures
Author 
Aßmann, Uwe. editor. Bartho, Andreas. editor. Wende, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15543-7
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Synthesis of Embedded Software Frameworks and Methodologies for Correctness by Construction
Synthesis of Embedded Software Frameworks and Methodologies for Correctness by Construction
Author 
Shukla, Sandeep K. editor. Talpin, Jean-Pierre. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-6400-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action