Data base design techniques. :: SCD d'Orléans

Data base design techniques. physical structures and applications : proceedings, Tokyo, November 1979

Data base design techniques. proceedings, Tokyo, November 1979 II, physical structures and applications :

Salvato in:

Dettagli Bibliografici
Autore principale:	Yao, S. Bing
Altri autori:	Kunii, Toshiyasu, 1938- (Direttore editoriale)
Natura:	Livre numérique
Lingua:	Anglais
Pubblicazione:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serie:	Lecture notes in computer science 133
Soggetti:	Informatique Systèmes, Conception de Actes de congrès
Accesso online:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	Actes d'un symposium tenu à Tokyo en novembre 1979, d'après l écran-titre Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Data base design techniques II, physical structures and applications, proceedings, Tokyo, November 1979, edited by S.B. Yao and T.L. Kunii, Berlin, Springer-Verlag, 1982, v, 229-399 p., Lecture notes in computer science, 3-540-11215-4 • Data Base Design Techniques II, Texte imprimé, 9783662204597

Documenti analoghi

Data base design techniques. requirements and logical structures NYU Symposium, New York, May 1978
di: Yao, S. Bing

Specification and design of software systems : Conference on operating systems, Visegrad, Hungary, January 23 27, 1982 : proceedings

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

Design and implementation of symbolic computation systems : International Symposium, DISCO '92 Bath, U.K., April 13 15, 1992 : proceedings

Design and implementation of symbolic computation systems : International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996 : proceedings

Cooperative design, visualization, and engineering : first international conference, CDVE 2004, Palma de Mallorca, Spain, september 19-22, 2004 : proceedings

Design and implementation of symbolic computation systems : International Symposium, DISCO '90, Capri, Italy, April 10-12, 1990 : proceedings

Computer aided design : modelling, systems engineering, CAD-systems : CREST advanced course, Darmstadt, 8. 19. September 1980

Formal methods in computer aided design : second international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings

Data base systems : proceedings, 5th Informatik symposium, IBM Germany, Bad Homburg, September 24-26, 1975
Pubblicazione: (2005)

Formal methods in computer-aided design : 4th international conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002 : proceedings

Computer-aided cooperative product development : MIT-JSME workshop, MIT, Cambridge, USA, November 20/21, 1989 : proceedings

Integrated circuit design : power and timing modeling, optimization, and simulation : 10th International Workshop, PATMOS 2000, Göttingen, Germany, September 13-15, 2000 : proceedings

Human error and system design and management

Teaching formal methods : CoLogNET/FME symposium, TFM 2004, Ghent, Belgium, november 18-19, 2004 : proceedings
di: Dean, Neville, 19..-

Conceptual modeling : current issues and future directions
di: Chen, Peter P., 19..-

Integrated circuit and system design : power and timing modeling, optimization and simulation : 13th International Workshop, PATMOS 2003, Turin, Italy, September 10-12, 2003 : proceedings

Advanced information systems engineering : 9th international conference, CAiSE '97, Barcelona, Catalonia, Spain, June 16 20, 1997 : proceedings

Tools and algorithms for the construction and analysis of systems : third international Workshop, TACAS '97 Enschede, The Netherlands, April 2 4, 1997 : proceedings

Integrated circuit design : Power and Timing Modeling, Optimization and Simulation : 12th International Workshop, PATMOS 2002, Seville, Spain, September 11-13, 2002 : proceedings

Rewriting techniques and applications : 14th international conference, RTA 2003, Valencia, Spain, June 9-11, 2003 : proceedings

Rewriting techniques and applications : Bordeaux, France, May 25-27, 1987 : proceedings

Advanced information systems engineering : 11th International Conference, CAiSE"99 Heidelberg, Germany, June 14 18, 1999 proceedings

Formal methods in computer-aided design : third international conference, FMCAD 2000, Austin, Texas, USA, November 1-3, 2000 : proceedings

Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings

Integrated circuit and system design : power and timing modeling, optimization and simulation : 14th International Workshop, PATMOS 2004, Santorini, Greece, September 15-17, 2004 : proceedings
di: Macii, Enrico

FME '97 : industrial applications and strengthened foundations of formal methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15 19, 1997 : proceedings

Theoretical aspects of computer software : ; proceedings 4th international symposium, TACS 2001, Sendai, Japan, October 29-31, 2001

Microcomputer system design : an advanced course, Trinity College Dublin, June 1981
di: Flynn, Michael J, 1934-

Formal methods for components and objects : second international symposium, FMCO 2003, Leiden, The Netherlands, november 4-7, 2003 : revised lectures

Conceptual modeling - ER 99 : 18th International Conference on Conceptual Modeling Paris, France, November 15-18, 1999 : proceedings

Information systems and data management : 6th international conference, CISMOD '95, Bombay, India, November 15-17, 1995 : proceedings

Tools and algorithms for the construction and analysis of systems : 5th International Conference, TACAS '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings

Tools and algorithms for the construction and analysis of sytems : 4th International Conference, TACAS '98 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 April 4, 1998 : proceedings

Entity-relationship approach - ER '92 : 11th International Conference on the Entity-Relationship Approach, Karlsruhe, Germany, October 7-9, 1992 : proceedings

Object-oriented technology : ECOOP 99 workshop reader : ECOOP 99 workshops, panels, and posters, Lisbon, Portugal, June 14 18, 1999 : proceedings

Information retrieval techniques for speech applications

Formal methods in computer-aided design : 5th international conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 : proceedings

System development and Ada : CRAI Workshop on software factories and Ada, Capri, Italy, May 26 30, 1986 : proceedings

Component deployment : IFIP/ACM Working Conference, CD 2002, Berlin, Germany, June 20 21, 2002 : proceedings

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales