Your search returned 37 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
Job Scheduling Strategies for Parallel Processing : IPPS '97 Processing Workshop Geneva, Switzerland, April 5, 1997 Proceedings / edited by Dror G. Feitelson, Larry Rudolph.

by Feitelson, Dror G | Rudolph, Larry.

Series: Serienbezeichnung | Lecture notes in computer science ; 1291,Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; Heidelberg : Springer-Verlag, 1997Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
STACS 88 : 5th Annual Symposium on Theoretical Aspects of Computer Science Bordeaux, France, February 11-13, 1988 Proceedings / edited by Robert Cori, Martin Wirsing.

by Annual Symposium on Theoretical Aspects of Computer Science (5th : 1988 : Bordeaux, France) | Cori, Robert | Wirsing, M. (Martin).

Series: Serienbezeichnung | Lecture notes in computer science ; 294.Material type: Text Text; Format: available online remote; Literary form: Not fiction Language: English, French Publisher: Berlin, Heidelberg : Springer-Verlag, 1988Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
STACS 89 : 6th Annual Symposium on Theoretical Aspects of Computer Science Paderborn, FRG, February 16-18, 1989 Proceedings / edited by B. Monien, R. Cori.

by Annual Symposium on Theoretical Aspects of Computer Science (6th : 1989 : Paderborn, Germany) | Monien, B | Cori, Robert.

Series: Serienbezeichnung | Lecture notes in computer science ; 349.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer-Verlag, 1989Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Lectures on Concurrency and Petri Nets : Advances in Petri Nets / edited by Jrg Desel, Wolfgang Reisig, Grzegorz Rozenberg.

by Desel, Jrg | Reisig, Wolfgang | Rozenberg, Grzegorz.

Series: Serienbezeichnung | Lecture notes in computer science ; 3098,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
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
Advances in Computing Science " ASIAN 2000 : 6th Asian Computing Science Conference Penang, Malaysia, November 25 27, 2000 Proceedings.

by Jifeng, He | Sato, Masahiko.

Series: Serienbezeichnung | Lecture notes in computer science ; 1961,Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg, 2000Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
SOFSEM 2004: Theory and Practice of Computer Science : 30th Conference on Current Trends in Theory and Practice of Computer Science Měřín, Czech Republic, January 24-30, 2004 Proceedings / edited by Peter Emde Boas, Jaroslav Pokorný, Mária Bieliková, Július Štuller.

by Emde Boas, Peter | Pokorný Jaroslav | Bieliková, Mária | Štuller, Július.

Series: Serienbezeichnung | Lecture notes in computer science ; 2932,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
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
Parallel Architectures and Their Efficient Use : First Heinz Nixdorf Symposium Paderborn, Germany, November 11-13, 1992 Proceedings / edited by F. Meyer, B. Monien, A.L. Rosenberg.

by Meyer, F | Monien, B | Rosenberg, A. L.

Series: Serienbezeichnung | Lecture notes in computer science ; 678.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer-Verlag, 1993Online 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 1989 : Porabka-Kozubnik, Poland August 28 - September 1, 1989 Proceedings / edited by Antoni Kreczmar, Grazyna Mirkowska.

by Kreczmar, Antoni | Mirkowska-Salwicka, Grażyna | Symposium on Mathematical Foundations of Computer Science (1972- ) (14th : 1989 : Porąbka, Bielsko, Poland and Kozubnik, Poland).

Series: Serienbezeichnung | Lecture notes in computer science ; 379.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer-Verlag, 1989Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Application and Theory of Petri Nets 1996 : 17th International Conference Osaka, Japan, June 24-28, 1996 Proceedings / edited by Jonathan Billington, Wolfgang Reisig.

by Billington, Jonathan | Reisig, Wolfgang, 1950-.

Series: Serienbezeichnung | Lecture notes in computer science ; 1091.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer-Verlag, 1996Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Fundamentals of Computation Theory : 10th International Conference, FCT '95 Dresden, Germany, August 22-25, 1995 Proceedings / edited by Horst Reichel.

by Reichel, Horst.

Series: Serienbezeichnung | Lecture notes in computer science ; 965.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
Graph-Theoretic Concepts in Computer Science : 18th International Workshop, WG '92 Wiesbaden-Naurod, Germany, June 18-20, 1992 Proceedings / edited by Ernst W. Mayr.

by Mayr, Ernst W.

Series: Serienbezeichnung | Lecture notes in computer science ; 657.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer-Verlag, 1993Online 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
STACS 94 : 11th Annual Symposium on Theoretical Aspects of Computer Science Caen, France, February 24-26, 1994 Proceedings / edited by Patrice Enjalbert, Ernst W. Mayr, Klaus W. Wagner.

by Annual Symposium on Theoretical Aspects of Computer Science (11th : 1994 : Caen, France) | Enjalbert, P. (Patrice) | Mayr, Ernst | Wagner, K. W. (Klaus W.).

Series: Serienbezeichnung | Lecture notes in computer science ; 775.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: 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
Automata, Languages and Programming : 16th International Colloquium Stresa, Italy, July 11-15, 1989 Proceedings / edited by Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simonetta Ronchi Rocca.

by Ausiello, G. (Giorgio), 1941- | Dezani-Ciancaglini, M. (Mariangiola) | Rocca, Simonetta Ronchi.

Series: Serienbezeichnung | Lecture notes in computer science ; 372.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer-Verlag, 1989Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Place hold Log in to add tags
Concurrency and parallelism, programming, networking, and security : Second Asian Computing Science Conference, ASIAN'96 Singapore, December 2-5, 1996 Proceedings / edited by Joxan Jaffar, Roland H.C. Yap.

by Asian Computing Science Conference (2nd : 1996 : Singapore) | Jaffar, Joxan, 1957- | Yap, Roland H. C, 1963-.

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

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