Conecte-se

Bibliografias temáticas / Proxys (logiciels) / Livros

Livros sobre o tema "Proxys (logiciels)"

Siga este link para ver outros tipos de publicações sobre o tema: Proxys (logiciels).

Autor: Grafiati

Publicado: 25 de maio de 2024

Crie uma referência precisa em APA, MLA, Chicago, Harvard, e outros estilos

Selecione um tipo de fonte:

Veja os 27 melhores livros para estudos sobre o assunto "Proxys (logiciels)".

Ao lado de cada fonte na lista de referências, há um botão "Adicionar à bibliografia". Clique e geraremos automaticamente a citação bibliográfica do trabalho escolhido no estilo de citação de que você precisa: APA, MLA, Harvard, Chicago, Vancouver, etc.

Você também pode baixar o texto completo da publicação científica em formato .pdf e ler o resumo do trabalho online se estiver presente nos metadados.

Veja os livros das mais diversas áreas científicas e compile uma bibliografia correta.

1

Lohr, Steve, e Joel Brinkley. U.S. v. Microsoft: The inside story of the landmark case. New York: McGraw-Hill, 2001.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

2

Steve, Lohr, ed. U.S. v. Microsoft. New York: McGraw-Hill, 2001.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

3

Code complete: A practical handbook of software construction. Redmond, Wash: Microsoft Press, 1993.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

4

Code complete. 2^a ed. Redmond, Wash: Microsoft Press, 2004.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

5

Code complete. 2^a ed. Redmond, Wash: Microsoft Press, 2004.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

6

Code complete: [a practical handbook of software construction]. 2^a ed. Redmond, Wash: Microsoft Press, 2004.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

7

Code Complete, Second Edition. Redmond: Microsoft Press, 2007.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

8

Code complete. Redmond, WA: Microsoft Press, 1993.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

9

Auletta, Ken. World War 3.0: Microsoft and its enemies. New York: Random House, 2001.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

10

Abrahamsson, Pekka, e Jürgen Münch. Product-Focused Software Process Improvement: 8th International Conference, PROFES 2007, Riga, Latvia, July 2-4, 2007, Proceedings. Springer London, Limited, 2007.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

11

Oivo, Markku, Muhammad Ali Babar e Matias Vierimaa. Product-Focused Software Process Improvement: 11th International Conference, PROFES 2010, Limerick, Ireland, June 21-23, 2010, Proceedings. Springer London, Limited, 2010.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

12

(Editor), Jürgen Münch, e Matias Vierimaa (Editor), eds. Product-Focused Software Process Improvement: 7th International Conference, PROFES 2006, Amsterdam, The Netherlands, June 12-14, 2006, Proceedings (Lecture Notes in Computer Science). Springer, 2006.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

13

Edgington, Dorothy. The Pragmatics of the Logical Constants. Editado por Ernest Lepore e Barry C. Smith. Oxford University Press, 2009. http://dx.doi.org/10.1093/oxfordhb/9780199552238.003.0030.

Texto completo da fonte

Resumo:

The logical constants are technical terms, invented and precisely defined by logicians for the purpose of producing rigorous formal proofs. Mathematics virtually exhausts the domain of deductive reasoning of any complexity, and it is there that the benefits of this refined form of language are felt. Pragmatic issues may arise — issues concerning the point of making a certain statement — for there will be more or less perspicuous and illuminating ways of presenting proofs in this language, and we may be puzzled or misled when we wonder why the mathematician is taking some particular step. But this is hardly a compulsory topic in the philosophy of language.

Estilos ABNT, Harvard, Vancouver, APA, etc.

14

70-088: MCSE Guide to Microsoft Proxy Server 2.0 with CD. 2^a ed. Course Technology, 2000.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

15

Komi-Sirviö, Seija, e Frank Bomarius. Product Focused Software Process Improvement: Third International Conference, PROFES 2001, Kaiserslautern, Germany, September 10-13, 2001. Proceedings. Springer London, Limited, 2003.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

16

Oivo, Markku, e Frank Bomarius. Product Focused Software Process Improvement: Second International Conference, PROFES 2000, Oulu, Finland, June 20-22, 2000 Proceedings. Springer London, Limited, 2004.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

17

Komi-Sirviö, Seija, e Frank Bomarius. Product Focused Software Process Improvement: 6th International Conference, PROFES 2005, Oulu, Finland, June 13-18, 2005, Proceedings. Springer London, Limited, 2005.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

18

Iida, Hajimu, e Frank Bomarius. Product Focused Software Process Improvement: 5th International Conference, PROFES 2004, Kansai Science City, Japan, April 5-8, 2004, Proceedings. Springer London, Limited, 2004.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

19

(Editor), Frank Bomarius, e Seija Komi-Sirviö (Editor), eds. Product Focused Software Process Improvement: 6th International Conference, PROFES 2005, Oulu, Finland, June 13-18, 2005, Proceedings (Lecture Notes in Computer Science). Springer, 2005.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

20

Tennant, Neil. Introduction and Overview. Oxford University Press, 2017. http://dx.doi.org/10.1093/oso/9780198777892.003.0001.

Texto completo da fonte

Resumo:

This is a foundational work, written not just for philosophers of logic, but for logicians and foundationalists generally. Like Frege we seek to deal with the formal first-order language of mathematics. We revisit Gentzen’s proof theory in order to build relevance into proofs, while leaving intact all the logical power one is entitled to expect of a deductive logic for mathematics and for scientific method generally. Proof systems are constituted by particular choices of rules of inference. We raise the issue of the reflexive stability of any argument for a particular choice of logic as the ‘right’ logic. We examine the question of pluralism v. absolutism in choice of logic, and suggest that the informal notion of valid argument is stable and robust enough for us to be able to ‘get it right’ with our formal systems of proof for both constructive and non-constructive reasoning.

Estilos ABNT, Harvard, Vancouver, APA, etc.

21

Lohr, Steve, e Joel Brinkley. U.S. v. Microsoft: The Inside Story of the Landmark Case. Mcgraw-Hill, 2000.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

22

Code Complete. Microsoft Press, 2004.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

23

Code Complete - Deutsche AusgabeDer Second Edition. Microsoft GmbH, 2005.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

24

Code Complete. 2^a ed. Microsoft Press, 2004.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

25

Code Complete. Microsoft Press, 2004.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

26

Auletta, Ken. World War 3.0: Microsoft, the U.S. Government, and the Battle for the New Economy. Penguin Random House, 2001.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

27

Auletta, Ken. World War 3.0: Microsoft vs. the U.S. Government, and the Battle to Rule the Digital Age. Broadway, 2002.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Oferecemos descontos em todos os planos premium para autores cujas obras estão incluídas em seleções literárias temáticas. Contate-nos para obter um código promocional único!