519.713(063) A16 Abstract state machines, Alloy, B and Z [Electronic resource] : second international conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 : proceedings / ed. M. Frappier [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 5977). - ISBN 978-3-642-11811-1 : Б. ц.
Кл.слова (ненормированные): теория автоматов -- абстрактные автоматы -- конференции См. : Текст издания Доп.точки доступа: Frappier, M. \ed.\; SpringerLink (Online service) Свободных экз. нет |
519.712.5(063)/A16-732555 Abstract state machines, b and z [Electronic resource] : first International conference, ABZ 2008, London, UK, September 16-18, 2008: proceedings / ed. E. Borger. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (Lecture notes in computer science, ISSN 0302-9743 ; 5238). - ISBN 978-3-540-87603-8 : Б. ц.
См. : Текст издания Доп.точки доступа: Borger, E. \ed.\; SpringerLink (Online service) Свободных экз. нет |
519.713(063) A94 Automata, languages and programming [Electronic resource] : 34th international colloquium, ICALP 2007, WrocЕ‚aw, Poland, July 9-13, 2007 : proceedings / ed. L. Arge [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4596). - ISBN 978-3-540-73420-8 : Б. ц.
Программирования языки--Съезды и конференции Программирование для ЭВМ--Съезды и конференции См. : Текст издания Доп.точки доступа: Arge, L. \ed.\; SpringerLink (Online service) Свободных экз. нет |
519.713(063) A94 Automata, languages and programming [Electronic resource] : 35th International colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008: proceedings, part 1 / ed. L. Aceto. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (Lecture notes in computer science, ISSN 0302-9743 ; 5125). - ISBN 978-3-540-70575-8 : Б. ц.
Программирования языки--Съезды и конференции Программирование для эвм--Съезды и конференции См. : Текст издания Доп.точки доступа: Aceto, L. \ed.\; SpringerLink (Online service) Свободных экз. нет |
519.713(063) A94 Automata, languages and programming [Electronic resource] : 33rd international colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006 : proceedings : part 1 / ed.: M. Bugliesi [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Lecture notes in computer science, ISSN 0302-9743 ; 4051). - ISBN 978-3-540-35904-3 : Б. ц.
Программирования языки--Съезды и конференции Программирование для ЭВМ--Съезды и конференции См. : Текст издания Доп.точки доступа: Bugliesi, M. \ed.\; SpringerLink (Online service) Свободных экз. нет |
519.713(063) A94 Automata, languages and programming [Electronic resource] : 36th international colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009 : proceedings, part 1 / ed. S. Albers. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Lecture notes in computer science, ISSN 0302-9743 ; 5555). - ISBN 978-3-642-02927-1 : Б. ц.
Кл.слова (ненормированные): теория автоматов -- языки программирования -- программирование для эвм -- конференции См. : Текст издания Доп.точки доступа: Albers, S. \ed.\; SpringerLink (Online service) Свободных экз. нет |
519.713(063) A94 Automata, languages and programming [Electronic resource] : 33rd international colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006 : proceedings : part 2 / ed.: M. Bugliesi [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Lecture notes in computer science, ISSN 0302-9743 ; 4052). - ISBN 978-3-540-35908-1 : Б. ц.
Программирования языки--Съезды и конференции Программирование для ЭВМ--Съезды и конференции См. : Текст издания Доп.точки доступа: Bugliesi, M. \ed.\; SpringerLink (Online service) Свободных экз. нет |
519.713(063) A94 Automata, languages and programming [Electronic resource] : 37th International colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010: proceedings: part 2 / ed. S. Abramsky [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6199). - ISBN 978-3-642-14162-1 : Б. ц.
Кл.слова (ненормированные): автоматов теория -- программирования языки -- программирование для эвм -- конференции См. : Текст издания Доп.точки доступа: Abramsky, S. \ed.\; SpringerLink (Online service) Свободных экз. нет |
519.713(063) A94 Automata, languages and programming [Electronic resource] : 37th International colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010: proceedings: part 1 / ed. S. Abramsky [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6198). - ISBN 978-3-642-14165-2 : Б. ц.
Кл.слова (ненормированные): автоматов теория -- программирования языки -- программирование для эвм -- конференции См. : Текст издания Доп.точки доступа: Abramsky, S. \ed.\; SpringerLink (Online service) Свободных экз. нет |
519.713(063) A94 Automata, languages and programming [Electronic resource] : 32nd international colloquium, ICALP 2005 Lisbon, Portugal, July 11-15, 2005 : proceedings / eds. L. Caires [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3580). - ISBN 978-3-540-31691-6 : Б. ц.
Программирования языки--Съезды и конференции Программирование для ЭВМ--Съезды и конференции См. : Текст издания Доп.точки доступа: Caires, L. \ed.\; SpringerLink (Online service) Свободных экз. нет |
519.713(063) C38 Cellular automata [Electronic resource] : 7th International conference on cellular automata, for Research and Industry, ACRI 2006, Perpignan, France, September 20-23, 2006: proceedings / ed. Y. El Yacoubi [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Lecture notes in computer science, ISSN 0302-9743 ; 4173). - ISBN 978-3-540-40932-8 : Б. ц.
См. : Текст издания Доп.точки доступа: El Yacoubi, Y. \ed.\; SpringerLink (Online service) Свободных экз. нет |
519.713(063) C38 Cellular automata [Electronic resource] : 8th International conference on cellular automata for reseach and industry, ACRI 2008, Yokohama, Japan, September 23-26, 2008: proceedings / ed. H. Umeo. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (Lecture notes in computer science, ISSN 0302-9743 ; 5191). - ISBN 978-3-540-79992-4 : Б. ц.
См. : Текст издания Доп.точки доступа: Umeo, H. \ed.\; SpringerLink (Online service) Свободных экз. нет |
519.713(063) F54 Finite-State methods and natural language processing [Electronic resource] : 8th international workshop, FSMNLP 2009, Pretoria, South Africa, July 21-24, 2009 : revised selected papers / ed.: A. Yli-Jyra [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6062). - ISBN 978-3-642-14684-8 : Б. ц.
Кл.слова (ненормированные): методы конечных состояний -- естественные языки -- обработка -- конференции См. : Текст издания Доп.точки доступа: Yli-Jyra, A. \ed.\; SpringerLink (Online service) Свободных экз. нет |
519.713(063) F54 Finite-state methods and natural language processing [Electronic resource] : 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005: revised papers / ed. A. Yli-JyrS. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Lecture notes in computer science, lecture notes in artificial intelligence, ISSN 0302-9743 ; 4002). - Б. ц.
Кл.слова (ненормированные): методы конечных состояний -- автоматов теория -- естественные языки -- обработка -- конференции См. : Текст издания Доп.точки доступа: Yli-JyrS, A. \ed.\; SpringerLink (Online service) Свободных экз. нет |
519.713(063) F54 Finite-State methods and natural language processing [Electronic resource] : 5th international workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005 : revised papers / ed. A. Yli-JyrГ¤ [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Lecture notes in computer science, lecture notes in artificial intelligence, ISSN 0302-9743 ; 4002). - ISBN 978-3-540-35469-7 : Б. ц.
Кл.слова (ненормированные): методы конечных состояний -- автоматов теория -- естественные языки -- обработка -- конференции См. : Текст издания Доп.точки доступа: Yli-JyrГ¤, A. \ed.\; SpringerLink (Online service) Свободных экз. нет |
519.713(063) F54 Finite-State methods and natural language processing [Electronic resource] : 5th International workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005: revised papers / ed. A. Yli-Jyra [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Lecture notes in computer science, ISSN 0302-9743 ; 4002). - ISBN 978-3540-35469-7 : Б. ц.
Кл.слова (ненормированные): методы конечных состояний -- автоматов теория -- естественные языки -- обработка -- конференции См. : Текст издания Доп.точки доступа: Yli-Jyra, A. \ed.\; SpringerLink (Online service) Свободных экз. нет |
519.713(063) H99 Implementation and application of automata [Electronic resource] : 12th International conference, CIAA 2007, Praque, Czech Republic, July 16-18, 2007: revised selected papers / ed. J. Holub. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4783). - ISBN 978-3-540-76336-9 : Б. ц.
См. : Текст издания Доп.точки доступа: Holub, J. \ed.\; SpringerLink (Online service) Свободных экз. нет |
519.713(063) H99 Implementation and application of automata [Electronic resource] : 10th international conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005 : revised selected papers / ed. J. Farre [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Lecture notes in computer science, ISSN 0302-9743 ; 3845). - ISBN 978-3-540-33097-4 : Б. ц.
См. : Текст издания Доп.точки доступа: Farre, J. \ed.\; SpringerLink (Online service) Свободных экз. нет |
519.713(063) H99 Implementation and application of automata [Electronic resource] : 9th Intern. conf., CIAA 2004, Kingston, Canada, July 22-24, 2004: revised selected papers / ed. M. Domaratzki [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - (Lecture notes in computer science, ISSN 0302-9743 ; 3317). - ISBN 978-3-540-30500-2 : Б. ц.
См. : Текст издания Доп.точки доступа: Domaratzki, M. \ed.\; SpringerLink (Online service) Свободных экз. нет |
519.713(063) H99 Implementation and application of automata [Electronic resource] : 11th international conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006 : proceedings / ed. O. Ibarra, H. Yen. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Lecture notes in computer science, ISSN 0302-9743 ; 4094). - ISBN 978-3-54037-214-1 : Б. ц.
См. : Текст издания Доп.точки доступа: Ibarra, O. \ed.\; SpringerLink (Online service) Свободных экз. нет |