FEEDBACK Smiley face

Your search returned 383 results. Subscribe to this search

|
361. Mathematical Software – ICMS 2010 [electronic resource] :Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings /

by Fukuda, Komei [editor.] | Hoeven, Joris van der [editor.] | Joswig, Michael [editor.] | Takayama, Nobuki [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.Online access: Click here to access online Availability: No items available

362. Information Computing and Applications [electronic resource] :First International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings /

by Zhu, Rongbo [editor.] | Zhang, Yanchun [editor.] | Liu, Baoxiang [editor.] | Liu, Chunfeng [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.Online access: Click here to access online Availability: No items available

363. Model-Based Engineering of Embedded Real-Time Systems [electronic resource] :International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers /

by Giese, Holger [editor.] | Karsai, Gabor [editor.] | Lee, Edward [editor.] | Rumpe, Bernhard [editor.] | Schätz, Bernhard [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.Online access: Click here to access online Availability: No items available

364. Modelling Autonomic Communication Environments [electronic resource] :5th IEEE International Workshop, MACE 2010, Niagara Falls, Canada, October 28, 2010. Proceedings /

by Brennan, Rob [editor.] | Fleck, Joel [editor.] | Meer, Sven van der [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.Online access: Click here to access online Availability: No items available

365. Programming Languages and Systems [electronic resource] :8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings /

by Ueda, Kazunori [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.Online access: Click here to access online Availability: No items available

366. Transactions on Petri Nets and Other Models of Concurrency IV [electronic resource] /

by Jensen, Kurt [editor.] | Donatelli, Susanna [editor.] | Koutny, Maciej [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.Online access: Click here to access online Availability: No items available

367. High Performance Computing for Computational Science – VECPAR 2010 [electronic resource] :9th International conference, Berkeley, CA, USA, June 22-25, 2010, Revised Selected Papers /

by Palma, José M. Laginha M [editor.] | Daydé, Michel [editor.] | Marques, Osni [editor.] | Lopes, João Correia [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.Online access: Click here to access online Availability: No items available

368. Search Computing [electronic resource] :Trends and Developments /

by Ceri, Stefano [editor.] | Brambilla, Marco [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.Online access: Click here to access online Availability: No items available

369. Transactions on Petri Nets and Other Models of Concurrency V [electronic resource] /

by Jensen, Kurt [editor.] | Donatelli, Susanna [editor.] | Kleijn, Jetty [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.Online access: Click here to access online Availability: No items available

370. Theoretical Aspects of Computing – ICTAC 2012 [electronic resource] :9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings /

by Roychoudhury, Abhik [editor.] | D’Souza, Meenakshi [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.Online access: Click here to access online Availability: No items available

371. Search Computing [electronic resource] :Broadening Web Search /

by Ceri, Stefano [editor.] | Brambilla, Marco [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.Online access: Click here to access online Availability: No items available

372. Theories of Programming and Formal Methods [electronic resource] :Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday /

by Liu, Zhiming [editor.] | Woodcock, Jim [editor.] | Zhu, Huibiao [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.Online access: Click here to access online Availability: No items available

373. Unifying Theories of Programming and Formal Engineering Methods [electronic resource] :International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures /

by Liu, Zhiming [editor.] | Woodcock, Jim [editor.] | Zhu, Huibiao [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.Online access: Click here to access online Availability: No items available

374. Algebra and Coalgebra in Computer Science [electronic resource] :5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings /

by Heckel, Reiko [editor.] | Milius, Stefan [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.Online access: Click here to access online Availability: No items available

375. Combinatorics on Words [electronic resource] :9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings /

by Karhumäki, Juhani [editor.] | Lepistö, Arto [editor.] | Zamboni, Luca [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.Online access: Click here to access online Availability: No items available

376. Formal Methods for Executable Software Models [electronic resource] :14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures /

by Bernardo, Marco [editor.] | Damiani, Ferruccio [editor.] | Hähnle, Reiner [editor.] | Johnsen, Einar Broch [editor.] | Schaefer, Ina [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014.Online access: Click here to access online Availability: No items available

377. Mathematical Software – ICMS 2014 [electronic resource] :4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings /

by Hong, Hoon [editor.] | Yap, Chee [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014.Online access: Click here to access online Availability: No items available

378. High Performance Computing for Computational Science -- VECPAR 2014 [electronic resource] :11th International Conference, Eugene, OR, USA, June 30 -- July 3, 2014, Revised Selected Papers /

by Daydé, Michel [editor.] | Marques, Osni [editor.] | Nakajima, Kengo [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015.Online access: Click here to access online Availability: No items available

379. Behavior Modeling -- Foundations and Applications [electronic resource] :International Workshops, BM-FA 2009-2014, Revised Selected Papers /

by Roubtsova, Ella [editor.] | McNeile, Ashley [editor.] | Kindler, Ekkart [editor.] | Gerth, Christian [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015.Online access: Click here to access online Availability: No items available

380. Combinatorics on Words [electronic resource] :10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings /

by Manea, Florin [editor.] | Nowotka, Dirk [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015.Online access: Click here to access online Availability: No items available


© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in