Your search returned 584 results.

Sort
Results
381.
382.
Logic Based Program Synthesis and Transformation [electronic resource] : 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers / by Series: Lecture Notes in Computer Science ; 2042
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.

383.
384.
Graph Transformation [electronic resource] : First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings / by Series: Lecture Notes in Computer Science ; 2505
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.

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

386.
Evolutionary Robotics [electronic resource] : First European Workshop, EvoRobot 98, Paris, France, April 16-17, 1998, Proceedings / by Series: Lecture Notes in Computer Science ; 1468
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.

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

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

389.
Concurrent Object-Oriented Programming and Petri Nets [electronic resource] : Advances in Petri Nets / by Series: Lecture Notes in Computer Science ; 2001
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.

390.
Genetic Programming [electronic resource] : First European Workshop, EuroGP'98, Paris, France, April 14-15, 1998, Proceedings / by Series: Lecture Notes in Computer Science ; 1391
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.

391.
Logic-Based Program Synthesis and Transformation [electronic resource] : 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers / by Series: Lecture Notes in Computer Science ; 1559
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.

392.
Application and Theory of Petri Nets 1999 [electronic resource] : 20th International Conference, ICATPN'99, Williamsburg, Virginia, USA, June 21-25, 1999 Proceedings / by Series: Lecture Notes in Computer Science ; 1639
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.

393.
Languages, Compilers, and Run-Time Systems for Scalable Computers [electronic resource] : 4th International Workshop, LCR ’98 Pittsburgh, PA, USA, May 28–30, 1998 Selected Papers / by Series: Lecture Notes in Computer Science ; 1511
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.

394.
High Performance Computing [electronic resource] : Second International Symposium, ISHPC'99, Kyoto, Japan, May 26-28, 1999, Proceedings / by Series: Lecture Notes in Computer Science ; 1615
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.

395.
Compiler Construction [electronic resource] : 7th International Conference, CC'98, Held as part of the European Joint Conferences on the Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998 Proceedings / by Series: Lecture Notes in Computer Science ; 1383
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.

396.
397.
CASL User Manual [electronic resource] : Introduction to Using the Common Algebraic Specification Language / by Series: Lecture Notes in Computer Science ; 2900
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.

398.
Persistent Object Systems: Design, Implementation, and Use [electronic resource] : 9th International Workshop, POS-9, Lillehammer, Norway, September 6-8, 2000, Revised Papers / by Series: Lecture Notes in Computer Science ; 2135
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.

399.
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings / by Series: Lecture Notes in Computer Science ; 1217
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.

400.
CASL Reference Manual [electronic resource] : The Complete Documentation of the Common Algebraic Specification Language / by Series: Lecture Notes in Computer Science ; 2960
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.

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