BRICS dissertation series¤Games for verification

0,00 kr

Udsolgt

ISBN

1277326

Specifikationer
ISBN-13	1277326
EAN	1277326
Illustreret i farver/sh	Nej

Boginfo

Undskyldningskode	950	En lagerundskyldning skal bruges til at forklare, hvorfor netop denne varer ikke kan leveres. Dvs. at den hænger tæt sammen med valget af lagerstatus og egentlig først har relevans, den dag der ikke er flere eksemplarer på lager (lagerstatus = Ikke på lager). Du skal imidlertid altid vælge en lagerundskyldning, også selvom den først skal bruges i fremtiden. Klik på piletasten til højre, og du kan se en liste over alle de koder og forklaringer der findes. Er der et + ved talkoden (plus) betyder det, at forlaget gerne vil modtage bestillinger til senere levering dvs. restordre. Det vil typisk være, når du forbereder et nyt oplag (vælg kode 95) eller det er en Print-on-demand-udgivelse og derfor har lidt længere leveringstid (vælg kode 103 eller 104). Er der et – (minus) betyder det, at forlaget ikke ønsker at modtage flere bestillinger. Det vil typisk være, fordi varen er udsolgt fra forlaget (vælg kode 500) eller du forbereder en ny udgave (vælg kode 523). Husk at rette til noget mere meningsfyldt, når den nye udgave udkommer. Er dit produkt på lager (Lagerstatus 1) så er Lagerundskyldningen IKKE synlig for Boghandlerne. Den skal blot være der til fremtidig brug. Er dit produkt endnu ikke udkommet (Lagerstatus 2) så er Lagerundskyldningen synlig for boghandlere, der ser posten i Bogportalen.dk, men ikke for boghandlere der ser den i BiBi.
EkspeditionsID	1833	Du vælger forlagsekspedition samtidig med, at du vælger rabatkoden. Dine muligheder findes i rullelisten. Hvis dit forlag benytter sig af mere end én ekspedition, skal du være opmærksom på at vælge den rigtige. Du kan kun knytte én ekspedition til den enkelte post. Du kan altså ikke sige, at du både ekspederer fra forlagets adressen (egen ekspedition) og fra f.eks. DBK. Dine valgmuligheder afspejler de oplysninger, vi har modtaget om forlaget inden adgangen til ForlagOnline blev etableret. Hvis du skifter eksepedition, så husk at orientere os. Kun på den måde kan vi sikre, at du har de rigtige valgmuligheder.
Varetype	1
Materialekode	Papir-bog
BOPISBN13	1277326
Bogklubbog	ikke bogklubbog/vare.
Subskriptionsbog	ikke subskriptionsbog
Er varen til videresalg	Yes	Som udgangspunkt vil den udgivelse der oprettes være beregnet til videresalg. Dvs. at boghandleren hjemtager varen for at sælge den. I sjældne tilfælde er en oprettelse imidlertid ikke beregnet på videresalg. Det kan f.eks. være markedsføringsmaterialer, smudsomslag eller inventar til udstilling.
Titel	BRICS dissertation series¤Games for verification	Når der er indlæst data fra Dansk Bogfortegnelse, er det ikke længere muligt at rette i dette felt.
Varetekst	BRICS dissertation series¤Games for verificati; DS-00/7	Varetekst til fakturaer og varekartoteker. Teksten dannes automatisk og rummer elementer fra titel, undertitel, bind, serietitel, supplementstitel og nogle gange forfatterens efternavn. Vareteksten er maksimalt 60 karakterer lang.
Varetekst_Låst	Nej / ikke låst
Bind	DS-00/7	Benyttes hvis produktet er opdelt i bind, eller hvis det er del af en årgang. Det har ikke noget med indbindingen af bogen at gøre. Et felt til denne oplysning kommer et andet sted på siden.
Titel_Del_Hovedtitel	BRICS dissertation series¤Games for verification
Undertitel	algorithmic issues¤Ph.d. dissertation
Varianttitel	Basic Research in Computer Science dissertation series
BookScan-Titel	BRICS dissertation series¤Games for verification; DS-00/7
Ombyttes	No
Kan returneres	No
Kædetitel	False
Anden information	Serie¤BRICS: Basic Research in Computer Science
ForlagsNavn	BRICS	Her skrives forlagets navn sådan som det er trykt på bogens titelblad. Det er ikke muligt at ændre navnet i forbindelse med at udgivelsen overdrages fra et forlag til et andet.
Korporationsnavn	Dansk Grundforskningsfond BRICS	Hvis udgivelsen er lavet i samarbejde med f.eks. en virksomhed, en fond eller ministerium mv. kan det sættes ind her.
MusikGenre	-1
MusikType	-1
Indbindingsform	12	Paperback: Limet ryg og blødt omslag. Der kan være flapper Hardback: Limet ryg og stift omslag. Der kan være et smudsomslag, det er dog ikke standard Hæftet: Limet og syet i ryggen, blødt omslag. Meget ofte men ikke altid med flapper Indbundet: Limet og syet i ryggen, stift omslag. Nogle gange er der et smudsomslag. En indbundet bog der er limet og syet i ryggen kan have mange forskellige typer af omslag f.eks. lærred ofte kaldet shirting, skind i forskellige farver. Foruden de her nævnte eksempler er der mange andre muligheder. Åben rullemenuen og find det der passer til den aktuelle udgivelse.
Sider	112
LandId	131
ISSN	1396-7002
Decimalklasse	19.61
ThemaDBC	Forlaget
Hovedfaust	2 156 936 4
Bindfaust	2 370 547 8
FørsteUdgivÅr	1996
ÅrForSenesteOplag	2000	Der oplyses året for dette oplags trykning. Ved første oplag oplyses det samme årstal som udgivelsesåret for udgaven. Året for oplaget kan ikke være mindre end året for udgaven. Hvis du f.eks. har oplyst at første udgave udkom i 2011 og der kun er trykt det samme oplag, så skal år for oplaget mindst være 2011 eller senere år. Det kan ikke være 2010 eller være uden indhold. Ved en success kan man godt komme ud for at lave mere en et oplag i samme år. Det er altså ikke altid at oplagets år ændres selvom der er trykt i 2. eller flere oplag. Udgivelsesdatoen skal IKKE ændres, fordi du laver et nyt oplag af bogen. Den følger udgaven.
ÅrForUdgave	1996	Her oplyses den aktuelle udgaves år, sådan som det er trykt i kolofonen. Der kan godt være forskel på udgavens år og udgivelsesdatoen. Udgavens år kan ikke være højere end oplagets år. Det sker ganske ofte at en udgivelse der er planlagt til udgivelse omkring årsskiftet, har forskellige oplysninger om udgavens år og den dato, hvor bogen udkommer og dermed må sælges.
Udgivelsesland	dk
Hovedsprog	eng
SprogOriginaludgaven	und
Materialet sprog	dan
DagForSenesteÆndring	2014-06-17
Opdateringsdato, Bindpost	20011005134246
OprettelsesdatoBindpost	20011002
OpdateringsDatoHovedpost	19970127
OprettelsesDatoHovedpost	19970127
Forlagets adresse	Department of Computer Science, University of Aarhus, Ny Munkegade, Building 540, 8000 C	Adresse til forlaget. Oplysningen stammer fra DBC. Hvis oplysningen ajourføres sker det fra DBC.
Forlagets hjemsted	Aarhus	Forlaget hjemsted. Der kan være mere end én byoplysning i feltet. Oplysningen stammer fra DBC. Hvis oplysningen ajourføres sker det fra DBC.
År (fra DBC)	2000
Ophavsangivelse	Marcin Jurdzi´nski
Personnavn	Marcin Jurdzi´nski
Post status	Ny post
Post Type	Hovedpost
Periodicums frekvens	Uregelmæssig
Indholdets form	Disputats
Festskrift	ikke festskrift
Periodicumtype	Monograph series
Stor skrift	almindelig skriftstørrelse
Bibliografisk kategori	monografi
Udgivelsesstatus	Løbende periodicum
Katalogiseringsniveau	Katalogisering, selvsyn
Generel materialebetegnelse	tekst - tekst
Specifik materialebetegnelse	xx
Supplerende specifik materialebetegnelse
Mellemoriginalens sprog	und
SprogIResumeer	und
Sprog_I_Undertekster	und
Trykkeri	u.st.
PeriodicaNumre	96/1-
Faglitteratur_Niveau	Forskningsniveau
Ugefortegnelse	DBF200143
Udgivelsesår	1996

Gå til slutningen af billedgalleriet

Gå til starten af billedgalleriet