IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi

Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς:	Bird, R
Μορφή:	Conference item
Έκδοση:	Chapman and Hall 1997

Security management, integrity, and internal control in information systems : IFIP TC-11 WG 11.1 & WG 11.5 Joint Working Conference
ανά: 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.), κ.ά.
Έκδοση: (2005)

Social inclusion : societal and organizational implications for information systems : IFIP TC8 WG8.2 international working conference, July 12-15, 2006 /
ανά: Trauth, Eileen Moore
Έκδοση: (2006)

Logic and architecture synthesis : proceedings of the IFIP TC10/WG10.5 Workshop on Logic and Architecture Synthesis, Paris, France, 30 May-1 June 1990 /
ανά: IFIP TC10/WG10.5 Workshop on Logic and Architecture Synthesis (1990 : Paris, France), κ.ά.
Έκδοση: (1991)

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 /
ανά: 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), κ.ά.
Έκδοση: (2003)

Collaborative networks and their breeding environments : IFIP TC5 WG 5.5 Sixth IFIP Working Conference on Virtual Enterprises, 26-28 September, 2005, Valencia, Spain /
ανά: IFIP TC5 WG5.5 Working Conference on Virtual Enterprises (6th : 2005 : Valencia, Spain), κ.ά.
Έκδοση: (2005)

Network-centric collaboration and supporting frameworks : IFIP TC 5 WG 5.5, seventh IFIP Working Conference on Virtual Enterprises, September 25-27, 2006, Helsinki, Finland /
ανά: IFIP TC5 WG5.5 Working Conference on Virtual Enterprises (7th : 2006 : Helsinki, Finland), κ.ά.
Έκδοση: (2006)

Formal methods for VLSI design : IFIP WG 10.5 lecture notes/
ανά: Staunstrup, Jorgen
Έκδοση: (1990)

Women, work, and computerization : forming new alliances : proceedings of the IFIP TC 9/WG 9.1 International Conference on Women, Work, and Computerization, Amsterdam, The Netherlands, 27-29 April, 1988 /
ανά: IFIP TC 9/WG 9.1 International Conference on Women, Work, and Computerization (1988 : Amsterdam, Netherlands)
Έκδοση: (1988)

Theorem Provers in Circuit Design: Proceedings of the IFIP TC10/WG 10.2 International Conference on Theorem Provers in Circuit Design: Theory‚ Practice‚ and Experience: Nijmegen‚ The Netherlands‚ 22–24 June 1992
Έκδοση: (1992)

Database security XII : status and prospects : IFIP TC11 WG11.3 Twelfth International Working Conference on Database Security, July 15-17, 1998, Chalkidiki, Greece /
ανά: IFIP TC11/WG 11.3 International Conference on Databse Security (12th : 1998 : Chalkidiki), κ.ά.
Έκδοση: (1999)

History of computing and education 2 : IFIP 19th World Computer Congress, WG 9.7, TC 9 : History of computing, proceedings of the Second Conference on the History of Computing and Education, August 21-24, 2006, Santiago, Chile /
ανά: TC3/TC9 Conference on the History of Computing in Education (2nd : 2006 : Santiago, Chile), κ.ά.
Έκδοση: (2006)

Machining impossible shapes : IFIP TC5 WG5.3 International Conference on Sculptured Surfaces (SSM98), November 9-11, 1998, Chrysler Technology Center, Michigan, USA /
ανά: IFIP TC5 WG5.3 International Conference on Sculptured Surface Machining ( 1998 : Auburn Hills, Mich.), κ.ά.
Έκδοση: (1999)

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 /
ανά: IFIP TC8 WG 8.6 International Working Conference (2008 : Madrid, Spain), κ.ά.
Έκδοση: (2008)

Educational software at secondary level : proceedings of the IFIP TC 3/WG 3.1 Working Conference on Educational Software at Secondary Level, Reykjavik, Iceland, 18-22 June, 1989 /
ανά: Tinsley, J. D. (John David), 1938-, κ.ά.
Έκδοση: (1989)

Building university electronic educational environments : IFIP TC3 WG3.2/3.6 International Working Conference on Building University Electronic Educational Environments August 4-6, 1999, Irvine, California, USA /
ανά: IFIP TC3 WG3.2/3.6 International Working Conference on Building Univesity Electronic Educational Environments (1999 : Irvine, Calif.), κ.ά.
Έκδοση: (2000)

Biologically inspired cooperative computing : IFIP 19th World Computer Congress ; TC 10, 1st IFIP International Conference on Biologically Inspired Computing, August 21-24, 2006, Santiago, Chile /
ανά: IFIP International Conference on Biologically Inspired Computing (1st : 2006 Aug. 21-24 : Santiago, Chile), κ.ά.
Έκδοση: (2006)

Integrity and internal control in Information Systems V : IFIP TC11/WG11.5 Fifth Working Conference on Integrity and Internal Control in Information Systems (IICIS), November 11-12, 2002, Bonn, Germany /
ανά: IFIP TC11 WG11.5 Working Conference on Integrity and Internal Control in Information Systems (5th : 2002 : Bonn, Germany), κ.ά.
Έκδοση: (2003)

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 /
ανά: IFIP TC9/WG9.1 Working Conference on Information System, Work, and Organization Design (1989 : Berlin, Germany), κ.ά.
Έκδοση: (1991)

Mobile and wireless communication networks : IFIP TC6/WG6.8 Conference on Mobile and Wireless Communication Networks (MWCN 2004), October 25-27, 2004, Paris, France /
ανά: IFIP TC6/WG6.8 Conference on Mobile and Wireless Communication Networks ( 2004 : Paris, France), κ.ά.
Έκδοση: (2005)

Human work interaction design : designing for human work : the first IFIP TC 13.6 WG conference : designing for human work, February 13-15, 2006, Madeira, Portugal /
ανά: IFIP TC 13.6 WG Conference on Designing for Human Work (1st : 2006 : Madeira, Madeira Islands), κ.ά.
Έκδοση: (2006)

Research directions in data and applications security : IFIP TC11/WG11.3 sixteenth annual conference on data and applications security, July 28-31, 2002, Cambridge, UK /
ανά: IFIP TC11/WG11.3 Working Conference on Database and Application Security (16th : 2002 : King's College, University of Cambridge), κ.ά.
Έκδοση: (2003)

Artificial Intelligence in theory and practice : IFIP 19th World Computer Congress, TC12 IFIP AI 2006 Stream, August 21-24, 2006, Santiago, Chile /
ανά: IFIP World Computer Congress (19th : 2006 : Santiago, Chile), κ.ά.
Έκδοση: (2006)

Advances in production management systems : proceedings of the 4th IFIP TC5/WG5.7 International Conference on Advances in Production Management Systems, APMS'90, Espoo, Finland, 20-22 August, 1990 /
ανά: IFIP TC5/WG5.7 International Conference on Advances in Production Management Systems (4th : 1990 : Espoo, Finland), κ.ά.
Έκδοση: (1991)

Collaborative business ecosystems and virtual enterprises : IFIP TC5/WG5.5 third Working Conference on Infrastructures for Virtual Enterprises (PRO-VE02) May 1-3, 2002, Sesimbra, Portugal /
ανά: IFIP TC5/WG5.5 Working Conference on Infrastructures for Virtual Enterprises (3rd : 2002 : Sezimbra, Portugal), κ.ά.
Έκδοση: (2002)

VLSI-SOC, from systems to chips : IFIP TC 10/ WG 10.5 Twelfth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC 2003), December 1-3, 2003, Darmstadt, Germany /
ανά: IFIP TC 10/WG 10.5 International Conference on Very Large Scale Integration (12th : 2003 : Darmstadt, Germany), κ.ά.
Έκδοση: (2006)

Perspectives and policies on ICT in society : an IFIP TC9 (Computers and Society) handbook /
ανά: Berleur, Jacques, κ.ά.
Έκδοση: (2005)

Information technology for balanced manufacturing systems : IFIP TC 5, WG 5.5 seventh international conference on information technology for balanced automation systems in manufacturing and services, Niagara Falls, Ontario, Canada, September 4-6, 2006 /
ανά: IFIP TC 5/WG 5.5 IFIP International Conference on Information Technology for Balanced Automation Systems in Manufacturing and Services (7th : 2006 : Niagara Falls, Ont.), κ.ά.
Έκδοση: (2006)

On the Semantics of Refinement Calculi
ανά: Yang, H, κ.ά.
Έκδοση: (2015)

Program design calculi /
ανά: Broy, Manfred
Έκδοση: (1993)

Security education and critical infrastructures : IFIP TC11/WG11.8 third annual World Conference on Information Security Education (WISE3), June 26-28, 2003, Monterey, California, USA /
ανά: IFIP TC11/WG11.8 World Conference on Information Security Education (WISE3) (3rd : 2003 Monterey, California, USA), κ.ά.
Έκδοση: (2003)

The practice of enterprise modeling : First IFIP WG 8.1 Working Conference, PoEM 2008 Stockholm, Sweden, November 2008 Proceedings /
ανά: PoEM 2008 (2008 : Stockholm, Sweden), κ.ά.
Έκδοση: (2008)

Internal proof calculi for modal logics with separating conjunction
ανά: Demri, S, κ.ά.
Έκδοση: (2021)

Fourth IFIP International Conference on Theoretical Computer Science - TCS 2006 : IFIP 19th World Computer Congress, TC-1, Foundations of Computer Science, August 23-24, 2006, Santiago, Chile /
ανά: IFIP International Conference on Theoretical Computer Science (4th : 2006 : Santiago, Chile), κ.ά.
Έκδοση: (2006)

Security and privacy in dynamic environments : proceedings of the IFIP TC-11 21st International Information Security Conference (SEC 2006), 22-24 May 2006, Karlstad, Sweden /
ανά: IFIP TC11 International Information Security Conference (21st : 2006 : Karlstad, Sweden), κ.ά.
Έκδοση: (2006)

Non-classical propositional calculi
ανά: McCall, S, κ.ά.
Έκδοση: (1964)

Graphical calculi and their conjecture synthesis
ανά: Miller-Bakewell, H
Έκδοση: (2020)

Completeness of the ZW and ZX calculi
ανά: Ng, K
Έκδοση: (2018)

Algebra Unifies Operational Calculi
ανά: van Staden, S, κ.ά.
Έκδοση: (2012)

Office systems : proceedings of the IFIP TC 8 Working Conference on Office Systems, Helsinki, Finland, 29 September-2 October 1985 /
ανά: IFIP TC 8 Working Conference on Office Systems (1985 : Helsinki, Finland), κ.ά.
Έκδοση: (1986)

Education for the 21st century : impact of ICT and digital resources : IFIP 19th World Computer Congress, TC-3, Education, August 21-24, 2006, Santiago, Chile /
ανά: IFIP World Computer Congress (19th : 2006 : Santiago, Chile), κ.ά.
Έκδοση: (2006)

IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi

Παρόμοια τεκμήρια

Παρόμοια τεκμήρια