Your search returned 144 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
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
Foundations of Software Technology and Theoretical Computer Science : Seventh Conference, Pune, India, December 17-19, 1987. Proceedings.

by Nori, Kesav V [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. 1987Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Self-Stabilizing Systems : 6th International Symposium, SSS 2003 San Francisco, CA, USA, June 2425, 2003 Proceedings / edited by Shing-Tsaan Huang, Ted Herman.

by Huang, Shing-Tsaan | Herman, Ted.

Series: Serienbezeichnung | Lecture notes in computer science ; 2704,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
MMIXware : a RISC Computer for the Third Millennium / edited by Donald E. Knuth.

by Knuth, Donald Ervin, 1938-.

Series: Serienbezeichnung | Lecture notes in computer science ; 1750,Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; Heidelberg : Donald E. Knuth, 1999Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Mirror Worlds : or the Day Software Puts the Universe in a Shoebox ... How It Will Happen and What It Will Mean.

by Gelernter, David.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: New York : Oxford University Press, 1992Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Software architecture : first European conference, ECSA 2007, Madrid, Spain, September 24-26, 2007 : proceedings / Flavio Oquendo (ed.).

by ECSA (Conference) (1st : 2007 : Madrid, Spain) | Oquendo, Flavio, 1958-.

Series: Serienbezeichnung | Lecture notes in computer science ; 4758. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2007Other title: ECSA 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Rapid integration of software engineering techniques : second international workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005 ; revised selected papers / Nicolas Guelfi, Anthony Savidis (eds.).

by RISE 2005 (2005 : Ērakleion, Greece) | Guelfi, Nicolas, 1965- | Savidis, Anthony.

Series: Serienbezeichnung | Lecture notes in computer science ; 3943.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2006Other title: RISE 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Software process change : International Software Process Workshop and International Workshop on Software Process Simulation and Modeling, SPW/ProSim 2006, Shanghai, China, May 20-21, 2006 : proceedings / Qing Wang [and others] (eds.).

by SPW/ProSim 2006 (2006 : Shanghai, China) | Wang, Qing, 1964 January 29- | Software Process Workshop (2006 : Shanghai, China) | International Workshop on Software Process Simulation and Modeling.

Series: Serienbezeichnung | Lecture notes in computer science ; 3966.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2006Other title: International Software Process Workshop | International Workshop on Software Process Simulation and Modeling | SPW/ProSim 2006.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Software architecture : third European workshop, EWSA 2006, Nantes, France, September 4-5, 2006, revised selected papers / Volker Gruhn, Flavio Oquendo (eds.).

by EWSA 2006 (2006 : Nantes, France) | Gruhn, Volker | Oquendo, Flavio, 1958-.

Series: Serienbezeichnung | Lecture notes in computer science ; 4344.Edition: 1st ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2006Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
High Performance Computing " HiPC 2001 : 8th International Conference Hyderabad, India, December 17 20, 2001 Proceedings.

by Monien, Burkhard | Prasanna, Viktor K | Vajapeyam, Sriram.

Series: Serienbezeichnung | Lecture notes in computer science ; 2228,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
Network and Parallel Computing : IFIP International Conference, NPC 2004, Wuhan, China, October 18-20, 2004. Proceedings / edited by Hai Jin, Guang R. Gao, Zhiwei Xu, Hao Chen.

by Jin, Hai | Gao, Guang R | Xu, Zhiwei | Chen, Hao.

Series: Serienbezeichnung | Lecture notes in computer science ; 3222,Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher number: 11318729Publication details: Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Applications and Theory of Petri Nets 2003 : 24th International Conference, ICATPN 2003 Eindhoven, The Netherlands, June 23 27, 2003 Proceedings.

by Aalst, Wil M. P | Best, Eike.

Series: Serienbezeichnung | Lecture notes in computer science ; 2679,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
Grid Computing : First European Across Grids Conference, Santiago de Compostela, Spain, February 13-14, 2004. Revised Papers / edited by Francisco Ferndez Rivera, Marian Bubak, Andr Gmez Tato, Ramn Doallo.

by Ferndez Rivera, Francisco | Bubak, Marian | Gmez Tato, Andr | Doallo, Ramn.

Series: Serienbezeichnung | Lecture notes in computer science ; 2970,Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg, 2004Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
High Performance Computing for Computational Science " VECPAR 2002 : 5th International Conference Porto, Portugal, June 26 28, 2002 Selected Papers and Invited Talks.

by Palma, José M. L. M | Sousa, A. Augusto | Dongarra, Jack | Hernández, Vicente.

Series: Serienbezeichnung | Lecture notes in computer science ; 2565,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
Distributed Computing - IWDC 2003 : 5th International Workshop, Kolkata, India, December 27-30, 2003. Proceedings.

by Das, Samir R | Das, Sajal K.

Series: Serienbezeichnung | Lecture notes in computer science ; 2918,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
Computational Science and Its Applications ICCSA 2003 : International Conference Montreal, Canada, May 18-21, 2003 Proceedings. Part III / edited by Vipin Kumar, Marina L. Gavrilova, Chih Jeng Kenneth Tan, Pierre LEcuyer.

by ICCSA 2003 (2003 : Montréal, Québec) | Kumar, Vipin | Gavrilova, Marina L | Tan, C. J. Kenneth (Chih Jeng Kenneth) | L'Ecuyer, Pierre.

Series: Serienbezeichnung | Lecture notes in computer science ; 2669,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 | Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Verification, Model Checking, and Abstract Interpretation : 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings / edited by Viktor Kuncak, Andrey Rybalchenko.

by VMCAI 2012 (2012 : Philadelphia, Pa.) | Kuncak, Viktor | Rybalchenko, Andrey.

Series: Serienbezeichnung | Lecture notes in computer science ; 7148.Source: Springer e-booksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Distributed Algorithms : 8th International Workshop, WDAG '1994 Terschelling, the Netherlands, September 29 - October 1, 1994 Proceedings / edited by Gerard Tel, Paul Vitányi.

by Tel, Gerard | Vitányi, P. M. B | International Workshop on Distributed Algorithms (8th : 1994 : Terschelling, Netherlands).

Series: Serienbezeichnung | Lecture notes in computer science ; 857.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer-Verlag, 1994Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Mathematics of Program Construction : Third International Conference, MPC '95 Kloster Irsee, Germany, July 17-21, 1995 Proceedings / edited by Bernhard Möller.

by MPC '95 (1995 : Kloster Irsee) | Möller, Bernhard, 1953-.

Series: Serienbezeichnung | Lecture notes in computer science ; 947.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer-Verlag, 1995Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Mathematical Foundations of Computer Science 1994 : 19th International Symposium, MFCS'94 Košice, Slovakia, August 22-26, 1994 Proceedings / edited by Igor Prívara, Branislav Rovan, Peter Ruzička.

by Prívara, Igor | Rovan, B. (Branislav) | Ružička, Peter | Symposium on Mathematical Foundations of Computer Science (1972- ) (19th : 1994 : Košice, Slovakia).

Series: Serienbezeichnung | Lecture notes in computer science ; 841.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer-Verlag, 1994Online 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