Refine your search

Your search returned 202 results.

Sort
Results
181.
Formal Methods in Computer-Aided Design [electronic resource] : 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings / by Series: Lecture Notes in Computer Science ; 2517
Edition: 1st ed. 2002.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook
Availability: No items available.

182.
DNA Computing [electronic resource] : 7th International Workshop on DNA-Based Computers, DNA7, Tampa, FL, USA, June 10-13, 2001, Revised Papers / by Series: Lecture Notes in Computer Science ; 2340
Edition: 1st ed. 2002.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook
Availability: No items available.

183.
184.
SCI: Scalable Coherent Interface [electronic resource] : Architecture and Software for High-Performance Compute Clusters / by Series: Lecture Notes in Computer Science ; 1734
Edition: 1st ed. 1999.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999 In: Springer Nature eBook
Availability: No items available.

185.
Dependable Computing EDCC-4 [electronic resource] : 4th European Dependable Computing Conference Toulouse, France, October 23-25, 2002, Proceedings / by Series: Lecture Notes in Computer Science ; 2485
Edition: 1st ed. 2002.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook
Availability: No items available.

186.
Power-Aware Computer Systems [electronic resource] : First International Workshop, PACS 2000 Cambridge, MA, USA, November 12, 2000 Revised Papers / by Series: Lecture Notes in Computer Science ; 2008
Edition: 1st ed. 2001.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook
Availability: No items available.

187.
Dependable Computing - EDDC-3 [electronic resource] : Third European Dependable Computing Conference, Prague, Czech Republic, September 15-17, 1999, Proceedings / by Series: Lecture Notes in Computer Science ; 1667
Edition: 1st ed. 1999.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999 In: Springer Nature eBook
Availability: No items available.

188.
Power-Aware Computer Systems [electronic resource] : Second International Workshop, PACS 2002 Cambridge, MA, USA, February 2, 2002, Revised Papers / by Series: Lecture Notes in Computer Science ; 2325
Edition: 1st ed. 2003.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook
Availability: No items available.

189.
Correct Hardware Design and Verification Methods [electronic resource] : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings / by Series: Lecture Notes in Computer Science ; 2144
Edition: 1st ed. 2001.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook
Availability: No items available.

190.
Formal Hardware Verification [electronic resource] : Methods and Systems in Comparison / by Series: Lecture Notes in Computer Science ; 1287
Edition: 1st ed. 1997.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997 In: Springer Nature eBook
Availability: No items available.

191.
Evolvable Systems: From Biology to Hardware [electronic resource] : Third International Conference, ICES 2000, Edinburgh, Scotland, UK, April 17-19, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1801
Edition: 1st ed. 2000.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 In: Springer Nature eBook
Availability: No items available.

192.
Integrated Circuit Design. Power and Timing Modeling, Optimization and Simulation [electronic resource] : 12th International Workshop, PATMOS 2002, Seville, Spain, September 11 - 13, 2002 / by Series: Lecture Notes in Computer Science ; 2451
Edition: 1st ed. 2002.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002 In: Springer Nature eBook
Availability: No items available.

193.
Cryptographic Hardware and Embedded Systems [electronic resource] : First International Workshop, CHES'99 Worcester, MA, USA, August 12-13, 1999 Proceedings / by Series: Lecture Notes in Computer Science ; 1717
Edition: 1st ed. 1999.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999 In: Springer Nature eBook
Availability: No items available.

194.
Mobile Agents [electronic resource] : 5th International Conference, MA 2001 Atlanta, GA, USA, December 2-4, 2001 Proceedings / by Series: Lecture Notes in Computer Science ; 2240
Edition: 1st ed. 2001.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook
Availability: No items available.

195.
Advances in Computer Systems Architecture [electronic resource] : 9th Asia-Pacific Conference, ACSAC 2004, Beijing, China, September 7-9, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3189
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Availability: No items available.

196.
Large-Scale Scientific Computing [electronic resource] : Third International Conference, LSSC 2001, Sozopol, Bulgaria, June 6-10, 2001. Revised Papers / by Series: Lecture Notes in Computer Science ; 2179
Edition: 1st ed. 2001.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook
Availability: No items available.

197.
Job Scheduling Strategies for Parallel Processing [electronic resource] : IPPS/SPDP'98 Workshop, Orlando, Florida, USA, March 30, 1998 Proceedings / by Series: Lecture Notes in Computer Science ; 1459
Edition: 1st ed. 1998.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998 In: Springer Nature eBook
Availability: No items available.

198.
Job Scheduling Strategies for Parallel Processing [electronic resource] : IPDPS 2000 Workshop, JSSPP 2000, Cancun, Mexico, May 1, 2000 Proceedings / by Series: Lecture Notes in Computer Science ; 1911
Edition: 1st ed. 2000.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 In: Springer Nature eBook
Availability: No items available.

199.
Cooperative Environments for Distributed Systems Engineering [electronic resource] : The Distributed Systems Environment Report / by Series: Lecture Notes in Computer Science ; 2236
Edition: 1st ed. 2001.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook
Availability: No items available.

200.
Pages
© 2024 IIIT-Delhi, library@iiitd.ac.in