Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: ("logiciel" OR "logical")
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
All Fields
Title
Person
Topic
ISBN/ISSN
Year
Collection
Advanced
Retain my current filters
newitem_txtF:"last_month"
Search alternatives
:
"logiciel" »
"logiciels"
Showing
1
-
20
of
220
Search:
'("logiciel" OR "logical")'
,
query time: 0.09s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Computer Science
Logic
: 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September
Published 2002
Springer Berlin Heidelberg
Table of Contents:
“
... of Syntactic Control of Interference -- Temporal
Logics
and Games -- Optimal Complexity Bounds for Positive LTL...
”
Read Now
2
Computer Science
Logic
: 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings
Published 1999
Springer Berlin Heidelberg
Table of Contents:
“
...
Logical
View of Linear Type Isomorphisms -- Choice
Logic
Programs and Nash Equilibria in Strategic Games...
”
Read Now
3
Automata,
Logics
, and Infinite Games : A Guide to Current Research
Published 2002
Springer Berlin Heidelberg
Table of Contents:
“
... -- Monadic Second-Order
Logic
-- Decidability of S1S and S2S -- The Complexity of Translating
Logic
to Finite...
”
Read Now
4
Dick de Jongh on Intuitionistic and Provability
Logics
Published 2024
Springer International Publishing
Table of Contents:
“
... theorem for provability
logic
(Johan van Benthem) -- Chapter 4. The Σ1-provability
logic
of HA revisited...
”
Read Now
5
Prospects for Hardware Foundations : ESPRIT Working Group 8533 NADA — New Hardware Design Methods Survey Chapters
Published 1998
Springer Berlin Heidelberg
Subjects:
“
...
Logic
design...
”
Read Now
6
Coalgebraic Methods in Computer Science : 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Proceedings
Published 2024
Springer Nature Switzerland
Table of Contents:
“
... Approach to Coalgebraic Fixpoint
Logic
-- Preorder-Constrained Simulations for Program Refinement...
”
Read Now
7
Robust Argumentation Machines : First International Conference, RATIO 2024, Bielefeld, Germany, June 5–7, 2024, Proceedings
Published 2024
Springer Nature Switzerland
Subjects:
“
...Mathematical
logic
...
”
Read Now
8
The Complete Flutter and Dart App Development Course
by
Dichone, Paulo
Published 2020
Packt Publishing
Subjects:
“
...
Logiciels
d'application / Développement /
Logiciels
...
”
Read Now
9
Isabelle/HOL : A Proof Assistant for Higher-Order Logic
by
Nipkow, Tobias
,
Paulson, Lawrence C.
,
Wenzel, Markus
Published 2002
Springer Berlin Heidelberg
Table of Contents:
“
... Programming -- 4. Presenting Theories --
Logic
and Sets -- 5. The Rules of the Game -- 6. Sets, Functions...
”
Read Now
10
Atalassian DevOps toolchain cookbook : recipes for building, automating, and managing applications with Jira, Bitbucket pipelines, and more
by
Wen, Robert
,
Ortiz, Alex
,
Gaile, Edward
,
Nissen, Rodney
Published 2024
Packt Publishing Ltd.
Subjects:
“
...Génie
logiciel
...
”
Call Number:
QA76.76.D47
Read Now
11
Clean Code Kochbuch : Rezeptge für gutes Code-Design und bessere Softwarequalität
by
Contieri, Maximiliano
Published 2024
dpunkt
Subjects:
“
...Génie
logiciel
...
”
Call Number:
QA76.758
Read Now
12
Every constraint is an opportunity
by
Hohpe, Gregor
Published 2024
O'Reilly Media, Inc.
Subjects:
“
...Génie
logiciel
...
”
Call Number:
QA76.758
Read Now
13
Why don't they get it?
by
Hohpe, Gregor
Published 2024
O'Reilly Media, Inc.
Subjects:
“
...Génie
logiciel
...
”
Call Number:
QA76.758
Read Now
14
A4 paper doesn't stifle creativity
by
Hohpe, Gregor
Published 2024
O'Reilly Media, Inc.
Subjects:
“
...Génie
logiciel
...
”
Call Number:
QA76.758
Read Now
15
Why nothing ever gets done around here
by
Hohpe, Gregor
Published 2024
O'Reilly Media, Inc.
Subjects:
“
...Génie
logiciel
...
”
Call Number:
QA76.758
Read Now
16
Architects don't draw, they sketch
by
Hohpe, Gregor
Published 2024
O'Reilly Media, Inc.
Subjects:
“
...Génie
logiciel
...
”
Call Number:
QA76.758
Read Now
17
Raising the level of abstraction deepens your thinking
by
Hohpe, Gregor
Published 2024
O'Reilly Media, Inc.
Subjects:
“
...Génie
logiciel
...
”
Call Number:
QA76.758
Read Now
18
Wondering about the Impossible: On the Semantics of Counterpossibles
by
Sendłak, Maciej
Published 2024
Springer International Publishing
Subjects:
“
...
Logic
...
”
Read Now
19
Developments in Language Theory : 28th International Conference, DLT 2024, Göttingen, Germany, August 12–16, 2024, Proceedings
Published 2024
Springer Nature Switzerland
Table of Contents:
“
... Black-and-White to High Gloss Color. -- Deciding Conjugacy of a Rational Relation. --
Logic
...
”
Read Now
20
Algorithmic trading systems and strategies : a new approach : design, build, and maintain an effective strategy search mechanism
by
Dolzhenko, Viktoria
Published 2024
Apress
Subjects:
“
...
Logiciels
d'application / Développement /
Logiciels
...
”
Call Number:
HG4515.5
1
2
3
4
5
6
7
8
9
10
11
Back
Narrow Search
Remove Filters
Clear Filter
Recently Uploaded: Last Month
Year of Publication
From:
To:
Classification
005 - Computer programming, programs & data
73
006 - Special computer methods
54
004 - Data processing & computer science
47
500 - Natural sciences & mathematics
34
330 - Economics
19
620 - Engineering & allied operations
11
more ...
331 - Labor economics
10
658 - General management
9
621 - Applied physics
5
700 - The arts; fine & decorative arts
5
000 - Computer science, information & general works
4
374 - Adult education
4
300 - Social sciences
3
338 - Production
3
510 - Mathematics
3
600 - Technology
3
900 - History & geography
3
384 - Communications; telecommunication
2
670 - Manufacturing
2
001 - Knowledge
1
003 - Systems
1
149 - Other philosophical systems
1
160 - Logic
1
172 - Political ethics
1
303 - Social processes
1
304 - Factors affecting social behavior
1
305 - Social groups
1
332 - Financial economics
1
342 - Constitutional & administrative law
1
401 - Philosophy & theory
1
410 - Linguistics
1
511 - General principles of mathematics
1
518 - Numerical analysis
1
530 - Physics
1
571 - Physiology & related subjects
1
610 - Medicine & health
1
745 - Decorative arts
1
776 - Computer art (Digital art)
1
951 - China & adjacent areas
1
see all ...
less ...
Language
English
213
German
4
French
3
Collection
O'Reilly
116
Springer Book Archives -2004
46
Springer eBooks 2005-
46
DeGruyter MPG Collection
4
Central European UP History & Political Science Backlist
3
World Bank E-Library Archive
3
more ...
Cambridge Books Online
1
Oxford Handbook Online
1
see all ...
less ...
Author
Williams, Chennel
10
Hohpe, Gregor
6
Stewart, Blaize
6
Griffiths, Dawn
4
Lapuschkin, Sebastian
4
Longo, Luca
4
more ...
Seifert, Christin
4
Gardner, Christopher
3
World Bank Group
3
Benzmüller, Christoph
2
Blete, Marie-Alice
2
Caelen, Olivier
2
Dichone, Paulo
2
Hanselman, Scott
2
Heule, Marijn J.H.
2
Lerner, Reuven
2
Manea, Florin
2
Metzgar, Dustin
2
Poulton, Nigel
2
Schmidt, Renate A.
2
Wenz, Christian
2
Abraham, Ajith
1
Acosta, Antonio J.
1
Ahmed, Mohammed Ilyas
1
Ahuja, Sachin
1
Akadiri, Yazid
1
Ali, Moonis
1
Allchin, Carl
1
Alpigini, James J.
1
Alt, Helmut
1
Ameisen, Emmanuel
1
Arikawa, Setsuo
1
Arshad, Junaid
1
Arziaev, Aleksei
1
Athave, Yogesh
1
Aubury, Simon
1
Bajaj, Anu
1
Baljoshi, AjayKumar P.
1
Bardone, Emanuele
1
Baumann, Chris
1
Bedürftig, Thomas
1
Bellido, Manuel J.
1
Benenti, Sergio
1
Berr, Karsten
1
Bezhanishvili, Nick
1
Bischof, Bryan
1
Blanck, Jens
1
Blanton, Thomas S.
1
Bouras, Aristides S.
1
Bradfield, Julian
1
Brattka, Vasco
1
Brim, Lubos
1
Brinksma, Ed
1
Brown, Andrew Richard
1
Brusilovsky, Peter
1
Bruskin, David
1
Burri, Srinivasa Rao
1
Büchler, Jan-Philipp
1
Cao, Cungeng
1
Caron, Jean-François
1
Castillo-Ramirez, Alonso
1
Chang, Susan Shu
1
Chastek, Gary J.
1
Chen, Huage
1
Chen, Huajun
1
Cheng, Yu-Ping
1
Cherinda, Marcos
1
Chin, Wei-Ngan
1
Choraś, Michał
1
Chounta, Irene-Angelica
1
Chow, Dennis
1
Chowdhury, Muhammad E. H.
1
Chu, Wujin
1
Cimiano, Philipp
1
Cimler, Richard
1
Ciobanu, Gabriel
1
Contieri, Maximiliano
1
Cooney, Harry
1
Cornelis, Chris
1
Cranganu, Constantin
1
Crepalde, Neylson
1
Cubukcuoglu, Baris
1
Danilov, Dmitry
1
Danvy, Olivier
1
Dasgupta, Manas
1
Davies, Jim
1
Day, Joel D.
1
Deza, Alfredo
1
Dolzhenko, Viktoria
1
Dongarra, Jack J.
1
Dow, Colin
1
Dufour, Anne-Marie
1
Edwards, Duane
1
Ehrig, Hartmut
1
Engberg, Uffe
1
Engler, Olivier
1
Fernández Muñoz, Santiago
1
Ferreira, Afonso
1
Filinski, Andrzej
1
Flum, Jörg
1
see all ...
less ...
Recently Uploaded
Last Month
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?filter%5B%5D=newitem_txtF%3A%22last_month%22&lookfor=%28%22logiciel%22+OR+%22logical%22%29&type=AllFields
Send by Email
×
Loading...