Resultados
|
221.
|
|
|
222.
|
|
|
223.
|
Abstract State Machines, Alloy, B and Z : Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings / edited by Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves. por
- Frappier, Marc [editor.]
- Glässer, Uwe [editor.]
- Khurshid, Sarfraz [editor.]
- Laleau, Régine [editor.]
- Reeves, Steve [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 5977
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
Disponibilidad: No hay ítems disponibles.
|
|
224.
|
Abstract state machines, alloy, b, tla, vdm, and z : 4th international conference, abz 2014, toulouse, france, june 2-6, 2014. Proceedings / edited by Yamine Ait Ameur, Klaus-Dieter Schewe. por
- Ait Ameur, Yamine [editor.]
- Schewe, Klaus-Dieter [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 8477
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Springer, 2014
Disponibilidad: No hay ítems disponibles.
|
|
225.
|
Abstract State Machines, Alloy, B, VDM, and Z : Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings / edited by John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene. por
- Derrick, John [editor.]
- Fitzgerald, John [editor.]
- Gnesi, Stefania [editor.]
- Khurshid, Sarfraz [editor.]
- Leuschel, Michael [editor.]
- Reeves, Steve [editor.]
- Riccobene, Elvinia [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 7316
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
Disponibilidad: No hay ítems disponibles.
|
|
226.
|
Abstract State Machines, B and Z : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings / edited by Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca. por
- Börger, Egon [editor.]
- Butler, Michael [editor.]
- Bowen, Jonathan P [editor.]
- Boca, Paul [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 5238
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
Disponibilidad: No hay ítems disponibles.
|
|
227.
|
|
|
228.
|
|
|
229.
|
|
|
230.
|
|
|
231.
|
Abstraction, Reformulation and Approximation : 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005. Proceedings / edited by Jean-Daniel Zucker, Lorenza Saitta. por
- Zucker, Jean-Daniel [editor.]
- Saitta, Lorenza [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 3607
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
Disponibilidad: No hay ítems disponibles.
|
|
232.
|
Abstraction, Reformulation, and Approximation : 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007. Proceedings / edited by Ian Miguel, Wheeler Ruml. por
- Miguel, Ian [editor.]
- Ruml, Wheeler [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 4612
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007
Disponibilidad: No hay ítems disponibles.
|
|
233.
|
|
|
234.
|
|
|
235.
|
Abz 2014: the landing gear case study : case study track, held at the 4th international conference on abstract state machines, alloy, b, tla, vdm, and z, toulouse, france, june 2-6, 2014. Proceedings / edited by Frédéric Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe. por
- Boniol, Frédéric [editor.]
- Wiels, Virginie [editor.]
- Ait Ameur, Yamine [editor.]
- Schewe, Klaus-Dieter [editor.]
- SpringerLink (Servicio en línea)
Series Communications in Computer and Information Science ; 433
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Cham : Springer International Publishing : Springer, 2014
Disponibilidad: No hay ítems disponibles.
|
|
236.
|
|
|
237.
|
|
|
238.
|
|
|
239.
|
|
|
240.
|
Academic Scientists at Work / by Jeremy M. Boss, Susan H. Eckert. por
- Boss, Jeremy M [autor]
- Eckert, Susan H [autor]
- SpringerLink (Servicio en línea)
Edición: Second Edition.
Tipo de material: Texto; Formato:
disponible en línea ; Forma literaria:
No es ficción Editor: Boston, MA : Springer US, 2006
Disponibilidad: No hay ítems disponibles.
|