- 2 402 202 книги
- Поиск
Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings ... Programming and Software Engineering)
Автор: Maria Alpuente, Автор: Byron Cook, Автор: Christophe JoubertКатегория: Техника
Размер книги: 7.71 Mb
Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (Lecture Notes in ... Computer Science and General Issues)
Автор: Jeremy Gibbons, Автор: Jose Nuno OliveiraКатегория: Компьютеры
Размер книги: 2.85 Mb
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
Автор: Marco Bernardo, Автор: Luca Padovani, Автор: Gianluigi ZavattaroКатегория: Компьютеры
Размер книги: 5.97 Mb
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, ... Computer Science and General Issues)
Автор: Tiziana Margaria, Автор: Bernhard SteffenКатегория: Компьютеры
Размер книги: 13.00 Mb
Integrated Formal Methods: 7th International Conference, IFM 2009, Dusseldorf, Germany, February 16-19, 2009, Proceedings (Lecture Notes in Computer Science Programming and Software Engineering)
Автор: Michael Leuschel, Автор: Heike WehrheimКатегория: Компьютеры
Размер книги: 10.61 Mb
Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings (Lecture ... Programming and Software Engineering)
Автор: Stefan Kowalewski, Автор: Marco RoveriКатегория: Техника
Размер книги: 5.47 Mb
Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings (Lecture Notes in Computer Science)
Автор: Jim Davies, Автор: Wolfram Schulte, Автор: Mike BarnettКатегория: Компьютеры
Размер книги: 14.41 Mb
Web Services and Formal Methods: 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers (Lecture Notes ... Programming and Software Engineering)
Автор: Cosimo Laneve, Автор: Jianwen SuКатегория: Техника
Размер книги: 2.31 Mb
Formal Methods in Computer-Aided Design: 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings (Lecture Notes in Computer Science, 3312)
Автор: Alan J. Hu, Автор: Andrew K. MartinКатегория: Компьютеры
Размер книги: 16.01 Mb
FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (Lecture Notes in Computer Science Programming and Software Engineering)
Автор: Ana CavalcantiКатегория: Компьютеры
Размер книги: 10.19 Mb
Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December ... Programming and Software Engineering)
Автор: Karin Breitman, Автор: Ana CavalcantiКатегория: Техника
Размер книги: 13.82 Mb
Formal Methods for Industrial Critical Systems: 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers ... Programming and Software Engineering)
Автор: Darren Cofer, Автор: Alessandro FantechiКатегория: Техника
Размер книги: 3.83 Mb
Teaching Formal Methods: CoLogNET FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings (Lecture Notes in Computer Science)
Автор: C. Neville Dean, Автор: Raymond T. BouteКатегория: Компьютеры
Размер книги: 5.47 Mb
Formal Methods for Components and Objects
Автор: Frank S. de Boer, Автор: Marcello M. Bonsangue, Автор: Stefan Hallerstede, Автор: Michael LeuschelКатегория: Математика, Прикладная математика
Размер книги: 4.09 Mb
Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International ... Programming and Software Engineering)
Автор: Lubos Brim, Автор: Boudewijn Haverkort, Автор: Martin Leucker, Автор: Jaco van de PolКатегория: Техника
Размер книги: 3.48 Mb
Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, ... Programming and Software Engineering)
Автор: Alessandro Aldini, Автор: Marco Bernardo, Автор: Alessandra Di Pierro, Автор: Herbert WiklickyКатегория: Компьютеры
Размер книги: 1.53 Mb
FME '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings
Автор: International Symposium of Formal Methods, Автор: Maurice Naftalin, Автор: Tim Denvir, Автор: Miquel Bertran
Размер книги: 6.41 Mb
FM '99, Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings: v. 2
Автор: World Congress on Formal Methods in the Development of Computing Systems
Размер книги: 11.33 Mb
Formal Methods: State of Art and Future Directions
Автор: Clarke A.M., Автор: Wing J.M.
Размер книги: 168 Kb
Hardware Design Verification: Simulation and Formal Method-Based Approaches
Автор: William K. Lam
Размер книги: 6.63 Mb
CAFE: An Industrial Strength Algebraic Formal Method
Автор: K. Futatsugi, Автор: A.T. Nakagawa, Автор: T. TamaiКатегория: Mathematical logic
Размер книги: 1.91 Mb
Formal methods for web services advanced lectures, 9, 2009, Bertinoro
Автор: Marco Bernardo, Автор: Luca Padovani, Автор: Gianluigi Zavattaro
Размер книги: 8.71 Mb
Formal methods in software and systems modeling: essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday
Автор: Hans-Jörg Kreowski, Автор: Ugo Montanari, Автор: Fernando Orejas, Автор: Grzegorz Rozenberg, Автор: Gabriele Taentzer
Размер книги: 5.14 Mb
Formal Methods in Computer-Aided Design, 5 conf., FMCAD 2004
Автор: Alan J. Hu, Автор: Andrew K. MartinКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 11.75 Mb
Formal Methods for Components and Objects, 4 conf., FMCO 2005
Автор: Frank S. de Boer, Автор: Marcello M. Bonsangue, Автор: Susanne Graf, Автор: Willem-Paul de RoeverКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 3.85 Mb
Lectures on Formal Methods and Performance Analysis, 1 school, 2000
Автор: Ed Brinksma, Автор: Holger Hermanns, Автор: Joost-Pieter KatoenКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 3.80 Mb
Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control 1995
Автор: Jean-Raymond Abrial, Автор: Egon Börger, Автор: Hans LangmaackКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 4.81 Mb
Formal Methods for the Design of Real-Time Systems, SFM-RT 2004
Автор: Marco Bernardo, Автор: Flavio CorradiniКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 2.31 Mb
Teaching Formal Methods, CoLogNET-FME Symposium, TFM 2004
Автор: C. Neville Dean, Автор: Raymond T. BouteКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 22.56 Mb
Formal Methods in Computer-Aided Design, 5 conf., FMCAD 2004
Автор: Alan J. Hu, Автор: Andrew K. MartinКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 7.69 Mb
Formal Methods and Software Engineering, 9 conf., ICFEM 2007
Автор: Michael Butler, Автор: Michael G. Hinchey, Автор: Maria M. Larrondo-PetrieКатегория: CsLn_
Размер книги: 4.28 Mb
Formal Methods at the Crossroads, 10 conf., UNU-IIST 2002
Автор: Bernhard K. Aichernig, Автор: Tom MaibaumКатегория: CsLn_
Размер книги: 3.45 Mb
Formal Methods for Components and Objects, 2 conf., FMCO 2003
Автор: Frank S. de Boer, Автор: Marcello M. Bonsangue, Автор: Susanne GrafКатегория: CsLn_
Размер книги: 7.29 Mb
Formal Methods for Components and Objects, 5 conf., FMCO 2006
Автор: Frank S. de Boer, Автор: Marcello M. Bonsangue, Автор: Susanne Graf, Автор: Willem-Paul de RoeverКатегория: CsLn_
Размер книги: 3.18 Mb
Formal Methods for Mobile Computing, 5 conf., SFM-Moby 2005
Автор: Marco Bernardo, Автор: Alessandro BoglioloКатегория: CsLn_
Размер книги: 2.88 Mb
Formal Methods for Open Object-Based Distributed Systems, 6th IFIP WG 6.1, FMOODS 2003
Автор: Elie Najm, Автор: Uwe Nestmann, Автор: Perdita StevensКатегория: CsLn_
Размер книги: 4.29 Mb
Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1, FMOODS 2007
Автор: Marcello M. Bonsangue, Автор: Einar Broch JohnsenКатегория: CsLn_
Размер книги: 3.57 Mb
Formal Methods for Performance Evaluation, 7 school, SFM 2007
Автор: Marco Bernardo, Автор: Jane HillstonКатегория: CsLn_
Размер книги: 4.81 Mb
Formal Methods for Software Architectures, 3 school, SFM 2003
Автор: Marco Bernardo, Автор: Paola InverardiКатегория: CsLn_
Размер книги: 3.72 Mb
Formal Methods in Software and Systems Modeling
Автор: Hans-Jörg Kreowski, Автор: Ugo Montanari, Автор: Fernando Orejas, Автор: Grzegorz Rozenberg, Автор: Gabriele TaentzerКатегория: CsLn_
Размер книги: 4.30 Mb
Integrated Formal Methods, 4 conf., IFM 2004
Автор: Eerke Boiten, Автор: John Derrick, Автор: Graeme SmithКатегория: CsLn_
Размер книги: 9.89 Mb
Integrated Formal Methods, 6 conf., IFM 2007
Автор: Jim Davies, Автор: Jeremy GibbonsКатегория: CsLn_
Размер книги: 6.13 Mb
From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl (Lecture Notes in Computer Science)
Автор: Olaf Owe, Автор: Stein Krogdahl, Автор: Tom LycheКатегория: Computer Science, Computer Science
Размер книги: 4.29 Mb
Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected ... / Programming and Software Engineering)
Автор: Marcel Vinícius Medeiros Oliveira, Автор: Jim Woodcock
Размер книги: 3.83 Mb
Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)
Автор: Jeremy Gibbons, Автор: Jose Nuno Oliveira
Размер книги: 3.71 Mb
Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings (Lecture ... / Programming and Software Engineering)
Автор: María Alpuente, Автор: Byron Cook, Автор: Christophe Joubert
Размер книги: 9.47 Mb
Formal Methods: State of the Art and New Directions
Автор: Paul Boca, Автор: Jonathan P. Bowen, Автор: Jawed Siddiqi
Размер книги: 3.23 Mb
Software Development With Z: A Practical Approach to Formal Methods in Software Engineering
Автор: John WordsworthКатегория: Cs_Computer science, CsPl_Programming languages
Размер книги: 2.12 Mb
The Way of Z: Practical Programming with Formal Methods
Автор: Jonathan JackyКатегория: Cs_Computer science, CsPl_Programming languages
Размер книги: 2.21 Mb
Modern Formal Methods and Applications
Автор: Hossam A. GabbarКатегория: Cs_Computer science, CsPl_Programming languages
Размер книги: 1.60 Mb
Integrated Formal Methods, 7 conf., IFM 2009
Автор: Michael Leuschel, Автор: Heike WehrheimКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 5.05 Mb
Formal Methods: foundations and Applications, 12 conf., SBMF2009
Автор: Marcel Vinícius Medeiros Oliveira, Автор: Jim WoodcockКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 3.55 Mb
FME '93: Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings
Автор: James C.P. Woodcock, Автор: Peter G. Larsen
Размер книги: 6.15 Mb
FME '96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, ...
Автор: Marie-Claude Gaudel, Автор: James Woodcock
Размер книги: 6.04 Mb
FME '97 Industrial Applications and Strengthened Foundations of Formal Methods: 4th International Symposium of Formal Methods Europe, Graz, Austria, ...
Автор: John Fitzgerald, Автор: Cliff B. Jones, Автор: Peter Lucas
Размер книги: 7.19 Mb
Formal Methods in Computer-Aided Design: First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings
Автор: Mandayam Srivas, Автор: Albert Camilleri
Размер книги: 5.79 Mb
Formal Methods in Computer-Aided Design: Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings
Автор: Ganesh Gopalakrishnan, Автор: Phillip Windley
Размер книги: 4.13 Mb
Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings
Автор: Dines Bjorner, Автор: Manfred Broy, Автор: Igor V. Pottosin
Размер книги: 3.88 Mb
FM '99, Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings: v. 1
Автор: Jeannette M. Wing, Автор: Jim Woodcook, Автор: Jim Davies
Размер книги: 10.75 Mb
FME 2001. Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001. Proceedings
Автор: Jose N. Oliveira, Автор: Pamela Zave
Размер книги: 5.04 Mb
Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings: ... - Proceedings 5th
Автор: Jost-Pieter Katoen
Размер книги: 3.58 Mb
Formal Methods in Computer-Aided Design: Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings
Автор: Ganesh Gopalakrishnan, Автор: Phillip Windley
Размер книги: 4.14 Mb
Formal Methods in Computer-Aided Design: Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings
Автор: Warren A. Jr. Hunt, Автор: Steven D. Johnson
Размер книги: 5.43 Mb
Integrated Formal Methods: Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings
Автор: Wolfgang Grieskamp, Автор: Thomas Santen, Автор: Bill Stoddart
Размер книги: 3.20 Mb
Spatial Cognition II: Integrating Abstract Theories, Empirical Studies, Formal Methods, and Practical Applications: v. 2
Автор: Christian Freksa, Автор: Wilfried Brauer, Автор: Christopher Habel, Автор: Karl F. Wender
Размер книги: 5.35 Mb
Applying Formal Methods: Testing, Performance and M-ECommerce, FORTE 2004
Автор:
Размер книги: 4.62 Mb
FME 2002: Formal Methods - Getting IT Right: International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings
Автор: Lars-Henrik Eriksson, Автор: Peter A. Lindsay
Размер книги: 5.34 Mb
FME 2003: Formal Methods: International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings
Автор: Keijiro Araki, Автор: Stefania Gnesi, Автор: Dion Mandrioli
Размер книги: 8.13 Mb
Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings
Автор: Chris George, Автор: Huaikou Miao
Размер книги: 5.96 Mb
Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings
Автор: Jin Song Dong, Автор: Jim Woodcock
Размер книги: 5.79 Mb
Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures
Автор: Frank S.de Boer, Автор: Marcello Bonsangue, Автор: Susanne Graf, Автор: Willem-Paul de Roever
Размер книги: 4.59 Mb
Formal Methods in Computer-Aided Design
Автор: Mark D. Aagaard, Автор: John W. O'Leary
Размер книги: 3.52 Mb
From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl
Автор: Olaf Owe, Автор: Stein Krogdahl, Автор: Tom Lyche
Размер книги: 3.27 Mb
Integrated Formal Methods
Автор: Michael Butler, Автор: Luigia Petre, Автор: Kaisa Sere
Размер книги: 2.79 Mb
FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings
Автор: John Fitzgerald, Автор: Ian J. Hayes, Автор: Andrzej Tarlecki
Размер книги: 5.44 Mb
FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
Автор: Jayadev Misra, Автор: Tobias Nipkow, Автор: Emil Sekerinski
Размер книги: 6.76 Mb
FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings
Автор: Jorge Cuellar
Размер книги: 5.63 Mb
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays
Автор: Cliff B. Jones, Автор: Zhiming Liu, Автор: Jim Woodcock
Размер книги: 5.37 Mb
Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings
Автор: Jim Davies, Автор: Wolfram Schulte, Автор: Mike Barnett
Размер книги: 6.34 Mb
Formal Methods and Software Engineering: 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005,
Автор: Kung-Kiu Lau, Автор: Richard Banach
Размер книги: 6.39 Mb
Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006,
Автор: Zhiming Liu, Автор: Jifeng He
Размер книги: 10.53 Mb
Formal Methods and Stochastic Models for Performance Evaluation: Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June
Автор: András Horváth, Автор: Miklós Telek
Размер книги: 3.73 Mb
Formal Methods and Stochastic Models for Performance Evaluation: Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September
Автор: Katinka Wolter
Размер книги: 4.62 Mb
Formal Methods and Testing: An Outcome of the FORTEST Network. Revised Selected Papers
Автор: Robert M. Hierons, Автор: Jonathan P. Bowen, Автор: Mark Harman
Размер книги: 8.13 Mb
Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures
Автор: Frank S. de Boer, Автор: Marcello M. Bonsangue, Автор: Susanne Graf, Автор: Willem-Paul de Roever
Размер книги: 3.47 Mb
Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems,
Автор: Marco Bernardo, Автор: Pierpaolo Degano, Автор: Gianluigi Zavattaro
Размер книги: 11.98 Mb
Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems,
Автор: Marco Bernardo, Автор: Alessandro Cimatti
Размер книги: 2.88 Mb
Formal Methods for Industrial Critical Systems: 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers
Автор: Stefan Leue, Автор: Pedro Merino
Размер книги: 3.77 Mb
Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
Автор: Gilles Barthe, Автор: Frank S. de Boer
Размер книги: 2.74 Mb
Formal Methods for Open Object-Based Distributed Systems: 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005,
Автор: Martin Steffen
Размер книги: 3.59 Mb
Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006,
Автор: Roberto Gorrieri, Автор: Heike Wehrheim
Размер книги: 3.98 Mb
Formal Methods in Systems Biology: First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008, Proceedings
Автор: Jasmin Fisher
Размер книги: 6.36 Mb
Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th
Автор: Lubos Brim, Автор: Boudewijn Haverkort
Размер книги: 5.06 Mb
Integrated Formal Methods: 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings
Автор: Judi M.T. Romijn, Автор: Graeme P. Smith, Автор: Jaco C. van de Pol
Размер книги: 4.40 Mb
Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers
Автор: Tiziana Maragria, Автор: Bernhard Steffen
Размер книги: 2.40 Mb
Web Services and Formal Methods: Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings
Автор: Mario Bravetti, Автор: Manuel Núñez, Автор: Gianluigi Zavattaro
Размер книги: 5.97 Mb
Показаны не все результаты, удовлетворяющие запросу. Чтобы увидеть другие результаты, пожалуйста, уточните запрос.