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.