Results of search for 'ccl=(su:{Electronics})'

Results
	1.	VLSI Algorithms and Architectures 3rd Aegean Workshop on Computing, AWOC 88 Corfu, Greece, June 28 - July 1, 1988 Proceedings / edited by John H. Reif. by Reif, John H Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	2.	Hardware Specification, Verification and Synthesis: Mathematical Aspects Mathematical Sciences Institute Workshop Cornell University, Ithaca, New York, USA July 5-7, 1989 Proceedings / edited by Miriam Leeser, Geoffrey Brown. by Leeser, Miriam Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	3.	Concurrency and Hardware Design Advances in Petri Nets / edited by Jordi Cortadella, Alex Yakovlev, Grzegorz Rozenberg. by Cortadella, Jordi Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	4.	Boolean Calculus of Differences edited by André Thayse. by Thayse, André Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	5.	Artificial Neural Networks International Workshop IWANN '91 Granada, Spain, September 17-19, 1991 Proceedings / edited by Alberto Prieto. by Prieto, Alberto Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	6.	VLSI Algorithms and Architectures Aegean Workshop on Computing Loutraki, Greece, July 8-11, 1986 Proceedings / edited by Filia Makedon, Kurt Mehlhorn, T. Papatheodorou, P. Spirakis. by Makedon, Filia Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	7.	Trace Theory and VLSJ Design by Jan L. A. Snepscheut. by Snepscheut, Jan L. A Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	8.	Higher Order Logic Theorem Proving and Its Applications 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 Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	9.	Field-Programmable Logic and Applications 5th International Workshop, FPL '95 Oxford, United Kingdom, August 29-September 1, 1995 Proceedings / edited by Will Moore, Wayne Luk. by Moore, Will Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	10.	Field Programmable Logic and Application 13th International Conference, FPL 2003, Lisbon, Portugal, September 1-3, 2003 Proceedings / edited by Peter Cheung, George A. Constantinides. by Cheung, Peter Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	11.	Memory Management International Workshop IWMM 95 Kinross, UK, September 27-29, 1995 Proceedings / edited by Henry G. Baler. by Baler, Henry G Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	12.	Correct Hardware Design and Verification Methods IFIP WG 10.5 Advanced Research Working Conference, CHARME '95 Frankfurt/Main, Germany, October 2-4, 1995 Proceedings / edited by Paolo E. Camurati, Hans Eveking. by Camurati, Paolo E Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	13.	Synthesizing Synchronous Systems by Static Scheduling in Space-Time edited by Björn Lisper. by Lisper, Björn Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	14.	Database Machines Sixth International Workshop, IWDM '89 Deauville, France, June 19-21, 1989 Proceedings / edited by Haran Boral, Pascal Faudemay. by Boral, Haran Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	15.	Graph-Theoretic Concepts in Computer Science 17th International Workshop, WG '91 Fischbachau, Germany, June 17-19 1991 Proceedings / edited by Gunther Schmidt, Rudolf Berghammer. by Schmidt, Gunther Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	16.	Graph-Theoretic Concepts in Computer Science 15th International Workshop WG '89 Castle Rolduc, The Netherlands, June 14-16, 1989 Proceedings / edited by Manfred Nagl. by Nagl, Manfred Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	17.	Computer Aided Verification Fourth International Workshop, CAV '92 Montreal, Canada, June 29 - July 1, 1992 Proceedings / edited by Gregor Bochmann, David Karl Probst. by Bochmann, Gregor Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	18.	New Trends in Neural Computation International Workshop on Artificial Neural Networks, IWANN '93 Sitges, Spain, June 9-11, 1993 Proceedings / edited by José Mira, Joan Cabestany, Alberto Prieto. by Mira, José Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	19.	The Complexity of Simple Computer Architectures edited by Silvia M. Müller, Wolfgang J. Paul. by Müller, Silvia M Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	20.	Computer Aided Verification 5th International Conference, CAV '93 Elounda, Greece, June 28-July 1, 1993 Proceedings / edited by Costas Courcoubetis. by Courcoubetis, Costas Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

WELCOME TO THE ICCBS LIBRARIES CATALOG

Refine your search

Availability

Authors

Holding libraries

Item types

Topics

Your search returned 124 results.