Your search returned 174 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
Computation structures / Stephen A. Ward, Robert H. Halstead, Jr.

by Ward, Stephen A | Halstead, Robert H.

Series: MIT electrical engineering and computer science seriesEdition: 5th print.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Cambridge, Mass. : MIT Press, 1999, ©1990Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Engineering digital design / by Richard F. Tinder.

by Tinder, Richard F. (Richard Franchere), 1930-2011 | Tinder, Richard F. (Richard Franchere), 1930-2011. Digital engineering design.

Edition: 2nd ed., rev.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: San Diego : Academic Press, ©2000Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Logically determined design : clockless system design with NULL convention logic / Karl M. Fant.

by Fant, Karl M.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Hoboken, N.J. : John Wiley & Sons, ©2005Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
A Baker's dozen : real analog solutions for digital designers / by Bonnie Baker.

by Baker, Bonnie.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Amsterdam ; Boston : Elsevier/Newes, 2005Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Digital design and computer architecture / David Money Harris, Sarah L. Harris.

by Harris, David Money | Harris, Sarah L.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Amsterdam ; Boston : Morgan Kaufmann Publishers, ©2007Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Advanced signal integrity for high-speed digital designs / Stephen H. Hall, Howard L. Heck.

by Hall, Stephen H | Heck, Howard L.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Hoboken, N.J. : Wiley : IEEE, ©2009Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Logic of Analog and Digital Machines / Paolo Rocchi (IBM, Roma, Italy).

by Rocchi, Paolo [author.].

Edition: Revised edition.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Hauppauge, NY : Nova Science Publishers, Inc., [2013]Copyright date: ©2014Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Rechnerarchitektur : einführung in den Aufbau moderner computer / von Prof. Roland Hellmann.

by Hellmann, Roland [author.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Munich, Germany : Oldenbourg Verlag, [2013]Copyright date: ©2013Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
The analysis of concurrent systems : Cambridge, September 12-16, 1983 : proceedings / ed. by B.T. Denvir [and others].

by Denvir, B. T [edt] | Workshop on the Analysis of Concurrent Systems (12-09-1983 - 16-09-1983 : Cambridge).

Series: SerienbezeichnungMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, ©1985Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Perspectives of system informatics : third International Andrei Ershov memorial conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 : proceedings / Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.).

by Bjørner, D. (Dines), 1937- [edt] | Broy, M, 1949- [edt] | Zamulin, Alexandre V [edt] | International Andrei Ershov Memorial Conference on Persepctives of System Informatics, PSI (3 : 06-07-1999 - 09-07-1999 : Novosibirsk, Russia).

Series: SerienbezeichnungMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin : Springer, ©2000Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Compiler construction : 9th International Conference, CC 2000 : held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 : Berlin, Germany, March 25 - April 2, 2000 : proceedings / David A. Watt (ed.).

by Watt, David A. (David Anthony), 1946- [edt] | International Conference on Compiler Construction, CC (9 : 25-03-2000 - 02-04-2000 : Berlin, Germany) | Joint European Conferences on Theory and Practice of Software, ETAPS (3 : Berlin, Germany).

Series: SerienbezeichnungMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin : Springer, ©2000Other title: CC 2000.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Computer safety, reliability and security : 17th international conference, SAFECOMP '98, Heidelberg, Germany, October 5-7, 1998 : proceedings / Wolfgang Ehrenberger (ed.).

by SAFECOMP (Conference) (17th : 1998 : Heidelberg, Germany) | Ehrenberger, W. D [edt] | International Conference on Computer Safety, Reliability, and Security, SAFECOMP (17th : 05-10-1998 - 07-10-1998 : Heidelberg, Germamy).

Series: SerienbezeichnungMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin : Springer, ©1998Other title: SAFECOMP'98.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Compiler construction : 7th international conference, CC'98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998 : proceedings / Kai Koskimies (ed.).

by Koskimies, Kai [edt] | International Conference on Compiler Construction, CC (7 : 28-03-1998 - 04-04-1998 : Lisbon, Portugal) | Joint European Conferences on Theory and Practice of Software, ETAPS (Lisbon, Portugal).

Series: SerienbezeichnungMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin : Springer, ©1998Other title: CC'98.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Evolvable systems : from biology to hardware : 5th International Conference, ICES 2003, Trondheim, Norway, March 17-20, 2003 : proceedings / Andy M. Tyrrell, Pauline C. Haddow, Jim Torresen (eds.).

by International Conference on Evolvable Systems (5th : 2003 : Trondheim, Norway) | Tyrrell, Andy M | Haddow, Pauline C, 1964- | Torresen, Jim, 1964-.

Series: Serienbezeichnung | Lecture notes in computer science ; 2606.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2003Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Algebraic Methodology and Software Technology : 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings.

by Hutchison, David, 1949-.

Series: Serienbezeichnung | Lecture notes in computer science ; 5140.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin : Springer-Verlag, 2008Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
25 years of model checking : history, achievements, perspectives / Orna Grumberg, Helmut Veith (eds.).

by Grumberg, Orna | Veith, Helmut.

Series: Serienbezeichnung | Lecture notes in computer science ; 5000. | Lecture notes in computer science. Festschrift.Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publisher number: 12326419Publication details: Berlin : Springer, 2008Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Foundations of Software Technology and Theoretical Computer Science : Eighth Conference, Pune, India, December 21-23, 1988. Proceedings.

by Nori, Kesav V [editor] | Kumar, Sanjeev [editor].

Series: Serienbezeichnung | Lecture Notes in Computer Science SerMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: New York : Springer, Dec. 1988Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Extreme Programming and Agile Methods - XP / Agile Universe 2003 : Third XP Agile Universe Conference, New Orleans, LA, USA, August 10-13, 2003. Proceedings.

by Maurer, F. (Frank) | Wells, Don.

Series: Serienbezeichnung | Lecture notes in computer science ; 2753,Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg, 2003Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Automated Reasoning : First International Joint Conference, IJCAR 2001 Siena, Italy, June 1822, 2001 Proceedings / edited by Rajeev Gor, Alexander Leitsch, Tobias Nipkow.

by Gor Rajeev | Leitsch, Alexander | Nipkow, Tobias.

Series: Serienbezeichnung | Lecture notes in computer science ; 2083,Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg, 2001Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Programming Languages and Systems : 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 26, 2001 Proceedings / edited by David Sands.

by Sands, David.

Series: Serienbezeichnung | Lecture notes in computer science ; 2028,Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg, 2001Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Pages

Powered by Koha