FEEDBACK Smiley face

Your search returned 340 results. Subscribe to this search

|
61. Computational Logic: Logic Programming and Beyond [electronic resource] :Essays in Honour of Robert A. Kowalski Part I /

by Kakas, Antonis C [editor.] | Sadri, Fariba [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

62. Theorem Proving in Higher Order Logics [electronic resource] :15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20–23, 2002 Proceedings /

by Carreño, Victor A [editor.] | Muñoz, César A [editor.] | Tahar, Sofiène [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

63. Euro-Par 2002 Parallel Processing [electronic resource] :8th International Euro-Par Conference Paderborn, Germany, August 27–30, 2002 Proceedings /

by Monien, Burkhard [editor.] | Feldmann, Rainer [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

64. Formal Techniques in Real-Time and Fault-Tolerant Systems [electronic resource] :7th International Symposium, FTRTFT 2002 Co-sponsored by IFIP WG 2.2 Oldenburg, Germany, September 9–12, 2002 Proceedings /

by Damm, Werner [editor.] | Olderog, Ernst -Rüdiger [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

65. Graph Drawing [electronic resource] :9th International Symposium, GD 2001 Vienna, Austria, September 23–26, 2001 Revised Papers /

by Mutzel, Petra [editor.] | Jünger, Michael [editor.] | Leipert, Sebastian [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

66. Embedded Processor Design Challenges [electronic resource] :Systems, Architectures, Modeling, and Simulation — SAMOS /

by Deprettere, Ed F [editor.] | Teich, Jürgen [editor.] | Vassiliadis, Stamatis [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

67. Trends in Network and Pervasive Computing — ARCS 2002 [electronic resource] :International Conference on Architecture of Computing Systems Karlsruhe, Germany, April 8–12, 2002 Proceedings /

by Schmeck, Hartmut [editor.] | Ungerer, Theo [editor.] | Wolf, Lars [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

68. Field-Programmable Logic and Applications: Reconfigurable Computing Is Going Mainstream [electronic resource] :12th International Conference, FPL 2002 Montpellier, France, September 2–4, 2002 Proceedings /

by Glesner, Manfred [editor.] | Zipf, Peter [editor.] | Renovell, Michel [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

69. Applied Parallel Computing [electronic resource] :Advanced Scientific Computing 6th International Conference, PARA 2002 Espoo, Finland, June 15–18, 2002 Proceedings /

by Fagerholm, Juha [editor.] | Haataja, Juha [editor.] | Järvinen, Jari [editor.] | Lyly, Mikko [editor.] | Råback, Peter [editor.] | Savolainen, Ville [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, 2002.Online access: Click here to access online Availability: No items available

70. Parallel Processing and Applied Mathematics [electronic resource] :4th International Conference, PPAM 2001 Na lęczów, Poland, September 9–12, 2001 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 : Imprint: Springer, 2002.Online access: Click here to access online Availability: No items available

71. Fast Software Encryption [electronic resource] :10th International Workshop, FSE 2003, Lund, Sweden, February 24-26, 2003. Revised Papers /

by Johansson, Thomas [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

72. Distributed Applications and Interoperable Systems [electronic resource] :4th IFIP WG6.1 International Conference, DAIS 2003, Paris, France, November 17-21, 2003. Proceedings /

by Stefani, Jean-Bernard [editor.] | Demeure, Isabelle [editor.] | Hagimont, Daniel [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, 2003.Online access: Click here to access online Availability: No items available

73. 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

74. Organic and Pervasive Computing – ARCS 2004 [electronic resource] :International Conference on Architecture of Computing Systems, Augsburg, Germany, March 23-26, 2004. Proceedings /

by Müller-Schloer, Christian [editor.] | Ungerer, Theo [editor.] | Bauer, Bernhard [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

75. Theorem Proving in Higher Order Logics [electronic resource] :17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004. Proceedings /

by Slind, Konrad [editor.] | Bunker, Annette [editor.] | Gopalakrishnan, Ganesh [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

76. Parallel and Distributed Processing and Applications [electronic resource] :Second International Symposium, ISPA 2004, Hong Kong, China, December 13-15, 2004. Proceedings /

by Cao, Jiannong [editor.] | Yang, Laurence T [editor.] | Guo, Minyi [editor.] | Lau, Francis [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

77. Model Driven Architecture [electronic resource] :European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003 and Linköping, Sweden, June 10-11, 2004. Revised Selected Papers /

by Aßmann, Uwe [editor.] | Aksit, Mehmet [editor.] | Rensink, Arend [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

78. Theorem Proving in Higher Order Logics [electronic resource] :18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings /

by Hurd, Joe [editor.] | Melham, Tom [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

79. Parallel Computing Technologies [electronic resource] :8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005. Proceedings /

by Malyshkin, Victor [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

80. Euro-Par 2005 Parallel Processing [electronic resource] :11th International Euro-Par Conference, Lisbon, Portugal, August 30 - September 2, 2005. Proceedings /

by Cunha, José C [editor.] | Medeiros, Pedro D [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


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