|
|
|
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
|
|
|
|
Compiler construction using Java, JavaCC, and Yacc / Anthony J. Dos Reis.
by Dos Reis, Anthony J [author.] | IEEE Xplore (Online Service) [distributor.] | Wiley InterScience (Online service) [publisher.]. Material type: Book; Format:
available online
Publisher: Hoboken, New Jersey : Wiley-IEEE Computer Society, c2012Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2012]Online access: Abstract with links to resource Availability: No items available
|
|
|
|
Principles of Compiler Design
by Aho, Alfred V | Ullman, Jeffrey D. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi Narosa Publishing House 1985Availability: Items available for loan:
[Call number: 621.3894 A26P]
(3).
|
|
|
|
Compilers: Principles, Techniques and Tools
by Aho, Alfred V | Sethi, Ravi. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Massachusetts Addison Wesley 1999Availability: Items available for loan:
[Call number: 621.3894 A285C]
(2).
|
|
|
|
Systems Programming
by Donovan, John J. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi Tata McGraw-Hill Publishing Company Ltd 1991Availability: Items available for loan:
[Call number: 621.3819642 D687S]
(1).
|
|
|
|
System Software: Introduction to Systems Programming
by Beck, L.L. Edition: 3Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Delhi Pearson Education Asia 1999Availability: Items available for loan:
[Call number: 621.38196425 B393S]
(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).
|
|
|
|
Compilers: Principles, Techniques, and Tools
by Aho,Alfred V | Sethi,Ravi | Ullman,Jeffrey D. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: California Addison Wesley 2000Availability: Items available for loan:
[Call number: 621.3894 A285C]
(1).
|
|
|
|
System Programming
by Donovan, John J. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi Tata McGraw-Hill 1995Availability: Items available for loan:
[Call number: 621.3819642 D687S]
(1).
|
|
|
|
Compilers: Principles, Techniques, and Tools
by Aho,Alfred V | Sethi,Ravi | Ullman,Jeffrey D. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: California Addison Wesley 2000Availability: Items available for loan:
[Call number: 621.3894 A285C]
(1).
|
|
|
|
System Software Introduction to Systems Programming
by Beck, Leland L. Edition: 3Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Delhi Pearson Education 2001Availability: Items available for loan:
[Call number: 621.38196425 B393S]
(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).
|
