MARC details
| 000 -LEADER |
|---|
| fixed length control field |
01084nam a2200217Ia 4500 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
131122s9999 xx 000 0 und d |
| 020 ## - ISBN | অাই এস বি এন |
|---|
| ISBN | অাই এস বি এন |
3-540-28309-9 |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
|
| 041 ## - LANGUAGE CODE |
|---|
| Language code |
English |
| 082 ## - DDC | ডিউই |
|---|
| Classification number | বর্গসংখ্যা |
5.1 |
| Book Number | গ্রন্থাঙ্ক |
In61 |
| 100 ## - MAIN ENTRY--PERSONAL NAME | মুখ্য সংলেখ - ব্যাক্তিনাম |
|---|
| Personal name | ব্যাক্তিনাম |
Abadi Martin ed. |
| 110 ## - AIN ENTRY--CORPORATE NAME | মুখ্য সংলেখ - সংস্থানাম |
|---|
| Corporate name | সংস্থা নাম |
International Conference on Concurrency Theory, CONCUR 2005 |
| 111 ## - MAIN ENTRY--MEETING NAME | মুখ্য সংলেখ - সভার নাম |
|---|
| Meeting name | সভার নাম |
International conference on concurrency theory, CONCUR 2005 |
| Location of meeting | সভার স্থান |
San Francisco, CA |
| Date of meeting | সভার তারিখ |
23-26 Aug 2005 |
| 245 ## - TITLE STATEMENT | অাখ্যা বিবরণী |
|---|
| Title | অাখ্যা |
Concur 2005 - concurrency theory |
| Sub title | উপঅাখ্যা |
proceedings |
| 260 ## - IMPRINT | প্রকাশনা ক্ষেত্র |
|---|
| Place of publication | প্রকাশ স্থান |
Berlin |
| Name of publisher | প্রকাশকের নাম |
Springer-Verlag |
| Date of publication | প্রকাশ কাল |
2005 |
| 300 ## - PHYSICAL DESCRIPTION | |
|---|
| Page / Vol. No | পৃষ্ঠা / খন্ড সংখ্যা |
xiv,578p. |
| 440 ## - SERIES STATEMENT |গ্রন্থমালা |
|---|
| Series Title | গ্রন্থমালা অাখ্যা |
Lecture notes in computer science; v 3653 |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc |
Among the topics covered are concurrency related aspects of models of computation, Petri nets, model checking, game semantics, process algebras, real-time systems, verification techniques, secrecy and authenticity, refinement, distributed programming, constraint logic programming, typing systems and algorithms, case studies, tools, and environment for programming and verification. |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | বিষয় শিরোনাম - মূল বিষয় |
|---|
| Topical term | মূল বিষয় |
Concurrency theory |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Koha item type |
Books |
