Sök böcker

Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!

Sökning efter: International federation for information processing 401 träffar

Titel Författare År Språk
181 Active technologies for network and service management - 10th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM '99, Zurich, Switzerland, October 11 - 13, 1999 : proceedings IFIP/IEEE International Workshop on Distributed Systems: Operations and Management 1999) Zürich : cop. 1999 Engelska
182 Middleware 2000 - proceedings : IFIP/ACM International Conference on Distributed Systems Platforms and Open Distributed Processing, New York, NY, USA, April 4-7, 2000 International Conference on Distributed Systems Platforms and Open Distributed processing 2000) (New York : cop.2000 Engelska
183 Theoretical computer science - exploring new frontiers of theoretical informatics : international conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000 : proceedings IFIP TCS 2000 2000 : cop. 2000 Engelska
184 Systems for large data bases - proceedings of the 2nd International conference on very large data bases, Brussels, Belgium, 8-10 September 1976 International Ifip conference on very large data bases Bruxelles : 1976) 1977 Engelska
185 IFIP guide to concepts and terms in data processing 1971 Engelska
186 Traffic control and transportation systems - Régulation du trafic et systèmes de transport : proceedings of the 2nd IFAC-IFIP-IFORS symposium, Monte Carlo, 16-21 September, 1974 cop. 1974 Engelska
187 Human choice and computers - proceedings of the IFIP conference on human choice and computers, Vienna, April 1-5, 1974 IFIP Conference on Human Choice and Computers 1974) (Wien : 1975 Engelska
188 Command languages - proceedings of the IFIP Working Conference on Command Languages Lund, Sweden. July 29-August 21 1974 IFIP Working Conference on Command Languages 1974) (Lund : 1975 Engelska
189 E-business and virtual enterprises - managing business-to-business cooperation : IFIP TC5/WG5.3 Second IFIP Working Conference on Infrastructures for Virtual Organizations: Managing Cooperation in Virtual Organizations and Electronic Business towards Smart Organizations, December 4-6, 2000, Florianʹopolis, Brazil Brazil) IFIP TC5/WG5.3 Working Conference on Infrastructures for Virtual Organizations 2000 : Florianópolis cop. 2001 Engelska
190 Information systems concepts - an integrated discipline emerging : IFIP TC8/WG8.1 International Conference on Information System Concepts : an Integrated Dscipline Emerging (ISCO-4) : September 20-22, 1999, University of Leiden, The Netherlands IFIP TC8/WG8.1 International Conference on Information System Concepts 1999 : University of Leiden) 2000 Engelska
191 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 Calif.) IFIP TC3 WG3.2/3.6 International Working Conference on Building University Electronic Educational Environments (1999 : Irvine cop. 2000 Engelska
192 Research advances in database and information systems security - IFIP TC11 WG11.3 Thirteenth Working Conference on Database Security, July 25-28, 1999, Seattle, Washington, USA Wash.) IFIP TC11 WG11.3 Working Conference on Database Security 1999 : Seattle cop. 2000 Engelska
193 Formal methods for distributed system development - FORTE/PSTV 2000, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) : October 10-13, 2000, Pisa, Italy Italy) Testing and Verification (2000 : Pisa IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification 2000 Engelska
194 Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM '91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991 - a symposium Symposium on Partial Evaluation and Semantics-Based Program Manipulation 1991 : New Haven) c1991 Engelska
195 A modular curriculum in computer science 1984 Engelska
196 IFIP-ICC vocabulary of information processing 1966 Engelska
197 IFIP Fachwörterbuch der Informationsverarbeitung 1968 Tyska
198 Formal language description languages for computer programming - proceedings of the IFIP working conference on formal language description languages, Vienna, Austria, September 15-18, 1964 1966 Engelska
199 Symbol manipulation languages and techniques - proceedings of the IFIP working conference on symbol manipulation languages, Pisa, September 5-9, 1966 IFIP Working Conference on Symbol Manipulation Languages 1966) (Pisa : 1968 Engelska
200 Formal description techniques and protocol specification, testing and verification - FORTE X / PSTV XVII'97 Testing and Verification (1997 : Osaka) IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification 1997 Engelska

Förra sidan 10 11 12 13 14 15 16 17 18 19 20 Nästa sida

Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.