Results
|
|
681.
|
|
|
|
682.
|
|
|
|
683.
|
Engineering Secure Software and Systems [electronic resource] : 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings / edited by Jan Jürjens, Benjamin Livshits, Riccardo Scandariato. by
- Jürjens, Jan [editor.]
- Livshits, Benjamin [editor.]
- Scandariato, Riccardo [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7781
Source: Springer eBooks
Material type:  Text; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
684.
|
Space-Efficient Data Structures, Streams, and Algorithms [electronic resource] : Papers in Honor of J. Ian Munro on the Occasion of His 66th Birthday / edited by Andrej Brodnik, Alejandro López-Ortiz, Venkatesh Raman, Alfredo Viola. by
- Brodnik, Andrej [editor.]
- López-Ortiz, Alejandro [editor.]
- Raman, Venkatesh [editor.]
- Viola, Alfredo [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8066
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
685.
|
Frontiers in Algorithmics and Algorithmic Aspects in Information and Management [electronic resource] : Third Joint International Conference, FAW-AAIM 2013, Dalian, China, June 26-28, 2013. Proceedings / edited by Michael Fellows, Xuehou Tan, Binhai Zhu. by
- Fellows, Michael [editor.]
- Tan, Xuehou [editor.]
- Zhu, Binhai [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7924
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
686.
|
Web and Internet Economics [electronic resource] : 9th International Conference, WINE 2013, Cambridge, MA, USA, December 11-14, 2013, Proceedings / edited by Yiling Chen, Nicole Immorlica. by
- Chen, Yiling [editor.]
- Immorlica, Nicole [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8289
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
687.
|
|
|
|
688.
|
Object-oriented methods / Ian Graham. by
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Wokingham, England ; Reading, Mass. : Addison-Wesley, c1991
Availability: Items available for loan: Central Library, SUST (1)Call number: 005.1 GRO.
|
|
|
689.
|
|
|
|
690.
|
|
|
|
691.
|
|
|
|
692.
|
Complex Sciences [electronic resource] : Second International Conference, COMPLEX 2012, Santa Fe, NM, USA, December 5-7, 2012, Revised Selected Papers / edited by Kristin Glass, Richard Colbaugh, Paul Ormerod, Jeffrey Tsao. by
- Glass, Kristin [editor.]
- Colbaugh, Richard [editor.]
- Ormerod, Paul [editor.]
- Tsao, Jeffrey [editor.]
- SpringerLink (Online service)
Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 126
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.
|
|
|
693.
|
Formal Modeling and Analysis of Timed Systems [electronic resource] : 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings / edited by Víctor Braberman, Laurent Fribourg. by
- Braberman, Víctor [editor.]
- Fribourg, Laurent [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8053
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
694.
|
|
|
|
695.
|
|
|
|
696.
|
Numerical methods with Fortran 77 : a practical introduction / L.V. Atkinson, P.J. Harley, J.D. Hudson. by
- Atkinson, Laurence
- Harley, P. J, 1948-
- Hudson, J. D., Ph. D
Series: International computer science series
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Wokingham, England ; Reading, Mass. : Addison-Wesley, c1994
Availability: Items available for loan: Central Library, SUST (3)Call number: 519.402855133 ATN, ...
|
|
|
697.
|
Energy-Efficient High Performance Computing [electronic resource] : Measurement and Tuning / by James H. Laros III, Kevin Pedretti, Suzanne M. Kelly, Wei Shu, Kurt Ferreira, John Van Dyke, Courtenay Vaughan. by
- Laros III, James H [author.]
- Pedretti, Kevin [author.]
- Kelly, Suzanne M [author.]
- Shu, Wei [author.]
- Ferreira, Kurt [author.]
- Van Dyke, John [author.]
- Vaughan, Courtenay [author.]
- SpringerLink (Online service)
Series: SpringerBriefs in Computer Science
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London : Imprint: Springer, 2013
Availability: No items available.
|
|
|
698.
|
|
|
|
699.
|
|
|
|
700.
|
|
