FEEDBACK Smiley face

Your search returned 76 results. Subscribe to this search

|
41. An invitation to applied mathematics : differential equations, modeling, and compuation

by Chicone, Carmen.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: London : Academic Press, ©2017Availability: Items available for loan: IIITD [519 CHI-I] (1).

42. Graph-Theoretic Concepts in Computer Science [electronic resource] :22nd International Workshop, WG '96 Cadenabbia, Italy, June 12–14, 1996 Proceedings /

by d'Amore, Fabrizio [editor.] | Franciosa, Paolo Giulio [editor.] | Marchetti-Spaccamela, Alberto [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, 1997.Online access: Click here to access online Availability: No items available

43. Algorithms and Complexity [electronic resource] :Third Italian Conference, CIAC '97 Rome, Italy, March 12–14, 1997 Proceedings /

by Bongiovanni, Giancarlo [editor.] | Bovet, Daniel Pierre [editor.] | Battista, Giuseppe Di [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, 1997.Online access: Click here to access online Availability: No items available

44. Applied Algebra, Algebraic Algorithms and Error-Correcting Codes [electronic resource] :12th International Symposium, AAECC-12 Toulouse, France, June 23–27, 1997 Proceedings /

by Mora, Teo [editor.] | Mattson, 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, 1997.Online access: Click here to access online Availability: No items available

45. Theorem Proving in Higher Order Logics [electronic resource] :12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings /

by Bertot, Yves [editor.] | Dowek, Gilles [editor.] | Théry, Laurent [editor.] | Hirschowitz, André [editor.] | Paulin, Christine [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, 1999.Online access: Click here to access online Availability: No items available

46. CONCUR’99 Concurrency Theory [electronic resource] :10th International Conference Eindhoven, The Netherlands, August 24—27, 1999 Proceedings /

by Baeten, Jos C. M [editor.] | Mauw, Sjouke [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, 1999.Online access: Click here to access online Availability: No items available

47. Algorithms and Computation [electronic resource] :13th International Symposium, ISAAC 2002 Vancouver, BC, Canada, November 21–23, 2002 Proceedings /

by Bose, Prosenjit [editor.] | Morin, Pat [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, 2002.Online access: Click here to access online Availability: No items available

48. Parallel Problem Solving from Nature — PPSN VII [electronic resource] :7th International Conference Granada, Spain, September 7–11, 2002 Proceedings /

by Guervós, Juan Julián Merelo [editor.] | Adamidis, Panagiotis [editor.] | Beyer, Hans-Georg [editor.] | Schwefel, Hans-Paul [editor.] | Fernández-Villacañas, José-Luis [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, 2002.Online access: Click here to access online Availability: No items available

49. Integrated Circuit Design. Power and Timing Modeling, Optimization and Simulation [electronic resource] :12th International Workshop, PATMOS 2002 Seville, Spain, September 11–13, 2002 Proceedings /

by Hochet, Bertrand [editor.] | Acosta, Antonio J [editor.] | Bellido, Manuel J [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, 2002.Online access: Click here to access online Availability: No items available

50. Geographic Information Science [electronic resource] :Second International Conference, GIScience 2002 Boulder, CO, USA, September 25–28, 2002 Proceedings /

by Egenhofer, Max J [editor.] | Mark, David M [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, 2002.Online access: Click here to access online Availability: No items available

51. Experimental and Efficient Algorithms [electronic resource] :Second International Workshop, WEA 2003, Ascona, Switzerland, May 26–28, 2003 Proceedings /

by Jansen, Klaus [editor.] | Margraf, Marian [editor.] | Mastrolilli, Monaldo [editor.] | Rolim, José D. 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, 2003.Online access: Click here to access online Availability: No items available

52. Euro-Par 2003 Parallel Processing [electronic resource] :9th International Euro-Par Conference Klagenfurt, Austria, August 26-29, 2003 Proceedings /

by Kosch, Harald [editor.] | Böszörményi, László [editor.] | Hellwagner, Hermann [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, 2003.Online access: Click here to access online Availability: No items available

53. Parallel Processing and Applied Mathematics [electronic resource] :5th International Conference, PPAM 2003, Czestochowa, Poland, September 7-10, 2003. Revised Papers /

by Wyrzykowski, Roman [editor.] | Dongarra, Jack [editor.] | Paprzycki, Marcin [editor.] | Waśniewski, Jerzy [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, 2004.Online access: Click here to access online Availability: No items available

54. Experimental and Efficient Algorithms [electronic resource] :Third International Workshop, WEA 2004, Angra dos Reis, Brazil, May 25-28, 2004. Proceedings /

by Ribeiro, Celso C [editor.] | Martins, Simone L [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, 2004.Online access: Click here to access online Availability: No items available

55. Integer Programming and Combinatorial Optimization [electronic resource] :10th International IPCO Conference, New York, NY, USA, June 7-11, 2004. Proceedings /

by Bienstock, Daniel [editor.] | Nemhauser, George [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, 2004.Online access: Click here to access online Availability: No items available

56. Formal Modeling and Analysis of Timed Systems [electronic resource] :First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers /

by Larsen, Kim Guldstrand [editor.] | Niebert, Peter [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, 2004.Online access: Click here to access online Availability: No items available

57. Modeling and Using Context [electronic resource] :5thInternational and Interdisciplinary Conference CONTEXT 2005, Paris, France, July 5-8, 2005. Proceedings /

by Dey, Anind [editor.] | Kokinov, Boicho [editor.] | Leake, David [editor.] | Turner, Roy [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, 2005.Online access: Click here to access online Availability: No items available

58. Intelligence and Security Informatics [electronic resource] :IEEE ISI 2008 International Workshops: PAISI, PACCF, and SOCO 2008, Taipei, Taiwan, June 17, 2008. Proceedings /

by Yang, Christopher C [editor.] | Chen, Hsinchun [editor.] | Chau, Michael [editor.] | Chang, Kuiyu [editor.] | Lang, Sheau-Dong [editor.] | Chen, Patrick S [editor.] | Hsieh, Raymond [editor.] | Zeng, Daniel [editor.] | Wang, Fei-Yue [editor.] | Carley, Kathleen [editor.] | Mao, Wenji [editor.] | Zhan, Justin [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, 2008.Online access: Click here to access online Availability: No items available

59. Critical Information Infrastructure Security [electronic resource] :Third International Workshop, CRITIS 2008, Rome, Italy, October13-15, 2008. Revised Papers /

by Setola, Roberto [editor.] | Geretshuber, Stefan [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

60. Advances in Cryptology - ASIACRYPT 2010 [electronic resource] :16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedings /

by Abe, Masayuki [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