определение типа

Вторая строка уточняет тип документа как taglib и задает URL DTD (определение типа документа), в котором описывается структура документа taglib, DTD используется контейнерами сервлетов для проверки корректности документа

The second line further identifies the document type as taglib and supplies a URL to a document type definition (DTD) that defines the structure of taglib documents. That DTD is used by servlet containers to validate the document.

Гери, Дэвид М. / Java Server Pages. Библиотека профессионалаGeary, David M. / Advanced JavaServer Pages

Advanced JavaServer Pages

Geary, David M.

Java Server Pages. Библиотека профессионала

Гери, Дэвид М.

© Prentice Hall Inc., 2001

© Издательский дом "Вильямс", 2002

Определение типа носителя резервирования

Determine What Type of Backup Media to Use

Аллен, Дэвид,Скотт, Эндрю,Льюис, Герберт,Стайл, Джон,Такк, Тимоти / Переход с Windows на LinuxAllen, David,Scott, Andrew,Lewis, Herb,Stile, John,Tuck, Tim / Windows to Linux Migration Toolkit

Windows to Linux Migration Toolkit

Allen, David,Scott, Andrew,Lewis, Herb,Stile, John,Tuck, Tim

© 2004 by Syngress Publishing, Inc.

Переход с Windows на Linux

Аллен, Дэвид,Скотт, Эндрю,Льюис, Герберт,Стайл, Джон,Такк, Тимоти

© 2004 by Syncress Publishing, Inc.

© Перевод на русский язык, «БХВ-Петербург» 2005

Определение типа браузера

Determining browser type.

Хольцнер, Стивен,Далхаймер, Маттиас Калле / PHP в примерахHolzner, Steven / Spring Into PHP 5

Spring Into PHP 5

Holzner, Steven

© 2005 Pearson Education, Inc.

PHP в примерах

Хольцнер, Стивен,Далхаймер, Маттиас Калле

© 2005 by Addison-Wesley

© 2007 by Binom Publishers, русскоязычное издание

Для этой цели дадим сначала более полное определение тензоров типа III, являющееся по существу «классическим» определением.

For this purpose we shall first give a more complete definition of type III tensors which is in essence the 'classical' definition.

Пенроуз, Роджер,Риндлер, В. / Спиноры и пространство-время. Два-спинорное исчисление и релятивистские поляPenrose, Roger,Rindler, Wolfgang / Spinors and Space-Time: Volume 1: Two-Spinor Calculus and Relativistic Fields

Spinors and Space-Time: Volume 1: Two-Spinor Calculus and Relativistic Fields

Penrose, Roger,Rindler, Wolfgang

© Cambridge University Press 1984

Спиноры и пространство-время. Два-спинорное исчисление и релятивистские поля

Пенроуз, Роджер,Риндлер, В.

© Cambridge University Press 1984

© перевод на русский язык, «Мир», 1987

Поначалу может показаться противоестественным, что налоги считаются депозитом, но, если вы перечитаете еще раз определение счета типа Expenses (Расход), все встанет на свои места.

At first it may seem counterintuitive that taxes are a deposit in an account, but if you reread the earlier definition for an Expense account it should make sense.

Далхаймер, Маттиас Калле,Уэлш, Мэтт / Запускаем LinuxDalheimer, Matthias Kalle,Welsh, Matt / Running Linux

Running Linux

Dalheimer, Matthias Kalle,Welsh, Matt

© 2006, 2002, 1999, 1996, 1995 O'Reilly Media, Inc.

Запускаем Linux

Далхаймер, Маттиас Калле,Уэлш, Мэтт

© Издательство Символ-Плюс, 2008

© 2006 O'Reilly Media, Inc.

Этот термин часто применим к задаче определения типа функции по ее телу.

The term is often applied to the problem of inferring the type of a function from its body.

Ахо, Альфред В.,Ульман, Джеффри,Сети, Рави / Компиляторы: принципы, технологии, инструментыAho, Alfred V.,Sethi, Ravi,Ullman, Jeffrey / Compilers: Principles, Techniques, and Tools

Compilers: Principles, Techniques, and Tools

Aho, Alfred V.,Sethi, Ravi,Ullman, Jeffrey

© 2001 by PEARSON EDUCATION NORTH ASIA LIMITED and PEOPLE'S POSTS & TELECOMMUNICATIONS PUBLISHING HOUSE

© 1986

Компиляторы: принципы, технологии, инструменты

Ахо, Альфред В.,Ульман, Джеффри,Сети, Рави

© Addison-Wesley Publishing Company, Inc., 1985

© 2001

© Издательский дом "Вильямс", 2001

Ожидается, что стандарты описания различных типов дескрипторов и структур, которые могут находиться между парами таких дескрипторов, будут развиваться в различных сферах деятельности в виде определений типа документа (DTD — Document-Type Definition).

To make clear what the different kinds of tags are, and what structures may appear between matching pairs of these tags, people with a common interest are expected to develop standards in the form of a DTD (Document-Type Definition).

Хопкрофт, Джон,Мотвани, Раджив,Ульман, Джеффри / Введение в теорию автоматов, языков и вычисленийHopcroft, John,Motwani, Rajeev,Ullman, Jeffrey / Introduction to automata theory, languages, and computation

Introduction to automata theory, languages, and computation

Hopcroft, John,Motwani, Rajeev,Ullman, Jeffrey

© 2001 by Addison-Wesley

Введение в теорию автоматов, языков и вычислений

Хопкрофт, Джон,Мотвани, Раджив,Ульман, Джеффри

© Издательский дом "Вильямс", 2002

© Addison-Wesley Publishing Company, Inc. 2001

Функции определения типа

Type inquiry functions

Хорстманн, Кей С.,Корнелл, Гари / Java 2. Том II. Тонкости программированияHorstmann, Cay S.,Cornell, Gary / Core Java™ 2. Volume II - Advanced Features

Core Java™ 2. Volume II - Advanced Features

Horstmann, Cay S.,Cornell, Gary

© 2002 Sun Microsystems, Inc.

Java 2. Том II. Тонкости программирования

Хорстманн, Кей С.,Корнелл, Гари

© Издательский дом "Вильямc", 2002

© Prentice Hall, Inc., 2002

Пример измененного определения типа (C++)

C++ Example of Changed Type Definition

Макконнелл, Стив / Совершенный код: Практическое руководство по разработке программного обеспеченияMcConnell, Steve / Code Complete: A Practical Handbook of Software Construction

Code Complete: A Practical Handbook of Software Construction

McConnell, Steve

© 2004 by Steven С. McConnell

Совершенный код: Практическое руководство по разработке программного обеспечения

Макконнелл, Стив

© Перевод на русский язык, Microsoft Corporation, 2004

© Оригинальное издание на английском языке, Steven С. McConnell, 2004

Например, функции is_int, is_float, is_array и т.д., которые предназначены для определения типа переменной.

PHP has functions named is_int, is_float, is_array, and so on to return the type of a variable.

Хольцнер, Стивен,Далхаймер, Маттиас Калле / PHP в примерахHolzner, Steven / Spring Into PHP 5

Spring Into PHP 5

Holzner, Steven

© 2005 Pearson Education, Inc.

PHP в примерах

Хольцнер, Стивен,Далхаймер, Маттиас Калле

© 2005 by Addison-Wesley

© 2007 by Binom Publishers, русскоязычное издание

Для определения типа перегруппировки проводят так называемый «перекрестный» эксперимент, осуществляя перегруппировки смесей W—А—В и V—А—С, где группы V и W (например, метил и этил), а также группы В и С достаточно близки.

The most common method involves the use of crossover experiments. In this type of experiment, rearrangement is carried out on a mixture of W-A-B and V-A-C, where V is closely related to W (say, methyl vs. ethyl) and B to C.

Марч, Джерри / Органическая химия. Реакции, механизмы и структура. Том 4March, Jerry,Smith, Michael B. / March's advanced organic chemistry: reactions, mechanisms, and structure

March's advanced organic chemistry: reactions, mechanisms, and structure

March, Jerry,Smith, Michael B.

© 2007 by John Wiley & Sons, Inc.

Органическая химия. Реакции, механизмы и структура. Том 4

Марч, Джерри

© 1985 by John Wiley & Sons. Inc.

© перевод на русский язык, «Мир». 1988

Ниже приведен пример определения типа вывода с некоторыми описаниями:

The following is an example dumptype definition with some description:

Аллен, Дэвид,Скотт, Эндрю,Льюис, Герберт,Стайл, Джон,Такк, Тимоти / Переход с Windows на LinuxAllen, David,Scott, Andrew,Lewis, Herb,Stile, John,Tuck, Tim / Windows to Linux Migration Toolkit

Windows to Linux Migration Toolkit

Allen, David,Scott, Andrew,Lewis, Herb,Stile, John,Tuck, Tim

© 2004 by Syngress Publishing, Inc.

Переход с Windows на Linux

Аллен, Дэвид,Скотт, Эндрю,Льюис, Герберт,Стайл, Джон,Такк, Тимоти

© 2004 by Syncress Publishing, Inc.

© Перевод на русский язык, «БХВ-Петербург» 2005

Определение каждого типа рассматривается ниже.

A presentation of each type follows this section.

Гулич, Скотт,Гундаварам, Шишир,Бирзнекс, Гюнтер / CGI-программирование на PerlGuelich, Scott,Gundavaram, Shishir,Birznieks, Gunther / CGI Programming with Perl

CGI Programming with Perl

Guelich, Scott,Gundavaram, Shishir,Birznieks, Gunther

© 2001 O'Reilly & Associates Inc.

CGI-программирование на Perl

Гулич, Скотт,Гундаварам, Шишир,Бирзнекс, Гюнтер

© 2000 O'Reilly & Associates Inc.

© Издательство Символ-Плюс, 2001

Для реальных объектов определение такого явного типа модели часто бывает невозможным.

For real objects, it is often not possible to establish such an explicit type of model.

Яне, Бернд / Цифровая обработка изображенийJähne, Bernd / Digital Image Processing

Digital Image Processing

Jähne, Bernd

© Springer-Verlag Berlin Heidelberg 2005

Цифровая обработка изображений

Яне, Бернд

© 2005, Springer-Verlag Berlin Heidelberg

© 2006, ЗАО «РИЦ «Техносфера» перевод на русский язык

Дефинициональные расширения, возникающие при формализации обычных определений, типа рассмотренных в разд. 1, являются схематическими.

The definitional extensions arising in the formalization of ordinary definitions as considered in Sec. 1 are schematic.

Карри, Хаскелл Б. / Основания математической логикиCurry, Haskell B. / Foundations of Mathematical Logic

Foundations of Mathematical Logic

Curry, Haskell B.

© 1963 by Haskell B. Curry.

© 1977 by Haskell B. Curry.

Основания математической логики

Карри, Хаскелл Б.

© Издательство «Мир», 1969