Refine your search

Your search returned 3356 results.

Sort
Results
3261.
Rules and Rule Markup Languages for the Semantic Web [electronic resource] : Second International Workshop, RuleML 2003, Sanibel Island, FL, USA, October 20, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2876
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.

3262.
Software Frameworks and Embedded Control Systems [electronic resource] / by Series: Lecture Notes in Computer Science ; 2231
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.

3263.
3264.
Petri Net Technology for Communication-Based Systems [electronic resource] : Advances in Petri Nets / by Series: Lecture Notes in Computer Science ; 2472
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.

3265.
Euro-Par’98 Parallel Processing [electronic resource] : 4th International Euro-Par Conference Southampton, UK, September 1–4, 1998 Proceedings / by Series: Lecture Notes in Computer Science ; 1470
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.

3266.
Engineering Societies in the Agents World III [electronic resource] : Third International Workshop, ESAW 2002, Madrid, Spain, September 16-17, 2002, Revised Papers / by Series: Lecture Notes in Artificial Intelligence ; 2577
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.

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

3268.
Logic Based Program Synthesis and Transformation [electronic resource] : 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers / by Series: Lecture Notes in Computer Science ; 2664
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.

3269.
Solving Irregularly Structured Problems in Parallel [electronic resource] : 5th International Symosium, IRREGULAR'98, Berkeley, California, USA, August 9-11, 1998. Proceedings / by Series: Lecture Notes in Computer Science ; 1457
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.

3270.
3271.
Typed Lambda Calculi and Applications [electronic resource] : 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2701
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.

3272.
Distributed Computing [electronic resource] : 17th International Conference, DISC 2003, Sorrento, Italy, October 1-3, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2848
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.

3273.
Formal and Natural Computing [electronic resource] : Essays Dedicated to Grzegorz Rozenberg / by Series: Lecture Notes in Computer Science ; 2300
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.

3274.
Programming Languages and Systems [electronic resource] : First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2895
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.

3275.
Analysis and Visualization Tools for Constraint Programming [electronic resource] : Constraint Debugging / by Series: Lecture Notes in Computer Science ; 1870
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.

3276.
Rewriting Techniques and Applications [electronic resource] : 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings / by Series: Lecture Notes in Computer Science ; 1232
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.

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

3278.
Generative Programming and Component Engineering [electronic resource] : ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002. Proceedings / by Series: Lecture Notes in Computer Science ; 2487
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.

3279.
B'98: Recent Advances in the Development and Use of the B Method [electronic resource] : Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings / by Series: Lecture Notes in Computer Science ; 1393
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.

3280.
Distributed Computing [electronic resource] : 13th International Symposium, DISC'99, Bratislava, Slovak Republic, September 27-29, 1999, Proceedings / by Series: Lecture Notes in Computer Science ; 1693
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.

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