Keresési eredmények - "Lecture Notes in Computer Science"

41

Specification and compositional verification of real-time systems

Szerző: Hooman, Jozef
Megjelenés: 1991

“...Lecture notes in computer science ; 558...”

könyv

42

Baltic computer science : Selected papers

Megjelenés: 1991

“...Lecture notes in computer science ; 502...”

könyv

43

Advances in cryptology--CRYPTO 87 : Proceedings

Megjelenés: 1988

“...Lecture notes in computer science ; 293...”

könyv

44

VDM '90 : VDM and Z - formal methods in software development : Third international symposium of VDM Europe, Kiel, 17-21. Apr. 1990 : Proceedings

Megjelenés: 1990

“...Lecture notes in computer science ; 428...”

könyv

45

Mathematical foundations of computer science, 1979 : proceedings, 8th symposium, Olomouc, Czechslovakia, September 3-7, 1979

Megjelenés: 1979

“...Lecture notes in computer science ; 74...”

könyv

46

Static analysis : third international workshop, WSA '93, Padova, Italy, September 1993 : proceedings

Megjelenés: 1993

“...Lecture notes in computer science ; 724...”

könyv

47

Reliable software technologies -- Ada-Europe '99 : 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 1999 : proceedings

Megjelenés: 1999

“...Lecture notes in computer science; ; 1622...”

könyv

48

Algebraic semantics

Szerző: Guessarian, Iréne
Megjelenés: 1981

“...Lecture notes in computer science ; 99...”

könyv

49

Grammar and L forms : an introduction

Szerző: Wood, Derick (1940-)
Megjelenés: 1980

“...Lecture notes in computer science ; 91...”

könyv

50

Symbolic and quantitative approaches to reasoning and uncertainty : European Conference ECSQARU '93, Granada, Spain, November 8-10, 1993 : proceedings

Megjelenés: 1993

“...Lecture notes in computer science ; 747...”

könyv

51

Filtering, segmentation and depht

Szerző: Nitzberg, M.
Megjelenés: 1993

“...Lecture notes in computer science ; 662...”

könyv

52

Y12M : Solution of large and sparse systems of linear algebraic equations, documentation of subroutines

Szerző: Zlatev, Zahari
Megjelenés: 1981

“...Lecture notes in computer science ; 121...”

könyv

53

Mathematical foundations of computer science 1980 : Proceedings of the 9th symposium, Rydzyna, Poland, September 1-5, 1980

Megjelenés: 1980

“...Lecture notes in computer science ; 88...”

könyv

54

Direct methods for sparse matrices

Szerző: Osterby, Ole
Megjelenés: 1983

“...Lecture notes in computer science ; 157...”

könyv

55

Group theoretical methods in image processing

Szerző: Lenz, Reiner (1953-)
Megjelenés: 1990

“...Lecture notes in computer science ; 413...”

könyv

56

Programs as data objects : Proceedings of a workshop, Copenhagen, Denmark, October 17-19, 1985

Megjelenés: 1986

“...Lecture notes in computer science ; 217...”

könyv

57

Data structures and efficient algorithms : Final report on the DFG special joint initiative : proceedings

Megjelenés: 1992

“...Lecture notes in computer science ; 594...”

könyv

58

Experiences with distributed systems : International Workshop Kaiserslautern, FRG, September 28-30, 1987 : Proceedings

Megjelenés: 1988

“...Lecture notes in computer science, ; 309...”

könyv

59

Design and implementation of symbolic computation systems : International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993 : proceedings

Megjelenés: 1993

“...Lecture notes in computer science ; 722...”

könyv

60

Computing in systems described by equations

Szerző: O'Donnell, Michel J.
Megjelenés: 1977

“...Lecture notes in computer science ; 58...”

könyv

Keresés szűkítése