FEEDBACK Smiley face

Your search returned 141 results. Subscribe to this search

|
21. Computational Intelligence. Theory and Applications [electronic resource] :International Conference, 7th Fuzzy Days Dortmund, Germany, October 1–3, 2001 Proceedings /

by Reusch, Bernd [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, 2001.Online access: Click here to access online Availability: No items available

22. Automata Implementation [electronic resource] :4th International Workshop on Implementing Automata, WIA’99 Potsdam, Germany, July 17–19, 1999 Revised Papers /

by Boldt, Oliver [editor.] | Jürgensen, Helmut [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, 2001.Online access: Click here to access online Availability: No items available

23. Languages and Compilers for Parallel Computing [electronic resource] :13th International Workshop, LCPC 2000 Yorktown Heights, NY, USA, August 10–12, 2000 Revised Papers /

by Midkiff, Samuel P [editor.] | Moreira, José E [editor.] | Gupta, Manish [editor.] | Chatterjee, Siddhartha [editor.] | Ferrante, Jeanne [editor.] | Prins, Jan [editor.] | Pugh, William [editor.] | Tseng, Chau-Wen [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, 2001.Online access: Click here to access online Availability: No items available

24. Perspectives of System Informatics [electronic resource] :4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2–6, 2001 Revised Papers /

by Bjørner, Dines [editor.] | Broy, Manfred [editor.] | Zamulin, Alexandre V [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, 2001.Online access: Click here to access online Availability: No items available

25. FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science [electronic resource] :22nd Conference Kanpur, India, December 12–14, 2002 Proceedings /

by Agrawal, Manindra [editor.] | Seth, Anil [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, 2002.Online access: Click here to access online Availability: No items available

26. Mathematics of Program Construction [electronic resource] :6th International Conference, MPC 2002 Dagstuhl Castle, Germany, July 8–10, 2002 Proceedings /

by Boiten, Eerke A [editor.] | Möller, 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, 2002.Online access: Click here to access online Availability: No items available

27. CONCUR 2002 — Concurrency Theory [electronic resource] :13th International Conference Brno, Czech Republic, August 20–23, 2002 Proceedings /

by Brim, Luboš [editor.] | Křetínský, Mojmír [editor.] | Kučera, Antonín [editor.] | Jančar, Petr [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, 2002.Online access: Click here to access online Availability: No items available

28. Recent Advances in Parallel Virtual Machine and Message Passing Interface [electronic resource] :9th European PVM/MPI Users’ Group Meeting Linz, Austria, September 29 – Oktober 2, 2002 Proceedings /

by Kranzlmüller, Dieter [editor.] | Volkert, Jens [editor.] | Kacsuk, Peter [editor.] | Dongarra, Jack [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, 2002.Online access: Click here to access online Availability: No items available

29. Coordination Models and Languages [electronic resource] :5th International Conference, COORDINATION 2002 York, UK, April 8–11, 2002 Proceedings /

by Arbab, Farhad [editor.] | Talcott, Carolyn [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, 2002.Online access: Click here to access online Availability: No items available

30. Developments in Language Theory [electronic resource] :5th International Conference, DLT 2001 Wien, Austria, July 16–21, 2001 Revised Papers /

by Kuich, Werner [editor.] | Rozenberg, Grzegorz [editor.] | Salomaa, Arto [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, 2002.Online access: Click here to access online Availability: No items available

31. FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science [electronic resource] :23rd Conference, Mumbai, India, December 15-17, 2003. Proceedings /

by Pandya, Paritosh K [editor.] | Radhakrishnan, Jaikumar [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, 2003.Online access: Click here to access online Availability: No items available

32. Languages and Compilers for Parallel Computing [electronic resource] :14th International Workshop, LCPC 2001, Cumberland Falls, KY, USA, August 1–3, 2001 Revised Papers /

by Dietz, Henry G [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, 2003.Online access: Click here to access online Availability: No items available

33. Foundations of Software Science and Computation Structures [electronic resource] :6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings /

by Gordon, Andrew D [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, 2003.Online access: Click here to access online Availability: No items available

34. Perspectives of System Informatics [electronic resource] :5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers /

by Broy, Manfred [editor.] | Zamulin, Alexandre V [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, 2003.Online access: Click here to access online Availability: No items available

35. Verification: Theory and Practice [electronic resource] :Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday /

by Dershowitz, Nachum [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, 2003.Online access: Click here to access online Availability: No items available

36. Recent Advances in Parallel Virtual Machine and Message Passing Interface [electronic resource] :10th European PVM/MPI User’s Group Meeting, Venice, Italy, September 29 - October 2, 2003. Proceedings /

by Dongarra, Jack [editor.] | Laforenza, Domenico [editor.] | Orlando, Salvatore [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, 2003.Online access: Click here to access online Availability: No items available

37. CONCUR 2003 - Concurrency Theory [electronic resource] :14th International Conference, Marseille, France, September 3-5, 2003. Proceedings /

by Amadio, Roberto [editor.] | Lugiez, Denis [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, 2003.Online access: Click here to access online Availability: No items available

38. Coordination Models and Languages [electronic resource] :6th International Conference, COORDINATION 2004 Pisa Italy, February 24-27, 2004 Proceedings /

by Nicola, Rocco De [editor.] | Ferrari, Gian-Luigi [editor.] | Meredith, Greg [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, 2004.Online access: Click here to access online Availability: No items available

39. Languages and Compilers for Parallel Computing [electronic resource] :16th International Workshop, LCPC 2003, College Station, TX, USA, October 2-4, 2003. Revised Papers /

by Rauchwerger, Lawrence [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, 2004.Online access: Click here to access online Availability: No items available

40. Foundations of Software Science and Computation Structures [electronic resource] :7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 – April 2, 2004. Proceedings /

by Walukiewicz, Igor [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, 2004.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