[PDF] process algebra free ebooks download




View results: Search for a phrase:
ISBN Language MD5 Extension

Library Search


43 books found   ►also search"process algebra" in ,
ID Author(s) Title Publisher Year Pages Language Size Extension GET
313405 Alessandro Aldini, Marco Bernardo, Flavio Corradini (auth.) A Process Algebraic Approach to Software Architecture Design [1 ed.]
184800222X, 9781848002227, 9781848002234
Springer-Verlag London 2010 304 English 3 Mb pdf GET
336707 Alessandro Aldini, Marco Bernardo, Flavio Corradini (auth.) A Process Algebraic Approach to Software Architecture Design [1 ed.]
184800222X, 9781848002227
Springer-Verlag London 2010 304 English 2 Mb pdf GET
966514 Alessandro Aldini, Marco Bernardo, Flavio Corradini (auth.) A Process Algebraic Approach to Software Architecture Design [1 ed.]
978-1-84800-222-7, 978-1-84800-223-4
Springer-Verlag London 2010 304 English 3 Mb pdf GET
62100 Louis A. D'Alotto, Charles R. Giardina, Hua Luo Monographs and textbooks in pure and applied mathematics 210
A Unified Signal Algebra Approach to Two-Dimensional Parallel Digital Signal Processing [1 ed.]
0824700252, 9780824700256, 9780585387963
Marcel Dekker 1998 302 English 10 Mb pdf GET
1248986 Louis A. D'Alotto, Charles R. Giardina, Hua Luo Monographs and textbooks in pure and applied mathematics 210
A Unified Signal Algebra Approach to Two-Dimensional Parallel Digital Signal Processing [1 ed.]
9780824700256, 0824700252
Marcel Dekker 1998 302 English 2 Mb djvu GET
964775 J. A. Bergstra, J. W. Klop (auth.), A. Ponse PhD, C. Verhoef PhD, S. F. M. van Vlijmen Drs. (eds.) Workshops in Computing
Algebra of Communicating Processes: Proceedings of ACP94, the First Workshop on the Algebra of Communicating Processes, Utrecht, The Netherlands, 16–17 May 1994 [1 ed.]
978-3-540-19909-0, 978-1-4471-2120-6
Springer-Verlag London 1995 359 English 27 Mb pdf GET
958171 Richard E. Blahut (auth.) Signal Processing and Digital Filtering
Algebraic Methods for Signal Processing and Communications Coding [1 ed.]
978-1-4612-7687-6, 978-1-4612-2826-4
Springer-Verlag New York 1992 143 English 4 Mb pdf GET
1183642 Matthew Hennessy Foundations of Computing Series
Algebraic Theory of Processes
0262081717, 9780262081719
Mit Pr 1988 272 English 2 Mb djvu GET
872979 Nigel Boston (auth.) SpringerBriefs in computer science
Applications of Algebra to Communications, Control, and Signal Processing [1 ed.]
9781461438632, 1461438632
Springer-Verlag New York 2012 44 English 555 kb pdf GET
272236 J. C. M. Baeten Cambridge Tracts in Theoretical Computer Science 17
Applications of Process Algebra
0511608845, 9780521607506, 9780521400282, 0521400287, 9780511608841, 0521607507
Cambridge University Press 2004 329 English 2 Mb djvu GET
395918 J. C. M. Baeten Cambridge Tracts in Theoretical Computer Science 17
Applications of Process Algebra
0511608845, 9780521607506, 9780521400282, 0521400287, 9780511608841, 0521607507
Cambridge University Press 2005 329 English 8 Mb pdf GET
1049376 Salvatore Morgera (Auth.) Digital Signal Processing. Applications to Communications and Algebraic Coding Theories
978-0-12-506995-3, 0-12-506995-2, 9780323158930, 0323158935
Elsevier Science 1989 241 English 6 Mb pdf GET
938896 Darrell Williamson PhD (auth.) Advanced Textbooks in Control and Signal Processing
Discrete-time Signal Processing: An Algebraic Approach [1 ed.]
978-1-85233-161-0, 978-1-4471-0541-1
Springer-Verlag London 1999 421 English 13 Mb pdf GET
60979 J.A. Bergstra, A. Ponse, S.A. Smolka Handbook of Process Algebra [1 ed.]
9780444828309, 0444828303
Elsevier Science 2001 1328 English 62 Mb pdf GET
320429 J.A. Bergstra, A. Ponse, S.A. Smolka Handbook of Process Algebra
0444828303, 9780444828309
Elsevier 2001 1357 English 10 Mb djvu GET
464332 J.A. Bergstra, A. Ponse, S.A. Smolka Handbook of Process Algebra [1 ed.]
0444828303, 9780444828309, 9780080533674
2001 1356 English 58 Mb pdf GET
452778 Wan Fokkink Texts in Theoretical Computer Science. An EATCS Series
Introduction to Process Algebra [1st ed.]
354066579X, 9783540665793, 3642085849, 9783642085840
Springer 2000 171 English 1 Mb pdf GET
320449 Wan Fokkink Texts in Theoretical Computer Science. An EATCS Series
Introduction to process algebra [2nd ed.]
9783540665793, 354066579X
Springer 2007 175 English 984 kb pdf GET
897697 H. Ted Davis and Kendall T. Thomson (Eds.) Process Systems Engineering 3
Linear Algebra and Linear Operators in Engineering: With Applications in
9780080510248, 0080510248
Academic Press 2000 1-547 English 16 Mb pdf GET
284643 H. Ted Davis and Kendall T. Thomson (Eds.) Process Systems Engineering 3
Linear Algebra and Linear Operators in Engineering: With Applications in
9780122063497, 0-12-206349-X
Ap 2000 547 English 17 Mb pdf GET
145596 H. Ted Davis and Kendall T. Thomson (Eds.) This is volume 3 of Process systems engineering
Linear algebra and linear operators in engineering: with applications in Mathematica [1st ed.]
012206349X, 9780122063497, 9780080510248
Academic Press 2000 1-547 English 3 Mb djvu GET
975439 P. Comon (auth.), Adam Bojanczyk, George Cybenko (eds.) The IMA Volumes in Mathematics and its Applications 69
Linear Algebra for Signal Processing [1 ed.]
978-1-4612-8703-2, 978-1-4612-4228-4
Springer-Verlag New York 1995 184 English 5 Mb pdf GET
1117158 Alban Ponse, Maarten de Rijke, Yde Venema Center for the Study of Language and Information - CSLI Lecture Notes 53
Modal Logic and Process Algebra
188152695X, 9781881526957
CSLI Publications 1995 326 English 12 Mb pdf GET
112488 Alban Ponse, Maarten de Rijke, Yde Venema Center for the Study of Language and Information - CSLI Lecture Notes 53
Modal logic and process algebra: a bisimulation perspective
188152695X, 9781881526957, 1881526968, 9781881526964
CSLI Publications 1995 351 English 15 Mb pdf GET
146641 Alban Ponse, Maarten de Rijke, Yde Venema Center for the Study of Language and Information - CSLI Lecture Notes 53
Modal logic and process algebra: A bisimulation perspective
188152695X, 9781881526957, 1881526968, 9781881526964
CSLI Publications 1995 351 English 2 Mb djvu GET
  ►
 Jang B. Rampal
W. Reisigs, G. Rozenberg (auth.), Wolfgang Reisig, Grzegorz Rozenberg (eds.)
Гурвич И.С.
Киселёв В.А.
Y. Amice, J. - P. Azra, P. Lelong, M. Raynaud, L. Schwartz, G. van Dijk, P. Cartier, P. Deligne, C. Godbillon, P. Grisvard, V. Poenaru, H. Rosenberg, H. Bass, J. Dieudonne, F. Hirzebruch, F. Latour, G. Schiffmann, J. - P. Serre
В. Босс
P. Deligne, N. Katz
Беклемишев Д.В.
Трофимов В.В.
Anthony W. Knapp
C. F. Chan Man Fong, D. De Kee, P N Kaloni
Ломов С.А.
Дудучава Р.В.
Шилов Г.Е.
Баутин С.П.
Беркович Л.М.

Колмогоров А.Н., Фомин С.В.
E. C. Titchmarsh, D. R. Heath-Brown
Черноусько Ф.Л., Баничук Н.В.

building automationanalysis of varianceprobabilityfluid flowpredictive value of testscivil procedurehuman genesgovernmentkineticscancer research