1 - 20
Next
Number of results to display per page
- IBM France.
- Édition 1967. - Paris, Compagnie IBM France, 1967.
- Description
- Book — 106, 106 p. 27 cm.
- Online
SAL3 (off-campus storage)
SAL3 (off-campus storage) | Status |
---|---|
Stacks | Request (opens in new tab) |
QA76 .I14 1967 | Available |
2. Journal de l'École polytechnique [1795 - 1939]
- Ecole polytechnique (France)
- Paris.
- Description
- Journal/Periodical — v. ill., plates, maps, diagrs. 28 cm.
- Online
SAL3 (off-campus storage)
SAL3 (off-campus storage) | Status |
---|---|
For use in Special Collections Reading Room
|
Request (opens in new tab) |
QA1 .E32 V.16 | In-library use |
QA1 .E32 V.14 | In-library use |
QA1 .E32 V.13 | In-library use |
QA1 .E32 V.12 | In-library use |
QA1 .E32 V.11 | In-library use |
QA1 .E32 V.7-8 | In-library use |
QA1 .E32 V.6 | In-library use |
QA1 .E32 V.5 | In-library use |
QA1 .E32 V.1 | In-library use |
Stacks
|
Request (opens in new tab) |
510.6 .P232 V.44-45 | Available |
510.6 .P232 V.39-43 | Available |
510.6 .P232 V.35-38 | Available |
510.6 .P232 V.32-34 | Available |
510.6 .P232 V.29-31 | Available |
510.6 .P232 V.27-28 | Available |
510.6 .P232 V.23-26 | Available |
510.6 .P232 V.21-22 | Available |
510.6 .P232 V.20 | Available |
510.6 .P232 V.18-19 | Available |
510.6 .P232 V.17 | Available |
510.6 .P232 V.16 | Available |
510.6 .P232 V.15 | Available |
510.6 .P232 V.14 | Available |
510.6 .P232 V.13 | Available |
510.6 .P232 V.12 | Available |
510.6 .P232 V.11 | Available |
510.6 .P232 V.10 | Available |
510.6 .P232 V.8-9 | Available |
510.6 .P232 V.7 | Available |
510.6 .P232 V.5-6 | Available |
510.6 .P232 V.3-4 | Available |
510.6 .P232 V.2 | Available |
510.6 .P232 V.1 | Available |
510.6 .P232 SER.3 V.9-11 1939 | Available |
510.6 .P232 SER.3 V.1-8 1937-1938 | Available |
510.6 .P232 SER.2 V.32-34 1934-1935 | Available |
510.6 .P232 SER.2 V.28-31 1931-1933 | Available |
510.6 .P232 SER.2 V.25-27 | Available |
510.6 .P232 SER.2 V.23-24 1923-1924 | Available |
510.6 .P232 SER.2 V.19-22 1915-1922 | Available |
510.6 .P232 SER.2 V.16-18 1912-1914 | Available |
510.6 .P232 SER.2 V.14-15 1910-1912 | Available |
510.6 .P232 SER.2 V.12-13 1908-1909 | Available |
510.6 .P232 SER.2 V.10-11 1905-1906 | Available |
510.6 .P232 SER.2 V.8-9 1903-1904 | Available |
510.6 .P232 SER.2 V.7 1902 | Available |
510.6 .P232 SER.2 V.6 | Available |
510.6 .P232 SER.2 V.1-5 | Available |
3. Mémoires de l'Académie des sciences [microform]. [1666 - 1949]
- Académie des sciences (France)
- A Paris : Chez G. Martin, Jean-Baptiste Coignard, H.-L. Guerin, 1733-1949.
- Description
- Journal/Periodical — v. : ill., plates (some col.), maps, tables, diagrs. ; 26-35 cm.
- Online
Media & Microtext Center
Media & Microtext Center | Status |
---|---|
Find it
Ask at Media Microtext desk
|
|
MPRINT 32 | Unknown |
- EPEW (2005 : Versailles, France)
- Berlin ; New York : Springer, c2005.
- Description
- Book — xiii, 348 p. : ill. ; 24 cm.
- Summary
-
This book constitutes the refereed proceedings of two colocated international workshops EPEW 2005 (European Performance Engineering Workshop) and WS-FM 2005 (Web Services and Formal Methods) held in Versailles, France in September 2005. The 20 revised full papers presented were carefully reviewed and selected from 59 submissions. For EPEW 2005 only 10 papers, of the 32 submitted, were accepted for presentation; they deal with queueing theory, bounding techniques, stochastic model checking, communication schemes analysis for high-speed LAN, QOS analysis in wireless ad-hoc networks and optical networks analysis. The main topics of the 10 papers accepted for WS-FM 2005 - from 27 submissions - include: protocols and standards for WS (SOAP, WSDL, UDDI, etc.); languages and description methodologies for Choreography/Orchestration/Workflow (BPML, XLANG and BizTalk, WSFL, WS-BPEL, etc.); coordination techniques for WS (transactions, agreement, coordination services, etc.) ; semantics-based dynamic WS discovery services (based on Semantic Web/Ontology Techniques or other semantic theories); security, performance evaluation and quality of service of WS; semi-structured data and XML related technologies; comparisons with different related technologies/approaches.
(source: Nielsen Book Data)
SAL3 (off-campus storage)
SAL3 (off-campus storage) | Status |
---|---|
Stacks | Request (opens in new tab) |
QA76.9 .E94 E64 2005 | Available |
- GT04 (2004 : Paris, France)
- Basel, Switzerland ; Boston : Birkhäuser, c2007.
- Description
- Book — vi, 389 p. : ill., port.
- Summary
-
- Claude Berge - Sculptor of Graph Theory.- ?-path-connectivity and mk-generation: an Upper Bound on m.- Automated Results and Conjectures on Average Distance in Graphs.- Brambles, Prisms and Grids.- Dead Cell Analysis in Hex and the Shannon Game.- Ratios of Some Domination Parameters in Graphs and Claw-free Graphs.- Excessive Factorizations of Regular Graphs.- Odd Pairs of Cliques.- Recognition of Perfect Circular-arc Graphs.- On Edge-maps whose Inverse Preserves Flows or Tensions.- On the Extremal Number of Edges in 2-Factor Hamiltonian Graphs.- Generalized Colourings (Matrix Partitions) of Cographs.- A Note on [k, l]-sparse Graphs.- Even Pairs in Bull-reducible Graphs.- Kernels in Orientations of Pretransitive Orientable Graphs.- Nonrepetitive Graph Coloring.- A Characterization of the 1-well-covered Graphs with no 4-cycles.- A Graph-theoretical Generalization of Berge's Analogue of the Erd?s-Ko-Rado Theorem.- Independence Polynomials and the Unimodality Conjecture for Very Well-covered, Quasi-regularizable, and Perfect Graphs.- Precoloring Extension on Chordal Graphs.- On the Enumeration of Bipartite Minimum Edge Colorings.- Kempe Equivalence of Colorings.- Acyclic 4-choosability of Planar Graphs with Girth at Least 5.- Automorphism Groups of Circulant Graphs - a Survey.- Hypo-matchings in Directed Graphs.- On Reed's Conjecture about ?, ? and ?.- On the Generalization of the Matroid Parity Problem.- Reconstruction of a Rank 3 Oriented Matroids from its Rank 2 Signed Circuits.- The Normal Graph Conjecture is True for Circulants.- Two-arc Transitive Near-polygonal Graphs.- Open Problems.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
6. Graph theory in Paris : proceedings of a conference in memory of Claude Berge : GT04, Paris [2007]
- GT04 (2004 : Paris, France)
- Basel, Switzerland ; Boston : Birkhäuser, ©2007.
- Description
- Book — 1 online resource (vi, 389 pages) : illustrations, portrait Digital: text file; PDF.
- Summary
-
- Claude Berge - Sculptor of Graph Theory.- ?-path-connectivity and mk-generation: an Upper Bound on m.- Automated Results and Conjectures on Average Distance in Graphs.- Brambles, Prisms and Grids.- Dead Cell Analysis in Hex and the Shannon Game.- Ratios of Some Domination Parameters in Graphs and Claw-free Graphs.- Excessive Factorizations of Regular Graphs.- Odd Pairs of Cliques.- Recognition of Perfect Circular-arc Graphs.- On Edge-maps whose Inverse Preserves Flows or Tensions.- On the Extremal Number of Edges in 2-Factor Hamiltonian Graphs.- Generalized Colourings (Matrix Partitions) of Cographs.- A Note on [k, l]-sparse Graphs.- Even Pairs in Bull-reducible Graphs.- Kernels in Orientations of Pretransitive Orientable Graphs.- Nonrepetitive Graph Coloring.- A Characterization of the 1-well-covered Graphs with no 4-cycles.- A Graph-theoretical Generalization of Berge's Analogue of the Erd?s-Ko-Rado Theorem.- Independence Polynomials and the Unimodality Conjecture for Very Well-covered, Quasi-regularizable, and Perfect Graphs.- Precoloring Extension on Chordal Graphs.- On the Enumeration of Bipartite Minimum Edge Colorings.- Kempe Equivalence of Colorings.- Acyclic 4-choosability of Planar Graphs with Girth at Least 5.- Automorphism Groups of Circulant Graphs - a Survey.- Hypo-matchings in Directed Graphs.- On Reed's Conjecture about ?, ? and ?.- On the Generalization of the Matroid Parity Problem.- Reconstruction of a Rank 3 Oriented Matroids from its Rank 2 Signed Circuits.- The Normal Graph Conjecture is True for Circulants.- Two-arc Transitive Near-polygonal Graphs.- Open Problems.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- CML2004 (2004 : Paris, France)
- Berlin ; New York : Springer, 2005.
- Description
- Book — xii, 361 p. : ill. ; 25 cm.
- Summary
-
- Clustering in Globally Coupled Maps.- Snychronisation in CML.- Dynamics of Frenkel-Kontorova Chains.- Attractors and Bifurcations in CML.- Dynamics of Genetic Regulation Networks.- Phase Transitions in CML.- Introduction to CML.- Topological Properties of Chaotic CML.- TBA.- Monotonic Dynamics of Extended Systems.- Neural Networks: Integro-Differential Models.- Equilibrium States for CML.- Transfer Operators in CML.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
SAL3 (off-campus storage)
SAL3 (off-campus storage) | Status |
---|---|
Stacks | Request (opens in new tab) |
QA171.5 .C64 2004 | Available |
- Vignéras, Marie France, 1946-
- Boston : Birkhäuser, c1996.
- Description
- Book — xviii, 233 p. ; 24 cm.
- Online
Science Library (Li and Ma)
Science Library (Li and Ma) | Status |
---|---|
Stacks | Request (opens in new tab) |
QA174.2 .V54 1996 | Unknown |
9. Arithmétique des algébres de quaternions [1980]
- Vignéras, Marie France, 1946-
- Berlin ; New York : Springer-Verlag, 1980.
- Description
- Book — vii, 169 p. : ill. ; 24 cm.
SAL1&2 (on-campus shelving)
SAL1&2 (on-campus shelving) | Status |
---|---|
Serials | Request (opens in new tab) |
Shelved by Series title V.800 | Unknown |
10. Séminaire Henri Cartan [1949 - 1964]
- École normale supérieure (France)
- New York, W.A. Benjamin, 1967.
- Description
- Book — 15 v. in 6. 29 cm.
- Online
SAL3 (off-campus storage), Science Library (Li and Ma)
SAL3 (off-campus storage) | Status |
---|---|
Stacks
|
Request (opens in new tab) |
QA266 .P31 V.1/3 1948/1951 | Available |
QA266 .P31 V.4/5 1951/1954 | Available |
Science Library (Li and Ma) | Status |
---|---|
Stacks
|
Request (opens in new tab) |
QA266 .P31 V.6/8 1954/1957 | Unknown |
QA266 .P31 V.9/10 1957/1959 | Unknown |
QA266 .P31 V.11/12 1959/1961 | Unknown |
QA266 .P31 V.13/15 1961/1964 | Unknown |
11. Séminaire Henri Cartan [1949 - 1964]
- Description
- Book — 15 v. in 28 cm.
- Online
Science Library (Li and Ma)
Science Library (Li and Ma) | Status |
---|---|
Stacks
|
Request (opens in new tab) |
QA266 .P3 V.1-3 1948/1949-1950/1951 | Unknown |
QA266 .P3 V.4:CH.7-20 1951/1952 | Unknown |
QA266 .P3 V.6:CH.16-19 1953/1954 | Unknown |
QA266 .P3 V.7 1954/1955 | Unknown |
QA266 .P3 V.8-9 1955/1956-1956/1957 | Unknown |
QA266 .P3 V.10 1957/1958 | Unknown |
QA266 .P3 V.11 1958/1959 | Unknown |
QA266 .P3 V.12 1959/1960 | Unknown |
QA266 .P3 V.13 1960/1961 | Unknown |
QA266 .P3 V.14-15 1961/1962-1962/1963 | Unknown |
QA266 .P3 V.16 1963/1964 | Unknown |
12. Tables des logarithmes a huit décimales [1944]
- Institut géographique national (France)
- [2. éd.] - Paris, Imprimerie de l'Institut géographique national, 1944.
- Description
- Book — 2 v. 27 cm.
- Summary
-
- t. 1 Logarithmes des nombres entiers de l à 120000.--t.
- 2. Logarithmes des fonctions circulaires de dix secondes en dix secondes d'arc dans le système de la division centésimale du quadrant.
- Online
SAL3 (off-campus storage)
SAL3 (off-campus storage) | Status |
---|---|
Stacks
|
Request (opens in new tab) |
QA55 .F7 1944 V.1 | Available |
QA55 .F7 1944 V.2 | Available |
- ECOOP (Conference) (14th : 2000 : Sophia-Antipolis, France; Cannes, France)
- Berlin ; New York : Springer, 2001.
- Description
- Book — xi, 308 p. : ill. ; 24 cm.
- Summary
-
This book documents the satellite events run around the 14th European Conference on Object-Oriented Programming, ECOOP 2000 in Cannes and Sophia Antipolis in June 2000. The book presents 18 high-quality value-adding workshop reports, one panel transcription, and 15 posters. All in all, the book offers a comprehensive and thought-provoking snapshot of the current research in object-orientation. The wealth of information provided spans the whole range of object technology, ranging from theoretical and foundational issues to applications in various domains.
(source: Nielsen Book Data)
- Online
SAL3 (off-campus storage)
SAL3 (off-campus storage) | Status |
---|---|
Stacks | Request (opens in new tab) |
QA76.9 .O35 E33 2000 | Available |
- ECOOP (Conference) (14th : 2000 : Sophia-Antipolis, France; Cannes, France)
- Berlin ; New York : Springer, c2000.
- Description
- Book — xiii, 491 p. : ill. ; 24 cm. + 1 computer laser optical disc (4 3/4 in.)
- Summary
-
This book constitutes the refereed proceedings of the 14th European Conference on Object-Oriented programming, ECOOP 2000, held in Sophia, Antipolis and Cannes, France, in June 2000. The book also contains a CD-ROM providing digitized versions of all previous ECOOP conference proceedings and related indices. The 20 revised full papers presented in the book together with 3 invited papers were carefully reviewed and selected from a total of 109 submissions. The book is divided into topical sections on UML, type theory, object relations, cooperation and distribution, Java run time, optimization, and tools.
(source: Nielsen Book Data)
- Online
SAL3 (off-campus storage)
SAL3 (off-campus storage) | Status |
---|---|
Stacks
|
Request (opens in new tab) |
QA76.64 .E95 2000 | Available |
- Logic Colloquium (1985 : Orsay, France)
- Amsterdam ; Oxford : North-Holland, 1987.
- Description
- Book — 1 online resource (xiii, 308 pages) : illustrations.
- Summary
-
The bulk of this volume consists of invited addresses presented at the Colloquium. These contributions report on recent or ongoing research in some of the mainstream areas of mathematical logic: model theory, both pure and in its applications (to group theory and real algebraic geometry); and proof theory, applied to set theory and diophantine equations. The major novel aspect of the book is the important place accorded to the connections of mathematical logic with the neighboring disciplines: mathematical foundations of computer science, and philosophy of mathematics.
- FORMATS (Conference) (2004 : Grenoble, France)
- Berlin ; New York : Springer, c2004.
- Description
- Book — x, 395 p. : ill. ; 24 cm.
- Summary
-
This book constitutes the refereed proceedings of the joint International Conferences Formal Modeling and Analysis of Timed Systems, FORMATS 2004, and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, held in Grenoble, France, in September 2004. The 24 revised full papers presented together with abstracts of 2 invited talks were carefully reviewed and selected from 70 submissions. Among the topics addressed are formal verification, voting systems, formal specification, dependable automation systems, model checking, timed automata, real-time testing, fault-tolerance protocols, fail-safe fault tolerance, real-time scheduling, satisfiability checking, symbolic model checking, stochastic hybrid systems, timed Petri nets, and event recording automata.
(source: Nielsen Book Data)
- Online
-
- dx.doi.org SpringerLink
- Google Books (Full view)
SAL3 (off-campus storage)
SAL3 (off-campus storage) | Status |
---|---|
Stacks | Request (opens in new tab) |
QA76.9 .C65 F67 2004 | Available |
- FASE 2002 (2002 : Grenoble, France)
- Berlin ; New York : Springer, c2002.
- Description
- Book — xiii, 339 p. : ill. ; 24 cm.
- Summary
-
This book constitutes the refereed proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering, FASE 2002, held in Grenoble, France, in April 2002. The 21 revised full papers and four tool presentations were carefully reviewed and selected from almost 60 submissions. The papers are organized in topical sections on formal frameworks, model and program analysis, architecture descriptions, meta-models, formal approaches towards UML, and requirements engineering.
(source: Nielsen Book Data)
- Online
SAL3 (off-campus storage)
SAL3 (off-campus storage) | Status |
---|---|
Stacks | Request (opens in new tab) |
QA76.758 .F37 2002 | Available |
- HCI Conference (2001 : Lille, France)
- London; New York : Springer, c2001.
- Description
- Book — xvi, 593 p. : ill. ; 24 cm.
- Summary
-
- From the contents: Keynote Papers * Computer-mediated Communication * Requirements Engineering * Usability Engineering * Revisiting Concepts * User-centred Design * User Interface Modelling * Computer-supported Collaborative Working * Mobile Computing * Web Design * Speech and Audio * Novel Input Devices.
- (source: Nielsen Book Data)
(source: Nielsen Book Data)
- Online
SAL3 (off-campus storage)
SAL3 (off-campus storage) | Status |
---|---|
Stacks | Request (opens in new tab) |
QA76.9 .H85 B75 2001 | Available |
- CSL 2001 (2001 : Paris, France)
- Berlin : New York : Springer, 2001.
- Description
- Book — xii, 614 p. : ill. ; 24 cm.
- Summary
-
This book constitutes the refereed proceedings of the 15th International Workshop on Computer Science Logic, CSL 2001, held as the 10th Annual Conerence of the EACSL in Paris, France in September 2001. The 39 revised full papers presented together with two invited papers were carefully reviewed and selected from 91 submissions. The papers are organized in topical sections on linear logic, descriptive complexity, semantics, higher-order programs, model logics, verification, automata, lambda calculus, induction, equational calculus, and constructive theory of types.
(source: Nielsen Book Data)
- Online
SAL3 (off-campus storage)
SAL3 (off-campus storage) | Status |
---|---|
Stacks | Request (opens in new tab) |
QA75.5 .W624 2001 | Available |
- FERMAT Days 85 (Toulouse, France)
- Amsterdam ; New York : North-Holland ; New York, N.Y. : Sole distributors for the U.S.A. and Canada: Elsevier Science Pub. Co. 1986.
- Description
- Book — xvi, 320 p. : ill., port. ; 24 cm.
- Online
-
- www.sciencedirect.com ScienceDirect
- Google Books (Full view)
Science Library (Li and Ma)
Science Library (Li and Ma) | Status |
---|---|
Stacks | Request (opens in new tab) |
QA402.5 .F47 1986 | Unknown |
Articles+
Journal articles, e-books, & other e-resources
Guides
Course- and topic-based guides to collections, tools, and services.