Log in

Relevant bibliographies by topics / Proxys (logiciels) / Books

To see the other types of publications on this topic, follow the link: Proxys (logiciels).

Books on the topic 'Proxys (logiciels)'

Author: Grafiati

Published: 25 May 2024

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 27 books for your research on the topic 'Proxys (logiciels).'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse books on a wide variety of disciplines and organise your bibliography correctly.

1

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

2

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

3

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

4

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

5

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

6

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

7

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

8

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

9

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

10

Abrahamsson, Pekka, and 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.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

11

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

12

(Editor), Jürgen Münch, and 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.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

13

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

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

14

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

15

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

16

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

17

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

18

Iida, Hajimu, and 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.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

19

(Editor), Frank Bomarius, and 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.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

20

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

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

21

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

22

Code Complete. Microsoft Press, 2004.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

23

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

24

Code Complete. 2nd ed. Microsoft Press, 2004.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

25

Code Complete. Microsoft Press, 2004.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

26

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

27

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!