Your search returned 1706 results.

Not what you expected? Check for suggestions
901.
High Performance Computing - HiPC'99

by Prith Banerjee, Viktor K. Prasanna, Bhabani P. Sinha.

Series: Lecture Notes in Computer ScienceEdition: 1999Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1999Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

902.
High Performance Transaction Systems

by Dieter Gawlick, Mark Haynie, Andreas Reuter.

Series: Lecture Notes in Computer ScienceEdition: 1989Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1989Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

903.
Higher-Order Algebra, Logic, and Term Rewriting

by Jan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow.

Series: Lecture Notes in Computer ScienceEdition: 1994Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1994Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

904.
Higher-Order Algebra, Logic, and Term Rewriting

by Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller.

Series: Lecture Notes in Computer ScienceEdition: 1996Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1996Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

905.
Higher Order Logic Theorem Proving and Its Applications

by Jeffrey J. Joyce, Carl-Johan H. Seger.

Series: Lecture Notes in Computer ScienceEdition: 1994Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1994Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

906.
Higher Order Logic Theorem Proving and Its Applications

by Thomas F. Melham, Juanito Camilleri.

Series: Lecture Notes in Computer ScienceEdition: 1994Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1994Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

907.
Higher Order Logic Theorem Proving and Its Applications

by E. Thomas Schubert, Phillip J. Windley, James Alves-Foss.

Series: Lecture Notes in Computer ScienceEdition: 1995Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1995Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

908.
How to Multiply Matrices Faster

by V. Pan.

Series: Lecture Notes in Computer ScienceEdition: 1984Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1984Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

909.
Human-Computer Interaction

by Brad Blumenthal, Juri Gornostaev, Claus Unger.

Series: Lecture Notes in Computer ScienceEdition: 1994Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1994Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

910.
Human Computer Interaction

by Thomas Grechenig, Manfred Tscheligi.

Series: Lecture Notes in Computer ScienceEdition: 1993Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1993Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

911.
Human-Computer Interaction

by Leonard J. Bass, Juri Gornostaev, Claus Unger.

Series: Lecture Notes in Computer ScienceEdition: 1993Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1993Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

912.
Human-Computer Interaction

by Brad Blumenthal, Juri Gornostaev, Claus Unger.

Series: Lecture Notes in Computer ScienceEdition: 1995Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1995Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

913.
Hybrid and Real-Time Systems

by Oded Maler.

Series: Lecture Notes in Computer ScienceEdition: 1997Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1997Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

914.
Hybrid Systems

by Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel.

Series: Lecture Notes in Computer ScienceEdition: 1993Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1993Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

915.
Hybrid Systems: Computation and Control

by Thomas A. Henzinger, Shankar Sastry.

Series: Lecture Notes in Computer ScienceEdition: 1998Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1998Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

916.
Hybrid Systems: Computation and Control

by Frits W. Vaandrager, Jan H. van Schuppen.

Series: Lecture Notes in Computer ScienceEdition: 1999Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1999Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

917.
Hybrid Systems II

by Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry.

Series: Lecture Notes in Computer ScienceEdition: 1995Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1995Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

918.
Hybrid Systems III

by Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag.

Series: Lecture Notes in Computer ScienceEdition: 1996Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1996Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

919.
Hybrid Systems IV

by Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry.

Series: Lecture Notes in Computer ScienceEdition: 1997Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1997Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

920.
Hybrid Systems V

by Panos J. Antsaklis, Wolf Kohn, Michael Lemmon, Anil Nerode, Shankar Sastry.

Series: Lecture Notes in Computer ScienceEdition: 1999Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1999Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .