|
|
|
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; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Formal Methods for Industrial Critical Systems [electronic resource] : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings / edited by Manuel N�u�nez, Matthias G�udemann.
by N�u�nez, Manuel [editor.] | G�udemann, Matthias [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Evaluation of Novel Approaches to Software Engineering [electronic resource] : 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers / edited by Leszek A. Maciaszek, Kang Zhang.
by Maciaszek, Leszek A [editor.] | Zhang, Kang [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Formal Methods for Multicore Programming [electronic resource] : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures / edited by Marco Bernardo, Einar Broch Johnsen.
by Bernardo, Marco [editor.] | Johnsen, Einar Broch [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Formal Methods: Foundations and Applications [electronic resource] : 17th Brazilian Symposium, SBMF 2014, Macei�o, AL, Brazil, September 29--October 1, 2014. Proceedings / edited by Christiano Braga, Narciso Mart�i-Oliet.
by Braga, Christiano [editor.] | Mart�i-Oliet, Narciso [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; 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; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Hardware and Software: Verification and Testing [electronic resource] : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings / edited by Valeria Bertacco, Axel Legay.
by Bertacco, Valeria [editor.] | Legay, Axel [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Domain-specific modeling : enabling full code generation / Steven Kelly, Juha-Pekka Tolvanen.
by Kelly, Steven | Tolvanen, Juha-Pekka | IEEE Xplore (Online Service) [distributor.] | Wiley [publisher.]. Material type: Book; Format:
available online
Publisher: Hoboken [New Jersey] : Wiley, 2008Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2008]Online access: Abstract with links to resource Availability: No items available
|
|
|
|
Robotics: Control, Sensing, Vision and Intelligence
by Fu, K. S. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York McGraw-Hill Book Company 1987Availability: No items available
|
|
|
|
Modern Applied Algebra
by Birkhoff, Garrett | Bartee, Thomas.C. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York McGraw Hill Book Company 1970Availability: Items available for loan:
[Call number: 512.8 B55M]
(1).
|
|
|
|
Fundamentals Of Programming Languages
by Horowitz, Ellis. Edition: 2Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi Galgotia Publications 1994Availability: Items available for loan:
[Call number: 621.3819642 H83F]
(1).
|
|
|
|
Programming Languages: Design And Implementation
by Pratt, Terrence W | Zelkowitz, Marvin V. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi PHI-Learning 2001Availability: Items available for loan:
[Call number: 621.3819642 P913P]
(2).
|
|
|
|
Systems Programming
by Donovan, John J. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi Tata McGraw-Hill Publishing Com Ltd 1994Availability: Items available for loan:
[Call number: 621.3819642 D687S]
(1).
|
|
|
|
Systems Programming
by Donovan, John J. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi Tata McGraw-Hill 1994Availability: Items available for loan:
[Call number: 621.3819642 D687S]
(1).
|
|
|
|
Principles of Compiler Design
by Aho,A.V | Ullman,Jeffrey D. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi Narosa 1997Availability: Items available for loan:
[Call number: 621.38196425 A285P]
(1).
|
|
|
|
Systems Programming
by Donovan, John J. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi Tata McGraw-Hill Publishing 1994Availability: Items available for loan:
[Call number: 621.3819642 D687S]
(1).
|
|
|
|
JavaScript and open data / Robert Jeansoulin.
by Jeansoulin, Robert [author.]. Material type: Book; Format:
available online
; Literary form:
Not fiction
Publisher: London, UK : Hoboken, NJ : ISTE, Ltd. ; John Wiley & Sons, Inc., 2018Online access: Wiley Online Library Availability: No items available
|
