Refine your search

Your search returned 910 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
701.
Computer aided design : software and analytical tools / C. S. Krishnamoorty, S. Rajeev. by
  • Krishnamoorthy, C. S
  • Rajeev, S
Material type: Text Text; Format: microfiche ; Literary form: Not fiction
Publication details: New delhi : Narosa Pub, c1991
Availability: Items available for loan: Central Library, SUST (1)Call number: 620.004250 KRC.

Place hold Add to cart
702.
Formal Methods for Industrial Critical Systems [electronic resource] : 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings / edited by Charles Pecheur, Michael Dierkes. by
  • Pecheur, Charles [editor.]
  • Dierkes, Michael [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8187
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
703.
Cloud database development and management / Lee Chao. by
  • Chao, Lee, 1951-
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Boca Raton : Taylor & Francis, c2014
Online access:
Availability: Items available for loan: Central Library, SUST (2)Call number: 004.6782 CHC, ...

Place hold Add to cart
704.
The Courant–Friedrichs–Lewy (CFL) Condition [electronic resource] : 80 Years After Its Discovery / edited by Carlos A. de Moura, Carlos S. Kubrusly. by
  • de Moura, Carlos A [editor.]
  • Kubrusly, Carlos S [editor.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Boston : Birkhäuser Boston : Imprint: Birkhäuser, 2013
Online access:
Availability: No items available.

Add to cart
705.
Swarm, Evolutionary, and Memetic Computing [electronic resource] : 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part II / edited by Bijaya Ketan Panigrahi, Ponnuthurai Nagaratnam Suganthan, Swagatam Das, Shubhransu Sekhar Dash. by
  • Panigrahi, Bijaya Ketan [editor.]
  • Suganthan, Ponnuthurai Nagaratnam [editor.]
  • Das, Swagatam [editor.]
  • Dash, Shubhransu Sekhar [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8298
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Online access:
Availability: No items available.

Add to cart
706.
Unifying Theories of Programming [electronic resource] : 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers / edited by Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi. by
  • Wolff, Burkhart [editor.]
  • Gaudel, Marie-Claude [editor.]
  • Feliachi, Abderrahmane [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7681
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
707.
Security and Trust Management [electronic resource] : 9th International Workshop, STM 2013, Egham, UK, September 12-13, 2013. Proceedings / edited by Rafael Accorsi, Silvio Ranise. by
  • Accorsi, Rafael [editor.]
  • Ranise, Silvio [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8203
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
708.
Advanced Color Image Processing and Analysis [electronic resource] / edited by Christine Fernandez-Maloigne. by
  • Fernandez-Maloigne, Christine [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
709.
A Biologically Inspired CMOS Image Sensor [electronic resource] / by Mukul Sarkar, Albert Theuwissen. by
  • Sarkar, Mukul [author.]
  • Theuwissen, Albert [author.]
  • SpringerLink (Online service)
Series: Studies in Computational Intelligence ; 461
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
710.
Financial Modeling [electronic resource] : A Backward Stochastic Differential Equations Perspective / by Stéphane Crépey. by
  • Crépey, Stéphane [author.]
  • SpringerLink (Online service)
Series: Springer Finance
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
711.
Numerical Mathematics and Advanced Applications 2011 [electronic resource] : Proceedings of ENUMATH 2011, the 9th European Conference on Numerical Mathematics and Advanced Applications, Leicester, September 2011 / edited by Andrea Cangiani, Ruslan L. Davidchack, Emmanuil Georgoulis, Alexander N. Gorban, Jeremy Levesley, Michael V. Tretyakov. by
  • Cangiani, Andrea [editor.]
  • Davidchack, Ruslan L [editor.]
  • Georgoulis, Emmanuil [editor.]
  • Gorban, Alexander N [editor.]
  • Levesley, Jeremy [editor.]
  • Tretyakov, Michael V [editor.]
  • SpringerLink (Online service)
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
712.
SmartShadow: Models and Methods for Pervasive Computing [electronic resource] / by Zhaohui Wu, Gang Pan. by
  • Wu, Zhaohui [author.]
  • Pan, Gang [author.]
  • SpringerLink (Online service)
Series: Advanced Topics in Science and Technology in China
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
713.
Artificial General Intelligence [electronic resource] : 6th International Conference, AGI 2013, Beijing, China, July 31 – August 3, 2013 Proceedings / edited by Kai-Uwe Kühnberger, Sebastian Rudolph, Pei Wang. by
  • Kühnberger, Kai-Uwe [editor.]
  • Rudolph, Sebastian [editor.]
  • Wang, Pei [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7999
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
714.
Theory and Practice of Natural Computing [electronic resource] : Second International Conference, TPNC 2013, Cáceres, Spain, December 3-5, 2013, Proceedings / edited by Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe, Miguel A. Vega-Rodríguez. by
  • Dediu, Adrian-Horia [editor.]
  • Martín-Vide, Carlos [editor.]
  • Truthe, Bianca [editor.]
  • Vega-Rodríguez, Miguel A [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8273
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
715.
Computational Science and Its Applications – ICCSA 2013 [electronic resource] : 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part IV / edited by Beniamino Murgante, Sanjay Misra, Maurizio Carlini, Carmelo M. Torre, Hong-Quang Nguyen, David Taniar, Bernady O. Apduhan, Osvaldo Gervasi. by
  • Murgante, Beniamino [editor.]
  • Misra, Sanjay [editor.]
  • Carlini, Maurizio [editor.]
  • Torre, Carmelo M [editor.]
  • Nguyen, Hong-Quang [editor.]
  • Taniar, David [editor.]
  • Apduhan, Bernady O [editor.]
  • Gervasi, Osvaldo [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7974
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
716.
QoS Management of Web Services [electronic resource] / by Zibin Zheng, Michael R. Lyu. by
  • Zheng, Zibin [author.]
  • Lyu, Michael R [author.]
  • SpringerLink (Online service)
Series: Advanced Topics in Science and Technology in China
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
717.
Hardware and Software: Verification and Testing [electronic resource] : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers / edited by Armin Biere, Amir Nahir, Tanja Vos. by
  • Biere, Armin [editor.]
  • Nahir, Amir [editor.]
  • Vos, Tanja [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7857
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
718.
Moving Target Defense II [electronic resource] : Application of Game Theory and Adversarial Modeling / edited by Sushil Jajodia, Anup K. Ghosh, V.S. Subrahmanian, Vipin Swarup, Cliff Wang, X. Sean Wang. by
  • Jajodia, Sushil [editor.]
  • Ghosh, Anup K [editor.]
  • Subrahmanian, V.S [editor.]
  • Swarup, Vipin [editor.]
  • Wang, Cliff [editor.]
  • Wang, X. Sean [editor.]
  • SpringerLink (Online service)
Series: Advances in Information Security ; 100
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
719.
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
720.
Computational Science and Its Applications – ICCSA 2013 [electronic resource] : 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part II / edited by Beniamino Murgante, Sanjay Misra, Maurizio Carlini, Carmelo M. Torre, Hong-Quang Nguyen, David Taniar, Bernady O. Apduhan, Osvaldo Gervasi. by
  • Murgante, Beniamino [editor.]
  • Misra, Sanjay [editor.]
  • Carlini, Maurizio [editor.]
  • Torre, Carmelo M [editor.]
  • Nguyen, Hong-Quang [editor.]
  • Taniar, David [editor.]
  • Apduhan, Bernady O [editor.]
  • Gervasi, Osvaldo [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7972
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