Language:
English
繁體中文
Help
圖資館首頁
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Frontiers of combining systems8th in...
~
(1998 :)
Frontiers of combining systems8th international symposium, FroCoS 2011, Saarbrucken, Germany, October 5-7, 2011 : proceedings /
Record Type:
Electronic resources : Monograph/item
Title/Author:
Frontiers of combining systemsedited by Cesare Tinelli, Viorica Sofronie-Stokkermans.
Reminder of title:
8th international symposium, FroCoS 2011, Saarbrucken, Germany, October 5-7, 2011 : proceedings /
other author:
Tinelli, Cesare.
corporate name:
Published:
Berlin, Heidelberg :Springer-Verlag GmbH Berlin Heidelberg,2011.
Description:
viii, 274 p. :ill., digital ;24 cm.
Series:
Lecture notes in computer science,
Contained By:
Springer eBooks
Subject:
Logic, Symbolic and mathematical
Online resource:
http://dx.doi.org/10.1007/978-3-642-24364-6
ISBN:
9783642243646 (electronic bk.)
Frontiers of combining systems8th international symposium, FroCoS 2011, Saarbrucken, Germany, October 5-7, 2011 : proceedings /
Frontiers of combining systems
8th international symposium, FroCoS 2011, Saarbrucken, Germany, October 5-7, 2011 : proceedings /[electronic resource] :edited by Cesare Tinelli, Viorica Sofronie-Stokkermans. - Berlin, Heidelberg :Springer-Verlag GmbH Berlin Heidelberg,2011. - viii, 274 p. :ill., digital ;24 cm. - Lecture notes in computer science,69890302-9743 ;.
ISBN: 9783642243646 (electronic bk.)Subjects--Topical Terms:
254195
Logic, Symbolic and mathematical
LC Class. No.: QA9.A1 / F76 2011
Dewey Class. No.: 005.131
Frontiers of combining systems8th international symposium, FroCoS 2011, Saarbrucken, Germany, October 5-7, 2011 : proceedings /
LDR
:00984nmm 2200265 a 4500
001
309495
003
Springer
005
20111205163701.0
006
m d
007
cr nn 008maaau
008
111212s2011 gw s j eng d
020
$a
9783642243646 (electronic bk.)
020
$a
9783642243639 (paper)
035
$a
978-3-642-24363-9
040
$a
GP
$c
GP
041
0
$a
eng
050
4
$a
QA9.A1
$b
F76 2011
082
0 4
$a
005.131
$2
23
090
$a
QA9.A1
$b
F924 2011
111
2
$n
(3rd :
$d
1998 :
$c
Amsterdam, Netherlands)
$3
194767
245
1 0
$a
Frontiers of combining systems
$h
[electronic resource] :
$b
8th international symposium, FroCoS 2011, Saarbrucken, Germany, October 5-7, 2011 : proceedings /
$c
edited by Cesare Tinelli, Viorica Sofronie-Stokkermans.
260
$a
Berlin, Heidelberg :
$b
Springer-Verlag GmbH Berlin Heidelberg,
$c
2011.
300
$a
viii, 274 p. :
$b
ill., digital ;
$c
24 cm.
440
0
$a
Lecture notes in computer science,
$x
0302-9743 ;
$v
6989
650
0
$a
Logic, Symbolic and mathematical
$3
254195
650
0
$a
Computer science
$3
252805
650
1 4
$a
Computer Science.
$3
212513
650
2 4
$a
Artificial Intelligence (incl. Robotics)
$3
252959
650
2 4
$a
Mathematical Logic and Formal Languages.
$3
275383
650
2 4
$a
Logics and Meanings of Programs.
$3
275357
650
2 4
$a
Software Engineering.
$3
274511
650
2 4
$a
Algorithm Analysis and Problem Complexity.
$3
273702
650
2 4
$a
Programming Techniques.
$3
274470
700
1
$a
Tinelli, Cesare.
$3
530749
700
1
$a
Sofronie-Stokkermans, Viorica.
$3
522444
710
2
$a
SpringerLink (Online service)
$3
273601
773
0
$t
Springer eBooks
856
4 0
$u
http://dx.doi.org/10.1007/978-3-642-24364-6
950
$a
Computer Science (Springer-11645)
based on 0 review(s)
ALL
電子館藏
Items
1 records • Pages 1 •
1
Inventory Number
Location Name
Item Class
Material type
Call number
Usage Class
Loan Status
No. of reservations
Opac note
Attachments
000000059908
電子館藏
1圖書
電子書
EB QA9.A1 F76 2011
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Multimedia file
http://dx.doi.org/10.1007/978-3-642-24364-6
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login