buscar libros
libros
Donar
Iniciar sesión
Iniciar sesión
los usuarios autorizados tienen acceso a:
recomendaciones personales
Bot de Telegram
historial de descargas
enviar a correo electrónico o Kindle
gestión de listas de libros
guardar en favoritos
Personal
Solicitudes de libros
Estudio
Z-Recommend
Listas de libros
Más populares
Categorías
Participación
Donar
Cargas
Litera Library
Donar libros en papel
Agregar libros en papel
Search paper books
Mi LITERA Point
Búsqueda de palabras clave
Main
Búsqueda de palabras clave
search
1
Executable Modal and Temporal Logics: IJCAI '93 Workshop Chambery, France, August 28, 1993 Proceedings
Springer-Verlag Berlin Heidelberg
Michael Fisher
,
Richard Owens (auth.)
,
Michael Fisher
,
Richard Owens (eds.)
temporal
programming
metatem
modal
logics
formula
systems
concurrent
constraint
operators
execution
proceedings
programs
predicate
variables
interval
mtl
formulae
reasoning
clauses
predicates
worlds
executable
approach
module
constraints
specification
defined
doris
symbols
springer
messages
deontic
finite
prolog
classical
intervals
formulas
function
tick
implementation
node
proposition
verlag
llp
conference
logical
reactive
linear
annotated
Año:
1995
Idioma:
english
Archivo:
DJVU, 1.87 MB
Sus etiquetas:
0
/
0
english, 1995
2
MOC 6231B Enu Beta Maintaining A Sql Server 2008 R2 Databaes Trainer HandBook Volume2
Mai Low
beta
courseware
expires
database
alter
filename
mktg
select
filegrowth
maxsize
10mb
ratetracking
20mb
filegroup
ndf
tempdb
modify
unlimited
userdata
100mb
latestcontact
200mb
500mb
50mb
backup
daily
directmarketing.currency
exec
fparam.txt
isfulltextinstalled
productid
production.product
prospectid
s60
sqlio.exe
tempdev
templog
timeout
uncompressed
30mb
admin
administrator
adventureworks.com
affected
aggregate
b64
cellphonenumber
completed
compressed
computername
Año:
2011
Idioma:
english
Archivo:
PDF, 34.55 MB
Sus etiquetas:
0
/
0
english, 2011
1
Sigue
este link
o encuentra al bot "@BotFather" en Telegram
2
Envía el comando /newbot
3
Indica un nombre para tu bot
4
Indica un nombre de usuario para el bot
5
Copia el último mensaje de BotFather e insértalo aquí
×
×