|
|
|
|
|
|
|
WOPPLOT 83 Parallel Processing: Logic, Organization, and Technology [electronic resource] : Proceedings of a Workshop Held at the Federal Armed Forces University Munich (HSBw M) Neubiberg, Bavaria, Germany, June 27–29,1983 / edited by Jürg D. Becker, Ignaz Eisele. by Becker, Jürg D [editor.] | Eisele, Ignaz [editor.] | SpringerLink (Online service). Series: Lecture Notes in Physics ; 196Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1984Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
Magnetic Phenomena [electronic resource] : The Warren E. Henry Symposium on Magnetism, in Commemoration of His 80th Birthday and His Work in Magnetism, Washington, DC, August 15–16, 1988 / edited by A. P. Maclin, T. L. Gill, W. W. Zachary. by Maclin, A. P [editor.] | Gill, T. L [editor.] | Zachary, W. W [editor.] | SpringerLink (Online service). Series: Lecture Notes in Physics ; 337Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1989Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
An Index and Other Useful Information [electronic resource] / edited by H. Araki, J. Ehlers, K. Hepp, R. Kippenhahn, H. A. Weidenmüller, J. Zittartz, W. Beiglböck. by Araki, H [editor.] | Ehlers, J [editor.] | Hepp, K [editor.] | Kippenhahn, R [editor.] | Weidenmüller, H. A [editor.] | Zittartz, J [editor.] | Beiglböck, W [editor.] | SpringerLink (Online service). Series: Lecture Notes in Physics ; 1-222, IndexSource: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1985Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Hardware Specification, Verification and Synthesis: Mathematical Aspects [electronic resource] : Mathematical Sciences Institute Workshop Cornell University, Ithaca, New York, USA July 5–7, 1989 Proceedings / edited by Miriam Leeser, Geoffrey Brown. by Leeser, Miriam [editor.] | Brown, Geoffrey [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 408Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 1990Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
VLSI Algorithms and Architectures [electronic resource] : Aegean Workshop on Computing Loutraki, Greece, July 8–11, 1986 Proceedings / edited by Filia Makedon, Kurt Mehlhorn, T. Papatheodorou, P. Spirakis. by Makedon, Filia [editor.] | Mehlhorn, Kurt [editor.] | Papatheodorou, T [editor.] | Spirakis, P [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 227Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1986Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Higher Order Logic Theorem Proving and Its Applications [electronic resource] : 8th International Workshop Aspen Grove, UT, USA, September 11–14, 1995 Proceedings / edited by E. Thomas Schubert, Philip J. Windley, James Alves-Foss. by Thomas Schubert, E [editor.] | Windley, Philip J [editor.] | Alves-Foss, James [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 971Source: 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): .
|
|
|
|
|
|
|
|
Field Programmable Logic and Application [electronic resource] : 13th International Conference, FPL 2003, Lisbon, Portugal, September 1-3, 2003 Proceedings / edited by Peter Cheung, George A. Constantinides. by Cheung, Peter [editor.] | Constantinides, George A [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2778Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|