Your search returned 773 results.

Sort
Results
681.
Logic Program Synthesis and Transformation [electronic resource] : 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings / by Series: Lecture Notes in Computer Science ; 1207
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.

682.
Reliable Software Technologies Ada-Europe 2000 [electronic resource] : 5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000, Proceedings / by Series: Lecture Notes in Computer Science ; 1845
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.

683.
Component Deployment [electronic resource] : IFIP/ACM Working Conference, CD 2002, Berlin, Germany, June 20-21, 2002, Proceedings / by Series: Lecture Notes in Computer Science ; 2370
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.

684.
Principles and Practice of Constraint Programming - CP97 [electronic resource] : Third International Conference, CP97, Linz, Austria, October 29 - November 1, 1997 / by Series: Lecture Notes in Computer Science ; 1330
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.

685.
Generative Programming and Component Engineering [electronic resource] : Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2830
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.

686.
Functional and Logic Programming [electronic resource] : 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002. Proceedings / by Series: Lecture Notes in Computer Science ; 2441
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.

687.
Modular Specification and Verification of Object-Oriented Programs [electronic resource] / by Series: Lecture Notes in Computer Science ; 2262
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.

688.
Practical Aspects of Declarative Languages [electronic resource] : 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2562
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.

689.
Agent-Oriented Software Engineering IV [electronic resource] : 4th International Workshop, AOSE 2003, Melbourne, Australia, July 15, 2003, Revised Papers / by Series: Lecture Notes in Computer Science ; 2935
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.

690.
Implementation of Functional Languages [electronic resource] : 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Papers / by Series: Lecture Notes in Computer Science ; 2670
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.

691.
Generative and Component-Based Software Engineering [electronic resource] : First International Symposium, GCSE'99, Erfurt, Germany, September 28-30, 1999. Revised Papers / by Series: Lecture Notes in Computer Science ; 1799
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.

692.
Recent Advances in Parallel Virtual Machine and Message Passing Interface [electronic resource] : 4th European PVM/MPI User's Group Meeting Cracow, Poland, November 3-5, 1997, Proceedings / by Series: Lecture Notes in Computer Science ; 1332
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.

693.
Principles and Practice of Declarative Programming [electronic resource] : International Conference, PPDP'99, Paris, France, September, 29 - October 1, 1999, Proceedings / by Series: Lecture Notes in Computer Science ; 1702
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.

694.
Languages, Compilers, and Run-Time Systems for Scalable Computers [electronic resource] : 5th International Workshop, LCR 2000 Rochester, NY, USA, May 25-27, 2000 Selected Papers / by Series: Lecture Notes in Computer Science ; 1915
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.

695.
Automata, Languages and Programming [electronic resource] : 24th International Colloquium, ICALP'97, Bologna, Italy, July 7 - 11, 1997, Proceedings / by Series: Lecture Notes in Computer Science ; 1256
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.

696.
Principles and Practice of Constraint Programming - CP 2003 [electronic resource] : 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2833
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.

697.
Perspectives of Systems Informatics [electronic resource] : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers / by Series: Lecture Notes in Computer Science ; 2890
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.

698.
Perspectives of System Informatics [electronic resource] : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers / by Series: Lecture Notes in Computer Science ; 2244
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.

699.
The Unified Modeling Language. <<UML>>'98: Beyond the Notation [electronic resource] : First International Workshop, Mulhouse, France, June 3-4, 1998, Selected Papers / by Series: Lecture Notes in Computer Science ; 1618
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.

700.
Coordination Languages and Models [electronic resource] : Second International Conference, COORDINATION'97, Berlin, Germany, September 1-3, 1997, Proceedings / by Series: Lecture Notes in Computer Science ; 1282
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.

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