FEEDBACK Smiley face

Your search returned 145 results. Subscribe to this search

|
101. Formal Theories of Information [electronic resource] :From Shannon to Semantic Information Theory and General Concepts of Information /

by Sommaruga, Giovanni [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, 2009.Online access: Click here to access online Availability: No items available

102. Object-Oriented Technology. ECOOP 2008 Workshop Reader [electronic resource] :ECOOP 2008 Workshops Paphos, Cyprus, July 7-11, 2008 Final Reports /

by Eugster, Patrick [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, 2009.Online access: Click here to access online Availability: No items available

103. Transactions on Aspect-Oriented Software Development V [electronic resource] /

by Rashid, Awais [editor.] | Ossher, Harold [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, 2009.Online access: Click here to access online Availability: No items available

104. Logic Programming [electronic resource] :25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings /

by Hill, Patricia M [editor.] | Warren, David 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, 2009.Online access: Click here to access online Availability: No items available

105. Infinity in Logic and Computation [electronic resource] :International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers /

by Archibald, Margaret [editor.] | Brattka, Vasco [editor.] | Goranko, Valentin [editor.] | Löwe, Benedikt [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, 2009.Online access: Click here to access online Availability: No items available

106. Fundamentals of Computation Theory [electronic resource] :17th International Symposium, FCT 2009, Wrocław, Poland, September 2-4, 2009. Proceedings /

by Kutyłowski, Mirosław [editor.] | Charatonik, Witold [editor.] | Gębala, Maciej [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, 2009.Online access: Click here to access online Availability: No items available

107. Formal Foundations of Reuse and Domain Engineering [electronic resource] :11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009. Proceedings /

by Edwards, Stephen H [editor.] | Kulczycki, Gregory [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, 2009.Online access: Click here to access online Availability: No items available

108. Formal Modeling and Analysis of Timed Systems [electronic resource] :7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings /

by Ouaknine, Joël [editor.] | Vaandrager, Frits W [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, 2009.Online access: Click here to access online Availability: No items available

109. Advanced Functional Programming [electronic resource] :6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures /

by Koopman, Pieter [editor.] | Plasmeijer, Rinus [editor.] | Swierstra, Doaitse [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, 2009.Online access: Click here to access online Availability: No items available

110. Runtime Verification [electronic resource] :9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers /

by Bensalem, Saddek [editor.] | Peled, Doron A [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, 2009.Online access: Click here to access online Availability: No items available

111. Automated Technology for Verification and Analysis [electronic resource] :7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings /

by Liu, Zhiming [editor.] | Ravn, Anders P [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, 2009.Online access: Click here to access online Availability: No items available

112. Teaching Formal Methods [electronic resource] :Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings /

by Gibbons, Jeremy [editor.] | Oliveira, José Nuno [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, 2009.Online access: Click here to access online Availability: No items available

113. Formal Methods: Foundations and Applications [electronic resource] :12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers /

by Oliveira, Marcel Vinícius Medeiros [editor.] | Woodcock, Jim [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, 2009.Online access: Click here to access online Availability: No items available

114. Practical Aspects of Declarative Languages [electronic resource] :12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings /

by Carro, Manuel [editor.] | Peña, Ricardo [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, 2010.Online access: Click here to access online Availability: No items available

115. Theory and Applications of Models of Computation [electronic resource] :7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings /

by Kratochvíl, Jan [editor.] | Li, Angsheng [editor.] | Fiala, Jiří [editor.] | Kolman, Petr [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, 2010.Online access: Click here to access online Availability: No items available

116. Time for Verification [electronic resource] :Essays in Memory of Amir Pnueli /

by Manna, Zohar [editor.] | Peled, Doron A [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, 2010.Online access: Click here to access online Availability: No items available

117. Logic, Language, Information and Computation [electronic resource] :17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings /

by Dawar, Anuj [editor.] | Queiroz, Ruy de [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, 2010.Online access: Click here to access online Availability: No items available

118. Programs, Proofs, Processes [electronic resource] :6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010. Proceedings /

by Ferreira, Fernando [editor.] | Löwe, Benedikt [editor.] | Mayordomo, Elvira [editor.] | Mendes Gomes, Luí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, 2010.Online access: Click here to access online Availability: No items available

119. The Mathematics of Language [electronic resource] :10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers /

by Ebert, Christian [editor.] | Jäger, Gerhard [editor.] | Michaelis, Jens [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, 2010.Online access: Click here to access online Availability: No items available

120. Developments in Language Theory [electronic resource] :14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010. Proceedings /

by Gao, Yuan [editor.] | Lu, Hanlin [editor.] | Seki, Shinnosuke [editor.] | Yu, Sheng [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, 2010.Online access: Click here to access online Availability: No items available


© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in