|
|
|
|
|
|
|
|
|
Theorem Provers in Circuit Design [electronic resource] : Theory, Practice and Experience Second International Conference, TPCD '94 Bad Herrenalb, Germany, September 26–28, 1994 Proceedings / edited by Ramayya Kumar, Thomas Kropf. by Kumar, Ramayya [editor.] | Kropf, Thomas [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 901Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Other title: Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26 - 28, 1994. Proceedings.Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Compositionality: The Significant Difference [electronic resource] : International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures / edited by Willem-Paul Roever, Hans Langmaack, Amir Pnueli. by Roever, Willem-Paul [editor.] | Langmaack, Hans [editor.] | Pnueli, Amir [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1536Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Machine Learning: ECML-95 [electronic resource] : 8th European Conference on Machine Learning Heraclion, Crete, Greece, April 25–27, 1995 Proceedings / edited by Nada Lavrac, Stefan Wrobel. by Lavrac, Nada [editor.] | Wrobel, Stefan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 912Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Theorem Proving with Analytic Tableaux and Related Methods [electronic resource] : 4th International Workshop, TABLEAUX '95 Schloß Reinfels, St. Goar, Germany, May 7–10, 1995 Proceedings / edited by Peter Baumgartner, Reiner Hähnle, Joachim Possega. by Baumgartner, Peter [editor.] | Hähnle, Reiner [editor.] | Possega, Joachim [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 918Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
Multi-Agent Systems. Theories, Languages and Applications [electronic resource] : 4th Australian Workshop on Distributed Artificial Intelligence, Brisbane, QLD, Australia, July 13, 1998. Selected Papers / edited by Chenqi Zhang, Dickson Lukose. by Zhang, Chenqi [editor.] | Lukose, Dickson [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1544Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Multi-Agent Systems and Agent-Based Simulation [electronic resource] : First International Workshop, MABS ’98, Paris, France, July 4-6, 1998. Proceedings / edited by Jaime Simão Sichman, Rosaria Conte, Nigel Gilbert. by Sichman, Jaime Simão [editor.] | Conte, Rosaria [editor.] | Gilbert, Nigel [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1534Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
