Search Results for Formal languages.

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Subject: Software engineering.

Author

SpringerLink (Online service)

(193)

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739

(10)

Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558

(9)

Legay, Axel. editor.

(6)

Schmidt, Renate A. editor.

(4)

Liu, Shaoying. editor.

(3)

Albert, Elvira. editor.

(2)

Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093

(2)

Bernardo, Marco. editor.

(2)

Blazy, Sandrine. editor.

(2)

Bouajjani, Ahmed. editor.

(2)

Chaudhuri, Swarat. editor.

(2)

De Nicola, Rocco. editor.

(2)

Debruyne, Christophe. editor.

(2)

Farzan, Azadeh. editor.

(2)

Fränzle, Martin. editor.

(2)

Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421

(2)

Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801

(2)

Hinchey, Mike. editor.

(2)

Huisman, Marieke. editor. (orcid)0000-0003-4467-072X

(2)

Hähnle, Reiner. editor.

(2)

Johnsen, Einar Broch. editor.

(2)

Kapur, Deepak. editor.

(2)

Lecomte, Thierry. editor.

(2)

Lämmel, Ralf. editor.

(2)

Mayr, Heinrich C. editor.

(2)

Nikitchenko, Mykola. editor.

(2)

Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259

(2)

Ong, Luke. editor.

(2)

Panetto, Hervé. editor. (orcid)0000-0002-5537-2261

(2)

Potapov, Igor. editor.

(2)

Proença, José. editor.

(2)

Roman, Dumitru. editor.

(2)

Romanovsky, Alexander. editor.

(2)

Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X

(2)

Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340

(2)

Saraiva, João. editor.

(2)

Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X

(2)

Son, Tran Cao. editor.

(2)

Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126

(2)

Voronkov, Andrei. editor.

(2)

Zholtkevych, Grygoriy. editor.

(2)

de Moura, Leonardo. editor.

(2)

Ábrahám, Erika. editor.

(2)

Abate, Alessandro. editor.

(1)

Abate, Alessandro. editor. (orcid)0000-0002-5627-9093

(1)

Abbas, Houssam. editor. (orcid)0000-0002-8096-2618

(1)

Abdulla, Parosh Aziz. editor.

(1)

Abelló, Alberto. editor.

(1)

Aceto, Luca. editor.

(1)

Ahrendt, Wolfgang. editor.

(1)

Aichernig, Bernhard K. editor.

(1)

Aiswarya, C. editor. (orcid)0000-0002-4878-7581

(1)

Aldini, Alessandro. editor.

(1)

Alferes, Jose Julio. editor.

(1)

Alkhalaf, Muath. author.

(1)

Antonucci, Alessandro. editor.

(1)

Arbel, Eli. editor.

(1)

Ardagna, Claudio Agostino. editor. (orcid)0000-0001-7426-4795

(1)

Artho, Cyrille. editor.

(1)

Ayala-Rincón, Mauricio. editor.

(1)

Aydin, Abdulbaki. author.

(1)

Bacci, Giorgio. editor.

(1)

Bacci, Giovanni. editor.

(1)

Baier, Christel. editor.

(1)

Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408

(1)

Balduccini, Marcello. editor.

(1)

Barbosa, Haniel. editor.

(1)

Barrett, Clark. editor.

(1)

Batsakis, Sotiris. editor.

(1)

Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291

(1)

Bellatreche, Ladjel. editor. (orcid)0000-0001-9968-0066

(1)

Bensalem, Saddek. editor.

(1)

Berdine, Josh. editor.

(1)

Bertacco, Valeria. editor.

(1)

Bertogna, Marko. editor.

(1)

Bertossi, Leopoldo. editor.

(1)

Best, Eike. editor.

(1)

Beyer, Dirk. editor.

(1)

Biere, Armin. editor.

(1)

Binder, Walter. editor.

(1)

Biro, Miklos. editor.

(1)

Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121

(1)

Blanchette, Jasmin Christian. editor.

(1)

Bloem, Roderick. editor.

(1)

Blömer, Johannes. editor.

(1)

Bodden, Eric. editor.

(1)

Boer, Frank S. editor.

(1)

Bogomolov, Sergiy. editor.

(1)

Boldo, Sylvie. editor.

(1)

Bollen, Peter. editor.

(1)

Bollig, Benedikt. author.

(1)

Bonacina, Maria Paola. editor.

(1)

Bonsangue, Marcello M. editor.

(1)

Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618

(1)

Boreale, Michele. editor.

(1)

Bouraoui, Zied. editor.

(1)

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140

(1)

Bowen, Judy. editor.

(1)

Bozzano, Marco. editor. (orcid)0000-0002-4135-103X

(1)

Bošnački, Dragan. editor.

(1)

Braga, Christiano. editor.

(1)

Bravetti, Mario. editor.

(1)

Broering, Arne. editor.

(1)

Bubel, Richard. editor.

(1)

Bultan, Tevfik. author.

(1)

Butler, Michael. editor.

(1)

Cabalar, Pedro. editor.

(1)

Carayol, Arnaud. editor.

(1)

Carmona, Josep. editor.

(1)

Carrascosa, Carlos. editor.

(1)

Castagna, Giuseppe. editor.

(1)

Castor, Fernando. editor.

(1)

Cavalcanti, Ana. editor.

(1)

Cellier, Peggy. editor.

(1)

Chechik, Marsha. editor.

(1)

Chechik, Marsha. editor. (orcid)0000-0002-6301-3517

(1)

Cholvy, Laurence. editor.

(1)

Cimiano, Philipp. editor. (orcid)0000-0002-4771-441X

(1)

Ciuciu, Ioana. editor.

(1)

Coecke, Bob. editor.

(1)

Cornélio, Márcio. editor.

(1)

Costantini, Stefania. editor.

(1)

Criado Pacheco, Natalia. editor.

(1)

Crnkovic, Ivica. editor.

(1)

Cunha, Jácome. editor.

(1)

Czarnecki, Krzysztof. editor.

(1)

Cámara, Javier. editor.

(1)

Câmpeanu, Cezar. editor.

(1)

Davies, Misty. editor.

(1)

Dierkes, Michael. editor.

(1)

Distel, Felix. editor.

(1)

Dix, Alan. editor.

(1)

Dixon, Clare. editor.

(1)

Dragoni, Mauro. editor. (orcid)0000-0003-0380-6571

(1)

Duan, Zhenhua. editor.

(1)

Duan, Zhenhua. editor. (orcid)0000-0003-2772-1433

(1)

Duchier, Denys. editor.

(1)

Echahed, Rachid. editor.

(1)

Eder, Johann. editor.

(1)

Engels, Gregor. editor.

(1)

England, Matthew. editor.

(1)

Ermolayev, Vadim. editor.

(1)

Ernst, Gidon. editor. (orcid)0000-0002-3289-5764

(1)

Erwig, Martin. editor.

(1)

Esparza, Javier. editor. (orcid)0000-0001-9862-4919

(1)

Feliachi, Abderrahmane. editor.

(1)

Fensel, Anna. editor.

(1)

Fernandes, João P. editor.

(1)

Finger, Marcelo. editor.

(1)

Fitzgerald, John. editor.

(1)

Fleuriot, Jacques. editor.

(1)

Fodor, Paul. editor.

(1)

Fontaine, Pascal. editor.

(1)

Foster, Simon. editor. (orcid)0000-0002-9889-9514

(1)

Franconi, Enrico. editor.

(1)

Frank, Anette. editor. (orcid)0000-0003-4706-9817

(1)

Frank, Ulrich. editor.

(1)

Furia, Carlo A. editor.

(1)

Fähndrich, Manuel. editor.

(1)

Gaaloul, Walid. editor.

(1)

Galmiche, Didier. editor.

(1)

Ganter, Bernhard. editor.

(1)

Gaudel, Marie-Claude. editor.

(1)

Geeraerts, Gilles. editor.

(1)

Geuvers, Herman. editor.

(1)

Ghosh, Sujata. editor.

(1)

Giachino, Elena. editor.

(1)

Giacobazzi, Roberto. editor.

(1)

Gibson-Robinson, Thomas. editor.

(1)

Gorrieri, Roberto. author.

(1)

Governatori, Guido. editor.

(1)

Graf, Susanne. editor. (orcid)0000-0003-4354-6807

(1)

Groves, Lindsay. editor.

(1)

Guiochet, Jérémie. editor.

(1)

Guizzardi, Giancarlo. editor. (orcid)0000-0002-3452-553X

(1)

Gurfinkel, Arie. editor.

(1)

Güdemann, Matthias. editor. (orcid)0000-0002-1002-6023

(1)

Hage, Jurriaan. editor.

(1)

Hague, Matthew. editor.

(1)

Hankin, Chris. editor.

(1)

Hansen, René Rydhof. editor.

(1)

Hasan, Osman. editor.

(1)

Hedin, Görel. editor.

(1)

Heitmeyer, Constance. editor.

(1)

Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X

(1)

Hierons, Robert M. editor.

(1)

Hillston, Jane. editor. (orcid)0000-0003-4914-9255

(1)

Hinze, Ralf. editor.

(1)

Hopcroft, Philippa. editor.

(1)

Hung, Dang Van. editor.

(1)

Höfner, Peter. editor.

(1)

Ida, Tetsuo. editor.

(1)

Igarashi, Atsushi. editor. (orcid)0000-0002-5143-9764

(1)

Ingólfsdóttir, Anna. editor.

(1)

Ivanovic, Mirjana. editor. (orcid)0000-0003-1946-0384

(1)

Jacobs, Bart. editor.

(1)

James, Phillip. editor.

(1)

Janhunen, Tomi. editor.

(1)

Jimenez-Ruiz, Ernesto. editor.

(1)

Language

(193)

Publication Date

-

(60)

(60)

(43)

(15)

(13)

(1)

(1)

Subject

Computer science.

(164)

Formal Languages and Automata Theory.

(135)

Machine theory.

(135)

Computer Science Logic and Foundations of Programming.

(110)

Artificial intelligence.

(73)

Compilers (Computer programs).

(72)

Compilers and Interpreters.

(72)

Programming Techniques.

(46)

Mathematical Logic and Formal Languages.

(43)

(34)

Logics and Meanings of Programs.

(34)

Computer Communication Networks.

(30)

Computer networks .

(29)

Computer programming.

(29)

(28)

Theory of Computation.

(27)

Programming Languages, Compilers, Interpreters.

(25)

Application software.

(23)

Computer and Information Systems Applications.

(23)

Computer simulation.

(22)

Computer science -- Mathematics.

(20)

Artificial Intelligence (incl. Robotics).

(19)

Computer Modelling.

(18)

Special Purpose and Application-Based Systems.

(15)

Computers, Special purpose.

(14)

Discrete Mathematics in Computer Science.

(13)

Computer software.

(11)

Algorithm Analysis and Problem Complexity.

(10)

Computation by Abstract Devices.

(8)

Computer System Implementation.

(8)

Computer systems.

(8)

Discrete mathematics.

(8)

Mathematics of Computing.

(8)

Information Storage and Retrieval.

(7)

Information storage and retrieval systems.

(7)

Computer Engineering and Networks.

(6)

Computer engineering.

(6)

Control Structures and Microprogramming.

(6)

(6)

Logic programming.

(6)

Microprogramming .

(6)

Computational complexity.

(5)

Data Mining and Knowledge Discovery.

(5)

(5)

Data protection.

(5)

Electronic data processing -- Management.

(5)

(5)

Natural Language Processing (NLP).

(5)

Natural language processing (Computer science).

(5)

Data and Information Security.

(4)

Database management.

(4)

Information theory.

(4)

Mathematical Logic and Foundations.

(4)

Mathematical logic.

(4)

Simulation and Modeling.

(4)

Symbolic and Algebraic Manipulation.

(4)

(3)

Electronic digital computers -- Evaluation.

(3)

Information Systems Applications (incl. Internet).

(3)

Information Systems.

(3)

Management of Computing and Information Systems.

(3)

Mathematical statistics.

(3)

Models of Computation.

(3)

Probability and Statistics in Computer Science.

(3)

Programming Language.

(3)

Programming languages (Electronic computers).

(3)

System Performance and Evaluation.

(3)

Algebra -- Data processing.

(2)

Artificial intelligence -- Data processing.

(2)

Computer Application in Administrative Data Processing.

(2)

(2)

Data Structures and Information Theory.

(2)

Data structures (Computer science).

(2)

Information systems.

(2)

Information technology -- Management.

(2)

Software Engineering/Programming and Operating Systems.

(2)

(1)

Automated Pattern Recognition.

(1)

Business information services.

(1)

Computer Science, general.

(1)

Computer graphics.

(1)

Computer programs -- Testing.

(1)

Computers and Education.

(1)

Computers and Society.

(1)

Computers and civilization.

(1)

Computing Milieux.

(1)

Control and Systems Theory.

(1)

Control engineering.

(1)

Design and Analysis of Algorithms.

(1)

Education -- Data processing.

(1)

Hardware Performance and Reliability.

(1)

Health Informatics.

(1)

Human-computer interaction.

(1)

IT in Business.

(1)

Industrial and Production Engineering.

(1)

Industrial engineering.

(1)

(1)

Mathematical Applications in Computer Science.

(1)

Medical records -- Data processing.

(1)

Monoclonal antibodies.

(1)

Operating Systems.

(1)

Operating systems (Computers).

(1)

Optical pattern recognition.

(1)

Order, Lattices, Ordered Algebraic Structures.

(1)

Pattern Recognition.

(1)

Pattern recognition systems.

(1)

(1)

(1)

Robotic Engineering.

(1)

(1)

Software Testing.

(1)

Systems and Data Security.

(1)

The Computing Profession.

(1)

User Interfaces and Human Computer Interaction.

(1)

User interfaces (Computer systems).

(1)

Material Type

Shelf Location

Electronic Library

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

193 Results Found

Subscribe to search results

1 2 3 4 5 .. 17

000000000000DEFAULT

Print

Select a list

Make this your default list.

The following items were successfully added.

There was an error while adding the following items. Please try again.

One or more items could not be added because you are not logged in.

13.

Cover image for Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings

Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings

Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings

Author

Ábrahám, Erika. editor. (orcid)0000-0002-5647-6134 Abbas, Houssam. editor. (orcid)0000-0002-8096-2618 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-74234-7

Format:

Availability

Online Library~1

Available:
Copies:

14.

Cover image for Real Time and Such Essays Dedicated to Wang Yi to Celebrate His Scientific Career

Real Time and Such Essays Dedicated to Wang Yi to Celebrate His Scientific Career

Real Time and Such Essays Dedicated to Wang Yi to Celebrate His Scientific Career

Author

Graf, Susanne. editor. (orcid)0000-0003-4354-6807 Pettersson, Paul. editor. (orcid)0000-0003-4040-3480 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-73751-0

Format:

Availability

Online Library~1

Available:
Copies:

15.

Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III

Author

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-75380-0

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II

Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II

Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II

Author

Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340 Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-82703-7

Format:

Availability

Online Library~1

Available:
Copies:

17.

Cover image for Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I

Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I

Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I

Author

Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340 Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-82700-6

Format:

Availability

Online Library~1

Available:
Copies:

18.

Cover image for Symbolic and Quantitative Approaches to Reasoning with Uncertainty 18th European Conference, ECSQARU 2025, Hagen, Germany, September 23-26, 2025, Proceedings

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 18th European Conference, ECSQARU 2025, Hagen, Germany, September 23-26, 2025, Proceedings

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 18th European Conference, ECSQARU 2025, Hagen, Germany, September 23-26, 2025, Proceedings

Author

Sauerwald, Kai. editor. (orcid)0000-0002-1551-7016 Thimm, Matthias. editor. (orcid)0000-0002-8157-1053 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-032-05134-9

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for Symbolic and Quantitative Approaches to Reasoning with Uncertainty 17th European Conference, ECSQARU 2023, Arras, France, September 19-22, 2023, Proceedings

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 17th European Conference, ECSQARU 2023, Arras, France, September 19-22, 2023, Proceedings

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 17th European Conference, ECSQARU 2023, Arras, France, September 19-22, 2023, Proceedings

Author

Bouraoui, Zied. editor. Vesic, Srdjan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-45608-4

Format:

Availability

Online Library~1

Available:
Copies:

20.

Cover image for Formal Aspects of Component Software 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers

Formal Aspects of Component Software 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers

Formal Aspects of Component Software 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers

Author

Cámara, Javier. editor. Jongmans, Sung-Shik. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-52183-6

Format:

Availability

Online Library~1

Available:
Copies:

21.

Cover image for The French School of Programming

The French School of Programming

The French School of Programming

Author

Meyer, Bertrand. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-34518-0

Format:

Availability

Online Library~1

Available:
Copies:

22.

Cover image for Rewriting Logic and Its Applications 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers

Rewriting Logic and Its Applications 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers

Rewriting Logic and Its Applications 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers

Author

Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259 Martí-Oliet, Narciso. editor. (orcid)0000-0002-6576-762X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-65941-6

Format:

Availability

Online Library~1

Available:
Copies:

23.

Cover image for The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement

The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement

The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement

Author

Foster, Simon. editor. (orcid)0000-0002-9889-9514 Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-67114-2

Format:

Availability

Online Library~1

Available:
Copies:

24.

Cover image for Formal Aspects of Component Software 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings

Formal Aspects of Component Software 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings

Formal Aspects of Component Software 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings

Author

Marmsoler, Diego. editor. (orcid)0000-0003-2859-7673 Sun, Meng. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-71261-6

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 .. 17

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11