Your search returned 14 results.

Not what you expected? Check for suggestions
1.
Intelligent memory systems : Second International Workshop, IMS 2000, Cambridge, MA, USA, November 12, 2000 : revised papers / Frederic T. Chong, Christoforos Kozyrakis, Mark Oskin (eds.).

by IMS 2000 (2000 : Cambridge, Mass.) | Chong, Frederic T, 1968- | Kozyrakis, Christoforos, 1974- | Oskin, Mark, 1974-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2001Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
2.
Formal systems specification : the RPC-memory specification case study / Manfred Broy, Stephan Merz, Katharina Spies, eds.

by Broy, M, 1949- | Merz, Stephan | Spies, Katharina.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1996Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
3.
Memory management : international workshop IWMM '92, St. Malo, France, September 17-19, 1992 : proceedings / Y. Bekkers, J. Cohen, eds.

by IWMM '92 (1992 : Saint-Malo, France) | Bekkers, Y. (Yves), 1947- | Cohen, J. (Jacques).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1992Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
4.
Computational Neuroscience: Cortical Dynamics : 8th International Summer School on Neural Nets, Erice, Italy, October 31-November 6, 2003, Revised Lectures / edited by Per rdi, Anna Esposito, Maria Marinaro, Silvia Scarpetta.

by Rdi, Per | Esposito, Anna | Marinaro, Maria | Scarpetta, Silvia.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5.
Correct Hardware Design and Verification Methods : IFIPWG10.2 Advanced Research Working Conference, CHARME'93 Arles France May 24-26, 1993 Proceedings / edited by George J. Milne, Laurence Pierre.

by Milne, George J | Pierre, Laurence.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer-Verlag, 1993Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
6.
Theory of Computing and Systems : ISTCS '92, Israel Symposium Haifa, Israel, May 27-28, 1992 Proceedings / edited by D. Dolev, Z. Galil, M. Rodeh.

by Israel Symposium ISTCS '92 (1992 : Haifa, Israel) | Dolev, D. (Danny) | Galil, Zvi | Rodeh, M. (Michael).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer-Verlag, 1992Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
7.
Formal Techniques in Real-Time and Fault-Tolerant Systems : 4th International Symposium Uppsala, Sweden, September 9-13, 1996 Proceedings / edited by Bengt Jonsson, Joachim Parrow.

by Jonsson, Bengt, 1957- | Parrow, Joachim, 1956-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer-Verlag, 1996Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
8.
Memory Management : International Workshop IWMM 95 Kinross, UK, September 27-29, 1995 Proceedings / edited by Henry G. Baler.

by IWMM '95 (1995 : Kinross, Scotland) | Baler, Henry G.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
9.
A pipelined multi-core MIPS machine : hardware implementation and correctness proof / Mikhail Kovalev, Silvia M. Müller, Wolfgang J. Paul (Eds.).

by Kovalev, Mikhail [edt] | Müller, Silvia M [edt] | Paul, Wolfgang J [edt].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, [2014]Copyright date: ©2014Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
10.
In memory data management and analysis : first and second International Workshops, IMDM 2013, Riva del Garda, Italy, August 26, 2013, IMDM 2014, Hongzhou, China, September 1, 2014, Revised selected papers / Arun Jagatheesan, Justin Levandoski, Thomas Neumann, Andrew Pavlo (eds.).

by IMDM (Workshop) (1st : 2013 : Riva, Italy) | Jagatheesan, Arun [editor.] | IMDM (Workshop) (2nd : 2014 : Hangzhou, China).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2015Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
11.
Data management on new hardware : 7th International Workshop on Accelerating Data Analysis and Data Management Systems Using Modern Processor and Storage Architectures, ADMS 2016 and 4th International Workshop on In-Memory Data Management and Analytics, IMDM 2016, New Delhi, India, September 1, 2016, Revised selected papers / Spyros Blanas, Rajesh Bordawekar, Tirthankar Lahiri, Justin Levandoski, Andrew Pavlo (eds).

by International Workshop on Accelerating Data Analysis and Data Management Systems Using Modern Processor and Storage Architectures (7th : 2016 : New Delhi, India) | Blanas, Spyros [editor.] | Bordawekar, Rajesh [editor.] | Lahiri, Tirthankar [editor.] | Levandoski, Justin [editor.] | Pavlo, Andrew [editor.] | IMDM (Workshop) jointly held conference (4th : 2016 : New Delhi, India) [].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2017Other title: ADMS 2016 | IMDM 2016.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
12.
Scalable input/output : achieving system balance / edited by Daniel A. Reed.

by Reed, Daniel A.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cambridge, Mass. : MIT Press, ©2004Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
13.
Open VMS Alpha internals and data structures : memory management / Ruth E. Goldenberg.

by Goldenberg, Ruth E.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Amsterdam ; Boston : Digital Press, 2003Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
14.
Instant HTML5 local storage how-to : over 15 recipes to take advantage of the HTML5 local storage standard / Alex Libby.

by Libby, Alex.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Birmingham, UK : Packt Publishing, 2013Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .

Powered by Koha