Results for "Electronic data processing Distributed processing."

Results for "Electronic data processing Distributed processing." Showing 1 - 50 results of 1114 Laminas_Feed_Writer 2 (https://getlaminas.org) https://libcat.library.tamu.edu/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22Electronic+data+processing+Distributed+processing.%22&type=Subject&lng=en 1114 0 50 Applying formal methods : testing, performance, and M/E-commerce : FORTE 2004 Workshops : The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings / Thu, 23 Apr 2026 15:01:20 +0000 https://libcat.library.tamu.edu/Record/in00003505326 https://libcat.library.tamu.edu/Record/in00003505326 Conference Proceeding eBook 2004 0 Hierarchical Scheduling in Parallel and Cluster Systems / Thu, 23 Apr 2026 15:01:17 +0000 https://libcat.library.tamu.edu/Record/in00003554769 https://libcat.library.tamu.edu/Record/in00003554769 Dandamudi, Sivarama eBook 2003 Dandamudi, Sivarama 0 Advanced .NET remoting / Thu, 23 Apr 2026 15:01:16 +0000 https://libcat.library.tamu.edu/Record/in00003503258 https://libcat.library.tamu.edu/Record/in00003503258 Rammer, Ingo eBook 2002 Rammer, Ingo 0 Building QoS into distributed systems : IFIP TC6 WG6.1 Fifth International Workshop on Quality of Service (IWQOS '97), 21-23 May 1997, New York, USA / Thu, 23 Apr 2026 15:01:16 +0000 https://libcat.library.tamu.edu/Record/in00003568016 https://libcat.library.tamu.edu/Record/in00003568016 Conference Proceeding eBook 1997 0 Progress in distributed operating systems and distributed systems management : European workshop, Berlin, FRG, April 18/19, 1989 : proceedings / Thu, 23 Apr 2026 03:01:02 +0000 https://libcat.library.tamu.edu/Record/in00003511566 https://libcat.library.tamu.edu/Record/in00003511566 Conference Proceeding eBook 1990 0 Tools and algorithms for the construction and analysis of systems : second international workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996 ; proceedings / Wed, 22 Apr 2026 23:02:49 +0000 https://libcat.library.tamu.edu/Record/in00003548518 https://libcat.library.tamu.edu/Record/in00003548518 Conference Proceeding eBook 1996 0 Fault-Tolerant Parallel and Distributed Systems / Wed, 22 Apr 2026 23:02:47 +0000 https://libcat.library.tamu.edu/Record/in00003543248 https://libcat.library.tamu.edu/Record/in00003543248 Avresky, Dimiter R. eBook 1998 Avresky, Dimiter R. 0 Coordination languages and models : second international conference, COORDINATION '97, Berlin, Germany, September 1-3, 1997 : proceedings / Wed, 22 Apr 2026 23:02:44 +0000 https://libcat.library.tamu.edu/Record/in00003507508 https://libcat.library.tamu.edu/Record/in00003507508 Conference Proceeding eBook 1997 0 Networks and Systems Management : Platforms Analysis and Evaluation / Wed, 22 Apr 2026 23:02:09 +0000 https://libcat.library.tamu.edu/Record/in00003544079 https://libcat.library.tamu.edu/Record/in00003544079 Ghetie, Iosif G. eBook 1997 Ghetie, Iosif G. 0 Performance Analysis and Grid Computing : Selected Articles from the Workshop on Performance Analysis and Distributed Computing August 19-23, 2002, Dagstuhl, Germany / Wed, 22 Apr 2026 23:02:00 +0000 https://libcat.library.tamu.edu/Record/in00003555734 https://libcat.library.tamu.edu/Record/in00003555734 Getov, Vladimir eBook 2004 Getov, Vladimir 0 Efficient query processing in geographic information systems / Wed, 22 Apr 2026 23:01:58 +0000 https://libcat.library.tamu.edu/Record/in00003500607 https://libcat.library.tamu.edu/Record/in00003500607 Ooi, Beng Chin, 1961- eBook 1990 Ooi, Beng Chin, 1961- 0 Formal techniques for networked and distributed systems-- FORTE 2004 : 24th IFIP WG 6.1 International conference, Madrid, Spain, September 27-30, 2004 : proceedings / Wed, 22 Apr 2026 23:01:56 +0000 https://libcat.library.tamu.edu/Record/in00003505327 https://libcat.library.tamu.edu/Record/in00003505327 Conference Proceeding eBook 2004 0 Formal methods for embedded distributed systems : how to master the complexity / Wed, 22 Apr 2026 22:01:37 +0000 https://libcat.library.tamu.edu/Record/in00003505296 https://libcat.library.tamu.edu/Record/in00003505296 eBook 2004 0 Multi-agent systems : theories, languages, and applications : 4th Australian Workshop on Distributed Artificial Intelligence, Brisbane, Qld., Australia, July 13, 1998 : proceedings / Wed, 22 Apr 2026 22:01:36 +0000 https://libcat.library.tamu.edu/Record/in00003510421 https://libcat.library.tamu.edu/Record/in00003510421 Conference Proceeding eBook 1998 0 Finite representations of CCS and TCSP programs by automata and Petri nets / Wed, 22 Apr 2026 22:01:34 +0000 https://libcat.library.tamu.edu/Record/in00003507534 https://libcat.library.tamu.edu/Record/in00003507534 Taubner, Dirk, 1959- eBook 1989 Taubner, Dirk, 1959- 0 Stepwise refinement of distributed systems : models, formalisms, correctness : REX workshop, Mook, the Netherlands, May 29-June 2, 1989 : proceedings / Wed, 22 Apr 2026 22:01:31 +0000 https://libcat.library.tamu.edu/Record/in00003511575 https://libcat.library.tamu.edu/Record/in00003511575 eBook 1990 0 Coordination languages and models : 4th International Conference, Coordination 2000, Limassol, Cyprus, September 11-13, 2000 : proceedings / Wed, 22 Apr 2026 22:01:31 +0000 https://libcat.library.tamu.edu/Record/in00003514779 https://libcat.library.tamu.edu/Record/in00003514779 Conference Proceeding eBook 2000 0 Formal methods for protocol engineering and distributed systems : FORTE XII/PSTV XIX'99 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing, and Verification (PSTV XIX) : October 5-8, 1999, Beijing, China / Wed, 22 Apr 2026 22:01:31 +0000 https://libcat.library.tamu.edu/Record/in00003555156 https://libcat.library.tamu.edu/Record/in00003555156 Conference Proceeding eBook 1999 0 Computer-supported cooperative work : introduction to distributed applications / Wed, 22 Apr 2026 22:01:29 +0000 https://libcat.library.tamu.edu/Record/in00003550849 https://libcat.library.tamu.edu/Record/in00003550849 Borghoff, Uwe M., 1959- eBook 2000 Borghoff, Uwe M., 1959- 0 Distributed hydrologic modeling using GIS / Wed, 22 Apr 2026 21:04:17 +0000 https://libcat.library.tamu.edu/Record/in00003506235 https://libcat.library.tamu.edu/Record/in00003506235 Vieux, Baxter E. eBook 2004 Vieux, Baxter E. 0 New Advances in Distributed Computer Systems : Proceedings of the NATO Advanced Study Institute held at Bonas, France, June 15-26, 1981 / Wed, 22 Apr 2026 21:04:08 +0000 https://libcat.library.tamu.edu/Record/in00003550606 https://libcat.library.tamu.edu/Record/in00003550606 Beauchamp, K. G. eBook 1982 Beauchamp, K. G. 0 Distributed applications and interoperable systems : 4th IFIP WG6.1 International Conference, DAIS 2003, Paris France November 17-21, 2003 : proceedings / Wed, 22 Apr 2026 21:04:06 +0000 https://libcat.library.tamu.edu/Record/in00003501238 https://libcat.library.tamu.edu/Record/in00003501238 Conference Proceeding eBook 2003 0 Distributed memory computing : 2nd European Conference, EDMCC2 Munich, FRG, April 22-24, 1991 : proceedings / Wed, 22 Apr 2026 21:04:05 +0000 https://libcat.library.tamu.edu/Record/in00003507477 https://libcat.library.tamu.edu/Record/in00003507477 Conference Proceeding eBook 1991 0 Distributed computing : IWDC 2003 : 5th international workshop, Kolkata, India, December 27-30, 2003 : proceedings / Wed, 22 Apr 2026 21:03:34 +0000 https://libcat.library.tamu.edu/Record/in00003506240 https://libcat.library.tamu.edu/Record/in00003506240 Conference Proceeding eBook 2003 0 Formal techniques for networked and distributed systems--FORTE 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings / Wed, 22 Apr 2026 20:02:39 +0000 https://libcat.library.tamu.edu/Record/in00003515446 https://libcat.library.tamu.edu/Record/in00003515446 Conference Proceeding eBook 2002 0 Secure Internet programming : security issues for mobile and distributed objects / Tue, 21 Apr 2026 19:01:18 +0000 https://libcat.library.tamu.edu/Record/in00003514801 https://libcat.library.tamu.edu/Record/in00003514801 eBook 1999 0 Parallel and distributed computing : theory and practice : first Canada-France conference, Montréal, Canada, May 19-21, 1994 : proceedings / Tue, 21 Apr 2026 19:01:16 +0000 https://libcat.library.tamu.edu/Record/in00003508490 https://libcat.library.tamu.edu/Record/in00003508490 Conference Proceeding eBook 1994 0 Computer networks, architecture and applications : proceedings of the IFIP TC6 conference 1994 / Tue, 21 Apr 2026 19:01:10 +0000 https://libcat.library.tamu.edu/Record/in00003568011 https://libcat.library.tamu.edu/Record/in00003568011 eBook 1995 0 Multi-agent systems : methodologies and applications : Second Australian Workshop on Distributed Artificial Intelligence, Cairns, Qld., Australia, August 27, 1996 : selected papers / Tue, 21 Apr 2026 18:02:21 +0000 https://libcat.library.tamu.edu/Record/in00003533522 https://libcat.library.tamu.edu/Record/in00003533522 Conference Proceeding eBook 1997 0 Coordination models and languages : 5th international conference, COORDINATION 2002, York, UK, April 8-11, 2002 : proceedings / Tue, 21 Apr 2026 18:01:44 +0000 https://libcat.library.tamu.edu/Record/in00003513259 https://libcat.library.tamu.edu/Record/in00003513259 Conference Proceeding eBook 2002 0 Open distributed processing : experiences with distributed environments : proceedings of the third IFIP TC/WG 6.1 international conference on open distributed processing, 1994 / Tue, 21 Apr 2026 18:01:39 +0000 https://libcat.library.tamu.edu/Record/in00003555171 https://libcat.library.tamu.edu/Record/in00003555171 Conference Proceeding eBook 1995 0 Quality of communication-based systems : proceedings of an international workshop held at the TU Berlin, Germany, September 1994 / Tue, 21 Apr 2026 17:01:31 +0000 https://libcat.library.tamu.edu/Record/in00003511962 https://libcat.library.tamu.edu/Record/in00003511962 eBook 1995 0 Formal methods for open object-based distributed systems : IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) : February 15-18, 1999, Florence, Italy / Mon, 20 Apr 2026 23:00:45 +0000 https://libcat.library.tamu.edu/Record/in00003552016 https://libcat.library.tamu.edu/Record/in00003552016 Conference Proceeding eBook 1999 0 Quantitative methods in parallel systems / Mon, 20 Apr 2026 23:00:44 +0000 https://libcat.library.tamu.edu/Record/in00003508794 https://libcat.library.tamu.edu/Record/in00003508794 eBook 1995 0 Trends in distributed systems : towards a universal service market : Third International IFIP/GI Working Conference, USM 2000, Munich, Germany, September 12-14, 2000 : proceedings / Mon, 20 Apr 2026 22:02:19 +0000 https://libcat.library.tamu.edu/Record/in00003508545 https://libcat.library.tamu.edu/Record/in00003508545 Conference Proceeding eBook 2000 0 Parallel and distributed processing : 11th IPPS/SPDP '99 workshops held in conjunction with the 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing, San Juan, Puerto Rico, USA, April 12-16, 1999 : proceedings / Mon, 20 Apr 2026 22:02:17 +0000 https://libcat.library.tamu.edu/Record/in00003510515 https://libcat.library.tamu.edu/Record/in00003510515 Conference Proceeding eBook 1999 0 Cooperative Internet computing / Mon, 20 Apr 2026 22:02:17 +0000 https://libcat.library.tamu.edu/Record/in00003548426 https://libcat.library.tamu.edu/Record/in00003548426 Conference Proceeding eBook 2003 0 Hardware-software co-synthesis of distributed embedded systems / Mon, 20 Apr 2026 22:01:42 +0000 https://libcat.library.tamu.edu/Record/in00003538417 https://libcat.library.tamu.edu/Record/in00003538417 Yen, Ti-Yen, 1967- eBook 1996 Yen, Ti-Yen, 1967- 0 Models for parallel and distributed computation : theory, algorithmic techniques and applications / Mon, 20 Apr 2026 22:01:38 +0000 https://libcat.library.tamu.edu/Record/in00003568040 https://libcat.library.tamu.edu/Record/in00003568040 eBook 2002 0 Middleware '98 : IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing / Mon, 20 Apr 2026 22:01:37 +0000 https://libcat.library.tamu.edu/Record/in00003512934 https://libcat.library.tamu.edu/Record/in00003512934 Conference Proceeding eBook 1998 0 Handbook on parallel and distributed processing / Mon, 20 Apr 2026 22:01:34 +0000 https://libcat.library.tamu.edu/Record/in00003509804 https://libcat.library.tamu.edu/Record/in00003509804 eBook 2000 0 Optimal load balancing in distributed computer systems / Mon, 20 Apr 2026 21:02:29 +0000 https://libcat.library.tamu.edu/Record/in00003500699 https://libcat.library.tamu.edu/Record/in00003500699 eBook 1997 0 Application of Petri nets to communication networks : advances in Petri nets / Mon, 20 Apr 2026 21:02:26 +0000 https://libcat.library.tamu.edu/Record/in00003507445 https://libcat.library.tamu.edu/Record/in00003507445 eBook 1999 0 Collaboration between human and artificial societies : coordination and agent-based distributed computing / Mon, 20 Apr 2026 21:02:24 +0000 https://libcat.library.tamu.edu/Record/in00003507450 https://libcat.library.tamu.edu/Record/in00003507450 eBook 1999 0 Experiences with distributed systems : international workshop, Kaiserslautern, FRG, September 28-30, 1987 : proceedings / Mon, 20 Apr 2026 21:02:23 +0000 https://libcat.library.tamu.edu/Record/in00003515721 https://libcat.library.tamu.edu/Record/in00003515721 eBook 1988 0 Formal description techniques and protocol specification, testing and verification : FORTE X/PSTV XVII '97 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII), 18-21 Nov. 1997, Osaka, Japan / Mon, 20 Apr 2026 21:02:21 +0000 https://libcat.library.tamu.edu/Record/in00003549018 https://libcat.library.tamu.edu/Record/in00003549018 Conference Proceeding eBook 1997 0 Structural information and communication complexity : 11th international colloquium, SIROCCO 2004, Smolenice Castle, Slowakia, June 21-23, 2004 : proceedings / Mon, 20 Apr 2026 21:02:19 +0000 https://libcat.library.tamu.edu/Record/in00003506241 https://libcat.library.tamu.edu/Record/in00003506241 Conference Proceeding eBook 2004 0 Design methods and applications for distributed embedded systems : IFIP 18th World Computer Congress : TC10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2004), 22-27 August 2004, Toulouse, France / Mon, 20 Apr 2026 21:01:49 +0000 https://libcat.library.tamu.edu/Record/in00003506197 https://libcat.library.tamu.edu/Record/in00003506197 Conference Proceeding eBook 2004 0 A programmer's guide to Jini technology / Mon, 20 Apr 2026 21:01:39 +0000 https://libcat.library.tamu.edu/Record/in00003508364 https://libcat.library.tamu.edu/Record/in00003508364 Newmarch, Jan eBook 2000 Newmarch, Jan 0 Decentralized optimization in networks : algorithmic efficiency and privacy preservation / Fri, 27 Mar 2026 20:00:55 +0000 https://libcat.library.tamu.edu/Record/in00005775952 https://libcat.library.tamu.edu/Record/in00005775952 Lü, Qingguo eBook 2025 Lü, Qingguo 0