Refine your search

Your search returned 7609 results.

Sort
Results
1461.
1462.
1463.
Combinatorial Optimization and Applications [electronic resource] : Second International Conference, COCOA 2008, St. John's, NL, Canada, August 21-24, 2008, Proceedings / by Series: Theoretical Computer Science and General Issues ; 5165
Edition: 1st ed. 2008.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008 In: Springer Nature eBook
Availability: No items available.

1464.
1465.
Database and Expert Systems Applications [electronic resource] : 20th International Conference, DEXA 2009, Linz, Austria, August 31 - September 4, 2009, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5690
Edition: 1st ed. 2009.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook
Availability: No items available.

1466.
1467.
Applications and Theory of Petri Nets 2005 [electronic resource] : 26th International Conference, ICATPN 2005, Miami, FL, June 20-25, 2005, Proceedings / by Series: Theoretical Computer Science and General Issues ; 3536
Edition: 1st ed. 2005.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook
Availability: No items available.

1468.
1469.
Advances in Multimedia Information Processing - PCM 2005 [electronic resource] : 6th Pacific Rim Conference on Multimedia, Jeju Island, Korea, November 11-13, 2005, Proceedings, Part II / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 3768
Edition: 1st ed. 2005.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook
Availability: No items available.

1470.
1471.
IP Operations and Management [electronic resource] : 9th IEEE International Workshop, IPOM 2009, Venice, Italy, October 29-30, 2009, Proceedings / by Series: Computer Communication Networks and Telecommunications ; 5843
Edition: 1st ed. 2009.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook
Availability: No items available.

1472.
1473.
Public Key Cryptography -- PKC 2011 [electronic resource] : 14th International Conference on Practice and Theory in Public Key Cryptography, Taormina, Italy, March 6-9, 2011, Proceedings / by Series: Security and Cryptology ; 6571
Edition: 1st ed. 2011.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook
Availability: No items available.

1474.
1475.
Groupware: Design, Implementation, and Use [electronic resource] : 13th International Workshop, CRIWG 2007, Bariloche, Argentina, September 16-20, 2007, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4715
Edition: 1st ed. 2007.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook
Availability: No items available.

1476.
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10747
Edition: 1st ed. 2018.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook
Availability: No items available.

1477.
Formal Methods for Industrial Critical Systems [electronic resource] : 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings / by Series: Programming and Software Engineering ; 11119
Edition: 1st ed. 2018.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook
Availability: No items available.

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