Results of search for 'ccl=(su:{System})' › ICCBS LIBRARIES catalog

Results
	81.	Parallel and Distributed Processing and Applications International Symposium, ISPA 2003 Aizu-Wakamatsu, Japan, July 2-4, 2003 Proceedings / edited by Minyi Guo, Laurence Tianruo Yang. by Guo, Minyi Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	82.	Web Services and Formal Methods Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings / edited by Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro. by Bravetti, Mario Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	83.	Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 16th International Workshop, PATMOS 2006, Montpellier, France, September 13-15, 2006. Proceedings / edited by Johan Vounckx, Nadine Azemard, Philippe Maurine. by Vounckx, Johan Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	84.	Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 13th International Workshop, PATMOS 2003, Turin, Italy, September 10-12, 2003. Proceedings / edited by Jorge Juan Chico, Enrico Macii. by Chico, Jorge Juan Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	85.	Queueing Networks with Discrete Time Scale Explicit Expressions for the Steady State Behavior of Discrete Time Stochastic Networks / by Hans Daduna. by Daduna, Hans Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	86.	Lectures on Formal Methods and PerformanceAnalysis First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3-7, 2000 Revised Lectures / edited by Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen. by Brinksma, Ed Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	87.	Parallel Computing Technologies Third International Conference, PaCT-95 St. Petersburg, Russia, September 12-25, 1995 Proceedings / edited by Victor Malyshkin. by Malyshkin, Victor Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	88.	Quantitative Evaluation of Computing and Communication Systems 8th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation Performance Tools '95 / edited by Heinz Beilner, Falko Bause. by Beilner, Heinz Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	89.	Process Algebra and Probabilistic Methods. Performance Modelling and Verification Joint International Workshop, PAPM-PROBMIV 2001 Aachen, Germany, September 12-14, 2001 Proceedings / edited by Luca Alfaro, Stephen Gilmore. by Alfaro, Luca Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	90.	Concepts in User Interfaces: A Reference Model for Command and Response Languages edited by David Beech. by Beech, David Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	91.	Performance Engineering State of the Art and Current Trends / edited by Reiner Dumke, Claus Rautenstrauch, André Scholz, Andreas Schmietendorf. by Dumke, Reiner Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	92.	Dependable Computing First Latin-American Symposium, LADC 2003, São Paulo, Brazil, October 21-24, 2003. Proceedings / edited by Rogério Lemos, Taisy Silva Weber, João Batista Camargo. by Lemos, Rogério Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	93.	Computer Performance Evaluation. Modelling Techniques and Tools 13th International Conference, TOOLS 2003, Urbana, IL, USA, September 2-5, 2003. Proceedings / edited by Peter Kemper, William H. Sanders. by Kemper, Peter Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	94.	Integrated Circuit Design Power and Timing Modeling, Optimization and Simulation 10th International Workshop,PATMOS 2000 Göttingen, Germany, September 13-15, 2000 Proceedings / edited by Dimitrios Soudris, Peter Pirsch, Erich Barke. by Soudris, Dimitrios Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	95.	Networking 2000 Broadband Communications, High Performance Networking, and Performance of Communication Networks IFIP-TC6/European Commission International Conference Paris, France, May 14-19, 2000 Proceedings / edited by Guy Pujolle, Harry Perros, Serge Fdida, Ulf Körner, Ioannis Stavrakakis. by Pujolle, Guy Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	96.	Process Algebra and Probabilistic Methods: Performance Modeling and Verification Second Joint International Workshop PAPM-PROBMIV 2002 Copenhagen, Denmark, July 25-26, 2002 Proceedings / edited by Holger Hermanns, Roberto Segala. by Hermanns, Holger Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	97.	Integrated Circuit Design. Power and Timing Modeling, Optimization and Simulation 12th International Workshop, PATMOS 2002 Seville, Spain, September 11-13, 2002 Proceedings / edited by Bertrand Hochet, Antonio J. Acosta, Manuel J. Bellido. by Hochet, Bertrand Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	98.	Web Engineering and Peer-to-Peer Computing NETWORKING 2002 Workshops Pisa, Italy, May 19-24, 2002 Revised Papers / edited by Enrico Gregori, Ludmila Cherkasova, Gianpaolo Cugola, Fabio Panzieri, Gian Pietro Picco. by Gregori, Enrico Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	99.	Performance Evaluation of Complex Systems: Techniques and Tools Performance 2002 Tutorial Lectures / edited by Maria Carla Calzarossa, Salvatore Tucci. by Calzarossa, Maria Carla Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).
	100.	Interactive Markov Chains And the Quest for Quantified Quality / edited by Holger Hermanns. by Hermanns, Holger Material type: Text; Format: print ; Literary form: Not fiction Online access: Click her to access the e-Book Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

WELCOME TO THE ICCBS LIBRARIES CATALOG

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Topics

Your search returned 336 results.