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)

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)

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)

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)

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)

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)

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)

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)

On the Semantics of Refinement Calculi
द्वारा: Yang, H, और अन्य
प्रकाशित: (2015)

Program design calculi /
द्वारा: Broy, Manfred
प्रकाशित: (1993)

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)

Complex machining and Al-methods : proceedings of the IFIP TCS/WG5.3 Working conference on Process Planning for Complex Machining and Al-Methods
द्वारा: IFIP TC5/WG5.3 Working Conference on Process Planning for Complex Machining with Al-Methods (1991 : Gaussig, Germany), और अन्य
प्रकाशित: (1991)

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)

Human jobs and computer interfaces : Proceedings of the IFIP WG 9.1 Working Conference on Human Jobs and Computer Interfaces Tampere, Findland, 26-28 June 1991 /
द्वारा: IFIP WG 9.1 working conference on human jobs and computer interfaces (1991: Tampere,Findland), और अन्य
प्रकाशित: (1991)

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 /
द्वारा: IFIP WG 7.1 Working Conference on Environmental Systems Analysis and Management (1981 : Rome, Italy), और अन्य
प्रकाशित: (1982)

Command languages : proceedings of the IFIP Working Conference on Command Languages /
द्वारा: Unger, Claus
प्रकाशित: (1975)

Human error, safety and systems development : IFIP 18th World Computer Congress TC13/WG13.5 7th Working Conference on Human Error, Safety and Systems Development, 22-27 August 2004 Toulouse, France /
द्वारा: IFIP TC13/WG13.5 Working Conference on Human Error, Safety and Systems Development (7th : 2004 : Toulouse, France), और अन्य
प्रकाशित: (2004)

Integrating Action Calculi and Description Logics
द्वारा: Drescher, C, और अन्य
प्रकाशित: (2007)

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

समान संसाधन

समान संसाधन