Refine your search

Your search returned 748 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
161.
Software Engineering and Formal Methods [electronic resource] : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings / edited by Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti. by
  • Hierons, Robert M [editor.]
  • Merayo, Mercedes G [editor.]
  • Bravetti, Mario [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8137
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
162.
Formal Methods and Software Engineering [electronic resource] : 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings / edited by Lindsay Groves, Jing Sun. by
  • Groves, Lindsay [editor.]
  • Sun, Jing [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8144
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
163.
Stochastic Reliability and Maintenance Modeling [electronic resource] : Essays in Honor of Professor Shunji Osaki on his 70th Birthday / edited by Tadashi Dohi, Toshio Nakagawa. by
  • Dohi, Tadashi [editor.]
  • Nakagawa, Toshio [editor.]
  • SpringerLink (Online service)
Series: Springer Series in Reliability Engineering ; 9
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: London : Springer London : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
164.
Fundamentals of multicore software development [electronic resource] / edited by Victor Pankratius, Ali-Reza Adl-Tabatabai, and Walter Tichy. by
  • Pankratius, Victor
  • Adl-Tabatabai, Ali-Reza
  • Tichy, Walter F
Series: Chapman & Hall/CRC computational science
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Publication details: Boca Raton, Fla. : CRC Press, c2012
Online access:
Availability: No items available.

Add to cart
165.
Business Modeling and Software Design [electronic resource] : Second International Symposium, BMSD 2012, Geneva, Switzerland, July 4-6, 2012, Revised Selected Papers / edited by Boris Shishkov. by
  • Shishkov, Boris [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Business Information Processing ; 142
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
166.
Open Source Software: Quality Verification [electronic resource] : 9th IFIP WG 2.13 International Conference, OSS 2013, Koper-Capodistria, Slovenia, June 25-28, 2013. Proceedings / edited by Etiel Petrinja, Giancarlo Succi, Nabil El Ioini, Alberto Sillitti. by
  • Petrinja, Etiel [editor.]
  • Succi, Giancarlo [editor.]
  • Ioini, Nabil El [editor.]
  • Sillitti, Alberto [editor.]
  • SpringerLink (Online service)
Series: IFIP Advances in Information and Communication Technology ; 404
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
167.
Adaptable Embedded Systems [electronic resource] / edited by Antonio Carlos Schneider Beck, Carlos Arthur Lang Lisbôa, Luigi Carro. by
  • Beck, Antonio Carlos Schneider [editor.]
  • Lang Lisbôa, Carlos Arthur [editor.]
  • Carro, Luigi [editor.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
168.
IT Convergence and Security 2012 [electronic resource] / edited by Kuinam J. Kim, Kyung-Yong Chung. by
  • Kim, Kuinam J [editor.]
  • Chung, Kyung-Yong [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Electrical Engineering ; 215
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
169.
NeuroDynamix II [electronic resource] : concepts of neurophysiology illustrated by computer simulations / W. Otto Friesen and Jonathon A. Friesen. by
  • Friesen, W. Otto, 1942-
  • Friesen, Jonathon A, 1973-
Material type: Text Text; Literary form: Not fiction ; Audience: Specialized;
Publication details: New York ; Oxford : Oxford University Press, 2010
Online access:
Availability: No items available.

Add to cart
170.
Foundations of Software Science and Computation Structures [electronic resource] : 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / edited by Frank Pfenning. by
  • Pfenning, Frank [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7794
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
171.
No cover image available No cover image available
The comprehensive guide to Microsoft Office 97 / Ned Snell. by
  • Snell, Ned
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New Delhi : Ventana, c1997
Availability: Items available for loan: Central Library, SUST (1)Call number: 005.369 SNC.

Place hold Add to cart
172.
Languages, design methods, and tools for electronic system design. Marie-Minerve Louërat; Torsten Maehne by
  • Louërat, Marie-Minerve
  • Maehne, Torsten
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New york. : Springer, ©2015
Availability: Items available for loan: Central Library, SUST (3)Call number: 004.015113 LAN, ...

Place hold Add to cart
173.
Code complete / Steve McConnell. by
  • McConnell, Steve
Edition: 2nd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Redmond, Wash. : Microsoft Press, c2004
Availability: Items available for loan: Central Library, SUST (3)Call number: 005.1 MCC, ...

Place hold Add to cart
174.
Design patterns in Java / Steven John Metsker, William C. Wake. by
  • Metsker, Steven John
  • Wake, William C, 1960-
Edition: 2nd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Upper Saddle River, NJ : Addison-Wesley, c2006
Online access:
Availability: Items available for loan: Central Library, SUST (1)Call number: 004.6 MED.

Place hold Add to cart
175.
Performance evaluation of computer and communication systems / Jean-Yves le Boudec. by
  • Le Boudec, Jean-Yves, 1958- [author.]
Series:
Material type: Text Text; Literary form: Not fiction
Online access:
Availability: No items available.

Add to cart
176.
Component-oriented development and assembly : paradigm, principles, and practice using Java / Piram Manickam, S. Sangeetha, S. V. Subrahmanya. by
  • Manickam, Piram
  • Sangeetha, S
  • Subrahmanya., S. V
Series: Infosys Press
Material type: Text Text; Format: print ; Literary form: Not fiction
Availability: Items available for loan: Central Library, SUST (2)Call number: 005.3 MAC, ...

Place hold Add to cart
177.
Computer Networks [electronic resource] : 20th International Conference, CN 2013, Lwówek Śląski, Poland, June 17-21, 2013. Proceedings / edited by Andrzej Kwiecień, Piotr Gaj, Piotr Stera. by
  • Kwiecień, Andrzej [editor.]
  • Gaj, Piotr [editor.]
  • Stera, Piotr [editor.]
  • SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 370
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
178.
Pro Team Foundation Service [electronic resource] / by Mathias Olausson, Joachim Rossberg, Jakob Ehn, Mattias Sköld. by
  • Olausson, Mathias [author.]
  • Rossberg, Joachim [author.]
  • Ehn, Jakob [author.]
  • Sköld, Mattias [author.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berkeley, CA : Apress : Imprint: Apress, 2013
Online access:
Availability: No items available.

Add to cart
179.
Creativity and Rationale [electronic resource] : Enhancing Human Experience by Design / edited by John M. Carroll. by
  • Carroll, John M [editor.]
  • SpringerLink (Online service)
Series: Human–Computer Interaction Series ; 20
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: London : Springer London : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
180.
Security Engineering and Intelligence Informatics [electronic resource] : CD-ARES 2013 Workshops: MoCrySEn and SeCIHD, Regensburg, Germany, September 2-6, 2013. Proceedings / edited by Alfredo Cuzzocrea, Christian Kittl, Dimitris E. Simos, Edgar Weippl, Lida Xu. by
  • Cuzzocrea, Alfredo [editor.]
  • Kittl, Christian [editor.]
  • Simos, Dimitris E [editor.]
  • Weippl, Edgar [editor.]
  • Xu, Lida [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8128
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
Pages