Information systems : theoretical and formal aspects /

Information systems : theoretical and formal aspects /

PSZJBL

Bibliographic Details
Main Authors:	IFIP WG 8.1 Working Conference on Theoretical and Formal Aspects of Information System (1985 : Sitges, Spain), Sernadas, A., Bubenko, Janis, Olive, A.
Format:
Published:	Amsterdam : North-Holland 1985
Subjects:	Electronic data processing Database management

Similar Items

Artificial intelligence in databases and information systems (DS-3) /
by: IFIP TC2/TC8/WG2.6/WG8.1 Working Conference on the Role of Artificial Intelligence in Databases and Information Systems (1988 : Canton, Cina), et al.
Published: (1990)

Engineering information systems in the Internet context /
by: IFIP TC8 WG8.1 Working Conference on Engineerng Information Systems in the Internet Context (2002 : Kanazawa, Japan), et al.
Published: (2002)

Automated tools for information systems design /
by: IFIP WG 8.1 Working Conference on Automated Tools for Information Systems Design and Development (1982 : New Orleans, USA), et al.
Published: (1982)

Database applications semantics /
by: IFIP WG 2.6 Working Conference on Database Applications Semantics (DS-6) (1995 : Atlanta, Georgia), et al.
Published: (1997)

Open IT-based innovation : moving towards cooperative IT transfer and knowledge diffusion : IFIP TC8 WG 8.6 International Working Conference October 22-24, 2008, Madrid, Spain /
by: IFIP TC8 WG 8.6 International Working Conference (2008 : Madrid, Spain), et al.
Published: (2008)

Decentralized and distributed systems /
by: IFIP WG10.3 International Conference on Decentralized and Distributed Systems (1993 : Palma, Spain), et al.
Published: (1993)

Formal models and practical tools for information systems design : proceedings/
by: IFTP TC-8 Working Conference on Formal Models and Practical Tools for Information Systems Design, April 17-20, 1979 Oxford, et al.
Published: (1979)

Formal models in programming /
by: IFIP TC2 Working Conference On The Role of Abstract Models In Information Processing (1985 : Vienna, Austria), et al.
Published: (1985)

Data and Applications Security XXI [electronic resource] : 21st Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Redondo Beach, CA, USA, July 8-11, 2007: Proceedings /
by: IFIP WG 11 Working Conference on Data and Applications Security (21st : 2007 : Redondo Beach, Calif.), et al.
Published: (2007)

Governmental and municipal information systems, II/
by: IFIP TC8/WG8.5 Working Conference on Governmental and Municipal Information Systems (1991 : Balatonfured, Hungary)
Published: (1991)

Formal design methods for CAD /
by: Gero, John S., et al.
Published: (1994)

Architecture and models in data base management systems /
by: IFIP Working Conference on Modelling in Data Base Management Systems (1977 : Nice, France), et al.
Published: (1977)

Database security XII : status and prospects : IFIP TC11 WG11.3 Twelfth International Working Conference on Database Security, July 15-17, 1998, Chalkidiki, Greece /
by: IFIP TC11/WG 11.3 International Conference on Databse Security (12th : 1998 : Chalkidiki), et al.
Published: (1999)

Créditos 8.1
by: Créditos 8.1
Published: (2012-11-01)

Data base management : proceedings /
by: IFIP Working Conference on Data Base Management (1974 : Corsica, Italy), et al.
Published: (1974)

Information systems design Methodologies : a feature analysis/
by: 478644 IFIP WG 8.1 Working Conference on Feature Analysis of Information Systems Design Methodologies (1983 : York, North Yorkshire ), et al.
Published: (1983)

Information systems design methodologies /
by: 471220 IFIP WG 8.1 Working Conference on Comparative Review of Information Systems Design Methodologies : Improving the Practice (1986 : Noordwijkerhout, Netherlands), et al.
Published: (1986)

Modelling in data base management systems /
by: IFIP Working Conference on modelling in Data base Management Systems (1976: Freudenstadt, Germany), et al.
Published: (1976)

Data base architecture : proceedings of the IFIP Working Conference on Data Base Architecture /
by: IFIP Working Conference on Data Dase Architecture (26-29 June, 1979 : Venice, Italy), et al.
Published: (1979)

Knowledge representation for decision support systems
by: IFIP WG 8.3 Working Conference on Knowledge Representation for Decision Support Systems
Published: (1985)

Interoperable database systems (DS-5) /
by: IFIP WG2.6 Database Semantics Conference on Interoperable Database Systems (DS-5) (1992 : Lorne, Victoria), et al.
Published: (1992)

Database security, V1 : status and prospects
by: IFIP WG 11.3 Workshop on Database Security (6th : 1992 : Vancouver, Canada), et al.
Published: (1992)

Database security, IV : status and prospects : results of the IFIP WG 11.3 Workshop on Database Security, Halifax, UK, 18-21 Sept. 1990 /
by: IFIP WG 11.3 Workshop on Database Security n(4th : 1991 : Halifax, England), et al.
Published: (1991)

Databases and information systems v : selected papers from the Eighth International Baltic Conference, DB&IS 2008 /
by: International Baltic Conference on Databases and Information Systems (8th : 2008 : Tallinn, Estonia), et al.
Published: (2009)

Office information systems : the design process /
by: IFIP WG 8.4 Working Conference on Office Information Systems : The Design Process (1988 : Linz, Austria), et al.
Published: (1989)

Human, organizational and social dimensions of information systems development /
by: IFIP WG 8.2 Working Group, Information Systems Development: Human, Social, and Organizational Aspects (1993 : Noordwijkerhout, Netherlands), et al.
Published: (1993)

Information system, work and organization design : proceedings of the IFIP TC9/WG9.1 Working Conference on Information System, Work and Organization Design, Berlin, GDR, 10-13 July, 1989 /
by: IFIP TC9/WG9.1 Working Conference on Information System, Work, and Organization Design (1989 : Berlin, Germany), et al.
Published: (1991)

Intelligent Information Processing III : IFIP TC12 International Conference on Intelligent Information Processing (IIP 2006), September 20-23, Adelaide, Australia /
by: IFIP TC12 International Conference on Intelligent Information Processing (2006 : Adelaide, Australia), et al.
Published: (2006)

Database theory : ICDT 2007 : 11th international conference, Barcelona, Spain, January 10-12, 2007, proceedings /
by: International Conference on Database Theory (11th : 2007 : Barcelona, Spain), et al.
Published: (2006)

Environmental systems analysis and management : proceedings of the IFIP WG 7.1 Working Conference on Environmental Systems Analysis and Management, Rome, Italy, 28-30 September 1981 /
by: IFIP WG 7.1 Working Conference on Environmental Systems Analysis and Management (1981 : Rome, Italy), et al.
Published: (1982)

Web information systems engineering - WISE 2007 : 8th international conference on web information systems engineering Nancy, France, December 3-7, 2007, proceedings /
by: International Conference on Web Information Systems Engineering (8th : 2007 : Nancy, France), et al.
Published: (2008)

Organizational information systems in the context of globalization : IFIP TC8 and TC9/WG8.2 and WG9.4 Working Conference on Information Systems Perspectives and Challenges in the Context of Globalization, June 15-17, 2003, Athens, Greece /
by: IFIP TC8 and TV9/WG8.2 and WG9.4 Working Conference on Information Systems Perspectives and Challenges in the Context of Globalization (2003 : Athens, Greece), et al.
Published: (2003)

The ANSI/SPARC DBMS model : proceedings /
by: Share Working Conference on Data Management Systems (2nd : Montreal), et al.
Published: (1977)

Data base management systems : proceedings.../
by: Share Working Conference on Data Base Management Systems (1973 : Montreal, Canada), et al.
Published: (1974)

Can information technology result in benevolent bureaucracies? /
by: IFIP TC9/WG 9.2 Working Conference : Can Information Technology Result in Benevolent Bureaucracies? (1985 : Namur, Belgium), et al.
Published: (1985)

Uncertainty in knowledge bases : 3rd ed International Conference on Information Proceesing and Management of Uncertainty in Knowledge-Bases Systems, IPMU '90, Paris, France, July 2-6,1990 proceedings /
by: International Conference on Information Proceesing and Management of Uncertainty In Knowledge-Based System n(3rd : 1990 : Paris, France), et al.
Published: (1991)

Security management, integrity, and internal control in information systems : IFIP TC-11 WG 11.1 & WG 11.5 Joint Working Conference
by: IFIP TC-11 WG 11.1 & WG 11.5 Joint Working Conference on Security Management, Integrity, and Internal Control in Information Systems (1st : 2005 : Fairfax, Va.), et al.
Published: (2005)

Office systems : proceedings of the IFIP TC 8 Working Conference on Office Systems, Helsinki, Finland, 29 September-2 October 1985 /
by: IFIP TC 8 Working Conference on Office Systems (1985 : Helsinki, Finland), et al.
Published: (1986)

Computer-aided information systems analysis and design-the first Scandinavian workshop/
by: Bubenko, Janis, et al.
Published: (1971)

Developments in theoretical and applied mechanics : proceedings
by: Southeastern Conference on Theoretical and Applied Mechanics (1st : 1962 : New York)
Published: (1963)