Limit Search Results
Author
SpringerLink (Online service)
(63)
Chen, Hsinchun. author.
(3)
Rattz, Joseph C. author.
(3)
Ayala, José L. editor.
(2)
Hooker, John N. author.
(2)
Language
Publication Date
-
Subject
Software engineering.
(17)
Logic design.
(14)
Systems engineering.
(14)
Management information systems.
(12)
Information systems.
(11)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
64 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Software Verification and Analysis An Integrated, Hands-On Approach
Software Verification and Analysis An Integrated, Hands-On Approach
Author 
Stanley, William. author. Laski, Janusz. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-240-5
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Integrated Management of Systems, Services, Processes and People in IT 20th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2009, Venice, Italy, October 27-28, 2009. Proceedings
Integrated Management of Systems, Services, Processes and People in IT 20th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2009, Venice, Italy, October 27-28, 2009. Proceedings
Author 
Bartolini, Claudio. editor. Gaspary, Luciano Paschoal. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04989-7
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Integrated Formal Methods 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings
Integrated Formal Methods 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings
Author 
Leuschel, Michael. editor. Wehrheim, Heike. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00255-7
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Pro LINQ Language Integrated Query in VB 2008
Pro LINQ Language Integrated Query in VB 2008
Author 
Rattz, Joseph C. author. Hayes, Dennis. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-1645-2
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008. Revised Selected Papers
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008. Revised Selected Papers
Author 
Svensson, Lars. editor. Monteiro, José. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-95948-9
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Analysis of Integrated and Cointegrated Time Series with R
Analysis of Integrated and Cointegrated Time Series with R
Author 
Pfaff, Bernhard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-75967-8
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for High-Level Modeling and Synthesis of Analog Integrated Systems
High-Level Modeling and Synthesis of Analog Integrated Systems
Author 
Martens, Ewout S. J. author. Gielen, Georges G. E. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-6802-7
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for The NeuroProcessor An Integrated Interface to Biological Neural Networks
The NeuroProcessor An Integrated Interface to Biological Neural Networks
Author 
Perelman, Yevgeny. author. Ginosar, Ran. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-8726-4
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Pro LINQ Language Integrated Query in C# 2008
Pro LINQ Language Integrated Query in C# 2008
Author 
Rattz, Joseph C. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0382-7
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007. Proceedings
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007. Proceedings
Author 
Azémard, Nadine. editor. Svensson, Lars. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74442-9
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings
Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings
Author 
Davies, Jim. editor. Gibbons, Jeremy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73210-5
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Integrated Research in GRID Computing CoreGRID Integration Workshop 2005 (Selected Papers) November 28–30, Pisa, Italy
Integrated Research in GRID Computing CoreGRID Integration Workshop 2005 (Selected Papers) November 28–30, Pisa, Italy
Author 
Gorlatch, Sergei. editor. Danelutto, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-47658-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action