Results of search for 'ccl=su:"Logic design."' › Sri S.G. Balekundri Central Library and Information Centre catalog

Results
	41.	Verification of Sequential and Concurrent Programs [electronic resource] / by Krzysztof R. Apt, Frank S. Boer, Ernst-Rüdiger Olderog. by Apt, Krzysztof R [author.] Boer, Frank S [author.] Olderog, Ernst-Rüdiger [author.] SpringerLink (Online service) Series: Texts in Computer Science Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London, 2009 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	42.	Automated Technology for Verification and Analysis [electronic resource] : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings / edited by Dang Hung, Mizuhito Ogawa. by Hung, Dang [editor.] Ogawa, Mizuhito [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8172 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	43.	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) Series: Lecture Notes in Computer Science ; 8244 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	44.	Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings / edited by Teruo Higashino, Yoshiaki Katayama, Toshimitsu Masuzawa, Maria Potop-Butucaru, Masafumi Yamashita. by Higashino, Teruo [editor.] Katayama, Yoshiaki [editor.] Masuzawa, Toshimitsu [editor.] Potop-Butucaru, Maria [editor.] Yamashita, Masafumi [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8255 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	45.	Programming Languages and Systems [electronic resource] : 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings / edited by Chung-chieh Shan. by Shan, Chung-chieh [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8301 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	46.	Certified Programs and Proofs [electronic resource] : Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings / edited by Georges Gonthier, Michael Norrish. by Gonthier, Georges [editor.] Norrish, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8307 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	47.	Information and Communication Technologies in Education, Research, and Industrial Applications [electronic resource] : 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers / edited by Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych. by Ermolayev, Vadim [editor.] Mayr, Heinrich C [editor.] Nikitchenko, Mykola [editor.] Spivakovsky, Aleksander [editor.] Zholtkevych, Grygoriy [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 412 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	48.	Practical Aspects of Declarative Languages [electronic resource] : 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings / edited by Matthew Flatt, Hai-Feng Guo. by Flatt, Matthew [editor.] Guo, Hai-Feng [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8324 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	49.	Big Data Integration Theory [electronic resource] : Theory and Methods of Database Mappings, Programming Languages, and Semantics / by Zoran Majkić. by Majkić, Zoran [author.] SpringerLink (Online service) Series: Texts in Computer Science Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	50.	Structured Object-Oriented Formal Language and Method [electronic resource] : Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers / edited by Shaoying Liu, Zhenhua Duan. by Liu, Shaoying [editor.] Duan, Zhenhua [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8332 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	51.	Foundations of Information and Knowledge Systems [electronic resource] : 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings / edited by Christoph Beierle, Carlo Meghini. by Beierle, Christoph [editor.] Meghini, Carlo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8367 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	52.	Software Engineering and Formal Methods [electronic resource] : SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers / edited by Steve Counsell, Manuel Núñez. by Counsell, Steve [editor.] Núñez, Manuel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8368 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	53.	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) Series: Lecture Notes in Computer Science ; 8356 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	54.	Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance [electronic resource] : 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014. Proceedings / edited by Kai Fischbach, Udo R. Krieger. by Fischbach, Kai [editor.] Krieger, Udo R [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8376 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	55.	Formal Techniques for Safety-Critical Systems [electronic resource] : Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers / edited by Cyrille Artho, Peter Csaba Ölveczky. by Artho, Cyrille [editor.] Ölveczky, Peter Csaba [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 419 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	56.	Requirements Engineering: Foundation for Software Quality [electronic resource] : 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014. Proceedings / edited by Camille Salinesi, Inge Weerd. by Salinesi, Camille [editor.] Weerd, Inge [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8396 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	57.	Theory and Applications of Models of Computation [electronic resource] : 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014. Proceedings / edited by T. V. Gopal, Manindra Agrawal, Angsheng Li, S. Barry Cooper. by Gopal, T. V [editor.] Agrawal, Manindra [editor.] Li, Angsheng [editor.] Cooper, S. Barry [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8402 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	58.	NASA Formal Methods [electronic resource] : 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014. Proceedings / edited by Julia M. Badger, Kristin Yvonne Rozier. by Badger, Julia M [editor.] Rozier, Kristin Yvonne [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8430 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	59.	Relational and Algebraic Methods in Computer Science [electronic resource] : 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28–May 1, 2014. Proceedings / edited by Peter Höfner, Peter Jipsen, Wolfram Kahl, Martin Eric Müller. by Höfner, Peter [editor.] Jipsen, Peter [editor.] Kahl, Wolfram [editor.] Müller, Martin Eric [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8428 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold
	60.	FM 2014: Formal Methods [electronic resource] : 19th International Symposium, Singapore, May 12-16, 2014. Proceedings / edited by Cliff Jones, Pekka Pihlajasaari, Jun Sun. by Jones, Cliff [editor.] Pihlajasaari, Pekka [editor.] Sun, Jun [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8442 Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Central Library (1). Place hold

Refine your search

Availability

Authors

Holding libraries

Item types

Locations

Series

Topics

Your search returned 1060 results.