Indraprastha Institute of Information Technology, Delhi catalog › Results of search for 'su:{Mathematical Logic and Formal Languages.} and su-to:Programming languages Electronic computers and su-to:Programming Languages, Compilers, Interpreters'

Your cart is empty.

FEEDBACK

Your search returned 493 results.

« Previous
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
Next »

	181.	Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence [electronic resource] :4th International Conference on Intelligent Computing, ICIC 2008 Shanghai, China, September 15-18, 2008 Proceedings / by Huang, De-Shuang [editor.] \| Wunsch, Donald C [editor.] \| Levine, Daniel S [editor.] \| Jo, Kang-Hyun [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	182.	Abstract State Machines, B and Z [electronic resource] :First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings / by Börger, Egon [editor.] \| Butler, Michael [editor.] \| Bowen, Jonathan P [editor.] \| Boca, Paul [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	183.	Logics in Artificial Intelligence [electronic resource] :11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings / by Hölldobler, Steffen [editor.] \| Lutz, Carsten [editor.] \| Wansing, Heinrich [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	184.	Verified Software: Theories, Tools, Experiments [electronic resource] :Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings / by Shankar, Natarajan [editor.] \| Woodcock, Jim [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	185.	Scalable Uncertainty Management [electronic resource] :Second International Conference, SUM 2008, Naples, Italy, October 1-3, 2008. Proceedings / by Greco, Sergio [editor.] \| Lukasiewicz, Thomas [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	186.	Grammatical Inference: Algorithms and Applications [electronic resource] :9th International Colloquium, ICGI 2008 Saint-Malo, France, September 22-24, 2008 Proceedings / by Clark, Alexander [editor.] \| Coste, François [editor.] \| Miclet, Laurent [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	187.	Central European Functional Programming School [electronic resource] :Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures / by Horváth, Zoltán [editor.] \| Plasmeijer, Rinus [editor.] \| Soós, Anna [editor.] \| Zsók, Viktória [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	188.	Learning Classifier Systems [electronic resource] :10th International Workshop, IWLCS 2006, Seattle, MA, USA, July 8, 2006 and 11th International Workshop, IWLCS 2007, London, UK, July 8, 2007, Revised Selected Papers / by Bacardit, Jaume [editor.] \| Bernadó-Mansilla, Ester [editor.] \| Butz, Martin V [editor.] \| Kovacs, Tim [editor.] \| Llorà, Xavier [editor.] \| Takadama, Keiki [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	189.	Advances in Artificial Intelligence - SBIA 2008 [electronic resource] :19th Brazilian Symposium on Artificial Intelligence Savador, Brazil, October 26-30, 2008. Proceedings / by Zaverucha, Gerson [editor.] \| Costa, Augusto Loureiro da [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	190.	Formal Methods and Software Engineering [electronic resource] :10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings / by Liu, Shaoying [editor.] \| Maibaum, Tom [editor.] \| Araki, Keijiro [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	191.	Modeling Decisions for Artificial Intelligence [electronic resource] :5th International Conference, MDAI 2008 Sabadell, Spain, October 30-31, 2008. Proceedings / by Torra, Vicenç [editor.] \| Narukawa, Yasuo [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	192.	Language and Automata Theory and Applications [electronic resource] :Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers / by Martín-Vide, Carlos [editor.] \| Otto, Friedrich [editor.] \| Fernau, Henning [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	193.	Rough Sets and Current Trends in Computing [electronic resource] :6th International Conference, RSCTC 2008 Akron, OH, USA, October 23-25, 2008 Proceedings / by Chan, Chien-Chung [editor.] \| Grzymala-Busse, Jerzy W [editor.] \| Ziarko, Wojciech P [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	194.	MICAI 2008: Advances in Artificial Intelligence [electronic resource] :7th Mexican International Conference on Artificial Intelligence, Atizapán de Zaragoza, Mexico, October 27-31, 2008 Proceedings / by Gelbukh, Alexander [editor.] \| Morales, Eduardo F [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	195.	Computational Logic in Multi-Agent Systems [electronic resource] :8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers / by Sadri, Fariba [editor.] \| Satoh, Ken [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	196.	AI 2008: Advances in Artificial Intelligence [electronic resource] :21st Australasian Joint Conference on Artificial Intelligence Auckland, New Zealand, December 1-5, 2008. Proceedings / by Wobcke, Wayne [editor.] \| Zhang, Mengjie [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	197.	Innovations for Requirement Analysis. From Stakeholders’ Needs to Formal Designs [electronic resource] :14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papers / by Paech, Barbara [editor.] \| Martell, Craig [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	198.	Logic Programming [electronic resource] :24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings / by Garcia de la Banda, Maria [editor.] \| Pontelli, Enrico [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	199.	Logic and Its Applications [electronic resource] :Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings / by Ramanujam, R [editor.] \| Sarukkai, Sundar [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)
	200.	Model Checking and Artificial Intelligence [electronic resource] :5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers / by Peled, Doron A [editor.] \| Wooldridge, Michael J [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.Online access: Click here to access online Availability: No items available Place hold Add to cart (remove)

« Previous
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
Next »

Refine your search

Authors

Item types

Series

Topics