FEEDBACK Smiley face

Your search returned 294 results. Subscribe to this search

|
101. Logic Programming [electronic resource] :18th International Conference, ICLP 2002 Copenhagen, Denmark, July 29 – August 1, 2002 Proceedings /

by Stuckey, Peter 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

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

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

104. CONCUR 2002 — Concurrency Theory [electronic resource] :13th International Conference Brno, Czech Republic, August 20–23, 2002 Proceedings /

by Brim, Luboš [editor.] | Křetínský, Mojmír [editor.] | Kučera, Antonín [editor.] | Jančar, 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, 2002.Online access: Click here to access online Availability: No items available

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

106. Formal and Natural Computing [electronic resource] :Essays Dedicated to Grzegorz Rozenberg /

by Brauer, Wilfried [editor.] | Ehrig, Hartmut [editor.] | Karhumäki, Juhani [editor.] | Salomaa, Arto [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

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

108. Recent Advances in Parallel Virtual Machine and Message Passing Interface [electronic resource] :9th European PVM/MPI Users’ Group Meeting Linz, Austria, September 29 – Oktober 2, 2002 Proceedings /

by Kranzlmüller, Dieter [editor.] | Volkert, Jens [editor.] | Kacsuk, Peter [editor.] | Dongarra, Jack [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

109. Types for Proofs and Programs [electronic resource] :International Workshop, TYPES 2000 Durham, UK, December 8–12, 2000 Selected Papers /

by Callaghan, Paul [editor.] | Luo, Zhaohui [editor.] | McKinna, James [editor.] | Pollack, Robert [editor.] | Pollack, Robert [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

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

111. Coordination Models and Languages [electronic resource] :5th International Conference, COORDINATION 2002 York, UK, April 8–11, 2002 Proceedings /

by Arbab, Farhad [editor.] | Talcott, Carolyn [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

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

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

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

115. Power-Aware Computer Systems [electronic resource] :Second International Workshop, PACS 2002 Cambridge, MA, USA, February 2, 2002 Revised Papers /

by Falsafi, Babak [editor.] | Vijaykumar, T. N [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

116. Future Directions in Distributed Computing [electronic resource] :Research and Position Papers /

by Schiper, André [editor.] | Shvartsman, Alex A [editor.] | Weatherspoon, Hakim [editor.] | Zhao, Ben Y [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

117. Self-Managing Distributed Systems [electronic resource] :14th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2003 /

by Brunner, Marcus [editor.] | Keller, Alexander [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

118. Job Scheduling Strategies for Parallel Processing [electronic resource] :9th International Workshop, JSSPP 2003, Seattle, WA, USA, June 24, 2003. Revised Paper /

by Feitelson, Dror [editor.] | Rudolph, Larry [editor.] | Schwiegelshohn, Uwe [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

119. Advances in Computer Systems Architecture [electronic resource] :8th Asia-Pacific Conference, ACSAC 2003, Aizu-Wakamatsu, Japan, September 23-26, 2003. Proceedings /

by Omondi, Amos [editor.] | Sedukhin, Stanislav [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

120. Recent Advances in Parallel Virtual Machine and Message Passing Interface [electronic resource] :10th European PVM/MPI User’s Group Meeting, Venice, Italy, September 29 - October 2, 2003. Proceedings /

by Dongarra, Jack [editor.] | Laforenza, Domenico [editor.] | Orlando, Salvatore [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


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