Results of search for 'ccl=au:"SpringerLink (Online service)" and se:Lecture Notes in Computer Science, and su-to:Engineering' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	141.	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 Fitzgerald, John [editor.] Jones, Cliff B [editor.] Lucas, Peter [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1313 Edition: 1st ed. 1997. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	142.	Algebraic Methodology and Software Technology [electronic resource] : 7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999, Proceedings / by Haeberer, Armando M [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1548 Edition: 1st ed. 1999. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	143.	Automata, Languages and Programming [electronic resource] : 23rd International Colloquium, ICALP '96, Paderborn, Germany, July 8-12, 1996. Proceedings / by Meyer auf der Heide, Friedhelm [editor.] Monien, Burkhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1099 Edition: 1st ed. 1996. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	144.	Partial-Order Methods for the Verification of Concurrent Systems [electronic resource] : An Approach to the State-Explosion Problem / by Godefroid, Patrice [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1032 Edition: 1st ed. 1996. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	145.	Computational Science - ICCS 2001 [electronic resource] : International Conference, San Francisco, CA, USA, May 28-30, 2001. Proceedings, Part II / by Alexandrov, Vassil N [editor.] Dongarra, Jack J [editor.] Juliano, Benjoe A [editor.] Renner, Rene S [editor.] Tan, C.J.Kenneth [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2074 Edition: 1st ed. 2001. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	146.	Advanced Information Systems Engineering [electronic resource] : 34th International Conference, CAiSE 2022, Leuven, Belgium, June 6–10, 2022, Proceedings / by Franch, Xavier [editor.] Poels, Geert [editor.] Gailly, Frederik [editor.] Snoeck, Monique [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13295 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	147.	Euro-Par 2021: Parallel Processing Workshops [electronic resource] : Euro-Par 2021 International Workshops, Lisbon, Portugal, August 30-31, 2021, Revised Selected Papers / by Chaves, Ricardo [editor.] B. Heras, Dora [editor.] Ilic, Aleksandar [editor.] Unat, Didem [editor.] Badia, Rosa M [editor.] Bracciali, Andrea [editor.] Diehl, Patrick [editor.] Dubey, Anshu [editor.] Sangyoon, Oh [editor.] L. Scott, Stephen [editor.] Ricci, Laura [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13098 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	148.	Network and Operating System Support for Digital Audio and Video [electronic resource] : 4th International Workshop NOSSDAV '93, Lancaster, UK, November 3-5, 1993. Proceedings / by Shepherd, Doug [editor.] Blair, Gordon [editor.] Coulson, Geoff [editor.] Davies, Nigel [editor.] Garcia, Francisco [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 846 Edition: 1st ed. 1994. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	149.	Lectures on Petri Nets II: Applications [electronic resource] : Advances in Petri Nets / by Reisig, Wolfgang [editor.] Rozenberg, Grzegorz [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1492 Edition: 1st ed. 1998. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	150.	Consolidated Ada Reference Manual [electronic resource] : Language and Standard Libraries / by Taft, Tucker S [editor.] Duff, Robert A [editor.] Brukardt, Randall L [editor.] Ploedereder, Erhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2219 Edition: 1st ed. 2000. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	151.	Formal Methods in Programming and Their Applications [electronic resource] : International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings / by Bjørner, Dines [editor.] Broy, Manfred [editor.] Pottosin, Igor V [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 735 Edition: 1st ed. 1993. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	152.	Lectures on Petri Nets I: Basic Models [electronic resource] : Advances in Petri Nets / by Reisig, Wolfgang [editor.] Rozenberg, Grzegorz [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1491 Edition: 1st ed. 1998. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	153.	Human-Computer Interaction [electronic resource] : 5th International Conference, EWHCI '95, Moscow, Russia, July 3-7, 1995. Selected Papers / by Blumenthal, Brad [editor.] Gornostaev, Juri [editor.] Unger, Claus [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1015 Edition: 1st ed. 1995. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	154.	Applied Parallel Computing. Industrial Computation and Optimization [electronic resource] : Third International Workshop, PARA '96, Lyngby, Denmark, August 18-21, 1996, Proceedings / by Wasniewski, Jerzy [editor.] Dongarra, Jack [editor.] Madsen, Kaj [editor.] Olesen, Dorte [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 1184 Edition: 1st ed. 1996. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	155.	Integration of Constraint Programming, Artificial Intelligence, and Operations Research [electronic resource] : 19th International Conference, CPAIOR 2022, Los Angeles, CA, USA, June 20-23, 2022, Proceedings / by Schaus, Pierre [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13292 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	156.	Pattern Recognition [electronic resource] : 14th Mexican Conference, MCPR 2022, Ciudad Juárez, Mexico, June 22–25, 2022, Proceedings / by Vergara-Villegas, Osslan Osiris [editor.] Cruz-Sánchez, Vianey Guadalupe [editor.] Sossa-Azuela, Juan Humberto [editor.] Carrasco-Ochoa, Jesús Ariel [editor.] Martínez-Trinidad, José Francisco [editor.] Olvera-López, José Arturo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13264 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	157.	Formal Techniques for Distributed Objects, Components, and Systems [electronic resource] : 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022, Proceedings / by Mousavi, Mohammad Reza [editor.] Philippou, Anna [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13273 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	158.	Application and Theory of Petri Nets and Concurrency [electronic resource] : 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022, Proceedings / by Bernardinello, Luca [editor.] Petrucci, Laure [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13288 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	159.	Reuse and Software Quality [electronic resource] : 20th International Conference on Software and Systems Reuse, ICSR 2022, Montpellier, France, June 15–17, 2022, Proceedings / by Perrouin, Gilles [editor.] Moha, Naouel [editor.] Seriai, Abdelhak-Djamel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13297 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	160.	Coordination Models and Languages [electronic resource] : 24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings / by ter Beek, Maurice H [editor.] Sirjani, Marjan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13271 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 1197 results.