1.  Monographie Algorithms for synthesis and testing of asynchronous circuits / Luciano Lavagno, Alberto Sangiovanni-VincentelliType de document: Monographie.Collection: Kluwer international series in engineering and computer science ; 232Éditeur: Dordrecht : Kluwer, 1993 En-ligne: Springerlink - dans The Springer International Series in Engineering and Computer Science Disponibilité: Pour le prêt: CMI[68 LAV] (1). Actions: Add to Cart
2.  Monographie An artificial intelligence approach to VLSI design / Thaddeus J. KowalskiType de document: Monographie.Collection: Kluwer international series in engineering and computer science, Knowledge representation, learning, and expert systems ; SECS 4Éditeur: Boston : Kluwer, 1986 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[68 KOW] (1). Actions: Add to Cart
3.  Monographie An artificial intelligence approach to VLSI routing / Rostam JoobbaniType de document: Monographie.Collection: Kluwer international series in engineering and computer science ; 9Éditeur: Hingham : Kluwer, 1986 Disponibilité: Pour le prêt: CMI[68 JOO] (1). Actions: Add to Cart
4.  Monographie An introduction to cryptology / Henk C.A. van TilborgType de document: Monographie. Collection: Kluwer international series in engineering and computer science Éditeur: Boston : Kluwer, 1989 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[94 TIL] (1). Actions: Add to Cart
5.  Monographie An introduction to numerical methods with Pascal / L. V. Atkinson, P. J. HarleyType de document: Monographie. Collection: International computer science series Éditeur: London : Addison-Wesley, 1983 Disponibilité: Pour le prêt: CMI[Info ATK] (4). Actions: Add to Cart
6.  Monographie Applications of formal methods / Michael G. Hinchey and Jonathan P. BowenType de document: Monographie. Collection: Prentice-Hall international series in computer science Éditeur: Hempstead : Prentice-Hall, 1995 Disponibilité: Pour le prêt: CMI[68 HIN] (1). Actions: Add to Cart
7.  Monographie Communicating sequential processes / C. A. R. HoareType de document: Monographie. Collection: Prentice-Hall international series in computer science Éditeur: Hempstead : Prentice-Hall, 1985 Disponibilité: Pour le prêt: CMI[68 HOA] (1). Actions: Add to Cart
8.  Monographie Communication and concurrency / Robin MilnerType de document: Monographie. Collection: Prentice-Hall international series in computer science Éditeur: New York : Prentice-Hall, 1989 Disponibilité: Pour le prêt: CMI[68 MIL] (1). Actions: Add to Cart
9.  Monographie Computational category theory / David E. Rydeheard, Rod M. BurstallType de document: Monographie. Collection: Prentice-Hall international series in computer science Éditeur: New York : Prentice-Hall, 1988 Disponibilité: Pour le prêt: CMI[18 RYD] (1). Actions: Add to Cart
10.  Monographie Distributed systems : concepts and design / George Coulouris, Jean Dollimore, Tim KindbergType de document: Monographie. Collection: International computer science series Éditeur: Edinburgh : Pearson Education, 2001 Disponibilité: Pour le prêt: CMI[68 COU] (1). Actions: Add to Cart
11.  Monographie Functional programming : application and implementation / Peter HendersonType de document: Monographie. Collection: Prentice-Hall international series in computer science Éditeur: Englewood : Prentice-Hall, 1980 Disponibilité: Pour le prêt: CMI[68 HEN] (1). Actions: Add to Cart
12.  Monographie Functional programming : application and implementation / Peter HendersonType de document: Monographie. Collection: Prentice-Hall international series in computer science Éditeur: London : Prentice-Hall, 1980 Disponibilité: Pour le prêt: CMI[68 HEN] (1). Actions: Add to Cart
13.  Monographie Learning to classify text using support vector machines : methods, theory and algorithms / Thorsten JoachimsType de document: Monographie.Collection: Kluwer international series in engineering and computer science ; 668Éditeur: Boston : Kluwer, 2002 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[68 THO] (1). Actions: Add to Cart
14.  Monographie Logic minimization algorithms for VLSI synthesis / Robert K. Brayton, Gary D. Hachtel, Curtis T. McMullen... [et al.]Type de document: Monographie.Collection: The Kluwer international series in engineering and computer science, VLSI, computer architecture, and digital signal processingÉditeur: Boston : Kluwer Academic Publishers, 1989 En-ligne: Springerlink - ed. 1984 Disponibilité: Pour le prêt: CMI[94 BRA] (1). Actions: Add to Cart
15.  Congrès Mechanized reasoning and hardware design / C. A. R. Hoare and M. J. C. GordanType de document: Congrès. Collection: Prentice-Hall international series in computer science Éditeur: New York : Prentice-Hall, 1992 Disponibilité: Pour le prêt: CMI[68 HOA] (1). Actions: Add to Cart
16.  Monographie Object-oriented software construction / Bertrand MeyerType de document: Monographie. Collection: Prentice-Hall international series in computer science Éditeur: New York : Prentice-Hall, 1988 Disponibilité: Pour le prêt: CMI[68 MEY] (1). Actions: Add to Cart
17.  Monographie Program verification / Nissim FrancezType de document: Monographie. Collection: International computer science series Éditeur: Reading, MA : Addison-Wesley, 1992 Disponibilité: Pour le prêt: CMI[68 FRA] (1). Actions: Add to Cart
18.  Monographie Programming language theory and its implementation : applicative and imperative paradigms / Michael J. C. GordonType de document: Monographie. Collection: Prentice-Hall international series in computer science Éditeur: New York : Prentice-Hall, 1988 Disponibilité: Pour le prêt: CMI[68 GOR] (1). Actions: Add to Cart
19.  Monographie Real-time systems : specification, verification and analysis / Mathai JosephType de document: Monographie. Collection: Prentice-Hall international series in computer science Éditeur: London : Prentice-Hall, 1996 Disponibilité: Pour le prêt: CMI[68 JOS] (1). Actions: Add to Cart
20.  Monographie Specification case studies / Ian HayesType de document: Monographie. Collection: Prentice-Hall international series in computer science Éditeur: Hempstead : Prentice-Hall, 1993 Disponibilité: Pour le prêt: CMI[68 HAY] (1). Actions: Add to Cart
21.  Monographie Subband image coding / John W. WoodsType de document: Monographie. Collection: The Kluwer international series in engineering and computer science Éditeur: Boston : Kluwer Academic Publishers, 1991 En-ligne: Springerlink Disponibilité: Pour le prêt: CMI[68 WOO] (1). Actions: Add to Cart
22.  Monographie Syntax analysis and software tools / K. John GoughType de document: Monographie. Collection: International computer science series Éditeur: Reading, MA : Addison-Wesley, 1988 Disponibilité: Pour le prêt: CMI[68 GOU] (1). Actions: Add to Cart
23.  Monographie Syntax of programming languages : theory and practice / Roland C. BackhouseType de document: Monographie. Collection: Prentice-Hall international series in computer science Éditeur: Englewood : Prentice-Hall, 1979 Disponibilité: Pour le prêt: CMI[68 BAC] (1). Actions: Add to Cart
24.  Monographie Systematic software development using VDM / Cliff B. JonesType de document: Monographie. Collection: Prentice-Hall international series in computer science Éditeur: Hempstead : Prentice-Hall, 1990 Disponibilité: Pour le prêt: CMI[68 JON] (1). Actions: Add to Cart
25.  Monographie The correctness problem in computer science / R. S. Boyer and J. Strother MooreType de document: Monographie. Collection: International lecture series in computer science Éditeur: London : Academic Press, 1981 Disponibilité: Pour le prêt: CMI[68 BOY] (1). Actions: Add to Cart
26.  Monographie The implementation of functional programming languages / Simon L. Peyton JonesType de document: Monographie. Collection: Prentice-Hall international series in computer science Éditeur: New York : Prentice-Hall, 1987 Disponibilité: Pour le prêt: CMI[68 PEY] (1). Actions: Add to Cart
27.  Monographie The Z notation : a reference manual / J. M. SpiveyType de document: Monographie. Collection: Prentice-Hall international series in computer science Éditeur: New York : Prentice-Hall, 1992 Disponibilité: Pour le prêt: CMI[68 SPI] (1). Actions: Add to Cart
28.  Monographie Type theory and functional programming / Simon ThompsonType de document: Monographie. Collection: International computer science series Éditeur: Wokingham : Addison-Wesley, 1991 Disponibilité: Pour le prêt: CMI[68 THO] (1). Actions: Add to Cart
Languages: English | Français | |