Your search returned 345 results.

Sort
Results
51.
Proceeding on Trees in algebra and programming (CAAP'90) by Arnold A Ed. by Series: Lecture notes in computer science; 431
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlg 1990
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)92 N0.

52.
Rewriting techniques and applications by Lescanne Pierre Ed. by Series: Lecture notes in computer science; 256
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1987
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B) M7.

53.
Procceding on theory and practice of software development by Ehrig Hartmut Ed.; Kowalski Robert Ed.; Levi Giorgio Ed. by Series: Lecture notes in computer science; 249
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1987
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)92p1,N87 M7.1.

54.
Proceedings on Logic at Botik'89 by Meyer A R Ed.; Taitslin M A Ed. by Series: Lecture notes in computer science; 363
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1989
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B):(R1) M9.

55.
Proceedings on programming languages implementation and logic programing by Dernsart P Ed.; Lorho B Ed. by Series: Lecture notes in computer science; 348
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1989
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)92p1,N88 M9.

56.
Category theory and computer science by PITT D H Ed.; Poigne A Ed.; Rydeheard D E Ed. by Series: Lecture notes in computer science; 283
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1987
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)0aB2-316 M7.

57.
Time series package (TSPACK) by Chaghaghi Francois S by Series: Lecture notes in computer science; 187
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1985
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)0bB286 M5.

58.
Proceedings on system development and ada by Habermann A N Ed.; Montanari U Ed. by Series: Lecture notes in computer science; 275
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1987
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)92AD M7.

59.
Proceedings on optimal algorithms by Djidjev H Ed. by Series: Lecture notes in computer science; 401
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1989
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B):(B288)p1,N89 M9.

60.
Proceedings on operating systems by Gelenbe E Ed.; Kaiser C Ed. by Series: Lecture notes in computer science; 16
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Velag 1974
Availability: Items available for loan: Central Science Library (1)Collection, call number: B28930abD65,8(B)p1,N74 113L4.

61.
Proceeding on stacs 90 by Choffrut C Ed.; Lengauer T Ed. by Series: Lecture notes in computer science; 415
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1990
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)p1,N0 N0.

62.
Proceedings on software engineering education by Gibbs Norman E Ed. by Series: Lecture notes in computer science; 376
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer- Verlag 1989
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)92p1,N89 M9.

63.
Error detection and recovery in robotics by Donald B R by Series: Lecture notes in computer science; 336
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1989
Availability: Items available for loan: Central Science Library (1)Collection, call number: D6:(S:72) M9.

64.
Proceeding on distributed algorithms by Bermond J C Ed.; Raynal M Ed. by Series: Lecture notes in computer science; 392
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1989
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B):B288p1,N89 M9.

65.
Proceeding on advances in cryptology eurocrypt 87 by Chaum D Ed.; Price W L Ed. by Series: Lecture notes in computer science; 304
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1988
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)p1,N87 M8.

66.
Nested relations and complex objects in database by Abiteboul S Ed.; Fischer P C Ed.; Schek H J Ed. by Series: Lecture Notes in Computer Science; 361
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1989
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B):3 M9.

67.
Proceedings on high performance transaction systems by Gawlick D Ed.; Haynie M Ed. by Series: Lecture notes in computer science; 359
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1989
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)p1,N87 M9.

68.
Proceeding on rechnerstruckturen und betriebsprogramierung by Handler W Ed.; Spies P P Ed. by Series: Lecture notes in computer science; 13
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1974
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)0bB2893P 113L4.

69.
Proceeding: Colog-88 by Martin-Lof P Ed.; Mints G Ed. by Series: Lecture notes in computer science; 417
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1990
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B):(R1)p1,N88 N0.

70.
Proceeding on foundations of software technology and theroetical computer science by by Series: Lecture notes in computer science; 405
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1989
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)92p1,N89 M9.

71.
CSL'87 by Borger E Ed.; Kleine Buning H Ed.; Richter M M Ed. by Series: Lecture notes in computer science; 329
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1988
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B):(R1) M8.

72.
Categorical methods in computer science: With aspects from topology by Ehrig H Ed.; Herrlich H Ed.; Kreowski H J Ed. by Series: Lecture notes in computer science; 393
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1989
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)0aB2-316 M9.

73.
Proceeding on design and implementation of large spatial database by Buchmann A Ed.; Gunther O Ed.; Smith T R Ed. by Series: Lecture notes in computer science; 409
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1990
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B):3p1,N89 N0.

74.
Papers on category theory and computer science by Pitt D H Ed.; Rydeheard D E Ed.; Dybjer P Ed. by Series: Lecture notes in computer science; 389
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1989
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)oaB2-316 M9.

75.
Proceeding on Graph-Thieoretic concepts in computer science by Nagl M Ed. by Series: Lecture notes in computer science; 411
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1990
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B44) N0.

76.
Proceeding on advances in object oriented databases systems by Dittrich K R Ed. by Series: Lecture notes in computer science; 334
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1988
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B):3p1,N88 M8.

77.
Proceedings on ESOP86 by Robinet B Ed.; Wilhelm R Ed. by Series: Lecture notes in computer science; 213
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1986
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)92p1,N86 M6.

78.
Proceedings on Esop'88 by Ganzinger H Ed. by Series: Lecture notes in computer science; 300
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1988
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)92p1,N88 M8.

79.
Proceeding on parcella 88 by Wolf G Ed.; Legendi U Ed. by Series: Lecture notes in computer science; 342
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1989
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)92p1,N88 M9.

80.
Proceeding on automatic verification methods for finite state systems by Sifakis J Ed. by Series: Lecture notes in computer science; 407
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1990
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B):81 N0.

81.
Proceeding on TAPSOFT`89 by Diaz J Ed.; Orejas F Ed. by Series: Lecture notes in computer science; 352
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1989
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)92p1,N89 M9.2.

82.
Advanced information systems engineering by Steinholtz B Ed.; Solvberg A Ed.; Bergman L Ed. by Series: Lecture notes in computer science; 436
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1990
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(2:55) N0.

83.
Proceeding on CSL`88 by Borger E Ed.; Buning H K Ed.; Richter M M Ed. by Series: Lecture notes in computer science; 385
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1989
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B):(R1)p1,N88 M9.

84.
Proceeding on concurrency 88 by Vogt F H Ed. by Series: Lecture notes in computer science; 335
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1988
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B):3p1,N88 M8.

85.
Proceeding on hardware specification verification and synthesis : Mathematical aspects by Leeser M Ed.; Brown G Ed. by Series: Lecture notes in computer science; 408
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1990
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)p1,N89 N0.

86.
Proceeding on ESEC`87 by Nichols H K Ed.; Simpson D Ed. by Series: Lecture notes in computer science; 289
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1987
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)92p5,N87 M7.

87.
Proceedings on uncertainty and intelligent systems by Bouchon B Ed.; Saitta L Ed. by Series: Lecture notes in computer science; 313
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1988
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B):(X:8)p1,N86 M8.

88.
Proceeding on ICDT 88 by Gyssens M Ed.; Paredaens J Ed.; Van Gucht D Ed. by Series: Lecture notes in computer science; 326
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1988
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B):3p1,N88 M8.

89.
Proceeding on ecoop 88 object oriented programming by Gjessing S Ed.; Nygaard K Ed. by Series: Lecture notes in computer science; 322
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer- Verlag 1988
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(b)92p1,N8 M8.

90.
LOGLAN'88-Report on the programming language by Kreczmar Antoni; Salwicki Andrzej; Warpechowski M by Series: Lecture notes in computer science; 414
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1990
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)92L0 N0.

91.
Proceeding on geometry and rabbits by Boissonnat J D Ed.; Laumond J P Ed. by Series: Lecture notes in computer science; 391
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1989
Availability: Items available for loan: Central Science Library (1)Collection, call number: D6:(S:72)0aB6p1,N88 M9.

92.
Group theoretical methods in image processing by Lenz Reiner by Series: Lecture notes in computer science; 413
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1990
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B):(B27) N0.

93.
Proceedings on mathematics of program construction by Vande snepscheut J L A Ed. by Series: Lecture notes in computer science; 375
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1989
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)92p1,N89 M9.

94.
Proceedings on programming by Robinet B Ed. by Series: Lecture notes in computer science; 19
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1974
Availability: Items available for loan: Central Science Library (1)Collection, call number: B2893P0bD65,8(B)p1,N74 L4.

95.
Proceeding on computer aided systems theory-Eurocast'89 by Pichler F Ed.; Moreno-Diaz R Ed. by Series: Lecture notes in computer science; 410
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1990
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B):(X:89M)p1,N89 N0.

96.
Proceeding on esop qo by Jones N Ed. by Series: Lecture Notes in Computer Science; 432
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1990
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)92p1 N0.

97.
Advance in petri nets 1988 by Rozenberg G Ed. by Series: Lecture notes in computer science; 340
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1988
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B)92 M8.

98.
Networking in open systems by Muller Gunter Ed.; Blanc Robert P Ed. by Series: Lecture notes in computer science; 248
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1987
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B) M7.

99.
Computation theory and logic by Borger Egon Ed. by Series: Lecture notes in computer science; 270
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer-Verlag 1987
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B):(R1) M7.

100.
Temporal logic in specification by Banieqbal B Ed.; Barringer H Ed.; Pnueli A Ed. by Series: Lecture notes in computer science; 398
Material type: Text Text; Format: print regular print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1989
Availability: Items available for loan: Central Science Library (1)Collection, call number: D65,8(B):5:(R1) M9.