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

Last updated: 31 July 2025

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

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

2

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

3

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

4

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

5

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

6

(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

7

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 t

APA, Harvard, Vancouver, ISO, and other styles

8

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

9

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

10

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

11

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

12

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 ‘r

APA, Harvard, Vancouver, ISO, and other styles

13

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

14

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

15

WORLD WAR 3.0: MICROSOFT AND ITS ENEMIES. Profile Books Ltd, 2001.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

16

Auletta, Ken. Gates vor Gericht. World War 3.0 - Microsoft und seine Feinde. Europa Verlag München, 2001.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

17

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

18

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

19

Code Complete, Second Edition. Microsoft Press, 2007.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

20

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

21

Code complete. Microsoft Press, 1993.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

22

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

23

Code Complete. Microsoft Press, 2004.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

24

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

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

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

27

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

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!