Search Local DataBase.
Search CiNii Books.
Search CiNii Research(Articles).
Search CiNii Dissertations.
Search PubMed.
Search IRDB.
Search keyword:(Standard classification: QA75.5-76.95)
Results:367items
Automata Theory and Formal Languages : 2nd GI Conference, Kaiserslautern, May 20-23, 1975 / herausgegeben von H. Brakhage
1st ed. 1975.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1975). - (Lecture Notes in Computer Science. ISSN:16113349 ; 33)
E-Book
International Symposium on Programming : 5th Colloquium, Turin, April 6-8, 1982. Proceedings / edited by M. Dezani-Ciancaglini, U. Montanari
1st ed. 1982.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1982). - (Lecture Notes in Computer Science. ISSN:16113349 ; 137)
Logics of Programs : Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983 / edited by E. Clarke, D. Kozen
1st ed. 1984.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1984). - (Lecture Notes in Computer Science. ISSN:16113349 ; 164)
An Optimized Translation Process and Its Application to ALGOL 68 / by P. Branquart, J.-P. Cardinael, J.-P. Delescaille, J. Lewi, M. Vanbegin ; edited by P.B. Hansen
1st ed. 1976.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1976). - (Lecture Notes in Computer Science. ISSN:16113349 ; 38)
CAAP '83 : Trees in Algebra and Programming. 8th Colloquium L'Aquila, March 9-11, 1983. Proceedings / edited by G. Ausiello, M. Protasi
1st ed. 1983.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1983). - (Lecture Notes in Computer Science. ISSN:16113349 ; 159)
Graph-Theoretic Concepts in Computer Science : International Workshop WG '87, Kloster Banz/Staffelstein, FRG, June 29 - July 1, 1987. Proceedings / edited by Herbert Göttler, Hans-Jürgen Schneider
1st ed. 1988.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1988). - (Lecture Notes in Computer Science. ISSN:16113349 ; 314)
Mes premieres constructions de programmes / by A. Gerbier
1st ed. 1977.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1977). - (Lecture Notes in Computer Science. ISSN:16113349 ; 55)
Mathematical Foundations of Computer Science 1978 : 7th Symposium Zakopane, Poland, September 4-8, 1978. Proceedings / edited by J. Winkowski
1st ed. 1978.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1978). - (Lecture Notes in Computer Science. ISSN:16113349 ; 64)
Language Hierarchies and Interfaces : International Summer School / edited by F.L. Bauer, K. Samelson
1st ed. 1976.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1976). - (Lecture Notes in Computer Science. ISSN:16113349 ; 46)
Programming Symposium : Proceedings, Colloque sur la Programmation, Paris, April 9-11, 1974 / edited by B. Robinet
1st ed. 1974.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1974). - (Lecture Notes in Computer Science. ISSN:16113349 ; 19)
Fundamentals of Computation Theory : International Conference FCT '87 Kazan, USSR, June 22-26, 1987. Proceedings / edited by Lothar Budach, Rais G. Bukharajev, Oleg B. Lupanov
1st ed. 1987.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1987). - (Lecture Notes in Computer Science. ISSN:16113349 ; 278)
Advances in Object-Oriented Database Systems : 2nd International Workshop on Object-Oriented Database Systems, Bad Münster am Stein-Ebernburg, FRG, September 27-30, 1988, Proceedings / edited by Klaus R. Dittrich
1st ed. 1988.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1988). - (Lecture Notes in Computer Science. ISSN:16113349 ; 334)
EUROSAM 84 : International Symposium on Symbolic and Algebraic Computation, Cambridge, England, July 9-11, 1984 / edited by J. Fitch
1st ed. 1984.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1984). - (Lecture Notes in Computer Science. ISSN:16113349 ; 174)
Interval Mathematics : Proceedings of the International Symposium Karlsruhe, West Germany, May 20-24, 1975 / edited by K. Nickel
1st ed. 1975.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1975). - (Lecture Notes in Computer Science. ISSN:16113349 ; 29)
Fifth Conference on Optimization Techniques. Rome 1973 : Part 1 / edited by Roberto Conti, Antonio Ruberti
1st ed. 1973.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1973). - (Lecture Notes in Computer Science. ISSN:16113349 ; 3)
Information Systems Methodology : Proceedings, 2nd Conference of the European Cooperation in Informatics, Venice, October 10-12, 1978 / edited by G. Bracchi, P. C. Lockemann
1st ed. 1978.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1978). - (Lecture Notes in Computer Science. ISSN:16113349 ; 65)
Automata, Languages, and Programming : Sixth Colloquium, Graz, Austria, July 16-20, 1979. Proceedings / edited by H. A. Maurer
1st ed. 1979.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1979). - (Lecture Notes in Computer Science. ISSN:16113349 ; 71)
Graphtheoretic Concepts in Computer Science : Proceedings of the International Workshop WG 80 Bad Honnef, June 15-18, 1980 / edited by H Noltemeier
1st ed. 1981.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1981). - (Lecture Notes in Computer Science. ISSN:16113349 ; 100)
Matrix Eigensystem Routines - EISPACK Guide / by B.T. Smith, J.M. Boyle, B.S. Garbow, Y. Ikebe, V.C. Klema, C.B. Moler
1st ed. 1974.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1974). - (Lecture Notes in Computer Science. ISSN:16113349 ; 6)
TEX for Scientific Documentation : Second European Conference, Strasbourg, France, June 19-21, 1986. Proceedings / edited by Jacques Desarmenien
1st ed. 1986.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1986). - (Lecture Notes in Computer Science. ISSN:16113349 ; 236)