Refine your search

Your search returned 7478 results.

Sort
Results
5601.
5602.
5603.
5604.
5605.
5606.
5607.
5608.
Formal Modeling: Actors; Open Systems, Biological Systems [electronic resource] : Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday / by Series: Programming and Software Engineering ; 7000
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.

5609.
5610.
5611.
5612.
Theory and Practice of Model Transformations [electronic resource] : First International Conference, ICMT 2008, ETH Zürich, Switzerland, July 1-2, 2008, Proceedings / by Series: Programming and Software Engineering ; 5063
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.

5613.
Algorithms and Data Structures [electronic resource] : 12th International Symposium, WADS 2011, New York, NY, USA, August 15-17, 2011, Proceedings / by Series: Theoretical Computer Science and General Issues ; 6844
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.

5614.
Assurances for Self-Adaptive Systems [electronic resource] : Principles, Models, and Techniques / by Series: Programming and Software Engineering ; 7740
Edition: 1st ed. 2013.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook
Availability: No items available.

5615.
5616.
5617.
Quantum Interaction [electronic resource] : 6th International Symposium, QI 2012, Paris, June 27-29, 2012, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 7620
Edition: 1st ed. 2012.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook
Availability: No items available.

5618.
5619.
5620.
Bioinformatics Research and Applications [electronic resource] : 9th International Symposium, ISBRA 2013, Charlotte, NC, USA, May 20-22, 2013, Proceedings / by Series: Lecture Notes in Bioinformatics ; 7875
Edition: 1st ed. 2013.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook
Availability: No items available.

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