Results
|
|
|
|
|
|
|
|
Concur'97 : concurrency theory : 8th international conference, Warsaw, Poland, July 1-4, 1997 : proceedings / Antoni Mazurkiewicz, Jozef Winkowski, ed. lit. Publication: New York : Springer, cop. 1997Description: VIII, 420 p. ;
24 cmAvailability: Items available for loan: Call number: QA75.5.LEC FCT 37377 (1).
|
|
|
Petri net algebra / Eike Best, Raymond Devillers, Maciej Koutny Publication: Berlin [etc.] : Springer, cop. 2001Description: XI, 378 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: QA76.58.BES FCT 54027 (1).
|
|
|
Parallel computingPublication: Amsterdam : Elsevier Science, [1990]Description: :
il. ;
26 cmAvailability: Items available for reference: Não pode ser emprestado, apenas consulta localCall number: QA75P40 (1). :
|
|
|
Polymorphic programming languages : design and implementation / D. M. Harland Publication: Chichester : Ellis Horwood, cop. 1984Description: 251 p. :
il. ;
25 cmAvailability: Items available for loan: Call number: CIUL-481 FCT 84375 (1).
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Introduction to computer science : an algorithmic approach / Jean-Paul Tremblay, John M. DeDourek, Richard B. Bunt Publication: New York : McGraw-Hill Book Company, cop. 1989Description: XXIII, 961 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: QA76.6.TRE FCT 21653 (1).
|
|
|
Introduction to computer science : an algorithmic approach / Jean-Paul Tremblay, John M. DeDourek, Richard B. Bunt Publication: New York : McGraw-Hill Book Company, cop. 1989Description: XXV, 806 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: QA76.6.TRE FCT 21654 (1).
|
|
|
|
|
|
|
|
|
Parallel architectures and compilation techniques : proceedings of the IFIP WG 10,3 working conference on parallel architectures and compilation techniques, PACT'94, Montréal, Canada, 24-26 August, 1994 / Michel Cosnard, Guang R. Gao, Gabriel M. Silberman, ed. lit. Publication: Amsterdam : North-Holland, cop. 1994Description: XII, 362 p. :
il. ;
23 cmAvailability: Items available for loan: Call number: QA76.9.PAR FCT 26527 (1).
|
|
|
Hardware design and Petri nets / edited by Alex Yakovlev, Luis Gomes and Luciano Lavagno Publication: Boston : Dordrecht : London : Kluwer Academic Publishers, cop. 2000Description: XI, 331 p. :
il. ;
25 cmAvailability: Items available for loan: Call number: TK7895.HAR FCT 59087 (2).
|
|
|
|
|
|
|
|
|
|
|
|
Applications and theory of petri nets : 29th International Conference, Petri Nets 2008, Xi'an, China, June 23-27, 2008 : proceedings / Kees M. van Hee, Rüdiger Valk, ed. lit. Publication: Berlin : Springer, cop. 2008Description: XIII, 428 p. ;
24 cmAvailability: Items available for loan: Call number: QA75.5.LEC FCT 71829 (1).
|