LNCS 9465 - Programming Languages with Applications to...

Main
LNCS 9465 - Programming Languages with...

LNCS 9465 - Programming Languages with Applications to Biology and Security

Chiara Bodei, Gian-Luigi Ferrari & Corrado Priami (eds.)

0 / 0

এই বইটি আপনার কতটা পছন্দ?

ফাইলের মান কিরকম?

মান নির্ণয়ের জন্য বইটি ডাউনলোড করুন

ডাউনলোড করা ফাইলগুলির মান কিরকম?

Programming Languages with Applications to Biology and Security

সাল:

2015

ভাষা:

english

ISBN 10:

3319255274

ISBN 13:

9783319255279

ফাইল:

EPUB, 1.15 MB

IPFS:

,

english, 2015

অনলাইনে পড়া

তে রূপান্তর প্রক্রিয়া চলছে

-এ রূপান্তর ব্যর্থ হয়েছে

আপনি আগ্রহী হতে পারেন

Unknown — Modeling And Verification Of Parallel Processes 4 School Movep 2000 2067 2001 3540427872 227s

Martín Abadi, Tim Harris (auth.), Mario Bravetti, Gianluigi Zavattaro (eds.) — CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings

Bodei, Chiara;Degano, Pierpaolo;Ferrari, Gian-Luigi;Priami, Corrado — Programming Languages with Applications to Biology and Security

Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, Matthias Weidlich (eds.) — Web Services, Formal Methods, and Behavioral Types: 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers

Dawson Engler (auth.), Martín Abadi, Luca de Alfaro (eds.) — CONCUR 2005 – Concurrency Theory: 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedings

Unknown — Modeling And Verification Of Parallel Processes 4 School Movep 2000 2067 2001 3540427872 227s

Unknown — Concur 99 Concurrency Theory 10 1664 1999 3540664254 584s

Rocco De Nicola, Pierpaolo Degano, José Meseguer (auth.), Pierpaolo Degano, Rocco De Nicola, José Meseguer (eds.) — Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

Fred B. Schneider (auth.), Luís Caires, Vasco T. Vasconcelos (eds.) — CONCUR 2007 – Concurrency Theory: 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007. Proceedings

Wolfgang Thomas (auth.), Luca de Alfaro (eds.) — Foundations of Software Science and Computational Structures: 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Roberto Bruni, Karsten Wolf — Web Services and Formal Methods: 5th International Workshop, WS-FM 2008 Milan, Italy, September 4-5, 2008

Kohei Honda (auth.), Marco Carbone, Jean-Marc Petit (eds.) — Web Services and Formal Methods: 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers

Marco Bernardo, Luca Padovani, Gianluigi Zavattaro — Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro Programming and Software Engineering

Martín Abadi, Tim Harris (auth.), Mario Bravetti, Gianluigi Zavattaro (eds.) — CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings

Giuseppe Castagna (auth.), Roberto Bruni, Juergen Dingel (eds.) — Formal Techniques for Distributed Systems: Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings

Parosh Aziz Abdulla (auth.), Joost-Pieter Katoen, Barbara König (eds.) — CONCUR 2011 – Concurrency Theory: 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings

Erika Ábrahám, Catuscia Palamidessi (eds.) — Formal Techniques for Distributed Objects, Components, and Systems: 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June

প্রায়শই ব্যবহৃত পরিভাষা