|
Abstract State Machines, Alloy, B, VDM, and Z
|
John DerrickJohn FitzgeraldStefania GnesiSarfraz KhurshidMichael LeuschelSteve ReevesElvinia Riccobene |
Springer |
9783642308857 |
2012 |
|
|
Abstract State Machines, B and Z
|
Egon B�rgerMichael ButlerJonathan P. BowenPaul Boca |
Springer |
_ |
2008 |
|
|
Abstraction, Reformulation and Approximation
|
Jean-Daniel ZuckerLorenza Saitta |
Springer |
_ |
2005 |
|
|
Abstraction, Reformulation, and Approximation
|
Sven KoenigRobert C. Holte |
Springer |
_ |
2002 |
|
|
Abstraction, Reformulation, and Approximation
|
Berthe Y. ChoueiryToby Walsh |
Springer |
_ |
2000 |
|
|
Abstraction, Reformulation, and Approximation
|
Ian MiguelWheeler Ruml |
Springer |
_ |
2007 |
|
|
Accessing Multilingual Information Repositories
|
Carol PetersFredric C. GeyJulio GonzaloHenning M�llerGareth J. F. JonesMichael KluckBernardo MagniniMaarten de Rijke |
Springer |
_ |
2006 |
|
|
Accurate Scientific Computations
|
Willard L. MirankerRichard A. Toupin |
Springer |
_ |
1986 |
|
|
Actin-based Motility
|
Marie-France Carlier |
Springer |
_ |
2010 |
|
|
Active and Programmable Networks
|
David HutchisonSpyros DenazisLaurent LefevreGary J. Minden |
Springer |
_ |
2009 |
|
|
Active Assessment: Assessing Scientific Inquiry
|
Debbie Jacobs-SeraGraham F. HatfullDavid I. Hanauer |
Springer |
_ |
2009 |
|
|
Active Conceptual Modeling of Learning
|
Peter P. ChenLeah Y. Wong |
Springer |
_ |
2007 |
|
|
Active Media Technology
|
Jiming LiuPong C. YuenChun-hung LiJoseph NgToru Ishida |
Springer |
_ |
2001 |
|
|
Active Media Technology
|
Ning ZhongVic CallaghanAli A. GhorbaniBin Hu |
Springer |
_ |
2011 |
|
|
Active Media Technology
|
Runhe HuangAli A. GhorbaniGabriella PasiTakahira YamaguchiNeil Y. YenBeijing Jin |
Springer |
_ |
2012 |
|
|
Active Media Technology
|
Aijun AnPawan LingrasSheila PettyRunhe Huang |
Springer |
_ |
2010 |
|
|
Active Media Technology
|
Jiming LiuJinglong WuYiyu YaoToyoaki Nishida |
Springer |
_ |
2009 |
|
|
Active Mining
|
Shusaku TsumotoTakahira YamaguchiMasayuki NumaoHiroshi Motoda |
Springer |
_ |
2005 |
|
|
Active Networks
|
Stefan Covaci |
Springer |
_ |
1999 |
|
|
Active Networks
|
Hiroshi Yasuda |
Springer |
_ |
2000 |
|
|
Active Networks
|
James SterbenzOsamu TakadaChristian TschudinBernhard Plattner |
Springer |
_ |
2002 |
|
|
Active Networks
|
Naoki WakamiyaMarcin SolarskiJames Sterbenz |
Springer |
_ |
2004 |
|
|
Active Networks
|
Ian W. MarshallScott NettlesNaoki Wakamiya |
Springer |
_ |
2001 |
|
|
Active Networks
|
Gary J. MindenKenneth L. CalvertMarcin SolarskiMiki Yamamoto |
Springer |
_ |
2007 |
|
|
Active Technologies for Network and Service Management
|
Rolf StadlerBurkhard Stiller |
Springer |
_ |
1999 |
|