Documents liés : [140 document(s)]

Documents (Codes MSC)

• [Ouvrage] Mini manuel de C++ / Principal Réveillac, Jean-Michel. -Paris : Dunod, 2010. - 1 vol. (VIII-214 p.)
  ISBN 978-2-10-054329-8
  
• [Thèse] Calcul de plus petits produits cartésiens d'intervalles: - application au problème d'ordonnancement d'atelier / Principal Zhou, Jianyang. -Marseille : Université de la Méditerranée, 1997. - 96 p.
  
• [Ouvrage] Programmation Python par la pratique / Principal Guillod, Julien. -Malakoff : Dunod, 2021. - ix; 194 p.
  ISBN 978-2-10-081514-2
  
• [Ouvrage] The LATEX graphics companion: - illustrating documents with TEX and PostScript / Principal Goossens, Michel ; Co-auteur Rahtz, Sebastian ; Co-auteur Mittelbach, Frank. -Reading, Harlow : Addison Wesley, 1997. - xxv; 554 p.
  ISBN 978-0-201-85469-5
  
• [Ouvrage] Introduction to experimental mathematics / Principal Eilers, Søren ; Co-auteur Johansen, Rune. -Cambridge, New York : Cambridge University Press, 2017. - xv; 303 p.
  ISBN 978-1-107-15613-5
  
• [Ouvrage] Python for scientists / Principal Stewart, John M.. -Cambridge, New York : Cambridge University Press, 2017. - xiv; 257 p.
  ISBN 978-1-316-64123-1
  
• [Ouvrage] Computational statistics with R / Editeur Rao, Marepalli B. ; Editeur Rao, C.R.. -Amsterdam, Boston : Elsevier;North-Holland, 2014. - xvii; 394 p.
  ISBN 978-0-444-63431-3
  
• [Ouvrage] Programming with Mathematica®: an introduction / Principal Wellin, Paul. -Cambridge, New York : Cambridge University Press, 2013. - xviii; 711 p.
  ISBN 978-1-107-00946-2
  
• [Ouvrage] MATLAB®: an introduction with applications / Principal Gilat, Amos. -Hoboken : John Wiley & Sons, Inc., 2011. - x; 418 p.
  ISBN 978-0-470-87373-1
  
• [Ouvrage] Getting started with Maple® / Principal Meade, Douglas B. ; Co-auteur May S. J., Michael ; Co-auteur Cheung, C-K. ; Co-auteur Keough, G. E.. -Hoboken : John Wiley & Sons, Inc., 2009. - x; 208 p.
  ISBN 978-0-470-45554-8
  
• [Ouvrage] Fast algorithms: - a multitape turing machine implementation / Principal Schönhage, Arnold ; Co-auteur Grotefeld, Andreas F. W. ; Co-auteur Vetter, Ekkehart. -Mannheim : B.I. Wissenschaftsverlag, 1994. - x; 297 p.
  ISBN 978-3-411-16891-0
  
• [Ouvrage] Theory of computation / Principal Tourlakis, George. -Hoboken : Wiley, 2012. - xvii; 389 p.
  ISBN 978-1-118-01478-3
  
• [Ouvrage] Problèmes de mathématiques résolus avec Maple et Mathematica / Principal Durand, Robert. -Paris : Ellipses, 1998. - x; 180 p.
  ISBN 978-2-7298-4821-7
  
• [Ouvrage] Handbook of floating-point arithmetic / Editeur Muller, Jean-Michel ; Editeur Brisebarre, Nicolas ; Editeur de Dinechin,Florent ; Editeur Jeannerod, Claude-Pierre ; Editeur Lefèvre, Vincent ; Editeur Melquiond, Guillaume ; Editeur Revol, Nathalie ; Editeur Stehlé, Damien ; Editeur Torres, Serge. -Boston, Basel, Berlin : Birkhäuser, 2010. - xxiii; 572 p.
  ISBN 978-0-8176-4704-9
  
• [Ouvrage] Statistical analysis of extreme values: - with applications to insurance, finance, hydrology and other fields - with 1 CD-ROM / Principal Reiss, Rolf-Dieter ; Co-auteur Thomas, Michael. -Basel, Boston, Berlin : Birkhäuser, 2007. - xvii; 511p.
  ISBN 978-3-7643-7230-9
  
• [Congrès] Programming languages implementation and logic programming: - 6th international symposium, PLILP'94#Sept.14-16 / Editeur Hermenegildo, Manuel ; Editeur Penjam, Jaan. -Berlin, Heidelberg : Springer-Verlag, 1994. - 468p.
  ISBN 978-3-540-58402-5
  
• [Congrès] Programming languages and systems-ESOP'94: - 5th european symposium on programming#April11-13 / Editeur Sannella, Donald. -Berlin, Heidelberg : Springer-Verlag, 1994. - 516p.
  ISBN 978-3-540-57880-2
  
• [Ouvrage] Solving problems in scientific computing Maple and MATBLAB / Principal Gander, Walter ; Co-auteur Hrebicek, Jiri. -Berlin, Heidelberg, N.Y. : Springer, 1997. - 408 p.
  ISBN 978-3-540-61793-8
  
• [Congrès] Higher order operational techniques in semantics - papers from the HOOTS workshop - Oct. / Editeur Gordon, Andrew D. ; Editeur Pitts, Andrex M.. -Cambridge : Cambridge University Press, 1998
  ISBN 978-0-521-63168-6
  
• [Congrès] Computer vision-ECCV90#April 23-27 / Editeur Faugeras, O.. -Berlin, Heidelberg, N.y. : Springer-Verlag, 1990. - 618 p.
  ISBN 978-3-540-52522-6
  
• [Congrès] Proceeedings of the 11th IAPR international conference on Patterne regonition. vol. IV - conference D : architectures for vision and pattern recognition - Aug. 30 - Sept. 3 -Brussels, Los Alamitos, Washington : Ieee Computer Society Press;The Institute of Electical and Electronics Engineers, Inc., 1992
  ISBN 978-0-8186-2925-9
  
• [Congrès] Automata, langages and programming : - 14th international colloquium on ...#July 13-14 / Editeur Ottmann, Thomas. -Berlin, Heidelberg, London, Paris : Springer-Verlag, 1987. - 565 p.
  ISBN 978-3-540-18088-3
  
• [Congrès] Automata, languages and programming#July 16-20 / Editeur Paterson, M. S.. -Berlin, Heidelberg, London, Paris : Springer-Verlag, 1990. - 780 p.
  ISBN 978-3-540-52826-5
  
• [Congrès] Mathematical foudations of computer science 1998 : - proceding of the 13th symposium on ...#Aug. 29 - Sept. 2 / Editeur Chytil, M. P. ; Editeur Janiga, L. ; Editeur Koubec, V.. -Berlin, Heidelberg, London, Paris : Springer-Verlag, 1988. - 562 p.
  ISBN 978-3-540-50110-7
  
• [Congrès] Mathematical foundations of computer science 1991 : / Editeur Tarlecki A.. -Berlin, Heidelberg, N.y. : Springer-Verlag, 1991. - 435 p.
  ISBN 978-3-540-54345-9
  
• [Congrès] Mathematical foundations of computer science 1997 : - 22nd international symposium, mfcs'97#Aug. 25-29 / Editeur Privara, Igor ; Editeur Ruzicka, Peter. -Berlin, Heidelberg, N.y. : Springer, 1997. - 517 p.
  ISBN 978-3-540-63437-9
  
• [Ouvrage] Computability and complexity : - from a programming perspective / Principal Jones, Neil D.. -Cambridge, London : The Mit Press, 1997. - 466 p.
  ISBN 978-0-262-10064-9
  
• [Ouvrage] The logic of partial information / Principal Nait Abdallah, Areski. -Berlin, Heidelberg, N.Y. : Springer, 1995. - 715 p.
  ISBN 978-3-540-56583-3
  
• [Congrès] Typed lambda calculi and applications : - third international conference on ..., TLCA '97 / Editeur De Groote, Philippe ; Editeur Hindley, J. Roger. -Berlin, Heidelberg, N.Y. : Springer, 1997. - 403 p.
  ISBN 978-3-540-62688-6
  
• [Ouvrage] Graph reduction on shared-memory multiprocessors / Principal Langendoen, K. G.. -Amsterdam : Stichting Mathematisch Centrum, 1996. - 199 p.
  ISBN 978-90-6196-470-4
  
• [Ouvrage] Discovering calculus with mathematica / Secondaire Evans, Benny ; Secondaire Johnson, Jerry ; Secondaire Knoll, Cecilia A. ; Secondaire Shaw, Michael D.. -Brisbane, Chichester, N.Y. : John Wiley & Sons, Inc., 1995. - 339 p.
  ISBN 978-0-471-00976-4
  
• [Ouvrage] Manuel de référence du langage postscript / Traducteur Bondeville, Denys. -Menlo Park, Paris, Reading : Addison-Wesley Publishing Company, 1992
  ISBN 978-2-87908-009-3
  
• [Ouvrage] Les API de Java. Vol 2 - AWT et applets / Principal Gosling, James ; Co-auteur Yellin, Frank ; Traducteur Chevrier, Christophe ; Traducteur Micheneau, Cyrille. -Albany, Belmont, Paris : International Thomson Publishing, 1997
  ISBN 978-2-84180-999-8
  
• [Ouvrage] Le modèle objets du C++ / Principal Lippman, Stanley B. ; Traducteur Bonnetain, Pierre-Yves. -Albany, Belmont, Paris : International Thomson Publishing, 1997
  ISBN 978-2-84180-953-0
  
• [Ouvrage] Comprendre ATM - concepts, protocoles et applications - relais de trame, mode non-connecté, interface, commutateur, couche AAL- type 5 / Principal Händel, R. ; Co-auteur Huber, M. N. ; Co-auteur Schröder , S. ; Traducteur Bottura, Jean-Marc. -N.Y., Paris, Reading : Editions Addison-Wesley France, SA, 1995
  ISBN 978-2-87908-110-6
  
• [Ouvrage] Programmation orientée objets en C++ - une approche évolutive / Principal Micheloud, Marylène ; Co-auteur Rieder, Medard. -Lausanne : Presses Polytechniques et Universitaires Romandes, 1997
  ISBN 978-2-88074-334-5
  
• [Ouvrage] Le langage C++ / Principal Stroustrup, Bjarne ; Traducteur Soulard, Hervé. -Albany, Belmont, Paris : International Thomson Publishing France, 1996
  ISBN 978-2-84180-079-7
  
• [Ouvrage] L'essentiel du C++ / Principal Lippman, Stanley B. ; Traducteur Zizi, Kahina. -Massachusetts, Paris, Reading : Addison-Wesley Publishing Company, 1992
  ISBN 978-2-87908-002-4
  
• [Ouvrage] An introduction to programming with Mathematica / Principal Gaylord, Richard J. ; Co-auteur Kamin, Samuel N. ; Co-auteur Wellin, Paul R.. -Berlin, Heidelberg, N.Y., Santa Clara, CA : Springer;TELOS, 1996. - 452 p.
  ISBN 978-0-387-94434-0
  
• [Ouvrage] The practical approach utilities for Maple - Maple V release 3 / Principal Redfern, Darren. -N.Y. : Springer-Verlag, 1995
  ISBN 978-0-387-14221-0
  
• [Ouvrage] Schaum's outline of theory and problems of Programming with C++ / Principal Hubbard, John R.. -New York, San Francisco, St. Louis : Mcgraw-Hill, 1996
  ISBN 978-0-07-030837-4
  
• [Ouvrage] C++ nuts & bolts - for experienced programmers / Principal Schildt, Herbert. -Berkeley, New York, St.Louis : Osborne & Mcgraw-Hill, 1995
  ISBN 978-0-07-882140-0
  
• [Ouvrage] C++ and object-oriented programming / Principal Irvine, Kip R.. -London : Prentice-Hall International Inc., 1997
  ISBN 978-0-13-261421-4
  
• [Ouvrage] C++ and C efficiency - how to improve program speed and memory usage / Principal Spuler, David. -London, New York, Toronto : Prentice Hall, 1992
  ISBN 978-0-13-096595-0
  
• [Ouvrage] Le petit libre de Tex / Principal Seroul, Raymond. -Barcelone, Milan, Paris : Masson, 1996
  ISBN 978-2-225-85376-0
  
• [Ouvrage] Le petit libre de Tex / Principal Seroul, Raymond. -Barcelone, Milan, Paris : Masson, 1996
  ISBN 978-2-225-85376-0
  
• [Thèse] Utilisation de macro blocs en synthèse VHDL / Principal Cebelieu, Marie-Claude. -Grenoble : Institut National Polytechnique De Grenoble, 1995. - pag. mult.
  
• [Ouvrage] Mathematica : - le système informatique pour les mathématiques / Principal Wolfram, Stephen. -Bonn, N.Y., Paris : Addison-Wesley France, 1995
  
• [Congrès] Proceedings of the IX latin american symposium on mathematical logic. Part 2 -Bahia Blanca : INMABB - CONICET, 1994. - 199 p.
  
• [Ouvrage] Exploring mathematics with mathematica : - dialogs concerning computers and mathematics / Principal Gray, Theodore W. ; Co-auteur Glynn, Jerry. -Menlo Park, Reading, Redwood City : Addison-Wesley Publishing Company, 1991. - 535 p.
  ISBN 978-0-201-52809-1
  
• [Congrès] Proceedings of the 15th scandinavian congress - Aug. 12-16 / Editeur Aubert, Karl Egil ; Editeur Ljunggren, W.. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1970. - 162 p.
  
• [Ouvrage] Théorie et pratique du langage TURBO C - 2. bibliothèques / Principal Perrot, Yves. -Paris : Editions Technip, 1990
  ISBN 978-2-7108-0581-6
  
• [Ouvrage] Théorie et pratique du langage TURBO C - 1. compilateurs et outils / Principal Perrot, Yves. -Paris : Editions Technip, 1990
  ISBN 978-2-7108-0593-9
  
• [Ouvrage] Langage Pascal et logique du premier ordre Tome 1 : - programmation en Pascal-prédicats-systèmes formels-fonctions récursives / Principal Margenstern, Maurice. -Barcelone, Milan, Paris : Masson, 1989. - 287 p.
  ISBN 978-2-225-81900-1
  
• [Ouvrage] Les bases de la programmation et du génie logiciel / Principal Pierra, Guy. -Paris : Dunod, 1991. - 653 p.
  ISBN 978-2-04-020722-9
  
• [Ouvrage] Programmation en infographie - principes et exercices, programmes en C / Principal Ammeraal, L.. -Barcelone, Milan, Paris : Masson, 1989. - 199 p.
  ISBN 978-2-225-81597-3
  
• [Ouvrage] Handbook for automatic computation. Vol I Part a : - dscription of Algol 60 / Principal Rutishauser, Heinz. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1967. - 323 p.
  
• [Thèse] Construction, programmation et interrogation de bases de données / Principal Le Maitre , Jacques. -Marseille : Université d'Aix Marseille II Faculté des Sciences de Luminy, 1993. - pag. mult.
  
• [Ouvrage] The Latex companion / Principal Goossens, Michel ; Co-auteur Mittelbach, Frank ; Co-auteur Samarin, Alexander. -Menlo Park,California, N.Y., Reading,Massachusetts : Addison-Wesley Publishing Company, 1994
  ISBN 978-0-201-54199-1
  
• [Thèse] Bocal ou la boîte comme paradigme programmatique : - application à la simulation de systèmes productifs / Principal Hamadeh, Ayman. -Grenoble : Universite Joseph Fourier-Grenoble 1, 1993. - 143 p.
  
• [Ouvrage] Langage Pascal et logique du premier ordre. Tome 2 : - récursivité et dérécursification, preuves et complexité d'algorithme / Principal Margenstern, M.. -Barcelone, Milan, Paris : Masson, 1990. - 288 p.
  ISBN 978-2-225-81953-7
  
• [Ouvrage] A guide to latex - document preparation for beginners and advanced users / Principal Kopka, Helmut ; Co-auteur Daly, Patrick W.. -menlo park, Reading, Wokingham : Addison-Wesley Publishing Company, 1993
  ISBN 978-0-201-56889-9
  
• [Ouvrage] Mathematica by example / Principal Abell, Martha L. ; Co-auteur Braselton, James. -Boston, N.Y., San Diego : Academic Press Inc., 1992. - 654 p.
  ISBN 978-0-12-041540-3
  
• [Ouvrage] Maple V : - library reference manual / Secondaire Char, Bruce W. ; Secondaire Geddes, Keith O. ; Secondaire Gonnet, Gaston H. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1991. - 698 p.
  ISBN 978-0-387-97592-4
  
• [Ouvrage] Introduction to computer performance analysis with mathematica / Principal Allen, Arnold O.. -Boston, N.Y., San Diego : AP Professionnal;Hawlett Packard, 1994. - 356 p.
  ISBN 978-0-12-051070-2
  
• [Ouvrage] C / Principal Garreta, Henri. -Paris : Intereditions, 1992
  ISBN 978-2-7296-0442-4
  
• [Ouvrage] Translation of algol 60 / Principal Grau, A. A. ; Co-auteur Hill, U. ; Co-auteur Langmaack , H. ; Editeur Samelson, K.. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1967. - 397 p.
  
• [Ouvrage] Partial differential equations : - with mathematica / Principal Vvedensky, Dimitri Dimitrievich. -London, N.Y., Paris : Addison-Wesley Publishing Company, 1993. - 465 p.
  ISBN 978-0-201-54409-1
  
• [Congrès] Meta-programming in logic : - Third international workshop, META-92#June 1992 / Editeur Pettorossi, Alberto. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1992. - 351 p.
  ISBN 978-3-540-56282-5
  
• [Ouvrage] The misconstrued semicolon : - reconciling imperative languages and dataflow machines / Principal Veen, A. H.. -Amsterdam : Centrum Voor Wiskunde En Informatica, 1986. - 180 p.
  ISBN 978-90-6196-302-8
  
• [Congrès] ADA : - 11th ADA-Europe international conference#June 1-5 / Editeur Van Katwijk, J.. -Heidelberg, N.Y., Paris : Springer-Verlag, 1992. - 324 p.
  ISBN 978-3-540-55585-8
  
• [Congrès] Mathematical foundations of programming semantics : - 7th international conference#March 25-28 / Editeur Brookes, S. D. ; Editeur Main, M. ; Secondaire Melton, A.. -Heidelberg, N.Y., Paris : Springer-Verlag, 1992. - 506 p.
  ISBN 978-3-540-55511-7
  
• [Congrès] Algebraic and logic programming : - 3rd international conference#2-4 / Editeur Kirchner, H. ; Editeur Levi, G.. -Heidelberg, N.Y., Paris : Springer-Verlag, 1992. - 457 p.
  ISBN 978-3-540-55873-6
  
• [Ouvrage] Programming Languages : - a collection of papers / Editeur Horowitz, Ellis. -Berlin, Heidelberg : Springer-Verlag, 1983. - 663 p.
  ISBN 978-0-914894-67-4
  
• [Ouvrage] Generating Fortran programs from decision tables / Principal Dumitrascu, Liviu ; Co-auteur Ioachim, Alexandru. -Bucaresti : Editura Academiei Romane, 1990. - 312 p.
  ISBN 978-973-27-0231-4
  
• [Congrès] Functional programming languages and computer architecture : - 5th acm conference cambridge#Aug. 26-30 / Editeur Hughes, J.. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1991. - 666 p.
  ISBN 978-3-540-54396-1
  
• [Ouvrage] Accés a l'informatique et a la programmation / Principal Lecomte, Pierre ; Co-auteur Melotte, Dominique. -Paris : Hermann, 1988. - 239 p.
  
• [Congrès] Software reliability modelling and identification : - a course on...,held at villa olmo#Sept. 2-4 / Editeur Bittanti, Sergio. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1988. - 209 p.
  ISBN 978-3-540-50695-9
  
• [Ouvrage] Principes de programmation fonctionnelle / Principal Glaser, H. ; Co-auteur Hankin, C. ; Co-auteur Till , D.. -Barcelone, N.Y., Paris : Masson, 1987. - 284 p.
  ISBN 978-2-225-81056-5
  
• [Ouvrage] A study in string processing languages / Principal Klint, Paul. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1985. - 165 p.
  ISBN 978-3-540-16041-0
  
• [Ouvrage] Portal language description / Principal Businger, Arnold. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1985. - 197 p.
  ISBN 978-3-540-18960-2
  
• [Ouvrage] Arithmétique : - cours exercices et travaux pratiques sur micro-ordinateur / Principal Faraut, Jacques ; Co-auteur Khalili, Elisabeth. -Paris : Ellipses, 1990. - 94 p.
  ISBN 978-2-7298-9012-4
  
• [Congrès] Stacs 91 : - 8th annual symposium on theoretical aspects of computer sciences#Feb. 14-16 / Editeur Choffrut, C. ; Editeur Jantzen, M.. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1991. - 548 p.
  ISBN 978-3-540-53709-0
  
• [Congrès] Concur '91 : - 2nd international conference on concurrency theory held in amsterdam#Aug. 26-29 / Editeur Baeten, J. C. M. ; Editeur Groote, J. F.. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1991. - 540 p.
  ISBN 978-3-540-54430-2
  
• [Congrès] Combinators and functional programming languages : - thirteenth spring school of the lipt held in val d'ajo#May / Editeur Cousineau, Guy ; Editeur Curien, Pierre-Louis ; Editeur Robinet, Bernard. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1986. - 208 p.
  ISBN 978-3-540-17184-3
  
• [Congrès] Mathematical foundations of programming semantics : - international conference held in manhattan#April 11-12 / Editeur Melton, Austin. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1986. - 395 p.
  ISBN 978-3-540-16816-4
  
• [Ouvrage] Lucas, associative array processor : - design, programming and application studies / Principal Fernstrom, Christer ; Co-auteur Kruzela, Ivan ; Co-auteur Svensson , Bertil. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1986. - 323 p.
  ISBN 978-3-540-16445-6
  
• [Congrès] Logics of programs : - proceedings of a conference on... held at brooklyn coolege#June 17-19 / Editeur Parikh, Rohit. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1985. - 424 p.
  ISBN 978-3-540-15648-2
  
• [Congrès] International symposium on programming : - 6th cooloquium on... #April 17-19 / Editeur Paul, M. ; Editeur Robinet, B.. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1984. - 262 p.
  ISBN 978-3-540-12925-7
  
• [Ouvrage] Diana : - an intermedate language for ada / Editeur Butler, K. J. ; Editeur Evans, A. ; Editeur Goos, G. ; Editeur Wulf, W. A.. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1983. - 201 p.
  ISBN 978-3-540-12695-9
  
• [Congrès] The programming language ada : - reference manual,american national standards institute,inc.,ansi/mil-std-1815a -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1983. - 330 p.
  ISBN 978-3-540-12328-6
  
• [Congrès] Program specification#Aug. 4-7 / Editeur Staunstrup, J.. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1982. - 426 p.
  ISBN 978-3-540-11490-1
  
• [Ouvrage] An analytical description of chill,the ccitt high level language / Principal Branquart, Paul ; Co-auteur Louis, Georges ; Co-auteur Wodon , Pierre. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1982. - 227 p.
  ISBN 978-3-540-11196-2
  
• [Ouvrage] The programming language ada : - reference manual -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1981. - 243 p.
  ISBN 978-3-540-10693-7
  
• [Ouvrage] Towards a formal description of ada / Editeur Bjorner, D. ; Editeur Oest, O. N.. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1980. - 630 p.
  ISBN 978-3-540-10283-0
  
• [Congrès] International symposium on programming#Avril 22-24 / Editeur Robinet, B.. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1980. - 341 p.
  ISBN 978-3-540-09981-9
  
• [Ouvrage] Programming in mathematica / Principal Maeder, Roman. -California, Mass., Redwood : Addison-Wesley Publishing Company, 1990
  ISBN 978-0-201-51002-7
  
• [Ouvrage] Les langages à objets : - langages de classes, langages de frames, langages d / Secondaire Masini, Gerald ; Secondaire Napoli, Amedeo ; Secondaire Colnet, Dominique ; Secondaire Léonard, Danierl ; Secondaire Masini, Gerald ; Secondaire Napoli, Amedeo. -Paris : Intereditions, 1989. - 584 p.
  ISBN 978-2-7296-0275-8
  
• [Ouvrage] Le livre de sql / Principal Pasleau, Susy. -Paris : Editions Du P.S.I., 1989
  ISBN 978-2-86595-537-4
  
• [Publication] Sql : - langage et sgbd relationnels / Principal Pasleau, Suzy. -Paris : Editions Du P.S.I., 1988. - 285 p.
  ISBN 978-2-86699-081-7
  
• [Ouvrage] Concurrent programming in ada / Principal Burns, Alan. -Cambridge, N.Y., Port Chester : Cambridge University Press, 1989. - 241 p.
  ISBN 978-0-521-30033-9
  
• [Ouvrage] Analyse des donnees en c / Principal Desmadril, Michel. -Paris : Eyrolles, 1989
  
• [Ouvrage] Programmation systeme sous ms-dos - c et assembleur / Principal Young, Michael J.. -Dusseldorf, Paris, San Francisco : Sybex, 1988
  ISBN 978-2-7361-0363-7
  
• [Ouvrage] Rendez vous with ada : - a programmer's introduction / Principal Naiditch, David J.. -Brisbane, Chichester, N.Y. : John Wiley And Sons, 1989. - 477 p.
  ISBN 978-0-471-61654-2
  
• [Ouvrage] Good programming practice in ada / Principal Luker, P. A.. -Edinburgh, London, Oxford : Blackwell Scientific Publications, 1987. - 320 p.
  ISBN 978-0-632-01507-8
  
• [Ouvrage] Common lisp - the language / Secondaire Fahlman, Scott E. ; Secondaire Gabriel, Richard P. ; Secondaire Moon, David A. ; Secondaire Steele, Guy L.. -Bedford, Mass. : Digital Press, 1984
  ISBN 978-0-932376-41-1
  
• [Ouvrage] Lr parsing - theory and practice / Principal Chapman, Nigel P.. -Cambridge, N.Y., New Rochelle : Cambridge University Press, 1987. - 228 p.
  ISBN 978-0-521-30413-9
  
• [Ouvrage] Programming language theory and its implementation : - applicative and imperative paradigms / Principal Gordon, Michael J. C.. -London, N.Y., Toronto : Prentice Hall, 1988. - 255 p.
  ISBN 978-0-13-730417-2
  
• [Congrès] Design and implementation of programming languages : - proceedings of a dod sponsored workshop#Oct. / Editeur Fisher, David A. ; Editeur Williams, John H.. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1977. - 496 p.
  ISBN 978-3-540-08360-3
  
• [Ouvrage] Computing in systems described by equations / Principal O'Donnell, Micheal J.. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1977. - 111 p.
  ISBN 978-3-540-08531-7
  
• [Ouvrage] Tempo / Principal Jones, Neil D. ; Co-auteur Muchnick, Steven S.. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1978. - 118 p.
  ISBN 978-3-540-09085-4
  
• [Congrès] Automata,languages and programming : - fifth colloquium#July 17-21 / Editeur Ausiello, G. ; Editeur Böhm, C.. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1978. - 508 p.
  ISBN 978-3-540-08860-8
  
• [Ouvrage] First-order dynamic logic / Principal Harel, David. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1979. - 133 p.
  ISBN 978-3-540-09237-7
  
• [Congrès] Automata, languages and programming : - sixth colloquium#July 16-20 / Editeur Maurer, Hermann A.. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1979. - 682 p.
  ISBN 978-3-540-09510-1
  
• [Congrès] Symposium on logic programming - proceedings on... held at hyatt on union square,san francisco,california,aug. 31 - sept. 4,1987 -Los Angeles : The Computer Society Of The I.E.E.E., 1987
  ISBN 978-0-8186-0799-8
  
• [Ouvrage] Algèbre algorithmes et progammes en Pascal / Principal Jardrin, Jean-Louis. -Paris : Bo-Pre;Dunod, 1988. - 245 p.
  ISBN 978-2-89315-014-7
  
• [Ouvrage] Numerical recipes in c - the art of scientific computing / Secondaire Brian, P. F. ; Secondaire Saul, A. T. ; Secondaire William, H. P. ; Secondaire William, T. V.. -Cambridge, Melbourne, N.Y. : Cambridge University Press, 1988
  ISBN 978-0-521-35465-3
  
• [Ouvrage] Introduction à l'algorithmique numérique et à la programmation en Pascal - cours et exercices corrigés / Principal Cousot, Patrick. -Auckland, Londres, Paris : Mcgraw-Hill, 1988. - 621 p.
  ISBN 978-2-7042-1173-9
  
• [Congrès] Third international conference on logic programming : - proceedings at imperial college of science and technology#July 14-18 / Editeur Shapiro, Ehud. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1986. - 720 p.
  ISBN 978-3-540-16492-0
  
• [Ouvrage] Advances in petri nets 1984 / Editeur Genrich, H. ; Editeur Rozenberg, G. ; Editeur Roucairol, G.. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1985. - 467 p.
  ISBN 978-3-540-15204-0
  
• [Congrès] Logic programming '85 : - proceedings of the 4th conference tokyo#July 1-3 / Editeur Wada, Eiiti. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1986. - 311 p.
  ISBN 978-3-540-16479-1
  
• [Ouvrage] Common lisp - the language / Principal Steele, Guy L. ; Co-auteur Fahlman, S. E. ; Co-auteur Gabriel , R. P.. -Bedford, Massachusetts : Digital Press, 1984
  ISBN 978-0-932376-41-1
  
• [Ouvrage] Compilers - principles, techniques, and tools / Principal Aho, Alfred ; Co-auteur Sethi, Ravi ; Co-auteur Ullman , Jeffrey D.. -Amsterdam, Reading, Wokingham : Addison-Wesley Publishing Company, 1986. - 796 p.
  ISBN 978-0-201-10088-4
  
• [Ouvrage] Abstract interpretation of declarative languages / Editeur Abramsky, S. ; Editeur Hankin, C.. -Brisbane, Chichester, N.Y. : John Wiley And Sons, 1987. - 284 p.
  ISBN 978-0-7458-0109-4
  
• [Ouvrage] Programmation en logique / Principal Hogger, C. J.. -Barcelone, N.Y., Paris : Masson, 1987. - 284 p.
  ISBN 978-2-225-81009-1
  
• [Ouvrage] Le langage c / Principal Kernighan, Brian W. ; Co-auteur Ritchie, Dennis M. ; Co-auteur Ritchie , D. M.. -Barcelone, Milan, Paris : Masson, 1988. - 218 p.
  ISBN 978-2-225-80068-9
  
• [Ouvrage] Guide d'utilisation de quickbasic - le nouvel environnement basic integre / Principal Microsoft. -Paris : Soft & Micro, 1986
  ISBN 978-2-86915-001-0
  
• [Ouvrage] Initiation à la génération de textes en langue naturelle - exemples de programmes en basic / Principal Balpe, Jean Pierre. -Paris : Eyrolles, 1986. - 204 p.
  
• [Ouvrage] Software tools in pascal / Principal Kernighan, W. ; Co-auteur Plauger, P. J.. -London, Mass., Reading : Addison-Wesley Publishing Company, 1985
  ISBN 978-0-201-10342-7
  
• [Congrès] Proceedings of the international logic programming conference held in marseille#Sept. 14-17 / Editeur Van Caneghem, M.. -Marseille : Faculte Des Sciences, 1985. - 431 p.
  
• [Congrès] Logics of programs : - workshop on logics of programs was held at carnegie mellon university#June 6-8 / Editeur Clarke, Edmund ; Editeur Kozen, Dexter. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1985. - 431 p.
  ISBN 978-3-540-12896-0
  
• [Ouvrage] Introduction a ada / Principal Le Beux, Pierre. -Berkeley, Dusseldorf, Paris : Sybex, 1984. - 158 p.
  ISBN 978-2-7361-0060-0
  
• [Ouvrage] Le pascal par la pratique / Principal Le Beux, Pierre ; Co-auteur Tavernier, Henri. -Berkeley, Dusseldorf, Paris : Sybex, 1984
  ISBN 978-2-7361-0061-2
  
• [Ouvrage] Le langage c - roucairol g pref.,buffenoir t trad. / Principal Kernighan, Brian W. ; Co-auteur Ritchie, Dennis M.. -Barcelone, N.Y., Paris : Masson, 1984
  ISBN 978-2-225-80068-9
  
• [Ouvrage] Lisp mode d'emploi / Principal Queinnec, Christian. -Paris : Editions Eyrolles, 1984
  
• [Ouvrage] Programmer en prolog - programmer en logique / Principal Clocksin, W. F. ; Co-auteur Mellish, C. S. ; Co-auteur Kruchten , Anne. -Paris : Editions Eyrolles, 1984
  
• [Ouvrage] Micro-prolog - programmer en logique / Principal Clark, K. L. ; Co-auteur Mc Cabe, F. G.. -Paris : Editions Eyrolles, 1984
  
• [Ouvrage] Programmation en assembleur 68000 / Principal Leon, Louis. -Paris : Editions Eyrolles, 1984. - 158 p.
  
• [Ouvrage] Théorie des programmes : - shcémas, preuves, sémantique / Principal Livercy, C. ; Préfacier Pair, C.. -Paris : Bordas, 1978. - 328 p.
  ISBN 978-2-04-010516-7
  
• [Ouvrage] The science of programming / Principal Gries, David. -Berlin, Heidelberg, N.Y. : Springer-Verlag, 1981. - 365 p.
  ISBN 978-0-387-90641-6