Web ИРБИС

Базы данных

- результаты поиска

Вид поиска

Российский сводный каталог по научно-технической литературе

Область поиска

в найденном

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>S=Logics and meanings of programs<.>)

Общее количество найденных документов : 94
Показаны документы с 1 по 30

1-30 31-60 61-90

    Agent-Oriented software engineering X [Electronic resource] : 10th International workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009: revised selected papers / eds. M. Gleizes, J. J. Gomez-Sanz. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6038). - ISBN 978-3-642-19208-1 : Б. ц.

Рубрики: Computer science
   Computer communication networks
   Software engineering
   Logic design
   Artificial intelligence
   Computer science
   Software engineering
   Artificial intelligence (incl. robotics)
   Logics and meanings of programs
   Programming techniques
   Computer communication networks
   Programming languages, compilers, interpreters

См. : Текст издания

Доп.точки доступа:
Gleizes, M. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

    Algebraic informatics [Electronic resource] : 4th international conference, CAI 2011, Linz, Austria, June 21-24, 2011: proceedings / ed. F. Winkler. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6742). - ISBN 978-3-642-21493-6 : Б. ц.

Рубрики: Computer science
   Software engineering
   Logic design
   Computational complexity
   Algebra--Data processing
   Computer science
   Logics and meanings of programs
   Mathematical logic and formal languages
   Symbolic and algebraic manipulation
   Software engineering
   Discrete mathematics in computer science
   Mathematics of computing

См. : Текст издания

Доп.точки доступа:
Winkler, F. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

    Algebraic methodology and software technology [Electronic resource] : 13th international conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010: revised selected papers / eds. M. Johnson, D. Pavlovic. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6486). - ISBN 978-3-642-17796-5 : Б. ц.

Рубрики: Computer science
   Software engineering
   Logic design
   Artificial intelligence
   Computer science
   Software engineering
   Logics and meanings of programs
   Programming languages, compilers, interpreters
   Mathematical logic and formal languages
   Artificial intelligence (incl. robotics)
   Programming techniques

См. : Текст издания

Доп.точки доступа:
Johnson, M. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

    Algorithmic learning theory [Electronic resource] : 21st international conference, ALT 2010, Canberra, Australia, October 6-8, 2010 : proceedings / eds. M. Hutter [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6331). - ISBN 978-3-642-16108-7 : Б. ц.

Рубрики: Computer science
   Computer software
   Logic design
   Artificial intelligence
   Education
   Computer science
   Artificial intelligence (incl. robotics)
   Mathematical logic and formal languages
   Algorithm analysis and problem complexity
   Computation by abstract devices
   Logics and meanings of programs
   Computers and education

См. : Текст издания

Доп.точки доступа:
Hutter, M. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

    Applications and theory of petri nets [Electronic resource] : 32nd international conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011: proceedings / eds. L. M. Kristensen, L. Petrucci. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6709). - ISBN 978-3-642-21834-7 : Б. ц.

Рубрики: Computer science
   Software engineering
   Logic design
   Computer science
   Computation by abstract devices
   Software engineering
   Logics and meanings of programs
   Programming techniques
   Programming languages, compilers, interpreters
   Mathematical logic and formal languages

См. : Текст издания

Доп.точки доступа:
Kristensen, L.M. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

    Architecting dependable systems VII [Electronic resource] / ed. A. Casimiro [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer-Verlag, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6420). - ISBN 978-3-642-17245-8 : Б. ц.

Рубрики: Computer science
   Software engineering
   Logic design
   Computer science
   Software engineering
   Programming languages, compilers, interpreters
   Programming techniques
   Logics and meanings of programs
   Software engineering/programming and operating systems
   Models and principles

См. : Текст издания

Доп.точки доступа:
Casimiro, A. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

    Automata, languages and programming [Electronic resource] : 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011: proceedings: part 2 / ed. L. Aceto [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6756). - ISBN 978-3-642-22012-8 : Б. ц.

Рубрики: Computer science
   Computer communication networks
   Software engineering
   Computer software
   Logic design
   Computer science
   Logics and meanings of programs
   Software engineering
   Mathematical logic and formal languages
   Computer communication networks
   Algorithm analysis and problem complexity
   Computation by abstract devices

См. : Текст издания

Доп.точки доступа:
Aceto, L. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

    Automated deduction in geometry [Electronic resource] : 7th international workshop, ADG 2008, Shanghai, China, September 22-24, 2008 : revised papers / ed. T. Sturm, C. Zengler. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6301). - ISBN 978-3-642-21046-4 : Б. ц.

Рубрики: Computer science
   Logic design
   Computational complexity
   Artificial intelligence
   Computer graphics
   Discrete groups
   Computer science
   Artificial intelligence (incl. robotics)
   Computer graphics
   Mathematical logic and formal languages
   Logics and meanings of programs
   Discrete mathematics in computer science
   Convex and discrete geometry

См. : Текст издания

Доп.точки доступа:
Sturm, T. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

    Automated reasoning with analytic tableaux and related methods [Electronic resource] : 20th international conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011 : proceedings / eds. K. Brünnler, G. Metcalfe. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6793). - ISBN 978-3-642-22119-4 : Б. ц.

Рубрики: Computer science
   Software engineering
   Logic design
   Artificial intelligence
   Computer science
   Artificial intelligence (incl. robotics)
   Mathematical logic and formal languages
   Programming techniques
   Software engineering
   Logics and meanings of programs

См. : Текст издания

Доп.точки доступа:
Brünnler, K. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

10.

    Automated technology for verification and analysis [Electronic resource] : 8th international symposium, ATVA 2010, Singapore, September 21-24, 2010 : proceedings / eds. A. Bouajjani, W. Chin. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6252). - ISBN 978-3-642-15643-4 : Б. ц.

Рубрики: Computer science
   Computer communication networks
   Software engineering
   Logic design
   Computer science
   Software engineering
   Programming techniques
   Computer communication networks
   Logics and meanings of programs
   Programming languages, compilers, interpreters
   Software engineering/programming and operating systems

См. : Текст издания

Доп.точки доступа:
Bouajjani, A. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

11.

    Business process management [Electronic resource] : 8th international conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010 : proceedings / eds. R. Hull [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6336). - ISBN 978-3-642-15618-2 : Б. ц.

Рубрики: Computer science
   Software engineering
   Computer software
   Logic design
   Computer science
   Software engineering
   Logics and meanings of programs
   Programming languages, compilers, interpreters
   Programming techniques
   Algorithm analysis and problem complexity
   Models and principles

См. : Текст издания

Доп.точки доступа:
Hull, R. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

12.

    Central european functional programming school [Electronic resource] : Third summer school, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009: revised selected lectures / ed. Z. Horváth [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6299). - ISBN 978-3-642-17685-2 : Б. ц.

Рубрики: Computer science
   Computer communication networks
   Software engineering
   Logic design
   Computer science
   Software engineering
   Programming languages, compilers, interpreters
   Programming techniques
   Logics and meanings of programs
   Mathematical logic and formal languages
   Computer communication networks

См. : Текст издания

Доп.точки доступа:
Horváth, Z. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

13.

    Computational logic in multi-agent systems [Electronic resource] : 10th international workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009 : revised selected and invited papers / ed. J. Dix [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6214). - ISBN 978-3-642-16867-3 : Б. ц.

Рубрики: Computer science
   Computer communication networks
   Software engineering
   Logic design
   Information systems
   Artificial intelligence
   Computer science
   Artificial intelligence (incl. robotics)
   Mathematical logic and formal languages
   Computer communication networks
   Software engineering
   Information systems applications (incl.internet)
   Logics and meanings of programs

См. : Текст издания

Доп.точки доступа:
Dix, J. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

14.

    Computer performance engineering [Electronic resource] : 7th european performance engineering workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010 : proceedings / eds. A. Aldini [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6342). - ISBN 978-3-642-15784-4 : Б. ц.

Рубрики: Computer science
   Computer communication networks
   Software engineering
   Logic design
   Information systems
   Computer science
   Software engineering
   Computer communication networks
   Logics and meanings of programs
   Information systems applications (incl.internet)
   Programming techniques
   Programming languages, compilers, interpreters

См. : Текст издания

Доп.точки доступа:
Aldini, A. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

15.

    Computer science – theory and applications [Electronic resource] : 6th international computer science symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011 : proceedings / eds. A. Kulikov, N. Vereshchagin. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6651). - ISBN 978-3-642-20712-9 : Б. ц.

Рубрики: Computer science
   Computer software
   Logic design
   Computational complexity
   Computer science
   Algorithm analysis and problem complexity
   Logics and meanings of programs
   Mathematical logic and formal languages
   Discrete mathematics in computer science
   Computation by abstract devices
   Mathematics of computing

См. : Текст издания

Доп.точки доступа:
Kulikov, A. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

16.

    Conceptual modeling – ER 2010 [Electronic resource] : 29th international conference on conceptual modeling, Vancouver, BC, Canada, November 1-4, 2010 : proceedings / ed. J. Parsons [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6412). - ISBN 978-3-642-16373-9 : Б. ц.

Рубрики: Computer science
   Software engineering
   Logic design
   Artificial intelligence
   Computer science
   Software engineering
   Logics and meanings of programs
   Programming languages, compilers, interpreters
   Programming techniques
   Artificial intelligence (incl. robotics)
   Software engineering/programming and operating systems

См. : Текст издания

Доп.точки доступа:
Parsons, J. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

17.

    Database and xml technologies [Electronic resource] : 7th international XML database symposium, XSym 2010, Singapore, September 17, 2010: proceedings / M. L. Lee [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6309). - ISBN 978-3-642-15684-7 : Б. ц.

Рубрики: Computer science
   Software engineering
   Data structures (computer science)
   Computer software
   Logic design
   Database management
   Information storage and retrieval systems
   Computer science
   Database management
   Information storage and retrieval
   Data structures
   Algorithm analysis and problem complexity
   Software engineering
   Logics and meanings of programs

См. : Текст издания

Доп.точки доступа:
Lee, M.L.; Yu, J.X.; Bellahsène, Z.; Unland, R.; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

18.

    Declarative agent languages and technologies VIII [Electronic resource] : 8th international workshop, DALT 2010, Toronto, Canada, May 10, 2010 : revised, selected and invited papers / ed. A. Omicini [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6619). - ISBN 978-3-642-20715-0 : Б. ц.

Рубрики: Computer science
   Computer communication networks
   Software engineering
   Logic design
   Artificial intelligence
   Computer science
   Artificial intelligence (incl. robotics)
   Models and principles
   Computer communication networks
   Software engineering
   Programming languages, compilers, interpreters
   Logics and meanings of programs

См. : Текст издания

Доп.точки доступа:
Omicini, A. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

19.

    Distributed computing and internet technology [Electronic resource] : 7th international conference, ICDCIT 2011, Bhubaneshwar, India, February 9-12, 2011 : proceedings / ed. R. Natarajan, A. Ojo. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6536). - ISBN 978-3-642-19056-8 : Б. ц.

Рубрики: Computer science
   Computer communication networks
   Software engineering
   Logic design
   Information storage and retrieval systems
   Information systems
   Multimedia systems
   Computer science
   Computer communication networks
   Information systems applications (incl.internet)
   Multimedia information systems
   Software engineering
   Information storage and retrieval
   Logics and meanings of programs

См. : Текст издания

Доп.точки доступа:
Natarajan, R. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

20.

    Evaluation of novel approaches to software engineering [Electronic resource] : 3rd and 4th international conferences, ENASE 2008/2009, Funchal, Madeira, Portugal, May 4-7, 2008 / Milan, Italy, May 9-10, 2009 : revised selected papers / ed. L. A. Maciaszek [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer-Verlag, 2010. - (Communications in computer and information science, ISSN 1865-0929 ; 69). - ISBN 978-3-642-14819-4 : Б. ц.

Рубрики: Computer science
   Computer communication networks
   Software engineering
   Logic design
   Information systems
   Information systems
   Computer science
   Software engineering
   Logics and meanings of programs
   Computer communication networks
   Programming languages, compilers, interpreters
   Information systems applications (incl.internet)
   Management of computing and information systems

См. : Текст издания

Доп.точки доступа:
Maciaszek, L.A. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

21.

    Evolvable systems: from biology to hardware [Electronic resource] : 9th international conference, ICES 2010, York, UK, September 6-8, 2010 : proceedings / eds. G. Tempesti [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6274). - ISBN 978-3-642-15323-5 : Б. ц.

Рубрики: Computer science
   Computer communication networks
   Software engineering
   Logic design
   Artificial intelligence
   Computer science
   Software engineering
   Computation by abstract devices
   Computer communication networks
   Artificial intelligence (incl. robotics)
   Logics and meanings of programs
   Special purpose and application-based systems

См. : Текст издания

Доп.точки доступа:
Tempesti, G. \ред.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

22.

    FM 2011: formal methods [Electronic resource] : 17th international symposium on formal methods, Limerick, Ireland, June 20-24, 2011: proceedings / eds. M. Butler, W. Schulte. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6664). - ISBN 978-3-642-21437-0 : Б. ц.

Рубрики: Computer science
   Software engineering
   Logic design
   Information systems
   Computer science
   Software engineering
   Logics and meanings of programs
   Programming languages, compilers, interpreters
   Programming techniques
   Mathematical logic and formal languages
   Management of computing and information systems

См. : Текст издания

Доп.точки доступа:
Butler, M. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

23.

    Formal methods for components and objects [Electronic resource] : 8th international symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009 : revised selected papers / ed. F. S. Boer [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6286). - ISBN 978-3-642-17071-3 : Б. ц.

Рубрики: Computer science
   Software engineering
   Operating systems (computers)
   Logic design
   Computer science
   Software engineering
   Programming languages, compilers, interpreters
   Operating systems
   Logics and meanings of programs
   Software engineering/programming and operating systems
   Programming techniques

См. : Текст издания

Доп.точки доступа:
Boer, F.S. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

24.

    Formal methods for industrial critical systems [Electronic resource] : 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010 : proceedings / eds. S. Kowalewski, M. Roveri. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6371). - ISBN 978-3-642-15898-8 : Б. ц.

Рубрики: Computer science
   Software engineering
   Logic design
   Computer science
   Software engineering
   Logics and meanings of programs
   Programming languages, compilers, interpreters
   Special purpose and application-based systems

См. : Текст издания

Доп.точки доступа:
Kowalewski, S. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

25.

    Formal methods: foundations and applications [Electronic resource] : 13th brazilian symposium on formal methods, SBMF 2010, Natal, Brazil, November 8-11, 2010 : revised selected papers / ed. J. Davies [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6527). - ISBN 978-3-642-19829-8 : Б. ц.

Рубрики: Computer science
   Software engineering
   Logic design
   Information systems
   Computer science
   Software engineering
   Logics and meanings of programs
   Programming languages, compilers, interpreters
   Programming techniques
   Mathematical logic and formal languages
   Management of computing and information systems

См. : Текст издания

Доп.точки доступа:
Davies, J. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

26.

    Formal modeling and analysis of timed systems [Electronic resource] : 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010 : proceedings / eds. K. Chatterjee, T. A. Henzinger. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6246). - ISBN 978-3-642-15297-9 : Б. ц.

Рубрики: Computer science
   Software engineering
   Computer software
   Logic design
   Computer science
   Logics and meanings of programs
   Software engineering
   Programming languages, compilers, interpreters
   Mathematical logic and formal languages
   Programming techniques
   Algorithm analysis and problem complexity

См. : Текст издания

Доп.точки доступа:
Chatterjee, K. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

27.

    Formal techniques for distributed systems [Electronic resource] : 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 / eds. R. Bruni, J. Dingel. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6722). - ISBN 978-3-642-21461-5 : Б. ц.

Рубрики: Computer science
   Computer communication networks
   Software engineering
   Logic design
   Computer science
   Computer communication networks
   Programming techniques
   Software engineering
   Programming languages, compilers, interpreters
   Logics and meanings of programs
   Mathematical logic and formal languages

См. : Текст издания

Доп.точки доступа:
Bruni, R. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

28.

    Formal verification of object-oriented software [Electronic resource] : international conference, FoVeOOS 2010, Paris, France, June 28-30, 2010: revised selected papers / eds. B. Beckert, C. Marché. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6528). - ISBN 978-3-642-18070-5 : Б. ц.

Рубрики: Computer science
   Software engineering
   Logic design
   Information systems
   Computer science
   Software engineering
   Logics and meanings of programs
   Programming languages, compilers, interpreters
   Programming techniques
   Mathematical logic and formal languages
   Management of computing and information systems

См. : Текст издания

Доп.точки доступа:
Beckert, B. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

29.

    Foundational and practical aspects of resource analysis [Electronic resource] : first international workshop, FOPARA 2009, Eindhoven, the Netherlands, November 6, 2009 : revised selected papers / eds. M. Eekelen, O. Shkaravska. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in computer science, ISSN 0302-9743 ; 6324). - ISBN 978-3-642-15331-0 : Б. ц.

Рубрики: Computer science
   Computer communication networks
   Software engineering
   Computer software
   Logic design
   Computer science
   Software engineering
   Logics and meanings of programs
   Programming languages, compilers, interpreters
   Computer communication networks
   Algorithm analysis and problem complexity
   Programming techniques

См. : Текст издания

Доп.точки доступа:
Eekelen, M. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

30.

    Foundations of software science and computational structures [Electronic resource] : 14th international conference, FOSSACS 2011, held as part of the joint european conferences on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011 : proceedings / ed. M. Hofmann. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6604). - ISBN 978-3-642-19805-2 : Б. ц.

Рубрики: Computer science
   Software engineering
   Logic design
   Computer science
   Mathematical logic and formal languages
   Computation by abstract devices
   Logics and meanings of programs
   Programming languages, compilers, interpreters
   Software engineering

См. : Текст издания

Доп.точки доступа:
Hofmann, M. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

1-30 31-60 61-90

Тематический навигатор

Статистика обращений

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)