Your search returned 985 results.

Sort
Results
101.
Design and Implementation of Symbolic Computation Systems [electronic resource] : International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996. Proceedings / by Series: Lecture Notes in Computer Science ; 1128
Edition: 1st ed. 1996.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996 In: Springer Nature eBook
Availability: No items available.

102.
Principles and Practice of Constraint Programming - CP'96 [electronic resource] : Second International Conference, CP '96, Cambridge, MA, USA, August 19 - 22, 1996. Proceedings / by Series: Lecture Notes in Computer Science ; 1118
Edition: 1st ed. 1996.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996 In: Springer Nature eBook
Availability: No items available.

103.
104.
105.
Building Tightly Integrated Software Development Environments: The IPSEN Approach [electronic resource] / by Series: Lecture Notes in Computer Science ; 1170
Edition: 1st ed. 1996.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996 In: Springer Nature eBook
Availability: No items available.

106.
107.
Euro-Par'96 - Parallel Processing [electronic resource] : Second International Euro-Par Conference, Lyon, France, August 26-29, 1996. Proceedings. Volume II / by Series: Lecture Notes in Computer Science ; 1124
Edition: 1st ed. 1996.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996 In: Springer Nature eBook
Availability: No items available.

108.
FME '97 Industrial Applications and Strengthened Foundations of Formal Methods [electronic resource] : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Proceedings / by Series: Lecture Notes in Computer Science ; 1313
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.

109.
Algebraic Methodology and Software Technology [electronic resource] : 7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999, Proceedings / by Series: Lecture Notes in Computer Science ; 1548
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.

110.
Automata, Languages and Programming [electronic resource] : 23rd International Colloquium, ICALP '96, Paderborn, Germany, July 8-12, 1996. Proceedings / by Series: Lecture Notes in Computer Science ; 1099
Edition: 1st ed. 1996.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996 In: Springer Nature eBook
Availability: No items available.

111.
Partial-Order Methods for the Verification of Concurrent Systems [electronic resource] : An Approach to the State-Explosion Problem / by Series: Lecture Notes in Computer Science ; 1032
Edition: 1st ed. 1996.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996 In: Springer Nature eBook
Availability: No items available.

112.
Computational Science - ICCS 2001 [electronic resource] : International Conference, San Francisco, CA, USA, May 28-30, 2001. Proceedings, Part II / by Series: Lecture Notes in Computer Science ; 2074
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.

113.
Advanced Information Systems Engineering [electronic resource] : 34th International Conference, CAiSE 2022, Leuven, Belgium, June 6–10, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13295
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook
Availability: No items available.

114.
Lectures on Petri Nets II: Applications [electronic resource] : Advances in Petri Nets / by Series: Lecture Notes in Computer Science ; 1492
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.

115.
Consolidated Ada Reference Manual [electronic resource] : Language and Standard Libraries / by Series: Lecture Notes in Computer Science ; 2219
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.

116.
Formal Methods in Programming and Their Applications [electronic resource] : International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings / by Series: Lecture Notes in Computer Science ; 735
Edition: 1st ed. 1993.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993 In: Springer Nature eBook
Availability: No items available.

117.
Lectures on Petri Nets I: Basic Models [electronic resource] : Advances in Petri Nets / by Series: Lecture Notes in Computer Science ; 1491
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.

118.
Human-Computer Interaction [electronic resource] : 5th International Conference, EWHCI '95, Moscow, Russia, July 3-7, 1995. Selected Papers / by Series: Lecture Notes in Computer Science ; 1015
Edition: 1st ed. 1995.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995 In: Springer Nature eBook
Availability: No items available.

119.
120.
Application and Theory of Petri Nets and Concurrency [electronic resource] : 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022, Proceedings / by Series: Lecture Notes in Computer Science ; 13288
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook
Availability: No items available.

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

Powered by Koha