Refine your search

Your search returned 720 results.

Not what you expected? Check for suggestions
Sort
Results
541.
Using Event-B for Critical Device Software Systems [electronic resource] / by Neeraj Kumar Singh. by
  • Singh, Neeraj Kumar [author.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: London : Springer London : Imprint: Springer, 2013
Availability: No items available.

542.
Java in a nutshell : a desktop quick reference / David Flanagan. by
  • Flanagan, David
Edition: 3rd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Mumbai ; Shroff pub; O'Reilly, c1999
Availability: Items available for loan: Central Library, SUST (2)Call number: 005.133 FLJ, ...

543.
Basic analysis of variance programs for microcomputers / Allen H. Wolach. by
  • Wolach, Allen H
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Monterey, Calif. : Brooks/Cole Pub. Co., c1983
Availability: Items available for loan: Central Library, SUST (2)Call number: 519.53520 WOB, ...

544.
Using application software in business : using the IBM PC, VP-Planner Plus, dBASE III Plus, WordPerfect 4.2 / Kathleen A. Dolan, Keiko M. Pitter. by
  • Dolan, Kathleen A, 1950-
  • Pitter, Keiko M
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Mitchell McGraw-Hill, c1990
Availability: Items available for loan: Central Library, SUST (1)Call number: 005.365 DOU.

545.
Data structures with C : schaum's out lindes / Seymour Lipschutz, by
  • Lipschutz, Seymour
Edition: Special Indian Edition.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New Delhi : Tata McGraw-Hill. c2011
Availability: Items available for loan: Central Library, SUST (2)Call number: 005.73 LID, ...

546.
Finding Source Code on the Web for Remix and Reuse [electronic resource] / edited by Susan Elliott Sim, Rosalva E. Gallardo-Valencia. by
  • Sim, Susan Elliott [editor.]
  • Gallardo-Valencia, Rosalva E [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
Availability: No items available.

547.
GPU Pro 3 [electronic resource] : advanced rendering techniques / edited by Wolfgang Engel. by
  • Engel, Wolfgang F
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Publication details: Boca Raton, Fla. : A K Peters/CRC Press, 2012
Online access:
Availability: No items available.

548.
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 19th International Conference, TACAS 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 Nir Piterman, Scott A. Smolka. by
  • Piterman, Nir [editor.]
  • Smolka, Scott A [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7795
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
Availability: No items available.

549.
Mastering Turbo Pascal 6 / Scott D. Palmer. by
  • Palmer, Scott D
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New Delhi : BPB pub, c1991
Availability: Items available for loan: Central Library, SUST (3)Call number: 005 PAM, ...

550.
Handbook of Neuroevolution Through Erlang [electronic resource] / by Gene I. Sher. by
  • Sher, Gene I [author.]
  • 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
Availability: No items available.

551.
Frontiers of Combining Systems [electronic resource] : 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings / edited by Pascal Fontaine, Christophe Ringeissen, Renate A. Schmidt. by
  • Fontaine, Pascal [editor.]
  • Ringeissen, Christophe [editor.]
  • Schmidt, Renate A [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8152
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
Availability: No items available.

552.
Beginning Android C++ Game Development [electronic resource] / by Bruce Sutherland. by
  • Sutherland, Bruce [author.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Publication details: New York : Apress. 2013
Availability: Items available for loan: Central Library, SUST (2)Call number: 004 SUB, ...

553.
GPU Pro[superscript 2] [electronic resource] : advanced rendering techniques / edited by Wolfgang Engel. by
  • Engel, Wolfgang F
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Publication details: Natick, Mass. : AK Peters, 2011
Other title:
  • GPU Pro 2
  • GPU Pro2
Online access:
Availability: No items available.

554.
GPU Pro 4 [electronic resource] : advanced rendering techniques / edited by Wolfgang Engel. by
  • Engel, Wolfgang
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Publication details: Boca Raton : CRC Press, Taylor & Francis Group, [2013]
Online access:
Availability: No items available.

555.
Evolutionary Computation in Combinatorial Optimization [electronic resource] : 13th European Conference, EvoCOP 2013, Vienna, Austria, April 3-5, 2013. Proceedings / edited by Martin Middendorf, Christian Blum. by
  • Middendorf, Martin [editor.]
  • Blum, Christian [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7832
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
Availability: No items available.

556.
Parallel Computing Technologies [electronic resource] : 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings / edited by Victor Malyshkin. by
  • Malyshkin, Victor [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7979
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
Availability: No items available.

557.
Software Engineering: A Hands-On Approach [electronic resource] / by Roger Y. Lee. by
  • Lee, Roger Y [author.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Paris : Atlantis Press : Imprint: Atlantis Press, 2013
Availability: No items available.

558.
Principles of Data Mining [electronic resource] / by Max Bramer. by
  • Bramer, Max [author.]
  • SpringerLink (Online service)
Series: Undergraduate Topics in Computer Science
Edition: 2nd ed. 2013.
Source: Springer eBooks
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: London : Springer London : Imprint: Springer, 2013
Availability: No items available.

559.
Beginning 3D Game Development with Unity 4 : All-in-One, Multi-Platform Game Development / by Sue Blackman. by
  • Blackman, Sue [author.]
  • SpringerLink (Online service)
Source: Springer eBooks
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Nou York : Apress. c2013
Availability: Items available for loan: Central Library, SUST (3)Call number: 004 BLB, ...

560.
Integrated Formal Methods [electronic resource] : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings / edited by Einar Broch Johnsen, Luigia Petre. by
  • Johnsen, Einar Broch [editor.]
  • Petre, Luigia [editor.]
  • SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7940
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
Availability: No items available.

Pages