61. Deontic logic in computer science : 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004 ; proceedings / Alessio Lomuscio, Donald Nute (eds.). Lecture notes in computer science, 0302-9743 ; 3065. Lecture notes in artificial intelligence International Workshop on Deontic Logic in Computer Science (7th : 2004 : Madeira, Portugal) [Browse] Berlin ; New York : Springer, 2004. Book ReCAP - Remote Storage » JSE 04-1118
62. Relational methods in computer science : 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra and Workshop of COST Action 274, TARSKI, St. Catharines, ON, Canada, February 22-26, 2005 : selected revised papers / Wendy MacCaull, Michael Winter, Ivo Düntsch (eds.). Lecture notes in computer science ; 3929. International Seminar on Relational Methods in Computer Science (8th : 2005 : St. Catharines, Ont.) [Browse] Berlin ; New York : Springer, [2006], ©2006. Book ReCAP - Remote Storage » QA76 .R437 2005g
63. Graphtheoretic concepts in computer science : proceedings of the International Workshop WG 80, Bad Honnef, June 15-18, 1980 / edited by Hartmut Noltemeier. Lecture notes in computer science ; 100 Fachtagung über Graphentheoretische Konzepte in der Informatik, 6th, Bad Honnef, 1980 [Browse] Berlin ; New York : Springer-Verlag, 1981. Book Loading...ReCAP - Remote Storage » QA166 .xF3 1980
64. Grid computing in life science : first International Workshop on Life Science Grid, LSGRID 2004, Kanazawa, Japan, May 31-June 1, 2004 : revised selected and invited papers / Akihiko Konagaya, Kenji Satou (eds.). Lecture notes in computer science. Lecture notes in bioinformatics ; 3370., Lecture notes in bioinformatics, 0302-9743 ; 3370 International Workshop on Life Science Grid [Browse]International Workshop on Life Science Grid (1st : 2004 : Kanazawa-shi, Japan) [Browse] Berlin : Springer, 2005. Book Online Springer Nature - Springer Lecture Notes in Computer Science eBooks
65. Coalgebraic methods in computer science : 16th IFIP WG 1.3 international workshop, CMCS 2022, colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022 : proceedings / Helle Hvid Hansen and Fabio Zanasi, editors. Lecture notes in computer science ; 13225. Cham, Switzerland : Springer Nature Switzerland AG, [2022]©2022 Book
66. Categorical methods in computer science : with aspects from topology / eds., H. Ehrig ... et al. Lecture notes in computer science ; 393 Berlin ; New York : Springer-Verlag, 1989. Book Loading...ReCAP - Remote Storage » QA75.5 C36 1989
67. Graph transformations in computer science : international workshop, Dagstuhl Castle, Germany, January 4-8, 1993 : proceedings / Hans Jürgen Schneider, Hartmut Ehrig, (eds.). Lecture notes in computer science ; 776 Berlin ; New York : Springer-Verlag, c1994. Book Loading...ReCAP - Remote Storage » QA75.5 .G725 1994
68. Coalgebraic Methods in Computer Science : 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Proceedings / edited by Barbara König, Henning Urbat. Lecture Notes in Computer Science, 14617, Lecture Notes in Computer Science, 1611-3349 ; 14617 Cham : Springer Nature Switzerland : Imprint: Springer, 2024. Book
69. Digital libraries in computer science : the MeDoc approach / Andreas Barth [and three others] (Eds.). Lecture notes in computer science ; 1392., Lecture Notes in Computer Science ; 1392 Berlin ; Heidelberg : Springer, [1998]1998 Book
70. Graphtheoretic Concepts in Computer Science [electronic resource] : Proceedings of the International Workshop WG 80 Bad Honnef, June 15-18, 1980 / edited by H Noltemeier. Lecture Notes in Computer Science, 100, Lecture Notes in Computer Science, 0302-9743 ; 100 Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1981. Book
71. Relational Methods in Computer Science : 6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The Netherlands, October 16–21, 2001 Revised Papers / edited by Harrie C.M. de Swart. Lecture Notes in Computer Science, 2561, Lecture Notes in Computer Science, 0302-9743 ; 2561 RelMiCS 2001 [Browse]RelMiCS 2001 (2001 : Oisterwijk, Netherlands) [Browse] Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002. Book
72. Categorical Methods in Computer Science [electronic resource] : With Aspects from Topology / edited by Hartmut Ehrig, Horst Herrlich, Hans-Jörg Kreowski, Gerhard Preuß. Lecture Notes in Computer Science, 393, Lecture Notes in Computer Science, 0302-9743 ; 393 Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989. Book
73. Proof Theory in Computer Science : International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings / edited by Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk. Lecture Notes in Computer Science, 2183, Lecture Notes in Computer Science, 0302-9743 ; 2183 PTCS 2001 [Browse]PTCS 2001 (2001 : Dagstuhl Castle) [Browse] Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001. Book
74. Graph Transformations in Computer Science [electronic resource] : International Workshop, Dagstuhl Castle, Germany, January 4 - 8, 1993. Proceedings / edited by Hans J. Schneider, Hartmut Ehrig. Lecture Notes in Computer Science, 776, Lecture Notes in Computer Science, 0302-9743 ; 776 Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994. Book
75. Mathematical methods in computer science : essays in memory of Thomas Beth / Jacques Calmet, Willi Geiselmann, Jörn Müller-Quade (eds.). Lecture notes in computer science. Festschrift., Lecture notes in computer science ; 5393., LNCS sublibrary. SL 1, Theoretical computer science and general issues., Festschrift Berlin ; New York : Springer, [2008], ©2008. Book ReCAP - Remote Storage » QA76.9.C62 M38 2008g
76. Grid computing in life science : first International Workshop on Life Science Grid, LSGRID 2004, Kanazawa, Japan, May 31 - June 1, 2004 ; revised selected and invited papers / Akihiko Konagaya, Kenji Satou (eds.). Lecture notes in computer science. Lecture notes in bioinformatics., Lecture notes in computer science ; 3370., Lecture notes in computer science, 0302-9743 ; 3370, Lecture notes in bioinformatics Berlin ; New York, NY : Springer, 2005. Book ReCAP - Remote Storage » QA76.9.C58 G76 2004g
77. Deontic Logic in Computer Science : 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings / edited by Alessio Lomuscio, Donald Nute. Lecture Notes in Artificial Intelligence ; 3065 International Workshop on Deontic Logic in Computer Science (7th : 2004 : Madeira, Madeira Islands) [Browse] Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004. Book
78. Digital libraries in computer science : the MeDoc approach / Andreas Barth ... eds. Lecture notes in computer science ; 1392. Berlin ; New York : Springer, 1998. Book ReCAP - Remote Storage » ZA4082.G33 M434 1998
79. Categorical methods in computer science : with aspects from topology / eds., H. Ehrig and others. Lecture notes in computer science ; 393. Berlin ; New York : Springer-Verlag, 1989. Book ReCAP - Remote Storage » QA75.5 C36 1989
80. Graphtheoretic concepts in computer science : proceedings of the international workshop WG 80, Bad Honnef, June 15-18, 1980 / edited by Hartmut Noltemeier. Lecture notes in computer science ; 100. Berlin ; New York : Springer-Verlag, 1981. Book ReCAP - Remote Storage » QA166 .G74