Your search returned 1336 results. Subscribe to this search

|
Concurrent Objects and Beyond [electronic resource] : Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday / edited by Gul Agha, Atsushi Igarashi, Naoki Kobayashi, Hidehiko Masuhara, Satoshi Matsuoka, Etsuya Shibayama, Kenjiro Taura.

by Agha, Gul [editor.] | Igarashi, Atsushi [editor.] | Kobayashi, Naoki [editor.] | Masuhara, Hidehiko [editor.] | Matsuoka, Satoshi [editor.] | Shibayama, Etsuya [editor.] | Taura, Kenjiro [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available

NASA Formal Methods [electronic resource] : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings / edited by Guillaume Brat, Neha Rungta, Arnaud Venet.

by Brat, Guillaume [editor.] | Rungta, Neha [editor.] | Venet, Arnaud [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available

OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools [electronic resource] : First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014. Proceedings / edited by Stephen Poole, Oscar Hernandez, Pavel Shamis.

by Poole, Stephen [editor.] | Hernandez, Oscar [editor.] | Shamis, Pavel [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available

Supercomputing [electronic resource] : Second Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26-27, 2016, Revised Selected Papers / edited by Vladimir Voevodin, Sergey Sobolev.

by Voevodin, Vladimir [editor.] | Sobolev, Sergey [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

Fundamentals of Software Engineering [electronic resource] : 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers / edited by Mehdi Dastani, Marjan Sirjani.

by Dastani, Mehdi [editor.] | Sirjani, Marjan [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Object-Oriented Technology [electronic resource] / by Suad Alagić.

by Alagić, Suad [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

OpenMP in the Era of Low Power Devices and Accelerators [electronic resource] : 9th International Workshop on OpenMP, IWOMP 2013, Canberra, ACT, Australia, September 16-18, 2013. Proceedings / edited by Alistair P. Rendell, Barbara M. Chapman, Matthias S. M�uller.

by Rendell, Alistair P [editor.] | Chapman, Barbara M [editor.] | M�uller, Matthias S [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available

Patterns of HCI Design and HCI Design of Patterns [electronic resource] : Bridging HCI Design and Model-Driven Software Engineering / by Ahmed Seffah.

by Seffah, Ahmed [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Formal Aspects of Component Software [electronic resource] : 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers / edited by Ivan Lanese, Eric Madelaine.

by Lanese, Ivan [editor.] | Madelaine, Eric [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Introducing dBaseIII

by Barnes,Lan.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Delhi Khanna 1985Availability: Items available for loan: [Call number: 621.3819535 B261I] (1).

Introducing dBase III

by Barnes, Lan.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Delhi Khanna Publishers 1988Availability: Items available for loan: [Call number: 621.3819642 B25I] (1).

Object-Oriented Programming and Java [electronic resource] / by Danny Poo, Derek Kiong, Swarnalatha Ashok.

by Poo, Danny [author.] | Kiong, Derek [author.] | Ashok, Swarnalatha [author.] | SpringerLink (Online service).

Edition: 2nd ed. 2008.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available

The Algorithm Design Manual [electronic resource] / by Steven S. Skiena.

by Skiena, Steven S [author.] | SpringerLink (Online service).

Edition: 3rd ed. 2020.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available

Understanding Cryptography [electronic resource] : A Textbook for Students and Practitioners / by Christof Paar, Jan Pelzl.

by Paar, Christof [author.] | Pelzl, Jan [author.] | SpringerLink (Online service).

Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available

CNC Programming for Machining [electronic resource] / by Kaushik Kumar, Chikesh Ranjan, J. Paulo Davim.

by Kumar, Kaushik [author.] | Ranjan, Chikesh [author.] | Davim, J. Paulo [author.] | SpringerLink (Online service).

Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available

Fluid Dynamics [electronic resource] : Theory, Computation, and Numerical Simulation / by C. Pozrikidis.

by Pozrikidis, C [author.] | SpringerLink (Online service).

Edition: 3rd ed. 2017.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: New York, NY : Springer US : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available

Object-Oriented Programming and Java [electronic resource] / by Danny Poo, Derek Kiong, Swarnalatha Ashok.

by Poo, Danny [author.] | Kiong, Derek [author.] | Ashok, Swarnalatha [author.] | SpringerLink (Online service).

Edition: 2nd ed. 2008.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available

The Algorithm Design Manual [electronic resource] / by Steven S. Skiena.

by Skiena, Steven S [author.] | SpringerLink (Online service).

Edition: 3rd ed. 2020.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available

Understanding Cryptography [electronic resource] : A Textbook for Students and Practitioners / by Christof Paar, Jan Pelzl.

by Paar, Christof [author.] | Pelzl, Jan [author.] | SpringerLink (Online service).

Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available

Computer Aided Design Software and Analytical Tools

by Krishnamoorthy,C.S.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi Narosa 1991Availability: Items available for loan: [Call number: 629.895 K89C] (1).