Your search returned 111 results.

Results
	101.	Numerical Software with Result Verification [electronic resource] : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers / by Alt, René [editor.] Frommer, Andreas [editor.] Kearfott, R. Baker [editor.] Luther, Wolfram [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2991 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	102.	Runtime Verification [electronic resource] : 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings / by Katsaros, Panagiotis [editor.] Nenzi, Laura [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14245 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	103.	ModelEd, TestEd, TrustEd [electronic resource] : Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday / by Katoen, Joost-Pieter [editor.] Langerak, Rom [editor.] Rensink, Arend [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10500 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	104.	Semantics, Logics, and Calculi [electronic resource] : Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays / by Probst, Christian W [editor.] Hankin, Chris [editor.] Hansen, René Rydhof [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9560 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	105.	Advanced Functional Programming [electronic resource] : 6th International School, AFP 2008, Heijen, The Netherlands, May 19-24, 2008, Revised Lectures / by Koopman, Pieter [editor.] Swierstra, Doaitse [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5832 Edition: 1st ed. 2009. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	106.	Integrated Formal Methods [electronic resource] : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings / by Derrick, John [editor.] Gnesi, Stefania [editor.] Latella, Diego [editor.] Treharne, Helen [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7321 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	107.	A Pipelined Multi-core MIPS Machine [electronic resource] : Hardware Implementation and Correctness Proof / by Kovalev, Mikhail [author.] Müller, Silvia M [author.] Paul, Wolfgang J [author.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9000 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	108.	ZUM'97: The Z Formal Specification Notation [electronic resource] : 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings / by Bowen, Jonathan P [editor.] Hinchey, Michael G [editor.] Till, David [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1212 Edition: 1st ed. 1997. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	109.	High Performance Computing [electronic resource] : Third International Symposium, ISHPC 2000 Tokyo, Japan, October 16-18, 2000 Proceedings / by Valero, Mateo [editor.] Joe, Kazuki [editor.] Kitsuregawa, Masaru [editor.] Tanaka, Hidehiko [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1940 Edition: 1st ed. 2000. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	110.	FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 22nd Conference Kanpur, India, December 12-14, 2002, Proceedings / by Agrawal, Manindra [editor.] Seth, Anil [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2556 Edition: 1st ed. 2002. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	111.	Recent Advances in Constraints [electronic resource] : Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002. Selected Papers / by O'Sullivan, Barry [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2627 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

First
Previous
1
2
3
4
5
6

© 2024 IIIT-Delhi, library@iiitd.ac.in